Let $π_1:\mathcal{X} \to Δ$ be a flat family of smooth, projective curves of genus $g \ge 2$, degenerating to an irreducible nodal curve $X_0$ with exactly one node. Fix an invertible sheaf $\mathcal{L}$ on $\mathcal{X}$ of relative odd degree. Let $π_2:\mathcal{G}(2,\mathcal{L}) \to Δ$ be the relative Gieseker moduli space of rank $2$ semi-stable vector bundles with determinant $\mathcal{L}$ over $\mathcal{X}$. Since $π_2$ is smooth over $Δ^*$, there exists a canonical family $\widetildeρ_i:\mathbf{J}^i_{\mathcal{G}(2, \mathcal{L})_{Δ^*}} \to Δ^{*}$ of $i$-th intermediate Jacobians i.e., for all $t \in Δ^*$, $(\widetildeρ_i)^{-1}(t)$ is the $i$-th intermediate Jacobian of $π_2^{-1}(t)$. There exist different Néron models $\overlineρ_i:\overline{\mathbf{J}}_{\mathcal{G}(2, \mathcal{L})}^i \to Δ$ extending $\widetildeρ_i$ to the entire disc $Δ$, constructed by Clemens, Saito, Schnell, Zucker and Green-Griffiths-Kerr. In this article, we prove that in our setup, the Néron model $\overlineρ_i$ is canonical in the sense that the different Néron models coincide and is an analytic fiber space which graphs admissible normal functions. We also show that for $1 \le i \le \max\{2,g-1\}$, the central fiber of $\overlineρ_i$ is a fibration over product of copies of $J^k(\mathrm{Jac}(\widetilde{X}_0))$ for certain values of $k$, where $\widetilde{X}_0$ is the normalization of $X_0$. In particular, for $g \ge 5$ and $i=2, 3, 4$, the central fiber of $\overlineρ_i$ is a semi-abelian variety. Furthermore, we prove that the $i$-th generalized intermediate Jacobian of the (singular) central fibre of $π_2$ is a fibration over the central fibre of the Néron model $\overline{\mathbf{J}}^i_{\mathcal{G}(2, \mathcal{L})}$. In fact, for $i=2$ the fibration is an isomorphism.
We give uniformizations of the Klein quartic curve and the Fermat septic curve as Shimura curves parametrizing Abelian $6$-folds with endomorphisms $\ZZ[\z_7]$.
Let $C$ be a hyperelliptic curve embedded in its Jacobian $J$ via an Abel-Jacobi map. We compute the scheme structure of the Hilbert scheme component of $\textrm{Hilb}_J$ containing the Abel-Jacobi curve as a point. We relate the result to the ramification (and to the fibres) of the Torelli morphism $\mathcal M_g\rightarrow \mathcal A_g$ along the hyperelliptic locus. As an application, we determine the scheme structure of the moduli space of Picard sheaves (introduced by Mukai) on a hyperelliptic Jacobian.
A well known result of Clemens and Griffiths says that a smooth cubic threefold can be recovered from its intermediate Jacobian. In this paper we discuss the possible degenerations of these abelian varieties, and thus give a description of the compactification of the moduli space of cubic threefolds obtained in this way. The relation between this compactification and those constructed in the work of Allcock-Carlson-Toledo and Looijenga-Swierstra is also considered, and is similar in spirit to the relation between the various compactifications of the moduli spaces of low genus curves.
We carry out a complete birational classification of the degree g universal Jacobian P_g over the moduli space of curves, highlighting the transition cases g=10, 11. The universal Jacobian is unirational when g<10, has Kodaira dimension zero for g=10 and Kodaira dimension 19 for g=11. For g>11, the variety P_g has Kodaira dimension 3g-3, that is, the maximum allowed by Iitaka's easy addition formula for fibre spaces. In particular, we disprove the expectation that P_g and M_g have the same Kodaira dimension for all genera.
A curve, that is, a connected, reduced, projective scheme of dimension 1 over an algebraically closed field, admits two types of compactifications of its (generalized) Jacobian: the moduli schemes of P-quasistable torsion-free, rank-1 sheaves and Seshadri's moduli schemes of S-equivalence classes of semistable torsion-free, rank-1 sheaves. Both are constructed with respect to a choice of polarization. The former are fine moduli spaces which were shown to be complete; here we show that they are actually projective. The latter are just coarse moduli spaces. Here we give a sufficient condition fo…
The intermediate Jacobian map, which associates to a smooth cubic threefold its intermediate Jacobian, does not extend to the GIT compactification of the space of cubic threefolds, not even as a map to the Satake compactification of the moduli space of principally polarized abelian fivefolds. A much better "wonderful" compactification of the space of cubic threefolds was constructed by the first and fourth authors --- it has a modular interpretation, and divisorial normal crossing boundary. We prove that the intermediate Jacobian map extends to a morphism from the wonderful compactification to…
We complete the proof of the fact that the moduli space of rank two bundles with trivial determinant embeds into the linear system of divisors on $Pic^{g-1}C$ which are linearly equivalent to $2Θ$. The embedded tangent space at a semi-stable non-stable bundle $ξ\oplusξ^{-1}$, where $ξ$ is a degree zero line bundle, is shown to consist of those divisors in $|2Θ|$ which contain $Sing(Θ_ξ)$ where $Θ_ξ$ is the translate of $Θ$ by $ξ$. We also obtain geometrical results on the structure of this tangent space.
The aim of this note is to describe the restriction map from the moduli space of stable rank 2 bundle with small $c_2$ on a jacobian $X$ of dimension 2, to the moduli space of stable rank 2 bundles on the corresponding genus 2 curve $C$ embedded in $X$.
Let SU_X(n,L) be the moduli space of rank n semistable vector bundles with fixed determinant L on a smooth projective genus g>1 curve X. Let SU_X^s(n,L) denote the open subset parameterizing stable bundles. We show that for small i, the mixed Hodge structure on H^i(SU_X^s(n, L), Q) is independent of the degree of L, and hence pure of weight i. Moreover any simple factors is, up to Tate twisting, isomorphic to a summand of a tensor power of H^1(X,Q). A more precise statement for i = 3, yields a Torelli theorem complementing earlier work of several authors. This is a replacement of our preprint …
Refereed version to appear in Michigan Mathematical Journal. A mistake in the last section of the previous version has been corrected. The new title exactly describes the main result obtained. Building on the geometry of cubic surfaces and on a theorem of Dolgachev, the rationality of the moduli space R mentioned in the title is proved. Let M be the moduli space of 6 points in the plane, modulo the natural involution induced by double-six configurations on cubic surfaces. It is proved that R is birational to a tower of locally trivial projective bundles ending onto M. The rationality of R then…
For each universal genus-$g$ polarization $μ$ of degree $d$, we construct a universal tropical Jacobian $J_{μ,g}^{trop}$ as a generalized cone complex over the moduli space of stable pointed genus-$g$ tropical curves. We show several properties of the space $J_{μ,g}^{trop}$. In particular, we prove that the natural compactification of $J_{μ,g}^{trop}$ is the tropicalization of the Esteves' compactified universal Jacobian over the moduli space of stable pointed genus-$g$ curves.
We study certain moduli spaces of sheaves on Enriques surfaces thereby obtaining, in every odd dimension, new examples of Calabi-Yau manifolds. We describe the geometry (canonical bundle, fundamental group, second Betti number and certain Hodge numbers) of these moduli spaces showing, in partial analogy to the well-known case of sheaves on K3 or Abelian surfaces, how the geometry of the surface reflects that of the moduli space itself.
We construct an infinite number of Shimura curves contained in the locus of hyperelliptic Jacobians of genus 3. In the opposite direction, we show that in genus 3 the only possible non-complete (in the moduli space of abelian threefolds) Kuga curves contained in the hyperelliptic locus have the same degeneration data as that of the examples we construct. The locus of genus 3 hyperelliptic Jacobians is a divisor within the moduli space of principally polarized abelian threefolds, and our result demonstrates the techniques we develop more generally for dealing with Shimura curves contained withi…
It is well known that every smooth cubic threefold is the zero locus of the Pfaffian of a 6 x 6 skew-symmetric matrix of linear forms in P^4. To compactify the space of such Pfaffian representations of a given cubic and to study the construction in families as well as for singular or reducible cubics, it is thus natural to consider the incidence correspondence of Pfaffian representations inside the product of the space of semistable skew-symmetric 6 x 6 matrices of linear forms in P^4 and the space of cubics. Here we describe concretely the irreducible component of this incidence correspondenc…
Mumford and Newstead generalized the classical Torelli theorem to higher rank i.e., a smooth, projective curve $X$ is uniquely determined by the second intermediate Jacobian of the moduli space of stable rank $2$ bundles on $X$, with fixed odd degree determinant. In this article we prove the analogous result in the case $X$ is an irreducible nodal curve with one node. As a byproduct, we obtain the degeneration of the second intermediate Jacobians and the associated Néron model of a family of such moduli spaces.
We construct modular compactifications of the universal Jacobian stack over the moduli stack of reduced curves with marked points depending on stability parameters obtained out of fixing a vector bundle on the universal curve. When restricted to the locus of stable marked curves, our compactifications are Deligne-Mumford irreducible smooth stacks endowed with projective moduli spaces and, following Esteves approach to the construction of fine compactifications of Jacobians, they parametrize torsion-free rank-1 simple sheaves satisfying a stability condition with respect to the fixed vector bun…
We describe algorithms for computing the intersection numbers of divisors and of Chern classes of the Hodge bundle on the moduli spaces of stable pointed curves. We also discuss the implementations and the results obtained. There are several applications. We discuss one in particular: the calculation of the projection in the tautological ring of the moduli space of abelian varieties of the class of the locus of Jacobians.
In this paper we describe compactified universal Jacobians, i.e. compactifications of the moduli space of line bundles on smooth curves obtained as moduli spaces of rank 1 torsion-free sheaves on stable curves, using an approach due to Oda-Seshadri. We focus on the combinatorics of the stability conditions used to define compactified universal Jacobians. We explicitly describe an affine space, the stability space, with a decomposition into polytopes such that each polytope corresponds to a proper Deligne-Mumford stack that compactifies the moduli space of line bundles. We apply this descriptio…
We study the moduli space of pairs consisting of a smooth cubic surface and a smooth hyperplane section, via a Hodge theoretic period map due to Laza, Pearlstein, and the second named author. The construction associates to such a pair a so-called Eckardt cubic threefold, admitting an involution, and the period map sends the pair to the anti-invariant part of the intermediate Jacobian of this cubic threefold, with respect to this involution. Our main result is that the global Torelli theorem holds for this period map; i.e., the period map is injective. To prove the result, we describe the anti-…
Using the compactified universal jacobian over the moduli space of stable marked curves, we give an expression in terms of natural classes of the zero section of the compactified universal jacobian the (rational) Chow ring. After extending variants of the Abel-Jacobi map to a locus containing curves of treelike type we give a formula for the pullback of the said zero section along these extensions. The same approach is also applied to recover known formulas for the pullback of theta divisors to the moduli space of marked stable curves.
We prove an abstract modularity result for classes of Heegner divisors in the generalized Jacobian of a modular curve associated to a cuspidal modulus. Extending the Gross-Kohnen-Zagier theorem, we prove that the generating series of these classes is a weakly holomorphic modular form of weight 3/2. Moreover, we show that any harmonic Maass forms of weight 0 defines a functional on the generalized Jacobian. Combining these results, we obtain a unifying framework and new proofs for the Gross-Kohnen-Zagier theorem and Zagier's modularity of traces of singular moduli, together with new geometric i…
We prove that there exist some stacks, representable over the stack of stable curves, having the following universal property with respect to Néron models of Jacobians. For every one-parameter family of stable curves, with regular total space, the Néron model of the Jacobian of its generic fibre is isomorphic to the base change of the above stacks via the moduli map of the given family. We also obtain a stack compactification of the universal Picard scheme and hence a geometrically meaningful completion of the Néron model of the Jacobian for every family as above.
The moduli space of generalized deformations of a Calabi-Yau hypersurface is computed in terms of the Jacobian ring of the defining polynomial. The fibers of the tangent bundle to this moduli space carry algebra structures, which are identified using subalgebras of a deformed Jacobian ring.
Results due to Druel and Beauville show that the blowup of the intermediate Jacobian of a smooth cubic threefold X in the Fano surface of lines can be identified with a moduli space of semistable sheaves of Chern classes c_1=0, c_2=2, c_3=0 on X. Here we further identify this space with a space of matrix factorizations. This has the advantage that this description naturally generalizes to singular and even reducible cubic threefolds. In this way, given a degeneration of X to a reducible cubic threefold X_0, we obtain an associated degeneration of the above moduli spaces of semistable sheaves.
In this paper, we consider the tautological ring containing the extended Brill-Noether algebraic classes on the normalization of the compactified Jacobian of a complex nodal projective curve (with one node). This smallest $\Q$-subalgebra of algebraic classes under algebraic equivalence, stable under extensions of the maps induced by multiplication maps, Pontrayagin product and Fourier transform, is shown to be generated by pullback of the Brill-Noether classes of the Jacobian of the normalized curve and some natural classes.
Let $SU_X(n,L)$ be the moduli space of rank n semistable vector bundles with fixed determinant L on a smooth projective genus g curve X. Let $SU_X^s(n,L)$ denote the open subset parametrizing stable bundles. We show that if g>3 and n > 1, then the mixed Hodge structure on $H^3(SU_X^s(n, L))$ is pure of type ${(1,2),(2,1)}$ and it carries a natural polarization such that the associated polarized intermediate Jacobian is isomorphic J(X). This is new when deg L and n are not coprime. As a corollary, we obtain a Torelli theorem that says roughly that $SU_X^s(n,L)$ (or $SU_X(n,L)$) determines X. Th…
We study the locus of intermediate Jacobians of cubic threefolds within the moduli space of complex principally polarized abelian fivefolds, and its generalization to arbitrary genus - the locus of abelian varieties with a singular odd two-torsion point on the theta divisor. Assuming that this locus has expected codimension (which we show to be true for genus up to 5), we compute the class of this locus, and of is closure in the perfect cone toroidal compactification, in the Chow, homology, and the tautological ring. We work out the cases of genus up to 5 in detail, obtaining explicit expressi…
We study tautological classes on the moduli space of stable $n$-pointed hyperelliptic curves of genus $g$ with rational tails. Our result gives a complete description of tautological relations. The method is based on the approach of Yin in comparing tautological classes on the moduli of curves and the universal Jacobian. It is proven that all relations come from the Jacobian side. The intersection pairings are shown to be perfect in all degrees. We show that the tautological algebra coincides with its image in cohomology via the cycle class map. The latter is identified with monodromy invarian…
We investigate the universal Jacobian of degree n line bundles over the Hurwitz stack of double covers of P^1 by a curve of genus g. Our main results are: the construction of a smooth, irreducible, universally closed (but not separated) moduli compactification of this universal Jacobian; a description of the global geometry and moduli properties of these stacks; and a computation of the Picard groups of these stacks in the cases when n-g is even. An important ingredient of our work is the parametrization of line bundles on double covers by binary quadratic forms. This parametrization generaliz…
The Jacobian varieties of smooth curves fit together to form a family, the universal Jacobian, over the moduli space of smooth marked curves, and the theta divisors of these curves form a divisor in the universal Jacobian. In this paper we describe how to extend these families over the moduli space of stable marked curves (or rather an open subset thereof) using a stability parameter. We then prove a wall-crossing formula describing how the theta divisor varies with the stability parameter. We use that result to analyze a divisor on the moduli space of smooth marked curves that has recently be…
This is a slightly revised version of the author's 2010 diploma thesis. It is concerned with the interplay between real multiplication on Jacobian varieties, as the title suggests, and complex geodesics in the moduli space of curves. Large parts are expository and may hopefully serve as a very incomplete introduction to Teichmueller disks and curves, the moduli space of abelian differentials with its SL2(R)-operation and variations of Hodge structure.
In a previous paper, the authors proved that the Prym variety of any non-cyclic etale triple cover of a smooth curve of genus 2 is a Jacobian variety of dimension 2. This gives a map from the moduli space of such covers to the moduli space of Jacobian varieties of dimension 2. We extend this map to a proper map of a certain moduli space of admissible $S_3$-covers of genus 7 to the moduli space of principally polarized abelian surfaces. The main result is that this map is finite surjective of degree 10.
In this paper, our aim is to find the relations amongst the cohomology classes of Brill-Noether subvarieties of the moduli space of semistable bundles over an elliptic curve. We obtain results similar to the Poincaré relations on a Jacobian variety.
According to Mukai, any prime Fano threefold X of genus 7 is a linear section of the spinor tenfold in the projectivized half-spinor space of Spin(10). The orthogonal linear section of the spinor tenfold is a canonical genus-7 curve G, and the intermediate Jacobian J(X) is isomorphic to the Jacobian of G. It is proven that, for a generic X, the Abel-Jacobi map of the family of elliptic sextics on X factors through the moduli space of rank-2 vector bundles with c_1=-K_X and deg c_2=6 and that the latter is birational to the singular locus of the theta divisor of J(X).
By means of a Fourier-Mukai transform we embed moduli spaces of stable bundles on an algebraic curve C as isotropic subvarieties of moduli spaces of mu-stable bundles on the Jacobian variety J(C). When g(C)=2 this provides new examples of special Lagrangian submanifolds.
We consider two cycles on the moduli space of compact type curves and prove that they coincide. The first is defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized rational curve, while the second is obtained as the intersection of the Abel section of the universal Jacobian with the zero section. Our comparison extends results of Cavalieri-Marcus-Wise where the same identity was proved over on the locus of rational tails curves.
We define the Jacobian of a Riemann surface with analytically parametrized boundary components. These Jacobians belong to a moduli space of ``open abelian varieties'' which satisfies gluing axioms similar to those of Riemann surfaces, and therefore allows a notion of ``conformal field theory'' to be defined on this space. We further prove that chiral conformal field theories corresponding to even lattices factor through this moduli space of open abelian varieties.
We show that the degree of the images of the moduli space of (principally polarized) abelian varieties A_g and of the moduli space of curves M_g in the projective space under the theta constant embedding are equal to the top self-intersection numbers of one half the first Hodge class on them. This allows us to obtain an explicit formula for the degree of A_g, and an explicit upper bound for the degree of M_g. Knowing the degree of A_g allows us to effectively determine the subvariety itself, i.e. to effectively obtain all polynomial equations satisfied by theta constants. Furthermore, combinin…
A connection between moduli spaces of algebro-geometric objects and moduli spaces of polyhedral objects has been under investigation in recent years. Loosely speaking, the skeleton of an algebro-geometric moduli space is expressed as the modul space of the skeleta of the objects it parametrizes. The connection is based on the combinatorial properties of the boundary of the algebro-geometric moduli spaces. This paper overviews this topic with focus on moduli of curves, admissible covers, Jacobians and their Neron models.
We study degree 2 and 4 elliptic subcovers of hyperelliptic curves of genus 3 defined over $\mathbb C$. The family of genus 3 hyperelliptic curves which have a degree 2 cover to an elliptic curve $E$ and degree 4 covers to elliptic curves $E_1$ and $E_2$ is a 2-dimensional subvariety of the hyperelliptic moduli $\mathcal H_3$. We determine this subvariety explicitly. For any given moduli point $\mathfrak p \in \mathcal H_3$ we determine explicitly if the corresponding genus 3 curve $\mathcal X$ belongs or not to such family. When it does, we can determine elliptic subcovers $E$, $E_1$, and $E_…
A basic technique for studying a family of Jacobian varieties is to extend the family by adding degenerate fibers. Constructing an extension requires a choice of fibers, and one typically chooses to include either degenerate group varieties or degenerate moduli spaces of sheaves. Here we relate these two different approaches when the base of the family is a regular, 1-dimensional scheme such as a smooth curve. Specifically, we provide sufficient conditions for the line bundle locus in a family of compact moduli spaces of pure sheaves to be isomorphic to the Néron model. The result applies to m…
We investigate the geometry of the moduli space of N-vortices on line bundles over a closed Riemann surface of genus g > 1, in the little explored situation where 1 =< N < g. In the regime where the area of the surface is just large enough to accommodate N vortices (which we call the dissolving limit), we describe the relation between the geometry of the moduli space and the complex geometry of the Jacobian variety of the surface. For N = 1, we show that the metric on the moduli space converges to a natural Bergman metric on the Riemann surface. When N > 1, the vortex metric typically degenera…
We develop a theory of Brill-Noether divisors on the moduli space of stable spin curves of genus g, and compute the classes of these loci. A spin Brill-Noether cycle is defined in terms of the relative position of the spin structure with respect to certain Raynaud theta-divisors in the Jacobian of the curve.
In this paper we study the irreducible components of the compactified Jacobian of a ribbon $X$ of arithmetic genus $g$ over a smooth curve $X_{\mathrm{red}}$ of genus $\bar{g}$. We prove that when $g\geq 4\bar{g}-2$ the moduli space of rank $2$ semistable vector bundles over $X_{\mathrm{red}}$ is not an irreducible component and we determine the irreducible components in which it is contained. This answers a question of D. Chen and J.L. Kass in [CK] and completes their results.
Determinantal formulae for Jacobian theta functions that go back to Klein are elaborated, via an idea due to Matone and Volpato. Also, the natural square roots of theta constants on the moduli space of curves whose existence was shown by Tsuyumine are proved to have a spinorial structure.
The Abel-Jacobi maps of the families of elliptic quintics and rational quartics lying on a smooth cubic threefold are studied. It is proved that their generic fiber is the 5-dimensional projective space for quintics, and a smooth 3-dimensional variety birational to the cubic itself for quartics. The paper is a continuation of the recent work of Markushevich-Tikhomirov, who showed that the first Abel-Jacobi map factors through the moduli component of stable rank 2 vector bundles on the cubic threefold with Chern numbers $c_1=0, c_2=2$ obtained by Serre's construction from elliptic quintics, and…
