Related papers: Wilkie's conjecture for restricted elementary func…

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 fix the lexicographic order $\prec$ on the polynomial ring $S=k[x_{1},...,x_{n}]$ over a ring $k$. We define $\Hi^{\prec\Delta}_{S/k}$, the moduli space of reduced Gr\"obner bases with a given finite standard set $\Delta$, and its open…

We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the…

This article presents two constructions motivated by a conjecture of L. van den Dries and C. Miller concerning the restricted analytic field with exponentiation. The first construction provides an example of two o-minimal expansions of a…

It was proved by Elkik that, under some smoothness conditions, the Artin functions of systems of polynomials over a Henselian pair are bounded above by linear functions. This paper gives a stronger form of this result for the class of…

We introduce a qualitative conjecture, in the spirit of Campana, to the effect that certain subsets of rational points on a variety over a number field, or a Deligne-Mumford stack over a ring of S-integers, cannot be Zariski dense. The…

We prove new parameterization theorems for sets definable in the structure $\mathbb{R}_{an}$ (i.e. for globally subanalytic sets) which are uniform for definable families of such sets. We treat both $C^r$-parameterization and (mild)…

Let $S\subseteq \mathbb{N}$ be a numerical semigroup with multiplicity $m$, embedding dimension $\nu$ and conductor $c=f+1=qm-\rho$ for some $q,\rho\in\mathbb{N}$ with $\rho<m$. Let Ap$(S,m) = \{w\_0<w_1 < \ldots < w_{m-1}\}$ be the Ap\'ery…

Let K be an algebraic number field. For a degree d rational morphism of projective n-space defined over K let R denote its minimal resultant ideal. For a fixed height function on the moduli space of dynamical systems this paper shows that…

For a degree $n$ polynomial $f$ over the rationals, the elements in the fiber $f^{-1}(a)$ are of degree $n$ over $\mathbb Q$ for most rational values $a$ by Hilbert's irreducibility theorem. Determining the set of exceptional $a$'s without…

We give an improved polynomial bound on the complexity of the equation solvability problem, or more generally, of finding the value sets of polynomials over finite nilpotent rings. Our proof depends on a result in additive combinatorics,…

We first provide an approach to the recent conjecture of Bierstone-Milman-Pawlucki on Whitney's old problem on smooth extendability of functions defined on a closed subset of a Euclidean space, using higher order paratangent bundle they…

We introduce a novel concept of rank for subsets of finite metric spaces E^n_q (the set of all n-dimensional vectors over an alphabet of size q) equipped with the Hamming distance, where the rank R(A) of a subset A is defined as the number…

Let $f$ be an $E$-function (in Siegel's sense) not of the form $e^{\beta z}$, $\beta \in \overline{\mathbb{Q}}$, and let $\log$ denote any fixed determination of the complex logarithm. We first prove that there exists a finite set $S(f)$…

Let X be an algebraic curve over Q and t a non-constant Q-rational function on X such that Q(t) is a proper subfield of Q(X). For every integer n pick a point P_n on X such that t(P_n)=n. We conjecture that, for large N, among the number…

We consider the functional given by the product of the first Dirichlet eigenvalue and the torsional rigidity of planar domains normalized by the area. This scale invariant functional was studied by P\'olya and Szeg\H{o} in 1951 who showed…

This note discusses some intriguing connections between height bounds on complex K-semistable Fano varieties X and Peyre's conjectural formula for the density of rational points on X. Relations to an upper bound for the smallest rational…

We continue our study of the representations of the Reflection Equation Algebra (=REA) on Hilbert spaces, focusing again on the REA constructed from the $R$-matrix associated to the standard $q$-deformation of $GL(N,\mathbb{C})$ for…

We classify indecomposable pure injective modules over domestic string algebras, verifying Ringel's conjecture on the structure of such modules.

Manin's conjecture predicts the number of rational points of bounded height on a Fano variety. To make this prediction precise, it is necessary to remove a thin subset of rational points. Peyre has tentatively proposed replacing this subset…