Functional Transcendence of Periods and the Geometric André–Grothendieck Period Conjecture

Bakker, Benjamin ; Tsimerman, Jacob

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

Résumé

We prove a functional transcendence theorem for the integrals of algebraic forms in families of algebraic varieties. This allows us to prove a geometric version of André’s generalization of the Grothendieck period conjecture, which we state using the formalism of Nori motives.More precisely, we prove a version of the Ax–Schanuel conjecture for the comparison between the flat and algebraic coordinates of an arbitrary admissible graded polarizable variation of integral mixed Hodge structures. This can be seen as a generalization of the recent Ax–Schanuel theorems of [13, 18] for mixed period maps.

Détail

DOI : 10.1017/fms.2025.10036

Bibliographie

[1] André, Y., ‘Mumford-Tate groups of mixed Hodge structures and the theorem of the fixed part’, Compos. Math. 82(1) (1992), 1–24. Google Scholar

[2] André, Y., ‘A note on 1-motives’, Int. Math. Res. Not. IMRN 3 (2021), 2074–2080.10.1093/imrn/rny295 Google Scholar | DOI

[3] Arapura, D., ‘Motivic sheaves revisited’ J. Pure Appl. Algebra 227(8) (2022), 107125. Google Scholar

[4] Ayoub, J., ‘L’algèbre de Hopf et le groupe de Galois motiviques d’un corps de caractéristique nulle, II’, J. Reine Angew. Math. 693 (2014), 151–226.10.1515/crelle-2012-0090 Google Scholar | DOI

[5] Ayoub, J., ‘Periods and the conjectures of Grothendieck and Kontsevich-Zagier’, Eur. Math. Soc. Newsl. 91 (2014), 12–18. Google Scholar

[6] Ayoub, J., ‘Une version relative de la conjecture des périodes de Kontsevich-Zagier’, Ann. of Math. (2) 181(3) (2015), 905–992.10.4007/annals.2015.181.3.2 Google Scholar | DOI

[7] Bakker, B., Brunebarbe, Y., Klingler, B. and Tsimerman, J., ‘Definability of mixed period maps’, Preprint, 2020, . Google Scholar | arXiv

[8] Bakker, B. and Mullane, S., ‘Definable structures on flat bundles’, Preprint, 2022, . Google Scholar | arXiv

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

[10] Bertolin, C., ‘Third kind elliptic integrals and 1-motives’, J. Pure Appl. Algebra 224(10) (2020), 106396, 28. With a letter of Y. André and an appendix by M. Waldschmidt.10.1016/j.jpaa.2020.106396 Google Scholar | DOI

[11] Blásquez-Sans, D., Casales, G., Freitag, J. and Nagloo, J., ‘A differential approach to the Ax–Schanuel, I’, Preprint, 2021, . Google Scholar | arXiv

[12] Bost, J.-B. and Charles, F., ‘Some remarks concerning the Grothendieck period conjecture’, J. Reine Angew. Math. 714 (2016), 175–208.10.1515/crelle-2014-0025 Google Scholar | DOI

[13] Chiu, K., ‘Ax–Schanuel for variations of mixed Hodge structures’, Preprint, 2021, http://arxiv.org/pdf/2101.10968. Google Scholar

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

[15] Choudhury, U. and Gallauer Alves De Souza, M. ‘An isomorphism of motivic Galois groups’, Adv. Math. 313 (2017), 470–536.10.1016/j.aim.2017.04.006 Google Scholar | DOI

[16] Deligne, P., ‘Local behavior of Hodge structures at infinity’, in Mirror Symmetry, II (AMS/IP Stud. Adv. Math.) vol. 1 (Amer. Math. Soc., Providence, RI, 1997), 683–699. Google Scholar

[17] Edixhoven, B., ‘Special points on products of modular curves’, Duke Math. J. 126(2) (2005), 325–348.10.1215/S0012-7094-04-12624-7 Google Scholar | DOI

[18] Gao, Z. and Klingler, B., ‘The Ax-Schanuel conjecture for variations of mixed Hodge structures’, Preprint, 2021, . Google Scholar | arXiv

[19] Green, M., Griffiths, P. and Kerr, M., Mumford-Tate Groups and Domains (Annals of Mathematics Studies) vol. 183 (Princeton University Press, Princeton, NJ, 2012). Google Scholar

[20] Huber, A. and Müller-Stach, S., Periods and Nori Motives (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]) vol. 65 (Springer, Cham, 2017). With contributions by Benjamin Friedrich and Jonas von Wangenheim.10.1007/978-3-319-50926-6 Google Scholar | DOI

[21] Klingler, B. and Lerer, L., ‘Abelian differentials and their periods: the bi-algebraic point of view’, Preprint, 2022, . Google Scholar | arXiv

[22] Mok, N., Pila, J. and Tsimerman, J., ‘Ax-Schanuel for Shimura varieties’, Ann. of Math. (2) 189(3) (2019), 945–978.10.4007/annals.2019.189.3.7 Google Scholar | DOI

[23] Mostaed, A., ‘On the invariant cycle theorem for families of Nori motives’, Preprint, 2022, . Google Scholar | arXiv

[24] Peters, C. A. M. and Steenbrink, J. H. M., Mixed Hodge Structures (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]) vol. 52 (Springer-Verlag, Berlin, 2008). Google Scholar

[25] Peterzil, Y. and Starchenko, S., ‘Expansions of algebraically closed fields. II. Functions of several variables’, J. Math. Log. 3(1) (2003), 1–35.10.1142/S0219061303000224 Google Scholar | DOI

[26] Pila, J., ‘O-minimality and the André-Oort conjecture for ’, Ann. of Math. (2) 173(3) (2011), 1779–1840.10.4007/annals.2011.173.3.11 Google Scholar | DOI

[27] Pila, J. and Tsimerman, J., ‘Ax-Schanuel for the -function’, Duke Math. J. 165(13) (2016), 2587–2605.10.1215/00127094-3620005 Google Scholar | DOI

[28] Pila, J. and Wilkie, A. J., ‘The rational points of a definable set’, Duke Math. J. 133(3) (2006), 591–616.10.1215/S0012-7094-06-13336-7 Google Scholar | DOI

[29] Van Den Dries, L., Tame Topology and o-Minimal Structures (London Mathematical Society Lecture Note Series) vol. 248 (Cambridge University Press, Cambridge, 1998).10.1017/CBO9780511525919 Google Scholar | DOI

[30] Veech, W. A., ‘Moduli spaces of quadratic differentials’, J. Analyse Math. 55 (1990), 117–171.10.1007/BF02789200 Google Scholar | DOI