We present some results related to Zilber’s Exponential-Algebraic Closedness Conjecture, showing that various systems of equations involving algebraic operations and certain analytic functions admit solutions in the complex numbers. These results are inspired by Zilber’s theorems on raising to powers.

We show that algebraic varieties which split as a product of a linear subspace of an additive group and an algebraic subvariety of a multiplicative group intersect the graph of the exponential function, provided that they satisfy Zilber’s freeness and rotundity conditions, using techniques from tropical geometry.

We then move on to prove a similar theorem, establishing that varieties which split as a product of a linear subspace and a subvariety of an abelian variety A intersect the graph of the exponential map of A (again under the analogues of the freeness and rotundity conditions). The proof uses homology and cohomology of manifolds.

Finally, we show that the graph of the modular j-function intersects varieties which satisfy freeness and broadness and split as a product of a Möbius subvariety of a power of the upper-half plane and a complex algebraic variety, using Ratner’s orbit closure theorem to study the images under j of Möbius varieties.

Abstract prepared by Francesco Paolo Gallinaro

E-mail: [email protected]

URL: https://etheses.whiterose.ac.uk/31077/

We prove the integral Hodge conjecture for one-cycles on a principally polarized complex abelian variety whose minimal class is algebraic. In particular, the Jacobian of a smooth projective curve over the complex numbers satisfies the integral Hodge conjecture for one-cycles. The main ingredient is a lift of the Fourier transform to integral Chow groups. Similarly, we prove the integral Tate conjecture for one-cycles on the Jacobian of a smooth projective curve over the separable closure of a finitely generated field. Furthermore, abelian varieties satisfying such a conjecture are dense in their moduli space.

We formulate a strengthening of the Zariski dense orbit conjecture for birational maps of dynamical degree one. So, given a quasiprojective variety X defined over an algebraically closed field K of characteristic $0$ , endowed with a birational self-map $\phi $ of dynamical degree $1$ , we expect that either there exists a nonconstant rational function $f:X\dashrightarrow \mathbb {P} ^1$ such that $f\circ \phi =f$ , or there exists a proper subvariety $Y\subset X$ with the property that, for any invariant proper subvariety $Z\subset X$ , we have that $Z\subseteq Y$ . We prove our conjecture for automorphisms $\phi $ of dynamical degree $1$ of semiabelian varieties X. Moreover, we prove a related result for regular dominant self-maps $\phi $ of semiabelian varieties X: assuming that $\phi $ does not preserve a nonconstant rational function, we have that the dynamical degree of $\phi $ is larger than $1$ if and only if the union of all $\phi $ -invariant proper subvarieties of X is Zariski dense. We give applications of our results to representation-theoretic questions about twisted homogeneous coordinate rings associated with abelian varieties.

Investigating a conjecture of Zannier, we study irreducible subvarieties of abelian schemes that dominate the base and contain a Zariski dense set of torsion points that lie on pairwise isogenous fibers. If everything is defined over the algebraic numbers and the abelian scheme has maximal variation, we prove that the geometric generic fiber of such a subvariety is a union of torsion cosets. We go on to prove fully or partially explicit versions of this result in fibered powers of the Legendre family of elliptic curves. Finally, we apply a recent result of Galateau and Martínez to obtain uniform bounds on the number of maximal torsion cosets in the Manin–Mumford problem across a given isogeny class. For the proofs, we adapt the strategy, due to Lang, Serre, Tate, and Hindry, of using Galois automorphisms that act on the torsion as homotheties to the family setting.

We show that the only summands of the theta divisor on Jacobians of curves and on intermediate Jacobians of cubic threefolds are the powers of the curve and the Fano surface of lines on the threefold. The proof only uses the decomposition theorem for perverse sheaves, some representation theory and the notion of characteristic cycles.

We prove a dynamical version of the Mordell–Lang conjecture in the context of Drinfeld modules. We use analytic methods similar to those employed by Skolem, Chabauty, and Coleman for studying diophantine equations.

We present relations between cycles with rational coefficients modulo algebraic equivalence on the Jacobian of a curve. These relations depend on the linear systems that the curve admits. They are obtained in the tautological ring, the smallest subspace containing (an embedding of) the curve and closed under the basic operations of intersection, Pontryagin product and the pullback and pushdown induced by homotheties.

Nous considérons l’intersection d’une sous-variété $X$ d’une variété abélienne $A$ avec l’union de tous les sous-groupes de $A$ obtenus comme somme d’un sous-groupe donné $\varGamma$ de rang fini et d’un sous-groupe algébrique de dimension donnée. Nous montrons que, quitte à retirer à $X$ un certain ensemble exceptionnel, l’intersection est de hauteur bornée. L’énoncé est optimal pour une courbe $X$. Nous étudions également les épaississements $\varGamma_{\varepsilon}$ introduits par Poonen. La démonstration repose sur une généralisation uniforme de la méthode de Vojta et sur des calculs de nombres d’intersection de cycles réels sur $A$.

We study the intersection of a subvariety $X$ of an abelian variety $A$ over $\bar{\mathbb{Q}}$ with the union of all the subgroups obtained as a sum of a given finite rank subgroup $\varGamma$ and an algebraic subgroup of $A$ of given dimension $d$. Our main result asserts that if we remove a suitable exceptional subset from $X$ then the intersection is a set of bounded height. In some cases, this combines with the output of Part I to yield finiteness. In terms of boundedness of the height, we get an optimal statement for a curve $X$ with $d=2$. We also deal with the fattenings $\varGamma_\varepsilon$ introduced by Poonen. The proof rests on a suitably uniform generalization of the method of Vojta and on computations of intersection numbers of real cycles on $A$.

Smooth complete algebraic varieties defined over an algebraically closed field are divided into two classes according to the behaviour of the albanese map. Criteria are given for when a variety belongs to either class. The relationship with the Tate conjecture for abelian varieties is discussed.

We generalize a result of Anderson by showing that torsion points of certain orders cannot lie on a theta divisor in the Jacobians of hyperelliptic images of Fermat curves. The proofs utilize the explicit geometry of hyperelliptic Jacobians and their formal groups at the origin.

Let J be the Jacobian of a smooth curve C of genus g, and let A(J) be the ring of algebraic cycles modulo algebraic equivalence on J, tensored with $\mathbb{Q}$. We study in this paper the smallest $\mathbb{Q}$-vector subspace R of A(J) which contains C and is stable under the natural operations of A(J): intersection and Pontryagin products, pull back and push down under multiplication by integers. We prove that this ‘tautological subring’ is generated (over $\mathbb{Q}$) by the classes of the subvarieties $W_1=C,\ W_2=C + C, \dots ,W_{g-1}$. If C admits a morphism of degree d onto $\mathbb{P}^1$, we prove that the last d - 1 classes suffice.

The main purpose of this paper is to prove the Iitaka conjecture Cn,m on the assumption that the sufficiently general fibers have maximal Albanese dimension.