Point counting for foliations over number fields

DOI10.1017/FMP.2021.20zbMATH Open1490.14037arXiv2009.00892OpenAlexW4214941092MaRDI QIDQ3390109FDOQ3390109

Gal Binyamini

Publication date: 24 March 2022

Published in: Forum of Mathematics, Pi (Search for Journal in Brave)

Abstract: We consider an algebraic variety and its foliation, both defined over a number field. We prove upper bounds for the geometric complexity of the intersection between a leaf of the foliation and a subvariety of complementary dimension (also defined over a number field). Our bounds depend polynomially on the degrees, logarithmic heights, and the logarithmic distance to a certain emph{locus of unlikely intersections}. Under suitable conditions on the foliation, we show that this implies a bound, polynomial in the degree and height, for the number of algebraic points on transcendental sets defined using such foliations. We deduce several results in Diophantine geometry. i) Following Masser-Zannier, we prove that given a pair of sections $P,Q$ of a non-isotrivial 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 the degrees and log-heights of the sections $P,Q$. In particular the set of such simultaneous torsion points is effectively computable in polynomial time. ii) Following Pila, we prove that given $Vsubsetmathbb{C}^n$ there is an (ineffective) upper bound, polynomial in the degree and log-height of V, for the degrees and discriminants of maximal special subvarieties. In particular it follows that Andr'e-Oort for powers of the modular curve is decidable in polynomial time (by an algorithm depending on a universal, ineffective Siegel constant). iii) 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.

Full work available at URL: https://arxiv.org/abs/2009.00892

Recommendations

• Rational versus transcendental points on analytic Riemann surfaces
• Algebraic leaves of algebraic foliations over number fields.
• Intersections of subgroups and subvarieties. I
• The rational points of a definable set
• scientific article; zbMATH DE number 1969555

zbMATH Keywords

foliationsPila-Wilkie theoremAndré-Oort conjectureGalois orbitsimultaneous torsion points on square of elliptic curvesspecial points on Shimura varietiestorsion point on elliptic curvesWeierstrass polydiscs

Mathematics Subject Classification ID

Heights (11G50) Rational points (14G05) Model theory of ordered structures; o-minimality (03C64) Modular and Shimura varieties (14G35)

Cites Work

• Title not available (Why is that?)
• Some problems of unlikely intersections in arithmetic and geometry. With appendixes by David Masser
• Title not available (Why is that?)
• Lectures on analytic differential equations
• The number of integral points on arcs and ovals
• Title not available (Why is that?)
• On the Zeta-Functions of Algebraic Number Fields
• On the number of zeros of Abelian integrals. A constructive solution of the infinitesimal Hilbert sixteenth problem
• Hyperbolic distribution problems and half-integral weight Maass forms
• Isogeny estimates for abelian varieties, and finiteness theorems
• Title not available (Why is that?)
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• Periods and minimal abelian subvarieties
• The André-Oort conjecture for \(\mathcal A_g\)
• The rational points of a definable set
• Counting real zeros of analytic functions satisfying linear ordinary differential equations
• Torsion points on families of squares of elliptic curves
• Theta height and Faltings height
• On the algebraic points of a definable set
• Torsion anomalous points and families of elliptic curves
• Rational values of the Riemann zeta function
• Weakly bounded height on modular curves
• Strong minimality and the \(j\)-function
• Title not available (Why is that?)
• Points of small height on elliptic curves
• Bounding the radii of balls meeting every connected component of semi-algebraic sets
• Polynomial bounds for the oscillation of solutions of Fuchsian systems
• Zero Counting and Invariant Sets of Differential Equations
• Torsion points on families of products of elliptic curves
• Torsion points on families of simple abelian surfaces and Pell's equation over polynomial rings (with an appendix by E. V. Flynn)
• Rational points on definable sets
• On the difference of the Weil height and the Neron-Tate height
• Complex cellular structures
• Title not available (Why is that?)
• Multiplicity operators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Multiplicities of Noetherian deformations
• Galois Theory, Coverings, and Riemann Surfaces
• Faltings heights of abelian varieties with complex multiplication
• On the averaged Colmez conjecture
• Unlikely intersections in products of families of elliptic curves and the multiplicative group
• Linear relations in families of powers of elliptic curves
• Diophantine approximations on definable sets
• Density of algebraic points on Noetherian varieties
• Wilkie's conjecture for restricted elementary functions
• The Pila–Wilkie theorem for subanalytic families: a complex analytic approach
• Diophantine properties of sets definable in o-minimal structures
• Some effective estimates for André-Oort in \(Y(1)^n\)
• Unlikely intersections in families of abelian varieties and the polynomial Pell equation
• Relative Manin–Mumford in additive extensions
• Counting rational points and lower bounds for Galois orbits
• Torsion points, Pell's equation, and integration in elementary terms

Cited In (8)

• Finiteness theorems on elliptical billiards and a variant of the dynamical Mordell–Lang conjecture
• A number theoretic characterization of \(E\)-smooth and (FRS) morphisms: estimates on the number of \(\mathbb{Z}/p^k\mathbb{Z}\)-points
• Algebraic leaves of algebraic foliations over number fields.
• Rolle models in the real and complex world
• Wilkie's conjecture for Pfaffian structures
• Formes linéaires de logarithmes effectives sur les variétés abéliennes
• Title not available (Why is that?)
• Torsion points on isogenous abelian varieties

This page was built for publication: Point counting for foliations over number fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3390109)