On the Arithmetic of Bicritical Rational Functions

Bicritical rational functions – those with precisely two critical points – include the well-studied families of unicritical polynomials and quadratic rational functions. In this article we lay out general foundations for studying arithmetic dynamical properties of bicritical rational functions, and prove new Galois-theoretic results for a family with special properties. We study the field of definition of the critical points, and give a normal form up to Möbius conjugacy over this field. As a corollary, we show that after a finite extension of the ground field, the arboreal Galois representation attached to a bicritical rational function injects into an iterated wreath product of cyclic groups. We then examine the family of quadratic $\phi \in \mathbb{Q}(x)$ with critical points ${\gamma }_1$ and ${\gamma }_2$ such that $\phi ({\gamma }_1)={\gamma }_2$. Adapting methods of Odoni-Stoll in the polynomial case to rational functions, we show that the arboreal representation is surjective for an infinite subfamily.