A holomorphic Lagrangian fibration is stable if the characteristic cycles of the singular fibers are of type $I_m, 1 \leq m <\infty,$ or $A_{\infty}$. We will give a complete description of the local structure of a stable Lagrangian fibration when it is principally polarized. In particular, we give an explicit form of the period map of such a fibration and conversely, for a period map of the described type, we construct a principally polarized stable Lagrangian fibration with the given period map. This enables us to give a number of examples exhibiting interesting behavior of the characteristic cycles.
In this note it is shown that associating to a principally polarized abelian variety its de Rham cohomology defines a faithfully flat morphism of the moduli space of principally polarized abelian varieties in positive characteristics to the moduli space of symplectic $F$-Zips as defined in \cite{MW}.
To any closed subvariety $Y$ of a complex abelian variety one can attach a reductive algebraic group $G$ which is determined by the decomposition of the convolution powers of $Y$ via a certain Tannakian formalism. For a theta divisor $Y$ on a principally polarized abelian variety, this group $G$ provides a new invariant that naturally endows the moduli space $A_g$ of principally polarized abelian varieties of dimension $g$ with a finite constructible stratification. We determine $G$ for a generic principally polarized abelian variety, and for $g=4$ we show that the stratification detects the l…
We prove that the embedding of a $GV$-subscheme in a principally polarized abelian variety does not factor through any nontrivial isogeny. As an application, we present a new proof of a theorem of Clemens--Griffiths identifying the intermediate Jacobian of a smooth cubic threefold in $\mathbf{P}^4$ to the Albanese variety of its Fano surface of lines.
We give an explicit characterization of all principally polarized abelian varieties $(A,Θ)$ such that there is a finite subgroup of automorphisms $G$ of $A$ that preserve the numerical class of $Θ$, and such that the quotient variety $A/G$ is smooth. We also give a complete classification of smooth quotients of Jacobians of curves.
In this paper, we study principally polarized abelian varieties $X$ of dimension $g$ that contain a curve $ν:C\to X$ such that the class of $C$ is $m$ times the minimal class. Welters introduced the formalism of stable pairs to handle this problem in the case $m=2$. We generalize the results of Welters and construct families of principally polarized abelian varieties for any $m$ and compute the dimension of the locus of these abelian varieties.
We compute moduli spaces of Bridgeland stable objects on an irreducible principally polarized complex abelian surface corresponding to twisted ideal sheaves. We use Fourier-Mukai techniques to extend the ideas of Arcara and Bertram to express wall-crossings as Mukai flops and show that the moduli spaces are projective.
Let $\mathcal{A}_g$ denote the moduli space of principally polarized abelian varieties of dimension $g \ge 3.$ In this paper we prove the connectedness of the singular sublocus of $\mathcal{A}_g$ consisting of those abelian varieties which possess an involution different from $-id$.
To every abelian subvariety of a principally polarized abelian variety $(A, \mathcal{L})$ we canonically associate a numerical class in the Néron-Severi group of $A$. We prove that these classes are characterized by their intersection numbers with $ \mathcal{L}$; moreover, the cycle class induced by an abelian subvariety in the Chow ring of $A$ modulo algebraic equivalence can be described in terms of its numerical divisor class. Over the field of complex numbers, this correspondence gives way to an explicit description of the (coarse) moduli space that parametrizes non-simple principally pola…
We study twisted ideal sheaves of small length on an irreducible principally polarized abelian surface (T,l). Using Fourier-Mukai techniques we associate certain jumping schemes to such sheaves and completely classify such loci. We give examples of applications to the enumerative geometry of T and show that no smooth genus 5 curve on such a surface can contain a g^1_3. We also describe explicitly the singular divisors in the linear system |2l|.
We obtain, by a direct computation, explicit descriptions of all principally polarized semi-abelic varieties of torus rank up to 3. We describe the geometry of their symmetric theta divisors and obtain explicit formulas for the involution and its fixed points. These results allow us to give a new proof of the statements about the dimensions, for small genus, of the loci of ppav with theta divisor containing two-torsion points of multiplicity three. We also prove a result about the closure of this set. Our computations used in our work arXiv:1103.1857 to compute the class of the closure of the …
We study a relationship between two genus 2 curves whose jacobians are isogenous with kernel equal to a maximal isotropic subspace of p-torsion points with respect to the Weil pairing. For p = 3 we find an explicit relationship between the set of Weierstrass points of the two curves extending the classical results of F. Richelot (1837) and G. Humbert (1901) in the case p = 2.
We investigate the existence of Lagrangian fibrations on the generalized Kummer varieties of Beauville. For a principally polarized abelian surface A of Picard number one we find the following: The Kummer variety K^n(A) is birationally equivalent to another irreducible symplectic variety admitting a Lagrangian fibration, if and only if n is a perfect square. And this is the case if and only if K^n(A) carries a divisor with vanishing Beauville-Bogomolov square.
Starting from a beautiful idea of Kanev, we construct a uniformization of the moduli space A_6 of principally polarized abelian 6-folds in terms of curves and monodromy data. We show that the general ppav of dimension 6 is a Prym-Tyurin variety corresponding to a degree 27 cover of the projective line having monodromy the Weyl group of the E_6 lattice. Along the way, we establish numerous facts concerning the geometry of the Hurwitz space of such E_6-covers, including: (1) a proof that the canonical class of the Hurwitz space is big, (2) a concrete geometric description of the Hodge-Hurwitz ei…
Shimura proved that each principally polarized abelian variety over $\mathbf{C}$ admits a unique factorization into irreducible principally polarized abelian varieties. We give an exposition of his result, and generalize to an arbitrary ground field $k$. If $k$ is separably closed, the irreducible factors are in bijection with the irreducible components of a theta divisor over $k$ giving rise to the polarization.
We study lc pairs polarized by a nef and log big divisor. After proving the minimal model theory for projective lc pairs polarized by a nef and log big divisor, we prove the effectivity of the Iitaka fibrations and some boundedness results for dlt pairs polarized by a nef and log big divisor.
For every smooth complex projective variety $W$ of dimension $d$ and nonnegative Kodaira dimension, we show the existence of a universal constant $m$ depending only on $d$ and two natural invariants of the very general fibres of an Iitaka fibration of $W$ such that the pluricanonical system $|mK_W|$ defines an Iitaka fibration. This is a consequence of a more general result on polarized adjoint divisors. In order to prove these results we develop a generalized theory of pairs, singularities, log canonical thresholds, adjunction, etc.
Let G be a finite group. For each integral representation $ρ$ of G we consider $ρ-$decomposable principally polarized abelian varieties; that is, principally polarized abelian varieties (X,H) with $ρ(G)-$action, of dimension equal to the degree of $ρ$, which admit a decomposition of the lattice for X into two G-invariant sublattices isotropic with respect to $\Im H$, with one of the sublattices $\mathbb{Z}G-$isomorphic to $ρ$. We give a construction for $ρ-$decomposable principally polarized abelian varieties, and show that each of them is isomorphic to a product of elliptic curves. Conversely…
We prove, assuming that the conjecture of Lang and Vojta holds true, that there is a uniform bound on the number of stably integral points in the complement of the theta divisor on a principally polarized abelian surface defined over a number field. This gives a uniform version, in the spirit of a result of Caporaso-Harris-Mazur, of an unconditional theorem of Faltings. We utilize recent results of Alexeev and Nakamura on complete moduli for quasi-abelian varieties. We expect that a thorough understanding of current work of Alexeev should give a more general result for abelian varieties of an …
Let A be the moduli space of principally polarized abelian varieties of dimension 4 over an algebraically closed field k of characteristic different from 2,3. It is proved that the universal principally polarized abelian variety over A, as well as the universal theta divisor over A, are unirational varieties.
Let A_2 be the moduli stack of principally polarized abelian surfaces and V a smooth l-adic sheaf on A_2 associated to an irreducible rational finite dimensional representation of Sp(4). We give an explicit expression for the cohomology of V in any degree in terms of Tate type classes and Galois representations attached to elliptic and Siegel cusp forms. This confirms a conjecture of Faber and van der Geer. As an application we prove a dimension formula for vector-valued Siegel cusp forms for Sp(4,Z) of weight three, which had been conjectured by Ibukiyama.
We show that for a large class of rings $R$, the number of principally polarized abelian varieties over a finite field in a given simple ordinary isogeny class and with endomorphism ring $R$ is equal either to 0, or to a ratio of class numbers associated to $R$, up to some small computable factors. This class of rings includes the maximal order of the CM field $K$ associated to the isogeny class (for which the result was already known), as well as the order $R$ generated over $\mathbf{Z}$ by Frobenius and Verschiebung. For this latter order, we can use results of Louboutin to estimate the appr…
We give equations for 13 genus-2 curves over $\overline{\mathbb{Q}}$, with models over $\mathbb{Q}$, whose unpolarized Jacobians are isomorphic to the square of an elliptic curve with complex multiplication by a maximal order. If the Generalized Riemann Hypothesis is true, there are no further examples of such curves. More generally, we prove under the Generalized Riemann Hypothesis that there exist exactly 46 genus-2 curves over $\overline{\mathbb{Q}}$ with field of moduli $\mathbb{Q}$ whose Jacobians are isomorphic to the square of an elliptic curve with complex multiplication by a maximal o…
Boundedness of polarized log Calabi-Yau fibrations with bounded bases
Shanghai Center for Mathematical Sciences, Fudan University（复旦大学上海数学中心）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；School of Mathematics, Korea Institute for Advanced Study（韩国高等研究院数学学院）
This paper proves the following converse to a theorem of Mumford: Let $A$ be a principally polarized abelian variety of dimension five, whose theta divisor has a unique singular point, and suppose that the multiplicity of the singular point is three. Then $A$ is isomorphic as a principally polarized abelian variety to the intermediate Jacobian of a smooth cubic threefold. The method of proof is to analyze the possible singularities of the theta divisor of $A$, and eventually to show that $A$ is the Prym variety of a possibly singular plane quintic.
We give a classification of all principally polarized abelian surfaces that admit an $(l,l)$-isogeny to themselves, and show how to compute all the abelian surfaces that occur. We make the classification explicit in the simplest case $l=2$. As part of our classification, we also show how to find all principally polarized abelian surfaces with multiplication by a given imaginary quadratic order.
We study degenerations of non-simple principally polarized abelian surfaces to the boundary in the toroidal compactification of $\mathcal{A}_2$, and describe the degenerate abelian surfaces as well as the degenerate elliptic curves that live inside them.
We introduce a stratification on the space of symplectic flags on the de Rham bundle of the universal principally polarized abelian variety in positive characteristic and study its geometric properties like irreducibility of the strata and we calculate the cycle classes. When the characteristic $p$ is treated as a formal variable these classes can be seen as a deformation of the classes of the Schubert varieties for the corresponding classical flag variety (the classical case is recovered by putting $p$ equal to 0). We relate our stratification with the E-O stratification on the moduli space o…
This article shows that on a generic principally polarized abelian variety of dimension five the $\mathbb{Q}$-vector space of algebraic equivalences among the 27 Abel-Prym curves has dimension 20.
Given a principally polarized abelian variety $(A,Θ)$, we give a characterization of all elliptic curves that lie on $A$ in terms of intersection numbers of divisor classes in its Néron-Severi group.
We show that for a very general principally polarized complex abelian 3-fold, the Chow group of algebraic cycles is infinite modulo every prime number. In particular, this gives the first examples of complex varieties with infinite Chow groups modulo 2.
In this short note we give a characterization of extremal principally polarized abelian varieties determining an isolated point in $Sing \Cal A_g$. The case $g=5$ is treated with detail.
A degree one del Pezzo surface is the blowup of P^2 at 8 general points. By the classical Cayley-Bacharach Theorem, there is a unique 9th point whose blowup produces a rational elliptic surface with a section. Via this relationship, we construct a stable pair compactification of the moduli space of anti-canonically polarized degree one del Pezzo surfaces.
We extend the notion of lattice polarization for K3 surfaces to families over a (not necessarily simply connected) base, in a way that gives control over the action of monodromy on the algebraic cycles, and discuss the uses of this new theory in the study of families of K3 surfaces admitting fibrewise symplectic automorphisms. We then give an application of these ideas to the study of Calabi-Yau threefolds admitting fibrations by lattice polarized K3 surfaces.
Let k be a field of characteristic different from 2. There can be an obstruction for an indecomposable principally polarized abelian threefold (A,a) over k to be a Jacobian over k. It can be computed in terms of the rationality of the square root of the value of a certain Siegel modular form. We show how to do this explicitly for principally polarized abelian threefolds which are the third power of an elliptic curve with complex multiplication. We use our numeric results to prove or refute the existence of some optimal curves of genus 3.
We show that the Prym variety associated to a triple covering f: Y --> X of curves is principally polarized of dimension > 1, if and only if f is non-cyclic, etale and X is of genus 2. We investigate some properties of these Prym varieties and their moduli.
Let A be a principally polarized abelian threefold over a perfect field k, not isomorphic to a product over the algebraic closure of k. There exists a canonical extension k' of k, of degree 1 or 2, such that A becomes isomorphic to a Jacobian over k'. The aim of this note is to give a geometric construction of this extension.
In this paper we consider the stratification on the moduli space of principally polarized abelian surfaces in characteristic $p>0$ defined by the height of the formal group associated to $H^2(X,O_X)$. We compute the cycle classes of the strata and compare these with those of the $p$-rank stratification.
Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of the surface. As a result, we can describe the fibration induced by the moduli map quite explicitly. A refined affirmativ…
Assuming Lang's conjecture, we prove that for a fixed prime $p$, number field $K$, and positive integer $g$, there is an integer $r$ such that no principally polarized abelian variety $A/K$ of dimension $g$ has full level $p^r$ structure. To this end, we use a result of Zuo to prove that for each closed subvariety $X$ in the moduli space $\mathcal{A}_g$ of principally polarized abelian varieties of dimension $g$, there exists a level $m_X$ such that the irreducible components of the preimage of $X$ in $\mathcal{A}_g^{[m]}$ are of general type for $m > m_X$.
Let $(A,Θ)$ be a complex principally polarized abelian variety of dimension $g\geq 4$. Based on vanishing theorems, differentiation techniques and intersection theory, we show that whenever the theta divisor $Θ$ is irreducible, its multiplicity at any point is at most $g-2$. This improves work of Kollár, Smith-Varley, and Ein-Lazarsfeld. We also introduce some new ideas to study the same type of questions for pluri-theta divisors.
We study the loci of principally polarized abelian varieties with points of high multiplicity on the theta divisor. Using the heat equation and degeneration techniques, we relate these loci and their closures to each other, as well as to the singular set of the universal theta divisor. We obtain bounds on the dimensions of these loci and relations among their dimensions, and make further conjectures about their structure.
We give examples of stable rank 2 vector bundles on principally polarized abelian threefolds, and study their deformations. The starting point is the Serre construction, which gives a source of examples, and which we rephrase in terms of Barth--Hulek like monads. Using the monad description, we compute the dimension of the space of first order infinitesimal deformations of these bundles. Moreover, we obtain a birational description of a 13-dimensional component of the moduli space for stable vector bundles.
