×

On Stoll’s criterion for the maximality of quadratic arboreal Galois representations. (English) Zbl 1481.37110

Let \(f(x)=x^2+a\in\mathbb{Z}[x]\) and let \(f^n\) be the \(n\)-th iterate of \(f\). Assume that \(a\neq -2\) and \(-a\) is not a square in \(\mathbb Z\), then all iterates of \(f\) are irreducible over \(\mathbb Q\). Let \(T_n\) be the graph whose vertex set is \(\bigcup_{0\leq i\leq n}f^{-i}(0)\) and which has an edge between \(\alpha\) and \(\beta\) if \(f(\alpha)=\beta\). The graph \(T_n\) is a complete binary rooted tree on which the Galois group of \(f^n\) acts faithfully; the representation is said to be maximal if the Galois group is isomorphic to \(\mathrm{Aut}(T_n)\).
Extending ideas of R. W. K. Odoni [Mathematika 35, No. 1, 101–113 (1988; Zbl 0662.12010)], M. Stoll [Arch. Math. 59, No. 3, 239–244 (1992; Zbl 0758.11045)] proved that an arboreal representation is maximal if there are no squares in a sequence of integers \(\beta_n=|b_n|\) and he could find some conditions for this to happen. M. Stoll proved that the representation is maximal if \(a>0\) and \(a\equiv 1\pmod{4}\) or \(a\equiv 2\pmod{4}\) and if \(a<0\) and \(a\equiv 0\pmod{4}\) (and \(-a\) is not a square in \(\mathbb Q\)).
The main results in the present paper are proved combining the techniques of R. W. K. Odoni and M. Stoll with a new criterion for \(\beta_n\) not to be a square. More concretely the author proves that the representation is maximal if \(f(x)=x^2+a\) and \(a=-(8k+2)(8k+3)\) or \(a=-(4k+1)(4k+2)-1\) with \(k\in\mathbb N\) (including \(k=0\)).

MSC:

37P05 Arithmetic and non-Archimedean dynamical systems involving polynomial and rational maps
11R32 Galois theory
11A07 Congruences; primitive roots; residue systems
11R09 Polynomials (irreducibility, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Cremona, JE, On the Galois groups of the iterates of \(x^2+1\), Mathematika, 36, 259-261 (1989) · Zbl 0699.12018
[2] Gratton, C.; Nguyen, K.; Tucker, TJ, ABC implies primitive prime divisors in arithmetic dynamic, Bull. Lond. Math. Soc., 6, 45, 1194-1208 (2013) · Zbl 1291.37121
[3] Hindes, W., Points on elliptic curves parametrizing dynamical Galois groups, Acta Arith., 159, 149-167 (2013) · Zbl 1296.14017
[4] Jones, R., The density of prime divisors in the arithmetic dynamics of quadratic polynomials, J. Lond. Math. Soc., 78, 523-544 (2008) · Zbl 1193.37144
[5] Jones, R.: Galois representations from pre-image trees: an arboreal survey. In: Actes de la Conférence “Théorie des Nombres et Applications”, pp. 107-136. Publ. Math. Besançon Alg \(\grave{\rm{e}}\) bre Théorie Nr., 2013. Presses Univ. Franche-Comté, Besançon (2013) · Zbl 1307.11069
[6] Li, H-C, Arboreal Galois representation for a certain type of quadratic polynomials, Arch. Math. (Basel), 114, 265-269 (2020) · Zbl 1435.37108
[7] Odoni, RWK, Realising wreath products of cyclic groups as Galois groups, Mathematika, 35, 101-113 (1988) · Zbl 0662.12010
[8] Stoll, M.: Galois groups over \({{\mathbb{Q}}}\) of some iterated polynomials. Arch. Math. (Basel) 59, 239-244 (1992) · Zbl 0758.11045
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.