Adequate predimension inequalities in differential fields

DOI10.1016/J.APAL.2021.103030MaRDI QIDQ2238129zbMATH OpenOpenAlexFDO

Authors V. A. Aslanyan

Publication date 29 October 2021

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

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

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)

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.

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

Cites work

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

Cited in

(7)

• Positive characteristic Ax-Schanuel
• The existential closedness and Zilber-Pink conjectures
• Ax-Schanuel for linear differential equations
• Equidistribution of preimages over nonarchimedean fields for maps of good reduction
• Weak modular Zilber-Pink with derivatives
• 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)