Bezout-type theorems for differential fields

DOI10.1112/S0010437X17007035MaRDI QIDQ2990009zbMATH OpenOpenAlexFDO

Authors Gal Binyamini

Publication date 9 June 2017

Published in Compositio Mathematica (Search for Journal in Brave)

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

zbMATH Keywords

Bezout theoremdifferential equationsdiophantine geometry

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Rational points (14G05)

Abstract: We prove analogs of the Bezout and the Bernstein-Kushnirenko-Khovanskii theorems for systems of algebraic differential conditions over differentially closed fields. Namely, given a system of algebraic conditions on the first $l$ derivatives of an $n$-tuple of functions, which admits finitely many solutions, we show that the number of solutions is bounded by an appropriate constant (depending singly-exponentially on $n$ and $l$) times the volume of the Newton polytope of the set of conditions. This improves a doubly-exponential estimate due to Hrushovski and Pillay. We illustrate the application of our estimates in two diophantine contexts: to counting transcendental lattice points on algebraic subvarieties of semi-abelian varieties, following Hrushovski and Pillay; and to counting the number of intersections between isogeny classes of elliptic curves and algebraic varieties, following Freitag and Scanlon. In both cases we obtain bounds which are singly-exponential (improving the known doubly-exponential bounds) and which exhibit the natural asymptotic growth with respect to the degrees of the equations involved.

Recommendations

• Zero counting and invariant sets of differential equations
• scientific article; zbMATH DE number 13861
• scientific article; zbMATH DE number 5019878
• Point counting for foliations over number fields
• A bound for a typical differential dimension of systems of linear differential equations

Cites work

• Abstract Differential Algebra and the Analytic Case
• Abstract Differential Algebra and the Analytic Case. II
• Diophantine geometry from model theory
• Effective bound for the geometric Lang conjecture
• Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
• Geometry of Differential Polynomial Functions, III: Moduli Spaces
• scientific article; zbMATH DE number 3659960 (Why is no real title available?)
• scientific article; zbMATH DE number 3514184 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• Intersections in jet spaces and a conjecture of S. Lang
• Model theory and diophantine geometry
• Strong minimality and the \(j\)-function
• The noncommutative Markovian property
• Uniform bound for generic points of curves in tori.

Cited in

(10)

• A gap theorem for abelian varieties over differential fields
• Asymptotic theories of differential fields
• Ax-Lindemann-Weierstrass with derivatives and the genus 0 Fuchsian groups
• Unlikely intersections in semiabelian surfaces
• Ditkin’s condition for certain Beurling algebras
• From algebra to analysis: new proofs of theorems by Ritt and Seidenberg
• Zero counting and invariant sets of differential equations
• Multiplicity structure of the arc space of a fat point
• Strong minimality and the \(j\)-function
• Effective difference elimination and nullstellensatz

This page was built for publication: Bezout-type theorems for differential fields

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