Related papers: Adequate Predimension Inequalities in Differential…
Let $\mathcal{K}:=(K;+,\cdot, D, 0, 1)$ be a differentially closed field of characteristic $0$ with field of constants $C$. In the first part of the paper we explore the connection between Ax-Schanuel type theorems (predimension…
Let $(K;+,\cdot, ', 0, 1)$ be a differentially closed field. In this paper we explore the connection between Ax-Schanuel type theorems (predimension inequalities) for a differential equation $E(x,y)$ and the geometry of the set $U:=\{…
We generalise the exponential Ax-Schanuel theorem to arbitrary linear differential equations with constant coefficients. Using the analysis of the exponential differential equation by J. Kirby and C. Crampin we give a complete…
Let $\mathcal{F}=(F;+,\cdot,0,1,D)$ be a differentially closed field. We consider the question of definability of the derivation $D$ in reducts of $\mathcal{F}$ of the form $\mathcal{F}_{R}=(F;+,\cdot,0,1,P)_{P \in R}$ where $R$ is a…
In this paper we study the right differentiability of a parametric infimum function over a parametric set defined by equality constraints. We present a new theorem with sufficient conditions for the right differentiability with respect to…
The complete first order theories of the exponential differential equations of semiabelian varieties are given. It is shown that these theories also arises from an amalgamation-with-predimension construction in the style of Hrushovski. The…
In this paper, we prove several Ax-Schanuel type results for uniformizers of geometric structures; our general results describe the differential algebraic relations between the solutions of the partial differential equations satisfied by…
The algebra of exponential fields and their extensions is developed. The focus is on ELA-fields, which are algebraically closed with a surjective exponential map. In this context, finitely presented extensions are defined, it is shown that…
I give a model-theoretic setting for the modular $j$ function and its derivatives. These structures, here called $j$-fields, provide an adequate setting for interpreting the Ax-Schanuel theorem for $j$ (Pila-Tsimerman 2015). Following the…
In [1], J. Ax proved a transcendency theorem for certain differential fields of characteristic zero: the differential counterpart of the still open Schanuel's conjecture about the exponential function over the field of complex numbers [11,…
We show that Zilber's conjecture that complex exponentiation is isomorphic to his pseudo-exponentiation follows from the a priori simpler conjecture that they are elementarily equivalent. An analysis of the first-order types in…
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…
We establish new uniform height inequalities for rational points on higher-dimensional varieties, extending the classical Roth-Schmidt-Subspace paradigm to the Arakelov-theoretic setting. Our main result provides sharp bounds for heights…
Let $\mathscr{M}$ be a finite von Neumann algebra with a faithful normal tracial state $\tau$ and $\mathfrak{A}$ be a finite subdiagonal subalgebra of $\mathscr{M}$ with respect to a $\tau$-preserving faithful normal conditional expectation…
We prove the Existential Closedness conjecture for the differential equation of the $j$-function and its derivatives. It states that in a differentially closed field certain equations involving the differential equation of the $j$-function…
E. Hrushovski proved tha the theory of difference-differential fields has a model companion. We prove this result and other maind properties of this theory that we call DCFA. We describe the SU rank a its relation with transcendence degree.…
Definition. A symmetric with respect to 0 bounded closed convex set A in a finite dimensional normed space X is called a sufficient enlargement for X (or of B(X)) if for arbitrary isometric embedding of X into a Banach space Y there exists…
In this paper we use tools from set theory and the uncountable categoricity of Zilber's pseudo-exponential field to show that Zilber's field is isomorphic to the complex field with (standard) exponentiation and hence Schanuel's conjecture…
After recalling the definition of Zilber fields, and the main conjecture behind them, we prove that Zilber fields of cardinality up to the continuum have involutions, i.e., automorphisms of order two analogous to complex conjugation on…
Inspired by the work of Cordero-Erausquin, McCann and Schmuckenschl\"ager [{\it Invent. Math.,} 2001], we derive an explicit expression for the Jacobian determinant of the normal exponential map on a submanifold, establishing a relationship…