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

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

Given an extension of number fields $E \subset F$ and a projective variety $X$ over $F$, we compare the problem of counting the number of rational points of bounded height on $X$ with that of its Weil restriction over $E$. In particular, we…

We give a partial answer to a question attributed to Chris Miller on algebraic values of certain transcendental functions of order less than one. We obtain C(logH)^n bounds for the number of algebraic points of height at most H on certain…

We prove a conjecture of Heath-Brown on the number of rational points of bounded height for a large class of projective varieties.

We consider the problem of counting polynomial curves on analytic or definable subsets over the field ${\mathbb{C}}(\!(t)\!)$, as a function of the degree $r$. A result of this type could be expected by analogy with the classical…

Consider an elliptic curve, defined over the rational numbers, and embedded in projective space. The rational points on the curve are viewed as integer vectors with coprime coordinates. What can be said about a rational point if a bound is…

We describe a class of sharply o-minimal structures, called analytically generated structures, whose definable sets and their complexity filtration are determined by the collection of definable complex cells. We prove a polynomially…

Let $\mathbf{G}$ be a reductive group defined over $\mathbb{Q}$ and let $\mathfrak{S}$ be a Siegel set in $\mathbf{G}(\mathbb{R})$. The Siegel property tells us that there are only finitely many $\gamma \in \mathbf{G}(\mathbb{Q})$ of…

A conjecture of Serre concerns the number of rational points of bounded height on a finite cover of projective space P^{n-1}. In this paper, we achieve Serre's conjecture in the special case of smooth cyclic covers of any degree when n is…

We prove Manin's conjecture concerning the distribution of rational points of bounded height, and its refinement by Peyre, for wonderful compactifications of semi-simple algebraic groups over number fields. The proof proceeds via the study…

In this note, we provide a simple derivation of expressions for the restricted partition function and its polynomial part. Our proof relies on elementary algebra on rational functions and a lemma that expresses the polynomial part as an…

It is conjectured that if a finite set of points in the plane contains many collinear triples then there is some structure in the set. We are going to show that under some combinatorial conditions such pointsets contain special…

Let $(R,\mathfrak m)$ be an analytically unramified local ring of positive prime characteristic $p.$ For an ideal $I$, let $I^*$ denote its tight closure. We introduce the tight Hilbert function $H^*_I(n)=\ell(R/(I^n)^*)$ and the…

We show that for any $k\in\omega$, the structure $(H_k,\in)$ of sets that are hereditarily of size at most $k$ is decidable. We provide a transparent complete axiomatization of its theory, a quantifier elimination result, and tight bounds…

Let $k$ be an algebraically closed field of characteristic zero and $P(x,y)\in k[x,y]$ be a polynomial which depends on all its variables. $P$ has an algebraic constraint if the set $\{(P(a,b),(P(a',b'),P(a',b),P(a,b')\,|\,a,a',b,b'\in k\}$…

Let $X$ be an affine or a projective variety defined over a number field $K$ and $\varphi:{\bf C}\to X({\bf C})$ be a holomorphic map with Zariski dense image. We estimate the number of rational points of height bounded by $H$ in the image…

The notion of regularity has been used by S. Kleiman in the construction of bounded families of ideals or sheaves with given Hilbert polynomial, a crucial point in the construction of Hilbert or Picard scheme. In a related direction,…

Given a level set $E$ of an arbitrary multiplicative function $f$, we establish, by building on the fundamental work of Frantzikinakis and Host [13,14], a structure theorem which gives a decomposition of $\mathbb{1}_E$ into an almost…

Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the…

Let $\Omega\subset{\mathbb R}^n$ be a relatively compact domain. A finite collection of real-valued functions on $\Omega$ is called a \emph{Noetherian chain} if the partial derivatives of each function are expressible as polynomials in the…