Galois theory of quadratic rational functions with periodic critical points (2401.14862v3)
Abstract: Given a number field $k$, and a quadratic rational function $f(x) \in k(x)$, the associated arboreal representation of the absolute Galois group of $k$ is a subgroup of the automorphism group of a regular rooted binary tree. Boston and Jones conjectured that the image of such a representation for $f \in \mathbb{Z}[x]$ contains a dense set of settled elements. An automorphism is settled if the number of its orbits on the $n\text{th}$ level of the tree remains small as $n$ goes to infinity. In this article, we exhibit many quadratic rational functions whose associated Arboreal Galois groups are not densely settled. These examples arise from quadratic rational functions whose critical points lie in a single periodic orbit. To prove our results, we present a detailed study of the iterated monodromy groups (IMG) of $f$, which also allows us to provide a negative answer to Jones and Levy's question regarding settled pairs. Furthermore, we study the iterated extension $k(f{-\infty}(t))$ generated by adjoining to $k(t)$ all roots of $fn(x) = t$ for $n \geq 1$ for a parameter $t$. We call the intersection of $k(f{-\infty}(t))$ with $\bar{k}$, the field of constants associated with $f$. When one of the two critical points of $f$ is the image of the other, we show that the field of constants is contained in the cyclotomic extension of $k$ generated by all $2$-power roots of unity. In particular, we prove the conjecture of Ejder, Kara, and Ozman regarding the rational function $\frac{1}{(x-1)2}$.
- The arithmetic basilica: a quadratic PCF arboreal Galois group. J. Number Theory, 238:842–868, 2022.
- Iterated monodromy groups of quadratic polynomials. I. Groups Geom. Dyn., 2(3):309–336, 2008.
- A large arboreal Galois representation for a cubic postcritically finite polynomial. Res. Number Theory, 3:Art. 29, 21, 2017.
- Arboreal Galois representations. Geom. Dedicata, 124:27–35, 2007.
- The image of an arboreal Galois representation. Pure Appl. Math. Q., 5(1):213–225, 2009.
- Dynamical Belyi maps and arboreal Galois groups. Manuscripta Math., 165(1-2):1–34, 2021.
- Galois groups of iterates of some unicritical polynomials. Acta Arith., 181(1):57–73, 2017.
- Settled elements in profinite groups. Adv. Math., 404:Paper No. 108424, 56, 2022.
- Özlem Ejder. Arithmetic monodromy groups of dynamical Belyi maps. In Arithmetic, geometry, cryptography, and coding theory 2021, volume 779 of Contemp. Math., pages 91–102. Amer. Math. Soc., [Providence], RI, [2022] ©2022.
- Iterated monodromy group of a pcf quadratic non-polynomial map, 2023.
- Self-similarity and branching in group theory. In Groups St. Andrews 2005. Vol. 1, volume 339 of London Math. Soc. Lecture Note Ser., pages 36–95. Cambridge Univ. Press, Cambridge, 2007.
- Roots of unity and higher ramification in iterated extensions, 2022.
- Rafe Jones. Galois representations from pre-image trees: an arboreal survey. In Actes de la Conférence “Théorie des Nombres et Applications”, volume 2013 of Publ. Math. Besançon Algèbre Théorie Nr., pages 107–136. Presses Univ. Franche-Comté, Besançon, 2013.
- Settled polynomials over finite fields. Proc. Amer. Math. Soc., 140(6):1849–1863, 2012.
- Eventually stable rational functions. Int. J. Number Theory, 13(9):2299–2318, 2017.
- Galois theory of quadratic rational functions. Comment. Math. Helv., 89(1):173–213, 2014.
- Arboreal representations for rational maps with few critical points. In Research directions in number theory—Women in Numbers IV, volume 19 of Assoc. Women Math. Ser., pages 133–151. Springer, Cham, [2019] ©2019.
- Volodymyr Nekrashevych. Self-similar groups, volume 117 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2005.
- R. W. K. Odoni. The Galois theory of iterates and composites of polynomials. Proc. London Math. Soc. (3), 51(3):385–414, 1985.
- R. W. K. Odoni. On the prime divisors of the sequence wn+1=1+w1⋯wnsubscript𝑤𝑛11subscript𝑤1⋯subscript𝑤𝑛w_{n+1}=1+w_{1}\cdots w_{n}italic_w start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT = 1 + italic_w start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⋯ italic_w start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT. J. London Math. Soc. (2), 32(1):1–11, 1985.
- Richard Pink. Profinite iterated monodromy groups arising from quadratic morphisms with infinite postcritical orbits, 2013.
- Richard Pink. Profinite iterated monodromy groups arising from quadratic polynomials, 2013.
- Michael Stoll. Galois groups over 𝐐𝐐{\bf Q}bold_Q of some iterated polynomials. Arch. Math. (Basel), 59(3):239–244, 1992.
- Ashvin A. Swaminathan. On arboreal Galois representations of rational functions. J. Algebra, 448:104–126, 2016.