Related papers: Functional transcendence for the unipotent Albanes…

We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter…

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…

We show the derived invariance of various geometric invariants of smooth complex projective varieties governed by the Albanese map, including the relative canonical ring and the class of the relative canonical model in a suitable variant of…

We investigate properties of the Albanese map and the fundamental group of a complex projective variety with many rational points over some function field, and prove that every linear quotient of the fundamental group of such a variety is…

We show that for each algebraic space that is separated and of finite type over a field, and whose affinization is connected and reduced, there is a universal morphism to a para-abelian variety. The latter are schemes that acquire the…

We give an alternative proof of Faltings's theorem (Mordell's conjecture): a curve of genus at least two over a number field has finitely many rational points. Our argument utilizes the set-up of Faltings's original proof, but is in spirit…

We prove in this paper the Ax-Schanuel conjecture for all admissible variations of mixed Hodge structures.

We give a construction of quasiminimal fields equipped with pseudo-analytic maps, generalising Zilber's pseudo-exponential function. In particular we construct pseudo-exponential maps of simple abelian varieties, including…

Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many…

We construct some examples of polynomial maps over finite fields that admit subvarieties with a peculiar property: every geometric point is mapped to a fixed point by some iteration of the map, while the whole subvariety is not. Several…

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…

In this paper we apply Ax-Schanuel's Theorem to the ultraproduct of $p$-adic fields in order to get some results towards algebraic independence of $p$-adic exponentials for almost all primes $p$.

We show that the image of the Abel-Jacobi map admits functorially a model over the field of definition, with the property that the Abel-Jacobi map is equivariant with respect to this model. The cohomology of this abelian variety over the…

We present a conjectural formula describing the cokernel of the Albanese map of zero-cycles of smooth projective varieties $X$ over $p$-adic fields in terms of the N\'eron-Severi group and provide a proof under additional assumptions on an…

We discuss the geometry and arithmetic of higher-dimensional analogues of Ch\^atelet surfaces; namely, we describe the structure of their Brauer and Picard groups and show that they can violate the Hasse principle. In addition, we use these…

We show that if X is a nonsingular projective variety of general type over an algebraically closed field k of positive characteristic and X has maximal Albanese dimension and the Albanese map is separable, then |4K_X| induces a birational…

For an $n$-qubit system, a rational function on the space of mixed states which is invariant with respect to the action of the group of local symmetries may be viewed as a detailed measure of entanglement. We show that the field of all such…

We prove the analogue of Schanuel's conjecture for raising to the power of an exponentially transcendental real number. All but countably many real numbers are exponentially transcendental. We also give a more general result for several…

We introduce the theory of unipotent morphisms of algebraic stacks and prove a surprising local to global principle for a class of vector bundles. Two sample applications of our methods are the following: (1) a unipotent analogue of…

Let $a_X:X\rightarrow \mathrm{Alb}\, X$ be the Albanese map of a smooth complex projective variety. Roughly speaking in this note we prove that for all $i \geq 0$ and $\alpha\in \mathrm{Pic}^0\, X$, the cohomology ranks $h^i(\mathrm{Alb}\,…