Height bounds and the Siegel property

Abstract

Let $\mathbf{G}$ be a reductive group defined over $\mathbb{Q}$ and let $\mathfrak{S}$ be a Siegel set in $\mathbf{G}(\mathbb{R})$. The Siegel property tells us that there are only finitely many $\gamma \in \mathbf{G}(\mathbb{Q})$ of bounded determinant and denominator for which the translate $\gamma .\mathfrak{S}$ intersects $\mathfrak{S}$. We prove a bound for the height of these $\gamma$ which is polynomial with respect to the determinant and denominator. The bound generalises a result of Habegger and Pila dealing with the case of ${\mathbf{GL}}_2$, and has applications to the Zilber--Pink conjecture on unlikely intersections in Shimura varieties. In addition we prove that if $\mathbf{H}$ is a subgroup of $\mathbf{G}$, then every Siegel set for $\mathbf{H}$ is contained in a finite union of $\mathbf{G}(\mathbb{Q})$-translates of a Siegel set for $\mathbf{G}$).

25 pages, corrected proof of Theorem 4.1

Cited by in corpus (10)

• Applications of the hyperbolic Ax-Schanuel conjecture
• Finiteness for self-dual classes in integral variations of Hodge structure
• Quantitative reduction theory and unlikely intersections
• Tame topology of arithmetic quotients and algebraicity of Hodge loci
• A Modular Andre-Oort Statement with Derivatives
• Lattices with skew-Hermitian forms over division algebras and unlikely intersections
• Unlikely intersections with $E$ $\times$ CM curves in ${\mathcal{A}}_2$
• Unlikely intersections with isogeny orbits in a product of elliptic schemes
• Height estimates for Bianchi groups
• Isogeny relations in products of families of elliptic curves