Lower bounds for Galois orbits of special points on Shimura varieties: a point-counting approach

TL;DR

This paper proposes a point-counting approach to establish lower bounds for Galois orbits of special points on Shimura varieties, linking height conjectures to the Andre-Oort conjecture and providing new proofs in specific cases.

Contribution

It introduces a novel point-counting method to derive Galois orbit bounds, avoiding isogeny estimates, and connects height conjectures to the Andre-Oort conjecture for all Shimura varieties.

Findings

Conditional lower bounds for Galois orbits based on height conjectures.

New proof of Tsimerman's Galois lower bound for abelian type Shimura varieties.

Establishes a framework linking height bounds to the Andre-Oort conjecture.

Abstract

Let $S$ be a Shimura variety and let $h$ be a Weil height function on $S$. We conjecture that the heights of special points in $S$ are discriminant negligible. Assuming this conjecture to be true, we prove that the sizes of the Galois orbits of special points grow as a fixed power of their discriminant (an invariant we will define in the text). In the case of Shimura varieties of abelian type, the height bound holds by the recently proved averaged Colmez formula, and our theorem gives a new proof of Tsimerman's Galois lower bound in this case. The main novelty is that our approach avoids the use of Masser-W\"ustholz isogeny estimates, replacing them by a point-counting argument, and establishes lower bounds for Galois orbits conditional on height bounds for \emph{arbitrary} Shimura varieties. In particular, following the Pila-Zannier strategy (and Gao's work in the mixed case) this implies that the Andre-Oort conjecture for an arbitrary (mixed) Shimura variety follows from the corresponding conjecture on heights of special points.