For fixed $k<g$ and a family of polarized abelian varieties of dimension $g$ over $\mathbb{R}$, we give a criterion for the density in the parameter space of those abelian varieties over $\mathbb{R}$ containing a $k$-dimensional abelian subvariety over $\mathbb{R}$. As application, we prove density of such a set in the moduli space of polarized real abelian varieties of dimension $g$, and density of real algebraic curves mapping non-trivially to real $k$-dimensional abelian varieties in the moduli space of real algebraic curves as well as in the space of real plane curves. This extends to the real setting results by Colombo and Pirola as outlined in their paper "Some density results for curves with non-simple jacobians", $\textit{Math. Ann.}$ (1990). We then consider the real locus of an algebraic stack over $\mathbb{R}$, attaching a topological space to it. For a real moduli stack, this defines a real moduli space. We show that for $\mathcal{M}_g$ and $\mathcal{A}_g$, the real moduli spaces that arise in this way coincide with the moduli spaces of Gross-Harris ("Real algebraic curves", $\textit{Ann. Sci. Ecole. Norm. Sup.}$ (1981)) and Seppälä-Silhol ("Moduli Spaces for Real Algebraic Curves and Real Abelian Varieties", $\textit{Math. Z.}$ (1989)).
We construct the fine moduli space of log abelian varieties with PEL structure, which gives a toroidal compactification of the moduli space of abelian varieties with PEL structure.
We develop a moduli theory of algebraic varieties and pairs of non-negative Kodaira dimension. We define stable minimal models and construct their projective coarse moduli spaces under certain natural conditions. This can be applied to a wide range of moduli problems in algebraic geometry.
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.
For any split totally degenerate abelian variety over a complete discrete valuation field, we construct a log abelian variety over the discrete valuation ring extending the given abelian variety. This generalizes the log Tate curve of Kato.
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}.
We give a short appreciation of Mumford's work on the moduli of varieties by putting it into historical context. By reviewing earlier works we highlight the innovations introduced by Mumford. Then we discuss recent developments whose origins can be traced back to Mumford's ideas.
We describe the moduli stack of Gushel-Mukai varieties as a global quotient stack and its coarse moduli space as the corresponding GIT quotient. The construction is based on a comprehensive study of the relation between this stack and the stack of Lagrangian data; roughly speaking, we show that the former is a generalized root stack of the latter. As an application, we define the period map for Gushel-Mukai varieties and construct some complete nonisotrivial families of smooth Gushel-Mukai varieties. In an appendix, we describe a generalization of the root stack construction used in our approa…
We study the moduli space of abelian threefolds with Iwahori level structure in positive characteristic. We explicitly determine the fibers of the canonical projection to the moduli space of principally polarized abelian varieties and draw conclusions about the relationship between the Ekedahl-Oort, the Kottwitz-Rapoport and the Newton stratification on these spaces.
The moduli space $\cM_g$ of nonsingular projective curves of genus $g$ is compactified into the moduli $\bcM_g$ of Deligne-Mumford stable curves of genus $g$. We compactify in a similar way the moduli space of abelian varieties by adding some mildly degenerating limits of abelian varieties. A typical case is the moduli space of Hesse cubics. Any Hesse cubic is GIT-stable in the sense that its $\SL(3)$-orbit is closed in the semistable locus, and conversely any GIT-stable planar cubic is one of Hesse cubics. Similarly in arbitrary dimension, the moduli space of abelian varieties is compactified…
In this paper we give a lower bound for the codimension of the Andreotti-Mayer loci in the moduli space of principally polarized complex abelian varieties. We also present a conjecture on this codimension.
Let X be an irreducible affine T-variety. We consider families of affine stable toric T-varieties over X and give a description of the corresponding moduli space as the quotient stack of an open subscheme in a certain toric Hilbert scheme under the action of a torus.
We describe the moduli spaces of morphisms between polarized complex abelian varieties. The discrete invariants, derived from a Poincare' decomposition of morphisms, are the types of polarizations and of lattice homomorphisms occurring in the decomposition. For a given type of morphisms the moduli variety is irreducible, and is obtained from a product of Siegel spaces modulo the action of a discrete group.
We give upper and lower bounds for the order of the top Chern class of the Hodge bundle on the moduli space of principally polarized abelian varieties.
We give upper and lower bounds for the order of the top Chern class of the Hodge bundle on the moduli space of principally polarized abelian varieties. We also give a generalization to higher genera of the famous formula $12 λ_1=δ$ for genus 1.
This is a survey paper on moduli spaces that have a natural structure of a (possibly incomplete) locally symmetric variety. We outline the Baily-Borel compactification for such varieties and compare it with the compactifications furnished by techniques in algebraic geometry. These differ in general, but we show that a reconciliation is possible by means of a generalization of the Baily-Borel technique for a class of incomplete locally symmetric varieties. The emphasis is here on moduli spaces of varieties other than that of polarized abelian varieties.
Lecture notes at a conference on Arithmetic Geometry, Goettingen, July/August 2006: Density of ordinary Hecke orbits and a conjecture by Grothendieck on deformations of p-divisible groups.
We prove a strengthening of Kollár's Ampleness Lemma and use it to prove that any proper coarse moduli space of stable log-varieties of general type is projective. We also prove subadditivity of log-Kodaira dimension for fiber spaces whose general fiber is of log general type.
We propose two conjectures on a moduli theoretic approach to constructing Lagrangian subvarieties of hyperkähler varieties arising from the Kuznetsov components of cubic fourfolds or Gushel--Mukai fourfolds. Then we verify the conjectures in several cases, recovering classical examples. As a corollary, we confirm a conjecture of O'Grady in several instances on the existence of Lagrangian covering families for hyperkähler varieties.
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$.
We study the moduli space of a product of stable varieties over the field of complex numbers, as defined via the minimal model program. Our main results are: (a) taking products gives a well-defined morphism from the product of moduli spaces of stable varieties to the moduli space of a product of stable varieties, (b) this map is always finite étale, and (c) this map very often is an isomorphism. Our results generalize and complete the work of Van Opstall in dimension 1. The local results rely on a study of the cotangent complex using some derived algebro-geometric methods, while the global on…
The moduli stacks of Calabi-Yau varieties are known to enjoy several hyperbolicity properties. The best results have so far been proven using sophisticated analytic tools such as complex Hodge theory. Although the situation is very different in positive characteristic (e.g. the moduli stack of principally polarized abelian varieties of dimension at least 2 contains rational curves), we explain in this note how one can prove many hyperbolicity results by reduction to positive characteristic, relying ultimately on the nonabelian Hodge theory in positive characteristic developed by Ogus and Volog…
In a previous paper we showed that for every polarization on an abelian variety there is a dual polarization on the dual abelian variety. In this note we extend this notion of duality to families of polarized abelian varieties. As a main consequence we obtain an involution on the set of moduli spaces of polarized abelian varieties of dimension $g$. In particular, the moduli spaces $\mathcal A_{(d_1,...,d_g)}$ and $\mathcal A_{(d_1,\frac{d_1d_g}{d_{g-1}},...,\frac{d_1d_g}{d_2},d_g)}$ are canonically isomorphic.
We show that the moduli spaces of sheaves on a projective K3 surface are irreducible symplectic varieties, and that the same holds for the fibers of the Albanese map of moduli spaces of sheaves on an Abelian surface.
We study the geometry of some varieties of sums of powers related to the Klein quartic. This allows us to describe the birational geometry of certain moduli spaces of abelian surfaces. In particular we show that the moduli space $\mathcal{A}_2(1,7)^{-}_{sym}$ of $(1,7)$-polarized abelian surfaces with a symmetric theta structure and an odd theta characteristic is unirational by showing that it admits a dominant morphism from a unirational conic bundle.
We study the geometry of a class of $n$-dimensional smooth projective varieties constructed by Schreieder for their noteworthy Hodge-theoretic properties. In particular, we realize Schreieder's surfaces as elliptic modular surfaces and Schreieder's threefolds as one-dimensional families of Picard rank $19$ $K3$ surfaces.
We discuss the geometry of the moduli space of Prym varieties. The article is based on series of lectures given in Bedlewo and Luminy. The first section of the paper contains a detailed historical account of the lives of Friedrich Prym and Friedrich Schottky.
We determine generators for the codimension 1 Chow group of the moduli spaces of genus zero stable maps to flag varieties G/P. In the case of SL flags, we find all relations between our generators, showing that they essentially come from $\bar M_{0,n}$. In addition, we analyze the codimension 2 classes on the moduli spaces of stable maps to Grassmannians and prove a new codimension 2 relation. This will lead to a partial reconstruction theorem for the Grassmannian of 2 planes.
We analyze the relationship between abelian fourfolds of Weil type and Hodge structures of type K3, and we extend some of these correspondences to the case of arbitrary dimension.
Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This generalizes a result of Lombardo and Maffei for complex abelian varieties.
In this paper we study abelian varieties which correspond to CM points in the coarse moduli space of principally polarized abelian varieties with multiplication by a maximal order in a quaternion algebra over a totally real number field. These are abelian varieties of even dimension with quaternion and complex multiplication. We describe them explicitly via isogenies to products of abelian varieties of smaller dimension together with estimates on the degree of the isogeny.
In this paper, using a generalization of the notion of Prym variety for covers of quasi-projective varieties, we prove a structure theorem for the Mordell-Weil group of the abelian varieties over function fields that are twists of Abelian varieties by Galois covers of irreducible quasi-projective varieties. In particular, the resutls we obtain contribute in the construction of Jacobians (of covers of the projective line) of high rank.
We prove that the geometric Bogomolov conjecture for any abelian varieties is reduced to that for nowhere degenerate abelian varieties with trivial trace. In particular, the geometric Bogomolov conjecture holds for abelian varieties whose maximal nowhere degenerate abelian subvariety is isogenous to a constant abelian variety. To prove the results, we investigate closed subvarieties of abelian schemes over constant varieties, where constant varieties are varieties over a function field which can be defined over the constant field of the function field.
We study finite quotients of abelian varieties (fqav for short) i.e. quotients of abelian varieties by finite groups. We show that Q-abelian varieties (i.e. fqav's with $\mathbb Q$-linearly trivial canonical divisors) are characterized by the existence of quasiétale polarized (or int-amplified) endomorphisms. We show that every fqav has a finite quasiétale cover by the product of an abelian variety and a $\mathbb Q$-Fano fqav. Using such coverings, we give a characterization of $\mathbb Q$-Fano fqav's, and show that $\mathbb Q$-Fano fqav's and Q-abelian varieties are ``building blocks'' of gen…
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…
This paper is an expository survey of results about the effective divisors on moduli spaces, with a focus on what is known about the effective cones of moduli spaces of stable curves and of principally polarized abelian varieties. This version incorporates clarifications and suggestions of Ana-Maria Castravet and the referee, both of whom we thank. To appear in the proceedings of the conference, "Joe at 60:A Celebration of Algebraic Geometry" edited by Brendan Hassett, James McKernan, Jason Starr and Ravi Vakil.
We construct a canonical compactification $SQ^{toric}_{g,K}$ of the moduli of abelian varieties over $Z[ζ_N, 1/N]$ where $ζ_N$ is a primitive $N$-th root of unity. This is very similar to, but slightly diferent from the compactification constructed by the author in Inventiones vol. 136 (1999). Any degenerate abelian scheme on the boundary of $SQ^{toric}_{g,K}$ is reduced and singular and it is one of the stable quasi-abelian varieties introduced by Alexeev and the author (Tohoku J. 1999).
Results on stability of tautological sheaves on Hilbert schemes of points are extended to higher dimensions and transferred to abelian surfaces and to the restriction of tautological sheaves to generalised Kummer varieties. This provides a big class of new examples of stable sheaves on higher dimensional irreducible symplectic manifolds. Some aspects of deformations of tautological sheaves are studied.
For a semi-stable abelian variety A_K over a complete discrete valuation field K, we show that every finite subgroup scheme of A_K extends to a log finite flat group scheme over the valuation ring of K endowed with the canonical log structure. To achieve this, we first prove that every weak log abelian variety over an fs log scheme with its underlying scheme locally noetherian, is a sheaf for the Kummer flat topology, which answers a question of Chikara Nakayama. We also give several equivalent conditions defining isogenies of log abelian varieties.
Let G be a connected reductive group. The late Ramanathan gave a notion of (semi)stable principal G-bundle on a complex projective curve and constructed a projective moduli space of such objects. We generalize Ramanathan's notion and construction to the case of higher dimension, allowing also objects which we call semistable principal G-sheaves.
Let $X$ be a projective normal toric variety and $T_0$ a rank one subtorus of the defining torus of $X$. We show that the normalization of the Chow quotient $X//T_0$, in the sense of Kapranov-Sturmfels-Zelevinsky, coarsely represents the moduli space of stable log maps to $X$ with discrete data given by $T_0\subset X$.
An automorphism of an abelian variety induces a decomposition of the variety up to isogeny. There are two such results, namely the isotypical decomposition and Roan's decomposition theorem. We show that they are essentially the same. Moreover, we generalize in a sense this result to abelian varieties with action of an arbitrary finite abelian group.
Perfect quadratic forms give a toroidal compactification of the moduli space of principally polarized abelian g-folds that is Q-factorial and whose ample classes are characterized, over any base. In characteristic zero it has canonical singularities if g is at least 5, and is the canonical model (in the sense of Mori and Reid) if g is at least 12.
In this paper we improve our previous results on classification of groups of points on abelian varieties over finite fields. The classification is given in terms of the Weil polynomial of abelian varieties in a given $k$-isogeny class.
Firstly, we see that the bases of the miniversal deformations of isolated $\mathbb{Q}$-Gorenstein toric singularities are quite restricted. In particular, we classify the analytic germs of embedding dimension $\leq 2$ which are the bases of the miniversal deformations of isolated $\mathbb{Q}$-Gorenstein toric singularities. Secondly, we show that the deformation spaces of isolated Gorenstein toric $3$-fold singularities appear, in a weak sense, as singularities of the K-moduli stack of K-semistable Fano varieties of every dimension $\geq 3$. As a consequence, we prove that the number of local …
We give a generalization to higher genera of the famous formula $12 λ=δ$ for genus 1. We also compute the classes of certain strata in the Satake compactification as elements of the push down of the tautological ring.
We introduce the notion of abelian solutions of the 2D Toda lattice equations and the bilinear discrete Hirota equation and show that all of them are algebro-geometric.
