Geodesic
Point counting for foliations over number fields
Forum of Mathematics, Pi, Tome 10 (2022)

Voir la notice de l'article provenant de la source Cambridge University Press

Let${\mathbb M}$ be an affine variety equipped with a foliation, both defined over a number field ${\mathbb K}$. For an algebraic $V\subset {\mathbb M}$ over ${\mathbb K}$, write $\delta _{V}$ for the maximum of the degree and log-height of V. Write $\Sigma _{V}$ for the points where the leaves intersect V improperly. Fix a compact subset ${\mathcal B}$ of a leaf ${\mathcal L}$. We prove effective bounds on the geometry of the intersection ${\mathcal B}\cap V$. In particular, when $\operatorname {codim} V=\dim {\mathcal L}$ we prove that $\#({\mathcal B}\cap V)$ is bounded by a polynomial in $\delta _{V}$ and $\log \operatorname {dist}^{-1}({\mathcal B},\Sigma _{V})$. Using these bounds we prove a result on the interpolation of algebraic points in images of ${\mathcal B}\cap V$ by an algebraic map $\Phi $. For instance, under suitable conditions we show that $\Phi ({\mathcal B}\cap V)$ contains at most $\operatorname {poly}(g,h)$ algebraic points of log-height h and degree g.We deduce several results in Diophantine geometry. Following Masser and Zannier, we prove that given a pair of sections $P,Q$ of a nonisotrivial family of squares of elliptic curves that do not satisfy a constant relation, whenever $P,Q$ are simultaneously torsion their order of torsion is bounded effectively by a polynomial in $\delta _{P},\delta _{Q}$; in particular, the set of such simultaneous torsion points is effectively computable in polynomial time. Following Pila, we prove that given $V\subset {\mathbb C}^{n}$, there is an (ineffective) upper bound, polynomial in $\delta _{V}$, for the degrees and discriminants of maximal special subvarieties; in particular, it follows that the André–Oort conjecture for powers of the modular curve is decidable in polynomial time (by an algorithm depending on a universal, ineffective Siegel constant). Following Schmidt, we show that our counting result implies a Galois-orbit lower bound for torsion points on elliptic curves of the type previously obtained using transcendence methods by David. 
@article{10_1017_fmp_2021_20,
     author = {Gal Binyamini},
     title = {Point counting for foliations over number fields},
     journal = {Forum of Mathematics, Pi},
     publisher = {mathdoc},
     volume = {10},
     year = {2022},
     doi = {10.1017/fmp.2021.20},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fmp.2021.20/}
}
TY  - JOUR
AU  - Gal Binyamini
TI  - Point counting for foliations over number fields
JO  - Forum of Mathematics, Pi
PY  - 2022
VL  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fmp.2021.20/
DO  - 10.1017/fmp.2021.20
LA  - en
ID  - 10_1017_fmp_2021_20
ER  - 
%0 Journal Article
%A Gal Binyamini
%T Point counting for foliations over number fields
%J Forum of Mathematics, Pi
%D 2022
%V 10
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.1017/fmp.2021.20/
%R 10.1017/fmp.2021.20
%G en
%F 10_1017_fmp_2021_20
Gal Binyamini. Point counting for foliations over number fields. Forum of Mathematics, Pi, Tome 10 (2022). doi: 10.1017/fmp.2021.20

[1] Andreatta, F., Goren, E. Z., Howard, B. and Pera, K. M, ‘Faltings heights of abelian varieties with complex multiplication’, Ann. of Math. (2) 187(2) (2018), 391–531.Google Scholar | DOI

[2] Barroero, F. and Capuano, L., ‘Linear relations in families of powers of elliptic curves’, Algebra Number Theory 10(1) (2016), 195–214.Google Scholar | DOI

[3] Barroero, F. and Capuano, L., ‘Unlikely intersections in products of families of elliptic curves and the multiplicative group’, Q. J. Math. 68(4) (2017), 1117–1138.Google Scholar | DOI

[4] Barroero, F. and Capuano, L., ‘Unlikely intersections in families of abelian varieties and the polynomial Pell equation’, Proc. Lond. Math. Soc. (3) 120(2) (2020), 192–219.Google Scholar | DOI

[5] Basu, S. and Roy, M.-F., ‘Bounding the radii of balls meeting every connected component of semi-algebraic sets’, J. Symbolic Comput. 45(12) (2010), 1270–1279.Google Scholar | DOI

[6] Binyamini, G., ‘Zero counting and invariant sets of differential equations’, Int. Math. Res. Not. IMRN 2019(13) (2017), 4119–4158.Google Scholar | DOI

[7] Binyamini, G., ‘Density of algebraic points on Noetherian varieties’, Geom. Funct. Anal. 29(1) (2019), 72–118.Google Scholar | DOI

[8] Binyamini, G., ‘Some effective estimates for André-Oort in ’, J. Reine Angew. Math. 2020(767) (2020), 17–35. With an appendix by Emmanuel Kowalski.Google Scholar | DOI

[9] Binyamini, G. and Novikov, D., ‘Multiplicities of Noetherian deformations’, Geom. Funct. Anal. 25(5) (2015), 1413–1439.Google Scholar | DOI

[10] Binyamini, G. and Novikov, D., ‘Multiplicity operators’, Israel J. Math. 210(1) (2015), 101–124.Google Scholar | DOI

[11] Binyamini, G. and Novikov, D., ‘The Pila-Wilkie theorem for subanalytic families: a complex analytic approach’, Compos. Math. 153(10) (2017), 2171–2194.Google Scholar | DOI

[12] Binyamini, G. and Novikov, D., ‘Wilkie’s conjecture for restricted elementary functions’, Ann. of Math. (2) 186(1) (2017), 237–275.Google Scholar | DOI

[13] Binyamini, G. and Novikov, D., ‘Complex cellular structures’, Ann. of Math. (2) 190(1) (2019), 145–248.Google Scholar | DOI

[14] Binyamini, G., Novikov, D. and Yakovenko, S., ‘On the number of zeros of Abelian integrals’, Invent. Math. 181(2) (2010), 227–289.Google Scholar | DOI

[15] Binyamini, G., Schmidt, H. and Yafaev, A., ‘Lower bounds for Galois orbits of special points on Shimura varieties: a point-counting approach’, Math. Ann., to appear. Google Scholar | arXiv

[16] Binyamini, G. and Yakovenko, S., ‘Polynomial bounds for the oscillation of solutions of Fuchsian systems’, Ann. Inst. Fourier (Grenoble) 59(7) (2009), 2891–2926.Google Scholar | DOI

[17] Bombieri, E. and Pila, J., ‘The number of integral points on arcs and ovals’, Duke Math. J. 59(2) (1989), 337–357.Google Scholar | DOI

[18] Brauer, R., ‘On the zeta-functions of algebraic number fields’, Amer. J. Math. 69(2) (1947), 243–250.Google Scholar | DOI

[19] Chirka, E. M., Complex Analytic Sets, Mathematics and Its Applications (Soviet series) vol. 46 (Kluwer Academic Publishers Group, Dordrecht, the Netherlands, 1989). Translated from the Russian by Hoksbergen, R. A. M..Google Scholar | DOI

[20] Brownawell, W. D., ‘The Hilbert Nullstellensatz, inequalities for polynomials, and algebraic independence’, in Introduction to Algebraic Independence Theory, Lecture Notes in Mathematics vol. 1752 (Springer, Berlin, 2001), 239–248.Google Scholar

[21] David, S., ‘Fonctions thêta et points de torsion des variétés abéliennes’, Compos. Math. 78(2) (1991), 121–160.Google Scholar

[22] David, S., ‘Points de petite hauteur sur les courbes elliptiques’, J. Number Theory 64(1) (1997), 104–129.Google Scholar | DOI

[23] Duke, W., ‘Hyperbolic distribution problems and half-integral weight Maass forms’, Invent. Math. 92(1) (1988), 73–90.Google Scholar | DOI

[24] Freitag, J. and Scanlon, T., ‘Strong minimality and the -function’, J. Eur. Math. Soc. (JEMS) 20(1) (2018), 119–136.Google Scholar | DOI

[25] Gabrielov, A., ‘Multiplicity of a zero of an analytic function on a trajectory of a vector field’, in The Arnoldfest (Toronto, ON, 1997), Fields Institute Communications vol. 24 (American Mathematical Society, Providence, RI, 1999), 191–200.Google Scholar

[26] Gabrielov, A. and Khovanskii, A., ‘Multiplicity of a Noetherian intersection’, in Geometry of Differential Equations, American Mathematical Society Translations: Series 2 vol. 186 (American Mathematical Society, Providence, RI, 1998), 119–130.Google Scholar

[27] Gel’Fand, I. M., Kapranov, M. M. and Zelevinsky, A. V., Discriminants, Resultants, and Multidimensional Determinants, Mathematics: Theory & Applications (Birkhäuser Boston, Inc., Boston, MA, 1994).Google Scholar | DOI

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

[29] Habegger, P., ‘Diophantine approximations on definable sets’, Selecta Math. (N.S.) 24(2) (2018), 1633–1675.Google Scholar | DOI

[30] Il’Yashenko, Y. and Yakovenko, S., ‘Counting real zeros of analytic functions satisfying linear ordinary differential equations’, J. Differential Equations 126(1) (1996), 87–105.Google Scholar | DOI

[31] Ilyashenko, Y. and Yakovenko, S., Lectures on Analytic Differential Equations, Graduate Studies in Mathematics vol. 86 (American Mathematical Society, Providence, RI, 2008).Google Scholar

[32] Khovanskiĭ, A. G., Fewnomials, Translations of Mathematical Monographs vol. 88 (American Mathematical Society, Providence, RI, 1991). Translated from the Russian by S. Zdravkovska.Google Scholar | DOI

[33] Masser, D., ‘Heights, transcendence, and linear independence on commutative group varieties’, in Diophantine Approximation (Cetraro, 2000), Lecture Notes in Mathematics vol. 1819 (Springer, Berlin, 2003), 1–51.Google Scholar | DOI

[34] Masser, D., ‘Rational values of the Riemann zeta function’, J. Number Theory 131(11) (2011), 2037–2046.Google Scholar | DOI

[35] Masser, D. and Wüstholz, G., ‘Isogeny estimates for abelian varieties, and finiteness theorems’, Ann. of Math. (2) 137(3) (1993), 459–472.Google Scholar | DOI

[36] Masser, D. and Wüstholz, G., ‘Periods and minimal abelian subvarieties’, Ann. of Math. (2) 137(2) (1993), 407–458.Google Scholar | DOI

[37] Masser, D. and Zannier, U., ‘Torsion anomalous points and families of elliptic curves’, Amer. J. Math. 132(6) (2010), 1677–1691.Google Scholar

[38] Masser, D. and Zannier, U., ‘Torsion points on families of squares of elliptic curves’, Math. Ann. 352(2) (2012), 453–484.Google Scholar | DOI

[39] Masser, D. and Zannier, U., ‘Torsion points on families of products of elliptic curves’, Adv. Math. 259(10) (2014), 116–133.Google Scholar | DOI

[40] Masser, D. and Zannier, U., ‘Torsion points on families of simple abelian surfaces and Pell’s equation over polynomial rings (with an appendix by E. V. Flynn)’, J. Eur. Math. Soc. (JEMS) 17(9) (2015), 2379–2416.Google Scholar | DOI

[41] Masser, D. and Zannier, U., ‘Torsions points, Pell’s equation, and integration in elementary terms’, Acta Math. 225(2) (2020), 227–313.Google Scholar | DOI

[42] Nesterenko, Yu. V., ‘Estimates for the number of zeros of certain functions’, in New Advances in Transcendence Theory (Durham, 1986) (Cambridge University Press, Cambridge, UK, 1988), 263–269.Google Scholar | DOI

[43] Pazuki, F., ‘Theta height and Faltings height’, Bull. Soc. Math. France 140(1) (2012), 19–49.Google Scholar | DOI

[44] Pila, J., ‘On the algebraic points of a definable set’, Selecta Math. (N.S.) 15(1) (2009), 151–170.Google Scholar | DOI

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

[46] Pila, J., Shankar, A. and Tsimerman, J., ‘Canonical heights on Shimura varieties and the André-Oort conjecture’, Preprint, 2021, . With an appendix by Esnault, H. and Groechenig, M..Google Scholar | arXiv

[47] Pila, J. and Wilkie, A. J., ‘The rational points of a definable set’, Duke Math. J. 133(3) (2006), 591–616.Google Scholar | DOI

[48] Schmidt, H., ‘Counting rational points and lower bounds for Galois orbits’, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 30(3) (2019), 497–509.Google Scholar | DOI

[49] Schmidt, H., ‘Relative Manin-Mumford in additive extensions’, Trans. Amer. Math. Soc. 371(9) (2019), 6463–6486.Google Scholar | DOI

[50] Tsimerman, J., ‘The André-Oort conjecture for ’, Ann. of Math. (2) 187(2) (2018), 379–390.Google Scholar | DOI

[51] Waldschmidt, M., Diophantine Approximation on Linear Algebraic Groups, Grundlehren der Mathematischen Wissenschaften vol. 326 (Springer-Verlag, Berlin, 2000).Google Scholar | DOI

[52] Wilkie, A. J., ‘Diophantine properties of sets definable in o-minimal structures’, J. Symbolic Logic 69(3) (2004), 851–861.Google Scholar | DOI

[53] Wilkie, A. J., ‘Rational points on definable sets’, in O-Minimality and Diophantine Geometry, London Mathematical Society Lecture Notes Series vol. 421 (Cambridge University Press, Cambridge, UK, 2015), 41–65.Google Scholar | DOI

[54] Yuan, X. and Zhang, S.-W., ‘On the averaged Colmez conjecture’, Ann. of Math. (2) 187(2) (2018), 533–638.Google Scholar | DOI

[55] Zannier, U., Some Problems of Unlikely Intersections in Arithmetic and Geometry, Annals of Mathematics Studies vol. 181 (Princeton University Press, Princeton, NJ, 2012). With appendixes by Masser, D..Google Scholar

[56] Zimmer, H. G., ‘On the difference of the Weil height and the Néron-Tate height’, Math. Z. 147(1) (1976), 35–51.Google Scholar | DOI

Cité par Sources :