Likely intersections

Eterović, Sebastian  ; Scanlon, Thomas 

Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e199

Résumé

We prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional conditions are known to hold for a given category of complex quotient spaces definable in some fixed o-minimal expansion of the ordered field of real numbers.For an instance of our general result, consider the case of subvarieties of Shimura varieties. Let S be a Shimura variety. Let $\pi :D \to \Gamma \backslash D = S$ realize S as a quotient of D, a homogeneous space for the action of a real algebraic group G, by the action of $\Gamma < G$, an arithmetic subgroup. Let $S' \subseteq S$ be a special subvariety of S realized as $\pi (D')$ for $D' \subseteq D$ a homogeneous space for an algebraic subgroup of G. Let $X \subseteq S$ be an irreducible subvariety of S not contained in any proper weakly special subvariety of S. Assume that the intersection of X with $\pi (gD')$ is persistently likely as g ranges through G with $\pi (gD')$ a special subvariety of S, meaning that whenever $\zeta :S_1 \to S$ and $\xi :S_1 \to S_2$ are maps of Shimura varieties (regular maps of varieties induced by maps of the corresponding Shimura data) with $\zeta $ finite, $\dim \xi \zeta ^{-1} X + \dim \xi \zeta ^{-1} \pi (gD') \geq \dim \xi S_1$. Then $X \cap \bigcup _{g \in G, \pi (g D') \text { is special }} \pi (g D')$ is dense in X for the Euclidean topology.

Détail

DOI : 10.1017/fms.2025.10114

Bibliographie

[1] André, Y., Corvaja, P. and Zannier, U., ‘The Betti map associated to a section of an abelian scheme’, Invent. Math. 222 (2020), 161–202.10.1007/s00222-020-00963-w Google Scholar | DOI

[2] Aslanyan, V., ‘Weak modular Zilber–Pink with derivatives’, Math. Ann. 383 (2022), 433–474.10.1007/s00208-021-02213-7 Google Scholar | DOI

[3] Aslanyan, V. and Kirby, J., ‘Blurrings of the J-function’, Q. J. Math. 73 (2022), 461–475.10.1093/qmath/haab037 Google Scholar | DOI

[4] Bakker, B., Brunebarbe, Y., Klingler, B. and Tsimerman, J., ‘Definability of mixed period maps’, J. Eur. Math. Soc. (2021). https://doi.org/10.4171/JEMS/1319. Google Scholar | DOI

[5] Bakker, B., Klingler, B. and Tsimerman, J., ‘Tame topology of arithmetic quotients and algebraicity of Hodge loci’, J. Amer. Math. Soc. 33 (2020), 917–939.10.1090/jams/952 Google Scholar | DOI

[6] Bakker, B., Bakker, B., Klingler, B. and Tsimerman, J., ‘Erratum to “Tame topology of arithmetic quotients and algebraicity of Hodge loci”’, J. Amer. Math. Soc. 36 (2023), 1305–1308. Google Scholar

[7] Bakker, B. and Tsimerman, J., ‘The Ax–Schanuel conjecture for variations of Hodge structures’, Invent. Math. 217 (2019), 77–94.10.1007/s00222-019-00863-8 Google Scholar | DOI

[8] Baldi, G., Klingler, B. and Ullmo, E., ‘On the distribution of the Hodge locus’, Invent. Math. (2021). https://doi.org/10.1007/s00222-023-01226-0. Google Scholar | DOI

[9] Chiu, K. C. T., ‘Ax–Schanuel for variations of mixed Hodge structures’, Math. Ann. (2021). https://doi.org/10.1007/s00208-024-02958-x. Google Scholar | DOI

[10] Chiu, K. C. T., ‘Ax–Schanuel with derivatives for mixed period mappings’, , 2021. Google Scholar | arXiv

[11] Daw, C. and Ren, J., ‘Applications of the hyperbolic Ax–Schanuel conjecture’, Compos. Math. 154 (2018), 1843–1888.10.1112/S0010437X1800725X Google Scholar | DOI

[12] Gao, Z., ‘Generic rank of Betti map and unlikely intersections’, Compos. Math. 156 (2020), 2469–2509.10.1112/S0010437X20007435 Google Scholar | DOI

[13] Gao, Z., ‘Mixed Ax–Schanuel for the universal abelian varieties and some applications’, Compos. Math. 156 (2020), 2263–2297.10.1112/S0010437X20007447 Google Scholar | DOI

[14] Gao, Z., ‘Corrigendum: Generic rank of Betti map and unlikely intersections’, Compos. Math. 157 (2021), 2747–2748.10.1112/S0010437X21007673 Google Scholar | DOI

[15] Gao, Z. and Klingler, B., ‘The Ax–Schanuel conjecture for variations of mixed Hodge structures’, Math. Ann. (2021). https://doi.org/10.1007/s00208-023-02614-w. Google Scholar | DOI

[16] Habegger, P., ‘Weakly bounded height on modular curves’, Acta Math. Vietnam. 35 (2010), 43–69. Google Scholar

[17] Khelifa, N. and Urbanik, D., ‘Existence and density of typical Hodge loci’, Math. Ann. (2023). https://doi.org/10.1007/s00208-024-02936-3. Google Scholar | DOI

[18] Kirby, J., ‘The theory of the exponential differential equations of semiabelian varieties’, Selecta Math. (N.S.) 15 (2009), 445–486.10.1007/s00029-009-0001-7 Google Scholar | DOI

[19] Klingler, B. and Otwinowska, A., ‘On the closure of the Hodge locus of positive period dimension’, Invent. Math. 225 (2021), 857–883.10.1007/s00222-021-01042-4 Google Scholar | DOI

[20] Marker, D., ‘Model theory of differential fields’, in Model Theory, Algebra, and Geometry, vol. 39 of Math. Sci. Res. Inst. Publ. (Cambridge Univ. Press, Cambridge, 2000), 53–63. Google Scholar

[21] Masser, D. and Zannier, U., ‘Torsion anomalous points and families of elliptic curves’, Amer. J. Math. 132 (2010), 1677–1691.10.1353/ajm.2010.a404145 Google Scholar | DOI

[22] Moonen, B., ‘Linearity properties of Shimura varieties I’, J. Algebraic Geom., 7 (1998), 539–567. Google Scholar

[23] Orr, M. and Schnell, C., ‘Correction to “Height bounds and the Siegel property”’, Algebra and Number Theory, 17 (2023), 1231–1237.10.2140/ant.2023.17.1231 Google Scholar | DOI

[24] Pavlov, D., Pogudin, G. and Razmyslov, Y. P., ‘From algebra to analysis: New proofs of theorems by Ritt and Seidenberg’, Proc. Amer. Math. Soc. (2022), https://doi.org/10.1090/proc/16065. Google Scholar | DOI

[25] Peterzil, Y. and Starchenko, S., ‘Complex analytic geometry and analytic-geometric categories’, J. Reine Angew. Math. 626 (2009), 39–74. Google Scholar

[26] Pila, J. and Scanlon, T., ‘Effective transcendental Zilber–Pink for variations of Hodge structures’, , 2021. Google Scholar | arXiv

[27] Pillay, A., ‘On groups and fields definable in o-minimal structures’, J. Pure Appl. Algebra 53 (1988), 239–255.10.1016/0022-4049(88)90125-9 Google Scholar | DOI

[28] Poizat, B., ‘Une théorie de Galois imaginaire’, J. Symbolic Logic 48 (1983), 1151–1170.10.2307/2273680 Google Scholar | DOI

[29] Raynaud, M., ‘Exposé XII: Géométrie algébrique et géométrie analytique’, in Séminaire de géométrie algébrique du Bois Marie: Revêtements étales et groupe fondamental (SGA 1) (1961). Google Scholar

[30] Scanlon, T., ‘Algebraic differential equations from covering maps’, Adv. Math. 330 (2018), 1071–1100.10.1016/j.aim.2018.03.008 Google Scholar | DOI

[31] Seidenberg, A., ‘Abstract differential algebra and the analytic case’, Proc. Amer. Math. Soc. 9 (1958), 159–164.10.1090/S0002-9939-1958-0093655-0 Google Scholar | DOI

[32] Seidenberg, A., ‘Seidenberg, A. Abstract differential algebra and the analytic case. II’, Proc. Amer. Math. Soc. 23 (1969), 689–691.10.1090/S0002-9939-1969-0248122-5 Google Scholar | DOI

[33] Tayou, S. and Tholozan, N., ‘Equidistribution of Hodge loci II’, Compos. Math. 159 (2023), 1–52.10.1112/S0010437X22007795 Google Scholar | DOI

[34] Von Kowalevsky, S., ‘Zur Theorie der partiellen Differentialgleichung’, J. Reine Angew. Math. 80 (1875), 1–32. Google Scholar

[35] Zannier, U., Some Problems of Unlikely Intersections in Arithmetic and Geometry, Annals of Mathematics Studies, vol. 181 (Princeton Univ. Press, Princeton, NJ, 2012), with appendices by David Masser. Google Scholar