--- title: Large Galois Orbits Conjecture url: https://www.emergentmind.com/topics/large-galois-orbits-conjecture type: topic --- # Large Galois Orbits Conjecture Searching arXiv for recent and foundational papers on the Large Galois Orbits Conjecture and related André–Oort/Zilber–Pink literature. arxiv_search(query="Large Galois Orbits Conjecture Shimura varieties newforms André-Oort Zilber-Pink", max_results=10) The Large Galois Orbits Conjecture denotes a family of lower-bound principles asserting that Galois orbits attached to arithmetically distinguished points or subvarieties are forced to be large once an appropriate complexity parameter becomes large. In its foundational Shimura-theoretic form, it predicts polynomial growth of the degree of the Galois orbit of a special subvariety in terms of the discriminant of the splitting field of its connected centre; later work reformulated the principle for special points, mixed Shimura varieties, generalised Hecke orbits, atypical intersections in \(A_g\) and \(Y(1)^n\), and, in a different but related sense, for Galois orbits of modular newforms classified by local types [1209.0934] [2104.05842] [1310.1302] [1805.10361]. ## 1. Foundational Shimura-variety formulation For a connected Shimura variety \(S\) attached to a Shimura datum \((G,X)\) and level \(K\), a special subvariety \(Z\subset S\) arises from a Shimura subdatum \((H,X_H)\). If \(T=Z(H)^\circ\) is the connected centre of \(H\) and \(L_T\) its splitting field, the Large Galois Orbits Conjecture in the sense of Ullmo–Yafaev states that there exist constants \(c>0\) and \(\delta>0\) such that \[ \deg_{L_K}\bigl(\Gal(\overline{\mathbb Q}/E)\cdot Z\bigr)\ge c\,|\disc(L_T)|^\delta. \] Here the degree is taken in the Baily–Borel compactification with respect to the canonical ample line bundle \(L_K\). The conjecture is thus formulated for degrees of Galois orbits of special subvarieties, not only for orbit cardinalities of points [1209.0934]. The same paper gives a conditional theorem under the Generalized Riemann Hypothesis for CM fields. In that theorem, the lower bound involves two types of data: a global factor of the form \((\log|\disc(L_T)|)^N\), coming from reciprocity and class-field-theoretic control of the toric part, and a local factor built from \(p\)-adic indices measuring the failure of the toric level to be maximal. The proof separates accordingly into a global CM part and a local level-raising part, then recombines them through degree-splitting and projection-formula arguments [1209.0934]. This formulation was designed for André–Oort. Ullmo–Yafaev present a dichotomy in which sequences of special subvarieties either have large Galois degrees or fall into an equidistribution regime governed by strongly special subvarieties. In that strategy, large Galois orbits provide the Galois-theoretic half of the argument, complementary to the ergodic and equidistribution methods of Clozel–Ullmo [1209.0934]. ## 2. Complexity parameters and variant formulations Across the literature, the same general heuristic is expressed through different complexity invariants and different ambient orbit problems. The principal formulations represented in the papers cited here are summarised below. | Setting | Complexity parameter | Lower-bound form | |---|---|---| | Special subvariety \(Z\subset S\) | \(|\disc(L_T)|\) | \(\deg(\Gal\cdot Z)\ge c\,|\disc(L_T)|^\delta\) | | Special point \(p\) on a Shimura variety | \(\disc(p)=[K:K_T]\,d_L\) | \([F(p):F]\ge C\,\disc(p)^\delta\) | | Special point \(s=[x,w]\) on a mixed Shimura variety | \(N(s)\) and orbit of \(\pi_T(s)\) | \(|\Gal\cdot s|\ge C_\epsilon N(s)^{1-\epsilon}|\Gal\cdot\pi_T(s)|\) | | Point in a generalised Hecke orbit | \(H_f(\varphi)\) | \(|\Gal\cdot s|\ge c\,H_f(\varphi)^\alpha\) | | Isolated PEL-type intersection point in \(A_g\) | \(\Delta(Z)=|\disc(\End(A_s))|\) | \(|\Gal\cdot s|\ge C_{\rm mult}\Delta(Z)^{C_{\rm exp}}\) | | Unlikely point \(P\in C\subset Y(1)^n\) | \(H(P)=\exp(h(P))\) | \(|\Gal(P)|\ge c\,H(P)^\delta\) | These are not identical conjectures. Some concern special subvarieties, some special points, some Hecke orbits, and some atypical intersections. What they share is a lower-bound mechanism: the arithmetic complexity attached to the relevant datum must force polynomial growth of the Galois orbit. A distinct but related usage occurs for modular forms, where the problem is not a lower bound for one orbit size but a lower bound, and conjecturally an exact formula, for the number of global Galois orbits compatible with prescribed local data [2104.05842] [1310.1302] [2109.13718] [2306.13463] [2402.09487] [1805.10361]. ## 3. Special points, discriminants, and point-counting Binyamini, Schmidt, and Yafaev formulate the large-orbit problem for special points on a connected Shimura variety \(S=\mathrm{Sh}_K(G,X)^0\) of adjoint type over its reflex field \(F\). For a special point \(p\), with Mumford–Tate torus \(T\subset G\), compact open \(K_T=K\cap T(\mathbb A_f)\), maximal compact \(K''\subset T(\mathbb A_f)\), and splitting field \(L\) of \(T\), they define the discriminant invariant \[ \disc(p)=[K:K_T]\,d_L, \] where \(d_L=|\disc(L)|\). They then conjecture discriminant-negligible heights: \[ h(p)\le C_{S,\epsilon}\,\disc(p)^\epsilon \] for every \(\epsilon>0\), where \(h\) is a Weil height on an algebraic compactification of \(S\) [2104.05842]. Assuming that height conjecture, they prove the large-orbit bound \[ [F(p):F]=|\Gal(\overline{\mathbb Q}/F)\cdot p|\ge C\,\disc(p)^\delta, \] for constants \(C>0\) and \(\delta>0\) depending only on \(S\) and \(F\). A key intermediate statement is a purely combinatorial inequality \[ \disc(p)0\) such that \(n\cdot w\in W(\mathbb Z)\). Proposition 13.3 then states that for every \(\epsilon>0\) there exists \(C_\epsilon>0\), depending only on \((P,X)\) and \(\epsilon\), such that \[ |\Gal(\overline{\mathbb Q}/E)\cdot s| \ge C_\epsilon\,N(s)^{1-\epsilon}\,|\Gal(\overline{\mathbb Q}/E)\cdot \pi_T(s)|. \] This is the characteristic mixed large-orbit estimate [1310.1302]. The lower bound is unconditional once one has the corresponding pure bound for \(S_G\). In the paper’s discussion, the pure bound is known under GRH for all \(G\) of abelian type, and unconditionally for \(G=A_g\) with \(g\le 6\) by Tsimerman’s Brauer–Siegel methods. Consequently, if \[ |\Gal(\overline{\mathbb Q}/E)\cdot \pi_T(s)|\ge c\,|\disc(R_x)|^\delta, \] then one obtains \[ |\Gal(\overline{\mathbb Q}/E)\cdot s| \ge C'_\epsilon\,N(s)^{1-\epsilon}\,|\disc(R_x)|^\delta. \] Here \(R_x\) is the centre of the endomorphism ring of the CM torus attached to \(\pi_T(s)\) [1310.1302]. The proof combines several ingredients. First, Galois cohomology and group-theoretic volume compare the full orbit size with the size of a Hecke-translation stabilizer of the unipotent factor \(w\) and with the pure orbit size. Second, local index bounds show that \([K_W:w^{-1}K_Ww\cap K_W]\) grows like a power of \(N(s)\). Third, the Ax–Lindemann theorem for mixed Shimura varieties, proved earlier in the paper by o-minimal point-counting and boundary-volume estimates, rules out unexpected semi-algebraic components unless they are weakly special. Finally, Pila–Wilkie counting turns a hypothetical failure of the lower bound into the production of excess weakly special subvarieties, contradicting Hodge-genericity [1310.1302]. The arithmetic significance is twofold. Proposition 13.3 shows that large Galois orbits in the pure quotient lift to large Galois orbits in the mixed variety, up to the mild factor \(N(s)^{1-\epsilon}\). It also recovers and generalizes Silverberg’s lower bound for torsion points on CM abelian varieties. Combined with the pure-part lower bounds and the Pila–Zannier strategy, it yields André–Oort for any mixed Shimura variety whose pure part sits inside \(A_g\), unconditionally for \(g\le 6\) and on GRH for all \(g\) [1310.1302]. ## 5. Zilber–Pink, multiplicative degeneration, and atypical intersections A further development places large Galois orbits in the Zilber–Pink setting. Daw–Orr formulate a PEL-type Large Galois Orbits conjecture on \(A_g\). For a PEL-type special subvariety \(Z\subset A_g\), its complexity is \[ \Delta(Z)=|\disc(\End(A_s))| \] for a very general point \(s\in Z\). If \(V\subset A_g\) is irreducible, Hodge-generic, and of codimension exceeding a prescribed threshold, the conjecture predicts that any point \(s\in V(\overline{\mathbb Q})\) which is an isolated component of \(V\cap Z\), with \(\dim Z\le d\), satisfies \[ |\Gal(\overline{\mathbb Q}/\mathbb Q)\cdot s| \ge C_{\rm mult}\,\Delta(Z)^{C_{\rm exp}}. \] When \(d=0\), this recovers the CM-point case [2306.13463]. The paper proves this conjecture for Hodge-generic curves in \(A_g\) possessing multiplicative degeneration. Here multiplicative degeneration means that the closure of the curve in the Baily–Borel compactification meets the zero-dimensional boundary stratum \(A_0\), equivalently that after finite base change the universal abelian scheme extends to a semi-abelian scheme whose special fibre at the cusp is \(\mathbb G_m^g\). The proof uses André’s \(G\)-functions method. Formal uniformisation \[ \phi_{\rm for}:\mathbb G_m^g\times \mathcal C_{\rm for}\xrightarrow{\sim}\mathcal G_{\rm for} \] is lifted to rigid and complex-analytic uniformisations, producing period \(G\)-functions \(F_{ij}\) and \(G_{ij}\). Extra endomorphisms yield polynomial relations among their evaluations at a point \(s\); André’s Theorem E then gives a height bound \(h(x(s))\ll [K(s):K]^\epsilon\), and Masser–Wüstholz isogeny estimates convert that into the required Galois lower bound. The corollaries include the full Zilber–Pink statement for curves in \(A_2\) with multiplicative degeneration and new cases in higher genus [2306.13463]. Papas establishes an analogous large-orbit statement for curves \(C\subset Y(1)^n\) in the setting of unlikely intersections. For points \(P\in C(\overline{\mathbb Q})\) satisfying two independent modular relations \[ \Phi_M(x_{i_1}(P),x_{i_2}(P))=\Phi_N(x_{i_3}(P),x_{i_4}(P))=0, \] under the condition that one pair mixes a CM-coordinate with a singular coordinate of \(C\), the paper proves that there are effectively computable constants \(c>0\) and \(\delta>0\), depending only on \(C\), such that \[ |\Gal(P)|=[K(P):K]\ge c\,H(P)^\delta, \qquad H(P)=\exp(h(P)). \] The argument again proceeds through \(G\)-functions, archimedean period relations, a \(p\)-adic avoidance lemma, and isogeny estimates, starting from the height bound \[ h(P)\le c_1\,[K(P):\mathbb Q]^{c_2}. \] These large-orbit estimates feed directly into new Zilber–Pink cases for curves in \(Y(1)^n\), including the cases where all but at most one boundary coordinate are singular and the remaining coordinate is a CM-point, and certain mixed-singular configurations in \(Y(1)^3\) [2402.09487]. A common feature of these Zilber–Pink applications is that the lower bound is attached not to all points of the ambient variety, but to isolated or atypical intersection points satisfying additional geometric hypotheses such as multiplicative degeneration or CM/singular mixing. This shows that “large Galois orbits” is not a single uniform statement even within Shimura-theoretic geometry; it is a framework adapted to the particular unlikely-intersection problem under consideration [2306.13463] [2402.09487]. ## 6. Hecke orbits, modular forms, and the generalized Maeda picture Richard–Yafaev introduce a different large-orbit framework for points in a generalised Hecke orbit. For a Shimura datum \((G,X)\), a point \(s_0=[x_0,1]_K\), and \(M=\mathrm{MT}(x_0)\), they consider the affine \(\mathbb Q\)-variety \[ W=G\cdot \varphi_0\subset \Hom_{\mathbb Q}(M,G)\simeq G/Z_G(M), \] where \(\varphi_0:M\hookrightarrow G\) is the inclusion. Choosing lattices in \(\Lie M\) and \(\Lie G\), they define a finite height \[ H_f(\varphi)=\min\Bigl\{n>0\;\Big|\;n\cdot \varphi_*(\Lie M\otimes \widehat{\mathbb Z}) \subset \Lie G\cap \End(\mathbb Z^N)\Bigr\}. \] Under the weakly adelic Mumford–Tate hypothesis, Theorem 6.4 and Proposition 3.6 imply that for every \(s=[\varphi(x_0),g]\) in the generalised Hecke orbit, \[ |\Gal(\overline{\mathbb Q}/E)\cdot s| \asymp [\varphi(U):\varphi(U)\cap K], \] and hence \[ |\Gal(\overline{\mathbb Q}/E)\cdot s|\ge c\,H_f(\varphi)^\alpha, \] with \(\alpha=1\) after absorbing mild polynomial factors into the constant. This large-orbit theorem is then inserted into the Pila–Zannier strategy to prove the generalised André–Pink–Zannier conjecture under the same Mumford–Tate assumption [2109.13718]. A separate but influential use of the phrase “Large Galois Orbits Conjecture” occurs for newforms. In \(S_k^{\mathrm{new}}(\Gamma_0(N))\), a newform \(f\) has coefficient field \(K_f=\mathbb Q(a_2,a_3,\dots)\), and its Galois orbit has size \([K_f:\mathbb Q]\). At each prime \(p\mid N\), Dieulefait–Pacetti–Tsaknias attach two local invariants: the inertial Weil–Deligne type \(\tilde\tau_p\) and the minimal Atkin–Lehner sign \(\epsilon_p\in\{\pm1\}\). Writing \[ LO(q^{v_q(N)}) \] for the number of Galois-conjugacy classes of admissible local pairs \((\tilde\tau_q,\epsilon_q)\), they prove that when \(N\) is either a prime power or square-free, then for all sufficiently large weights \(k\), \[ \prod_{q\mid N} LO(q^{v_q(N)}) \le \#\{\text{non-CM newform Galois orbits in }S_k^{\mathrm{new}}(\Gamma_0(N))\}. \] For \(p\neq 2\), \[ LO(p)=2,\qquad LO(p^2)=\sigma_0(p+1)+\sigma_0(p-1)-1,\qquad LO(p^n)=\sigma_0(p+1)+\sigma_0(p-1)\ \ (n\ge 3), \] and for \(p=2\) an explicit periodic sequence is obtained. The lower bound is proved using existence theorems for newforms with prescribed local data, together with control of CM forms as \(k\) grows [1805.10361]. The conjectural strengthening is that this lower bound is actually an equality for sufficiently large \(k\). Numerical evidence reported in the same paper indicates equality in virtually all tested prime-power and square-free cases, with one systematic discrepancy at \(N=2^8\), where the lower bound is \(10\) but \(12\) non-CM orbits are found for \(k\ge 12\). This remains unexplained. The earlier paper of Dieulefait–Tsaknias formulates the generalized Maeda picture in broader terms: \(NCM(N,k)\), the number of non-CM Galois orbits in \(S_k(\Gamma_0(N))\), should eventually be constant in \(k\); the limiting function \(NCM(N)\) should be multiplicative; and once local types and Atkin–Lehner signs are fixed, there should be exactly one global orbit for \(k\gg 0\). In that language, the only expected obstruction to a full symmetric Galois group is a small “trivial” abelian quotient \( \Gal(L_f/\mathbb Q)\) contained in the coefficient field [1805.10361] [1608.05285]. This modular-forms usage is structurally analogous to the Shimura-variety conjectures but not identical to them. Instead of bounding the size of a single orbit by a discriminant or a height, it predicts that local inertial data and involution signs account for all orbit splitting. The common theme is maximality of the global Galois action once the obvious local or toric constraints have been imposed [1608.05285] [1805.10361]. Source: https://www.emergentmind.com/topics/large-galois-orbits-conjecture