On the Arithmetic of Bicritical Rational Functions

Abstract

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 $\ddot{I}•\in \mathbb{Q}(x)$ with critical points ${\hat{I}}_1^3$ and ${\hat{I}}_2^3$ such that $\ddot{I}•({\hat{I}}_1^3)={\hat{I}}_2^3$. Adapting methods of Odoni-Stoll in the polynomial case to rational functions, we show that the arboreal representation is surjective for an infinite subfamily.