Point counting for foliations over number fields
From MaRDI portal
Publication:3390109
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 of a non-isotrivial family of squares of elliptic curves that do not satisfy a constant relation, whenever are simultaneously torsion their order of torsion is bounded effectively by a polynomial in the degrees and log-heights of the sections . In particular the set of such simultaneous torsion points is effectively computable in polynomial time. ii) Following Pila, we prove that given 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.
Recommendations
Cites work
- scientific article; zbMATH DE number 4071021 (Why is no real title available?)
- scientific article; zbMATH DE number 13048 (Why is no real title available?)
- scientific article; zbMATH DE number 44360 (Why is no real title available?)
- scientific article; zbMATH DE number 1215425 (Why is no real title available?)
- scientific article; zbMATH DE number 575960 (Why is no real title available?)
- scientific article; zbMATH DE number 1978268 (Why is no real title available?)
- scientific article; zbMATH DE number 1467843 (Why is no real title available?)
- scientific article; zbMATH DE number 1424126 (Why is no real title available?)
- Bounding the radii of balls meeting every connected component of semi-algebraic sets
- Complex cellular structures
- Counting rational points and lower bounds for Galois orbits
- Counting real zeros of analytic functions satisfying linear ordinary differential equations
- Density of algebraic points on Noetherian varieties
- Diophantine approximations on definable sets
- Diophantine properties of sets definable in o-minimal structures
- Faltings heights of abelian varieties with complex multiplication
- Galois theory, coverings, and Riemann surfaces. Translated from the Russian by Valentina Kiritchenko and Vladlen Timorin
- Hyperbolic distribution problems and half-integral weight Maass forms
- Isogeny estimates for abelian varieties, and finiteness theorems
- Lectures on analytic differential equations
- Linear relations in families of powers of elliptic curves
- Multiplicities of Noetherian deformations
- Multiplicity operators
- On the Zeta-Functions of Algebraic Number Fields
- On the algebraic points of a definable set
- On the averaged Colmez conjecture
- On the difference of the Weil height and the Neron-Tate height
- On the number of zeros of Abelian integrals. A constructive solution of the infinitesimal Hilbert sixteenth problem
- Periods and minimal abelian subvarieties
- Points of small height on elliptic curves
- Polynomial bounds for the oscillation of solutions of Fuchsian systems
- Rational points on definable sets
- Rational values of the Riemann zeta function
- Relative Manin-Mumford in additive extensions
- Some effective estimates for André-Oort in Y(1)^n
- Some problems of unlikely intersections in arithmetic and geometry. With appendixes by David Masser
- Strong minimality and the \(j\)-function
- The André-Oort conjecture for \(\mathcal A_g\)
- The Pila–Wilkie theorem for subanalytic families: a complex analytic approach
- The number of integral points on arcs and ovals
- The rational points of a definable set
- Theta height and Faltings height
- Torsion anomalous points and families of elliptic curves
- 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)
- Torsion points on families of squares of elliptic curves
- Torsion points, Pell's equation, and integration in elementary terms
- Unlikely intersections in families of abelian varieties and the polynomial Pell equation
- Unlikely intersections in products of families of elliptic curves and the multiplicative group
- Weakly bounded height on modular curves
- Wilkie's conjecture for restricted elementary functions
- Zero counting and invariant sets of differential equations
- \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
Cited in
(11)- Finiteness theorems on elliptical billiards and a variant of the dynamical Mordell–Lang conjecture
- Zero counting and invariant sets of differential equations
- 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
- Bezout-type theorems for differential fields
- Rational versus transcendental points on analytic Riemann surfaces
- Wilkie's conjecture for Pfaffian structures
- Formes linéaires de logarithmes effectives sur les variétés abéliennes
- scientific article; zbMATH DE number 1545404 (Why is no real title available?)
- 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)