Effective André–Oort for non-compact curves in Hilbert modular varieties

Gal Binyamini; David Masser

doi:10.5802/crmath.177

Théorie des nombres

Effective André–Oort for non-compact curves in Hilbert modular varieties
[La conjecture de André–Oort effective pour les courbes non-compactes dans les variétés modulaires de Hilbert]

Gal Binyamini ¹ ; David Masser ²

¹ Weizmann Institute of Science, Rehovot, Israel
² Departement Mathematik und Informatik, Universität Basel, Spiegelgasse 1, 4051 Basel, Switzerland

Comptes Rendus. Mathématique, Volume 359 (2021) no. 3, pp. 313-321.

Résumé
Abstract

Dans les démonstrations de la plupart des cas de la conjecture de André–Oort, il y a deux étapes différentes dont l’effectivité n’est pas claire : l’utilisation de généralisations de Brauer–Siegel et l’utilisation de Pila–Wilkie. Seulement le cas des courbes dans $ℂ^{2}$ est couramment effectivement connu (par des autres méthodes).

Nous donnons une démonstration effective de la conjecture pour les courbes non-compactes dans chaque surface modulaire de Hilbert et chaque variété modulaire de Hilbert de genre impair (sous condition secondaire de simplicité générique). En particulier nous montrons que dans ces cas, la première étape peut $\hat{e}$ tre remplacée par les majorations d’endomorphismes de Wüstholz et le deuxième auteur combinées avec la méthode de spécialisation de André par les G-fonctions, et la deuxième étape peut $\hat{e}$ tre effectivisée en utilisant les Q-fonctions de Novikov, Yakovenko et le premier auteur.

In the proofs of most cases of the André–Oort conjecture, there are two different steps whose effectivity is unclear: the use of generalizations of Brauer–Siegel and the use of Pila–Wilkie. Only the case of curves in $ℂ^{2}$ is currently known effectively (by other methods).

We give an effective proof of André–Oort for non-compact curves in every Hilbert modular surface and every Hilbert modular variety of odd genus (under a minor generic simplicity condition). In particular we show that in these cases the first step may be replaced by the endomorphism estimates of Wüstholz and the second author together with the specialization method of André via G-functions, and the second step may be effectivized using the Q-functions of Novikov, Yakovenko and the first author.

Reçu le : 2020-09-22
Accepté le : 2021-01-08
Publié le : 2021-04-20

DOI : 10.5802/crmath.177

Classification : 11G10, 11G15, 11G18, 11G50

Affiliations des auteurs :

Gal Binyamini ¹ ; David Masser ²

¹ Weizmann Institute of Science, Rehovot, Israel
² Departement Mathematik und Informatik, Universität Basel, Spiegelgasse 1, 4051 Basel, Switzerland

Licence :

CC-BY 4.0

Droits d'auteur : Les auteurs conservent leurs droits

@article{CRMATH_2021__359_3_313_0,
     author = {Gal Binyamini and David Masser},
     title = {Effective {Andr\'e{\textendash}Oort} for non-compact curves in {Hilbert} modular varieties},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {313--321},
     publisher = {Acad\'emie des sciences, Paris},
     volume = {359},
     number = {3},
     year = {2021},
     doi = {10.5802/crmath.177},
     language = {en},
}

TY  - JOUR
AU  - Gal Binyamini
AU  - David Masser
TI  - Effective André–Oort for non-compact curves in Hilbert modular varieties
JO  - Comptes Rendus. Mathématique
PY  - 2021
SP  - 313
EP  - 321
VL  - 359
IS  - 3
PB  - Académie des sciences, Paris
DO  - 10.5802/crmath.177
LA  - en
ID  - CRMATH_2021__359_3_313_0
ER  -

%0 Journal Article
%A Gal Binyamini
%A David Masser
%T Effective André–Oort for non-compact curves in Hilbert modular varieties
%J Comptes Rendus. Mathématique
%D 2021
%P 313-321
%V 359
%N 3
%I Académie des sciences, Paris
%R 10.5802/crmath.177
%G en
%F CRMATH_2021__359_3_313_0

Gal Binyamini; David Masser. Effective André–Oort for non-compact curves in Hilbert modular varieties. Comptes Rendus. Mathématique, Volume 359 (2021) no. 3, pp. 313-321. doi : 10.5802/crmath.177. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.177/

Bibliographie
Cité par

[1] Yves André G-functions and geometry, Aspects of Mathematics, 13, Vieweg & Sohn, 1989 | Zbl

[2] Yves André Finitude des couples d’invariants modulaires singuliers sur une courbe algébrique plane non modulaire, J. Reine Angew. Math., Volume 505 (1998), pp. 203-208 | DOI | Zbl

[3] Yuri Bilu; Lars Kühne Linear equations in singular moduli, Int. Math. Res. Not., Volume 2020 (2020) no. 21, pp. 7617-7643 | DOI | MR | Zbl

[4] Yuri Bilu; David Masser; Umberto Zannier An effective ‘Theorem of André’ for $C M$ -points on a plane curve, Math. Proc. Camb. Philos. Soc., Volume 154 (2013) no. 1, pp. 145-152 | DOI | Zbl

[5] Gal Binyamini Density of algebraic points on Noetherian varieties, Geom. Funct. Anal., Volume 29 (2019) no. 1, pp. 72-118 | DOI | MR | Zbl

[6] Gal Binyamini Some effective estimates for André–Oort in $Y {(1)}^{n}$ , J. Reine Angew. Math., Volume 767 (2020), pp. 17-35 (with appendix by E. Kowalski) | DOI | MR | Zbl

[7] Gal Binyamini; Dmitry Novikov; Sergei Yakovenko On the number of zeros of Abelian integrals. A constructive solution of the infinitesimal Hilbert sixteenth problem, Invent. Math., Volume 181 (2010) no. 2, pp. 227-289 | DOI | Zbl

[8] Gal Binyamini; Dmitry Novikov; Sergei Yakovenko Quasialgebraic functions, Algebraic methods in dynamical systems (Banach Center Publications), Volume 94, Polish Academy of Sciences, 2011, pp. 61-81 | MR | Zbl

[9] Enrico Bombieri; Jonathan Pila The number of integral points on arcs and ovals, Duke Math. J., Volume 59 (1989) no. 2, pp. 337-357 | MR | Zbl

[10] Christopher Daw; Martin Orr Quantitative reduction theory and unlikely intersections (2019) (https://arxiv.org/abs/1911.05618)

[11] Christopher Daw; Martin Orr Unlikely intersections with $E \times C M$ curves in $𝒜_{2}$ (2019) (https://arxiv.org/abs/1902.10483)

[12] Albrecht Fröhlich; John C. Shepherdson Effective procedures in field theory, Philos. Trans. Roy. Soc. London, Volume 248 (1956), pp. 407-432 | MR | Zbl

[13] Gareth Jones; Margaret E. M. Thomas Effective Pila–Wilkie bounds for unrestricted Pfaffian surfaces (2018) (https://arxiv.org/abs/1804.08232, to appear in Math. Ann.)

[14] Lars Kühne An effective result of André–Oort type, Ann. Math., Volume 176 (2012) no. 1, pp. 651-671 | DOI | Zbl

[15] Lars Kühne Logarithms of algebraic numbers, J. Théor. Nombres Bordeaux, Volume 27 (2015) no. 2, pp. 499-535 | DOI | Numdam | MR | Zbl

[16] David Masser Specializations of some hyperelliptic Jacobians, Number theory in progress, Walter de Gruyter, 1999, pp. 293-307 | Zbl

[17] David Masser; Gisbert Wüstholz Endomorphism estimates for abelian varieties, Math. Z., Volume 215 (1994) no. 4, pp. 641-653 | DOI | MR | Zbl

[18] Jean-François Mestre Families of hyperelliptic curves with real multiplication, Arithmetic algebraic geometry (Progress in Mathematics), Volume 89, Birkhäuser, 1991, pp. 193-208 | DOI | MR

[19] Ya’acov Peterzil; Sergei Starchenko Definability of restricted theta functions and families of abelian varieties, Duke Math. J., Volume 162 (2013) no. 4, pp. 731-765 | MR | Zbl

[20] Jonathan Pila On the algebraic points of a definable set, Sel. Math., New Ser., Volume 15 (2009) no. 1, pp. 151-170 | DOI | MR | Zbl

[21] Jonathan Pila $O$ -minimality and the André–Oort conjecture for $ℂ^{n}$ , Ann. Math., Volume 173 (2011) no. 3, pp. 1779-1840 | DOI | Zbl

[22] Jonathan Pila; Jacob Tsimerman The André–Oort conjecture for the moduli space of abelian surfaces, Compos. Math., Volume 149 (2013) no. 2, pp. 204-216 | DOI | Zbl

[23] Jonathan Pila; Alex Wilkie The rational points of a definable set, Duke Math. J., Volume 133 (2006) no. 3, pp. 591-616 | MR | Zbl

[24] Jonathan Pila; Umberto Zannier Rational points in periodic analytic sets and the Manin–Mumford conjecture, Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl., Volume 19 (2008) no. 2, pp. 149-162 | DOI | MR | Zbl

[25] Jacob Tsimerman Brauer–Siegel for arithmetic tori and lower bounds for Galois orbits of special points, J. Am. Math. Soc., Volume 25 (2012) no. 4, pp. 1091-1117 | DOI | MR | Zbl

[26] Jacob Tsimerman The André–Oort conjecture for $𝒜_{g}$ , Ann. Math., Volume 187 (2015) no. 2, pp. 379-390 | DOI | MR | Zbl

[27] John Wilson Explicit moduli for curves of genus 2 with real multiplication by $ℚ (\sqrt{5})$ , Acta Arith., Volume 93 (2000) no. 2, pp. 121-138 | DOI | MR | Zbl

Cité par Sources :

Commentaires - Politique