Related papers: A Schanuel Property for $j$

We prove the Ax-Schanuel property of the derivatives of mixed period mappings. We also prove the jet space reformulation of this result. The proofs use the Ax-Schanuel result for principal bundles with flat connections obtained by…

In this paper we prove an Ax-Schanuel type result for the exponential functions for general linear groups over $\mathbb{C}$. We prove the result first for the group of upper triangular matrices and then for the group $GL_n$ of all $n\times…

Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the rational function field $K:=\mathbb{F}_q(\theta)$. For a Drinfeld module $\phi$ defined over $K$, we study the transcendence of special values of the Goss…

We prove a functional transcendence theorem for the integrals of algebraic forms in families of algebraic varieties. This allows us to prove a geometric version of Andr\'e's generalization of the Grothendieck period conjecture, which we…

Motivated by Emmanuel Kowalski's exponential sums over definable sets in finite fields, we generalize Ax's theorem on pseudo-finite fields to a continuous-logic setting allowing for an additive character. The role played by Weil's Riemann…

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…

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…

We show that ''almost all'' exceptional modules over wild canonical algebra $\Lambda$ can be described by matrices having coefficients $\lambda_i-\lambda_j$, where $\lambda_i, \lambda_j$ are elements from the parameter sequence. The proof…

We introduce and discuss a variant of Schanuel conjecture in the framework of the Carlitz exponential function over Tate algebras and allied functions. Another purpose of the present paper is to widen the horizons of possible investigations…

In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…

We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described…

Given a subfield $F$ of $\mathbb{C}$, we study the linear disjointess of the field $E$ generated by iterated exponentials of elements of $\overline{F}$, and the field $L$ generated by iterated logarithms, in the presence of Schanuel's…

The aim of this paper is to exhibit a method for proving that certain analytic functions are not solutions of algebraic differential equations. The method is based on model-theoretic properties of differential fields and properties of…

Assuming a modular version of Schanuel's conjecture and the modular Zilber-Pink conjecture, we show that the existence of generic solutions of certain families of equations involving the modular $j$ function can be reduced to the problem of…

In this paper we revisit Ribenboim's notion of higher derivations of modules and relate it to the recent work of De Fernex and Docampo on the sheaf of differentials of the arc space. In particular, we derive their formula for the K\"ahler…

This article is a discussion of some characteristic properties in connection with global models, particularly for the application of prediction, such as the approximation property, the interpolation property and the transmission property.

We show that the iterative logarithm of each non-linear entire function is differentially transcendental over the ring of entire functions, and we give a sufficient criterion for such an iterative logarithm to be differentially…

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:=\{…

Assuming Schanuel's conjecture, we prove that the complete theory $T_{\exp}$ of the real exponential field is axiomatized by the axioms of definably complete exponential fields satisfying $\exp' = \exp$. This implies the result of Macintyre…

We state and prove a formula for a certain value of the Goss L-function of a Drinfeld module. This gives characteristic-p-valued function field analogues of the class number formula and of the Birch and Swinnerton-Dyer conjecture. The…