On Stoll's criterion for the maximality of quadratic arboreal Galois representations
type: Item
instance of: scholarly article
title: On Stoll's criterion for the maximality of quadratic arboreal Galois representations
zbMATH Open document ID: 1481.37110
author: Hua-Chieh Li
published in: Archiv der Mathematik
publication date: 2021-07-26T00:00:00Z
review text: 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 \textit{R. W. K. Odoni} [Mathematika 35, No. 1, 101--113 (1988; Zbl 0662.12010)], \textit{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. \textit{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 \textit{R. W. K. Odoni} and \textit{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\)).
reviewed by: Alessandro Cobbe
Mathematics Subject Classification ID: 37P05
Mathematics Subject Classification ID: 11R32
Mathematics Subject Classification ID: 11A07
Mathematics Subject Classification ID: 11R09
zbMATH DE Number: 7374889
zbMATH Keywords: arboreal Galois representation
zbMATH Keywords: automorphism group
zbMATH Keywords: wreath product
MaRDI profile type: Publication
full work available at URL: s00013-021-01609-w
OpenAlex ID: W3152848099
cites work: On the Galois groups of the iterates of x 2 +1
cites work: \(ABC\) implies primitive prime divisors in arithmetic dynamics
cites work: Points on elliptic curves parametrizing dynamical Galois groups
cites work: The density of prime divisors in the arithmetic dynamics of quadratic polynomials
cites work: Galois representations from pre-image trees: an arboreal survey
cites work: Arboreal Galois representation for a certain type of quadratic polynomials
cites work: Realising wreath products of cyclic groups as Galois groups
cites work: Galois group over \(\mathbb{Q}\) of some iterated polynomials
DOI: 10.1007/S00013-021-01609-W
Recommended article: Arboreal Galois representation for a certain type of quadratic polynomials
Recommended article: Galois uniformity in quadratic dynamics over \(k(t)\)
Recommended article: Galois theory of quadratic rational functions
Recommended article: Arboreal Galois representations
Recommended article: Classifying Galois groups of small iterates via rational points
Recommended article: On arboreal Galois representations of rational functions
Recommended article: Максимальные и минимальные представления над кольцом Галуа линейной рекуррентной последовательности максимального периода над полем Га
Recommended article: Representations over Galois ring of a linear recurring sequence of maximal period over Galois field
Recommended article: The image of an arboreal Galois representation
Recommended article: The Vojta conjecture implies Galois rigidity in dynamical families
description: scientific article; zbMATH DE number 7374889