Related papers: A Note on complex $p$-adic exponential fields

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,…

Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure. Here we show that if…

We axiomatize a class of existentially closed exponential fields equipped with an $E$-derivation. We apply our results to the field of real numbers endowed with $exp(x)$ the classical exponential function defined by its power series…

In this paper, we mainly give a general explicit form of Cassels' $p$-adic embedding theorem for number fields. We also give its refined form in the case of cyclotomic fields. As a byproduct, given an irreducible polynomial $f$ over $Z$, we…

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…

We present a version of Smale's $\alpha$-theory for ultrametric fields, such as the $p$-adics and their extensions, which gives us a multivariate version of Hensel's lemma.

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…

We prove a positive characteristic version of Ax's theorem on the intersection of an algebraic subvariety and an analytic subgroup of an algebraic group. Our result is stated in a more general context of a formal map between an algebraic…

We give two applications of our earlier work "Exponential sums on A^n, II" (math.AG/9909009). We compute the p-adic cohomology of certain exponential sums on A^n involving a polynomial whose homogeneous component of highest degree defines a…

We will apply Nevanlinna Theory to prove several Ax-Schanuel type Theorems for functional transcendence when the exponential map is replaced by other meromorphic functions. We also show that analytic dependence will imply algebraic…

We use a $p$-adic analogue of the analytic subgroup theorem of W\"ustholz to deduce the transcendence and linear independence of some new classes of $p$-adic numbers. In particular we give $p$-adic analogues of results of W\"ustholz…

In this paper we prove a functional transcendence statement for the j-function which is an analogue of the Ax-Schanuel theorem for the exponential function. It asserts, roughly, that atypical algebraic relations among functions and their…

We give two specializations of Krasner's mass formula. The first formula yields the number of extensions of a $\mathfrak{p}$-adic field with given, inertia degree, ramification index, discriminant, and ramification polygon. We then refine…

We obtain new bounds of exponential sums modulo a prime $p$ with sparse polynomials $a_0x^{n_0} + \cdots + a_{\nu}x^{n_\nu}$. The bounds depend on various greatest common divisors of exponents $n_0, \ldots, n_\nu$ and their differences. In…

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…

Let X be a smooth curve over a finite field of characteristic p, let l be a prime number different from p, and let L be an irreducible lisse l-adic sheaf on X whose determinant is of finite order. By a theorem of Lafforgue, for each prime…

An analogue of the Gauss-Lucas theorem for polynomials over the algebraic closure $\mathbb C_p$ of the field of $p$-adic numbers is considered.

Let $p$ be a prime and let $\mathbb{Q}_p$ be the field of $p$-adic numbers. It is known that the finite extensions of $\mathbb{Q}_p$ of a given degree are finite up to isomorphism. Given a cubic field extension $L$ of $\mathbb{Q}_p$…

$T$-adic exponential sums associated to a Laurent polynomial $f$ are introduced. They interpolate all classical $p^m$-power order exponential sums associated to $f$. The Hodge bound for the Newton polygon of $L$-functions of $T$-adic…

We give an algorithm that constructs a minimal set of polynomials defining all extension of a $(\pi)$-adic field with given, inertia degree, ramification index, discriminant, ramification polygon, and residual polynomials of the segments of…