Adequate predimension inequalities in differential fields

DOI10.1016/J.APAL.2021.103030zbMATH Open1491.12003arXiv1803.04753OpenAlexW3198404388MaRDI QIDQ2238129FDOQ2238129

Authors: V. A. Aslanyan 

Publication date: 29 October 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: In this paper we study predimension inequalities in differential fields and define what it means for such an inequality to be emph{adequate}. Adequacy was informally introduced by Zilber, and here we give a precise definition in a quite general context. We also discuss the connection of this problem to definability of derivations in the reducts of differentially closed fields. The Ax-Schanuel inequality for the exponential differential equation (proved by Ax) and its analogue for the differential equation of the $j$-function (established by Pila and Tsimerman) are our main examples of predimensions. We carry out a Hrushovski construction with the latter predimension and obtain a natural candidate for the first-order theory of the differential equation of the $j$-function. It is analogous to Kirby's axiomatisation of the theory of the exponential differential equation (which in turn is based on the axioms of Zilber's pseudo-exponentiation), although there are many significant differences. In joint work with Sebastian Eterovi'c and Jonathan Kirby we have recently proven that the axiomatisation obtained in this paper is indeed an axiomatisation of the theory of the differential equation of the $j$-function, that is, the Ax-Schanuel inequality for the $j$-function is adequate.

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

Recommendations

• Ax-Schanuel and strong minimality for the \(j\)-function
• Ax-Schanuel for linear differential equations
• Differential existential closedness for the 𝑗-function
• Rank inequalities in the theory of differentially closed fields
• scientific article; zbMATH DE number 1824071

zbMATH Keywords

differential fieldAx-Schanuel theorempredimension\(j\)-functionexistential closedness

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Modular and automorphic functions (11F03) Differential algebra (12H05) Abstract differential equations (12H20)

Cites Work

• Some problems of unlikely intersections in arithmetic and geometry. With appendixes by David Masser
• The Arithmetic of Elliptic Curves
• Title not available (Why is that?)
• A new strongly minimal set
• Title not available (Why is that?)
• On Schanuel's conjectures
• Exponential algebraicity in exponential fields
• Strongly minimal expansions of algebraically closed fields
• Ax-Schanuel for the \(j\)-function
• A note on the axioms for Zilber's pseudo-exponential fields
• Exponentially closed fields and the conjecture on intersections with tori
• Title not available (Why is that?)
• Pseudo-exponentiation on algebraically closed fields of characteristic zero
• Title not available (Why is that?)
• Title not available (Why is that?)
• The theory of the exponential differential equations of semiabelian varieties
• EXPONENTIAL SUMS EQUATIONS AND THE SCHANUEL CONJECTURE
• Model theory of special subvarieties and Schanuel-type conjectures
• Title not available (Why is that?)
• A Schanuel property for exponentially transcendental powers
• Strong minimality and the \(j\)-function
• Title not available (Why is that?)
• O-minimality and certain atypical intersections
• Title not available (Why is that?)
• Constructing ω-stable structures: rank 2 fields
• Strongly minimal countably categorical theories. II
• Two conjectures regarding the stability of ω-categorical theories
• Title not available (Why is that?)
• Applications of the hyperbolic Ax–Schanuel conjecture
• Functional transcendence via o-minimality
• Bi-coloured fields on the complex numbers
• Pseudo-exponential maps, variants, and quasiminimality
• Ax-Schanuel for linear differential equations
• Ax-Schanuel and strong minimality for the \(j\)-function
• Definability of derivations in the reducts of differentially closed fields
• Differential existential closedness for the 𝑗-function
• Hrushovski's amalgamation construction
• A Schanuel property for \(j\)
• Some remarks on atypical intersections

Cited In (7)

• Positive characteristic Ax-Schanuel
• The existential closedness and Zilber-Pink conjectures
• Ax-Schanuel for linear differential equations
• Weak modular Zilber-Pink with derivatives
• Equidistribution of preimages over nonarchimedean fields for maps of good reduction
• Ax-Schanuel and strong minimality for the \(j\)-function
• A closure operator respecting the modular \(j\)-function

This page was built for publication: Adequate predimension inequalities in differential fields

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