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.
We present a new class of examples of base points for the generalized theta divisor on the moduli space of semistable vector bundles of trivial determinant on a compact Riemann surface and we prove that for sufficiently large rank the base locus is positive dimensional.
We produce a lower bound for the dimension of the base locus of the generalized theta divisor on the moduli space SU_C(r) of semistable vector bundles of rank r and trivial determinant on a smooth curve C of genus g > 1.
In the paper we consider the Jacobian locus $\overline{J_g}$ and the Prym locus $\overline{P_{g+1}}$, in the moduli space $A_g$ of principally polarized abelian varieties of dimension $g$, for $g\geq 7$, and we study the extrinsic geometry of $\overline{J_g}\subset \overline{P_{g+1}}$, under the inclusion provided by the theory of generalized Prym varieties as introduced by Beauville. More precisely, we study certain geodesic curves with respect to the Siegel metric of $A_g$, starting at a Jacobian variety $[JC]\in A_g$ of a curve $[C]\in M_g$ and with direction $ζ\in T_{[JC]}J_g$. We prove th…
In this paper we prove a conjecture of Hershel Farkas that if a 4-dimensional principally polarized abelian variety has a vanishing theta-null, and the hessian of the theta function at the corresponding point of order two is degenerate, the abelian variety is a Jacobian. We also discuss possible generalizations to higher genera, and an interpretation of this condition as an infinitesimal version of Andreotti and Mayer's local characterization of Jacobians by the dimension of the singular locus of the theta divisor.
We study the theta divisor of the compactified jacobian of a nodal, possibly reducible, curve. We compute its irreducible components and give it a geometric interpretation consistent with the classical Brill-Noether theory of smooth curves. Some applications on hyperelliptic stable curves are appended.
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…
This paper shows that on the moduli space of semi-stable vector bundles of fixed rank and determinant (of any degree) on a smooth curve of genus at least two, the base locus of the generalized theta divisor is large provided the rank is sufficiently large. It also shows that the base locus is large for positive multiples of the theta divisor. This work extends results already known for the case where the determinant is of degree zero.
We study the singular locus on the algebraic surface $§_n$ of genus 2 curves with a $(n, n)$-split Jacobian. Such surface was computed by Shaska in \cite{deg3} for $n=3$, and Shaska at al. in \cite{deg5} for $n=5$. We show that the singular locus for $n=2$ is exactly th locus of the curves of automorphism group $D_4$ or $D_6$. For $n=3$ we use a birational parametrization of the surface $§_3$ discovered in \cite{deg3} to show that the singular locus is a 0-dimensional subvariety consisting exactly of three genus 2 curves (up to isomorphism) which have automorphism group $D_4$ or $D_6$. We furt…
Let $\cM_r$ denote the moduli space of semi-stable rank-$r$ vector bundles with trivial determinant over a smooth projective curve $C$ of genus $g$. In this paper we study the base locus $\cB_r \subset \cM_r$ of the linear system of the determinant line bundle $\cL$ over $\cM_r$, i.e., the set of semi-stable rank-$r$ vector bundles without theta divisor. We construct base points in $\cB_{g+2}$ over any curve $C$, and base points in $\cB_4$ over any hyperelliptic curve.
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 show that the gradient and the hessian of the Riemann theta function in dimension n can be combined to give a theta function of order n+1 and modular weight (n+5)/2 defined on the theta divisor. It can be seen that the zero locus of this theta function essentially gives the ramification locus of the Gauss map. For jacobians this leads to a description in terms of theta functions and their derivatives of the Weierstrass point locus on the associated Riemann surface.
In this note we study the geometry of principally polarized abelian varieties (ppavs) with a vanishing theta-null (i.e. with a singular point of order two and even multiplicity lying on the theta divisor). We describe the locus within the theta-null divisor where this singularity is not an ordinary double point. By using theta function methods we first show that this locus does not equal the entire theta-null divisor (this was shown previously by O. Debarre). We then show that this locus is contained in the intersection of the theta-null divisor with the other irreducible components of the And…
In this article we generalize the injectivity of the push-forward homomorphism at the level of Chow groups, induced by the closed embedding of $\Sym^m C$ into $\Sym^n C$ for $m\leq n$, where $C$ is a smooth projective curve, to symmetric powers of a smooth projective variety of higher dimension. We also prove the analog of this theorem for product of symmetric powers of smooth projective varieties. As an application we prove the injectivity of the push-forward homomorphism at the level of Chow groups, induced by the closed embedding of self product of theta divisor into the self product of the…
We find an asymptotic description of the period locus of simply connected Jacobian elliptic surfaces and of the period locus of hyperelliptic curves. The two descriptions are essentially the same, and are given by the alkanes of organic chemistry.
We study submanifolds of A_g that are totally geodesic for the locally symmetric metric and which are contained in the closure of the Jacobian locus but not in its boundary. In the first section we recall a formula for the second fundamental form of the period map due to Pirola, Tortora and the first author. We show that this result can be stated quite neatly using a line bundle over the product of the curve with itself. We give an upper bound for the dimension of a germ of a totally geodesic submanifold passing through [C] in M_g in terms of the gonality of C. This yields an upper bound for t…
We study Jacobian varieties for tropical curves. These are real tori equipped with integral affine structure and symmetric bilinear form. We define tropical counterpart of the theta function and establish tropical versions of the Abel-Jacobi, Riemann-Roch and Riemann theta divisor theorems.
We prove that k-th singular cohomology group of the complement of the theta divisor in a hyperelliptic Jacobian is isomorphic to the k-th fundamental representation of the symplectic group Sp(2g,C). This is one of the conjectures in our previous paper.
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…
We study families of Galois covers of curves of positive genus. It is known that under a numerical condition these families yield Shimura subvarieties generically contained in the Jacobian locus. We prove that there are only 6 families satisfying this condition, all of them in genus 2,3 or 4. We also show that these families admit two fibrations in totally geodesic subvarieties, generalizing a result of Grushevsky and Möller. Countably many of these fibres are Shimura. Thus the Jacobian locus contains infinitely many Shimura subvarieties of positive dimension of any $g \leq 4$.
In this paper we study the infinitesimal deformations of a trigonal curve that preserve the trigonal series and such that the associate infinitesimal variation of Hodge structure (IVHS) is of rank 1. We show that if the genus g is greater or equal to 8 or g=6,7 and the curve is Maroni general, this locus is zero dimensional. Moreover, we complete a result of Naranjo and Pirola. We show in fact that if the genus g is greater or equal to 6, the hyperelliptic locus is the only 2g-1-dimensional sub-locus Y of the moduli space of curves of genus g, such that for the general element [C] in Y, its Ja…
We give a solution to the weak Schottky problem for genus five Jacobians with a vanishing theta null, answering a question of Grushevsky and Salvati Manni. More precisely, we show that if a principally polarized abelian variety of dimension five has a vanishing theta null with a quadric tangent cone of rank at most three, then it is in the Jacobian locus, up to extra irreducible components. We employ a degeneration argument, together with a study of the ramification loci for the Gauss map of a theta divisor.
Given a vector bundle $E$ of rank $r$ and degree $d$ on a curve $C$ of genus $g$, one can associate to $E$ in a natural way several other vector bundles. For example, one can take wedge powers of $E$. If $E$ is generated by global sections, the kernel of the evaluation map of sections is again a vector bundle. Also, new vector bundles can be produced by taking elementary transformations centered at a fixed point. Under suitable conditions on degree and rank, these constructions can be carried out globally. While all this processes seem quite elementary, very little is known about the resulting…
We show that the only summands of theta divisors on Jacobians of curves and on intermediate Jacobians of cubic threefolds are the obvious powers of the curve and the Fano surface of lines on the threefold. The proof uses the decomposition theorem for perverse sheaves, a bit of representation theory and a computation of characteristic cycles for Brill-Noether sheaves.
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…
We prove a lower bound for the codimension of the Andreotti-Mayer locus N_{g,1} and show that the lower bound is reached only for the hyperelliptic locus in genus 4 and the Jacobian locus in genus 5. In relation with the boundary of the Andreotti-Mayer loci we study subvarieties of principally polarized abelian varieties (B,Theta) parametrizing points b such that Theta and the translate Theta_b are tangentially degenerate along a variety of a given dimension.
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.
We study Esteves's fine compactified Jacobians for nodal curves. We give a proof of the fact that, for a one-parameter regular local smoothing of a nodal curve $X$, the relative smooth locus of a relative fine compactified Jacobian is isomorphic to the Néron model of the Jacobian of the general fiber, and thus it provides a modular compactification of it. We show that each fine compactified Jacobian of $X$ admits a stratification in terms of certain fine compactified Jacobians of partial normalizations of $X$ and, moreover, that it can be realized as a quotient of the smooth locus of a suitabl…
In an earlier paper we constructed a Cartier divisor on the theta divisor of a principally polarised abelian variety whose support is precisely the ramification locus of the Gauss map. In this note we discuss a Green's function associated to this locus. For jacobians we relate this Green's function to the canonical Green's function of the corresponding Riemann surface.
The Jacobian $J$ of a complete, smooth, connected curve $X$ admits a canonical divisor $Θ$, called the Theta divisor. It is well-known that $Θ$ is ample and, in fact, $3Θ$ is very ample. For a general complete, integral curve $X$, D'Souza constructed a compactification $\bar J$ of the Jacobian $J$ by considering torsion-free, rank 1 sheaves on $X$. Soucaris and the author considered independently the analogous Theta divisor $Θ$ on $\bar J$, and showed that $Θ$ is ample. In this article, we show that $nΘ$ is very ample for $n$ greater or equal to a specified lower bound. If $X$ has at most ordi…
We prove that the generic point of a Hilbert modular four-fold is not a Jacobian. The proof uses degeneration techniques and is independent of properties of the mapping class group used in preceding papers on locally symmetric subvarieties of the moduli space of abelian varieties contained in the Schottky locus.
We show that analytic torsion of smooth theta divisor is represented by a Siegel modular form characterizing the Andreotti-Mayer locus if its dimension is positive.
We prove the following converse of Riemann's Theorem: let (A,Θ) be an indecomposable principally polarized abelian variety whose theta divisor can be written as a sum of a curve and a codimension two subvariety Θ=C+Y. Then C is smooth, A is the Jacobian of C, and Y is a translate of W_{g-2}(C). As applications, we determine all theta divisors that are dominated by a product of curves and characterize Jacobians by the existence of a d-dimensional subvariety with curve summand whose twisted ideal sheaf is a generic vanishing sheaf.
Mess showed that the genus 2 Torelli group $T_2$ is isomorphic to a free group of countably infinite rank by showing that genus 2 Torelli space is homotopy equivalent to an infinite wedge of circles. As an application of his computation, we compute the homotopy type of the zero locus of any classical genus 2 theta function in $\mathfrak{h}_2 \times \mathbb{C}^2$, where $\mathfrak{h}_2$ denotes rank 2 Siegel space. Specifically, we show that the zero locus of any such function is homotopy equivalent to an infinite wedge of 2-spheres.
We study ample divisors X with only rational singularities on abelian varieties that decompose into a sum of two lower dimensional subvarieties, X=V+W. For instance, we prove an optimal lower bound on the degree of the corresponding addition map, and show that the minimum can only be achieved if X is a theta divisor. Conjecturally, the latter happens only on Jacobians of curves and intermediate Jacobians of cubic threefolds. As an application, we prove that nondegenerate generic vanishing subschemes of indecomposable principally polarized abelian varieties are automatically reduced and irreduc…
We show that the locus of stable rank four vector bundles without theta divisor over a smooth projective curve of genus two is in canonical bijection with the set of theta-characteristics. We give several descriptions of these bundles and compute the degree of the rational theta map.
We show that the infinitesimal deformations of the Brill--Noether locus $W_d$ attached to a smooth non-hyperelliptic curve $C$ are in one-to-one correspondence with the deformations of $C$. As an application, we prove that if a Jacobian $J$ deforms together with a minimal cohomology class out the Jacobian locus, then $J$ is hyperelliptic. In particular, this provides an evidence to a conjecture of Debarre on the classification of ppavs carrying a minimal cohomology class. Finally, we also study simultaneous deformations of Fano surfaces of lines and intermediate Jacobians.
We give a criterion to distinguish between a genus three Jacobian and its [-1] twist in terms of the product of the 36 even theta nulls. We also express the product of the 36 theta nulls in terms of the discriminant of a genus three curve. The results are arithmetic in nature and thus add to previous work over C on the product of the even theta nulls. They generalize previous work of Ritzenthaler and Lachaud for Abelian threefolds which are (2,2,2) isogenous to a product of elliptic curves. This answers a 2003 of letter of Jean-Pierre Serre to Jaap Top.
We prove that the cotangent bundle of a complete intersection of two general translates of the theta divisor of the jacobian of a general curve of genus 4 is ample. From this the same result for a general principally polarized abelian variety of dimension 4 follows.
We discuss the conjecture of Buchstaber and Krichever that their multi-dimensional vector addition formula for Baker-Akhiezer functions characterizes Jacobians among principally polarized abelian varieties, and prove that it is indeed a weak characterization, i.e. that it is true up to additional components, or true precisely under a general position assumption. We also show that this addition formula is equivalent to Gunning's multisecant formula for the Kummer variety. We then use Buchstaber-Krichever's computation of the coefficients in the addition formula to obtain cubic relations among t…
The singularities of theta divisors have played an important role in the study of algebraic varieties. This paper surveys some of the recent progress in this subject, using as motivation some well known results, especially those for Jacobians.
We give a bound on the number of points of order two on the theta divisor of a principally polarized abelian variety A. When A is the Jacobian of a curve C the result can be applied in estimating the number of effective square roots of a fixed line bundle on C.
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).
Let $\mathcal{M}_{g,2}$ be the moduli space of curves of genus $g$ with a level-2 structure. We prove here that there is always a non hyperelliptic element in the intersection of four thetanull divisors in $\mathcal{M}_{6,2}$. We prove also that for all $g\geqslant3$, each component of the hyperelliptic locus in $\mathcal{M}_{g,2}$ is a connected component of the intersection of $g-2$ thetanull divisors.
The moduli space M_2 of rank four semistable symplectic vector bundles over a curve X of genus two is an irreducible projective variety of dimension ten. Its Picard group is generated by the determinantal line bundle Ξ. The base locus of the linear system |Ξ| consists of precisely those bundles without theta divisors, that is, admitting nonzero maps from every line bundle of degree -1 = 1-g over X. We show that this base locus consists of six distinct points, which are in canonical bijection with the Weierstrass points of the curve. We relate our construction of these bundles to another of Ray…
We study the codimension two locus H in A_g consisting of principally polarized abelian varieties whose theta divisor has a singularity that is not an ordinary double point. We compute the class of H in A_g for every g. For g=4, this turns out to be the locus of Jacobians with a vanishing theta-null. For g=5, via the Prym map we show that H in A_5 has two components, both unirational, which we completely describe. This gives a geometric classification of 5-dimensional ppav whose theta-divisor has a quadratic singularity of non-maximal rank. We then determine the slope of the effective cone of …
This paper addresses the following question of Oort: "Are there any postive dimensional locally symmetric subvarieties of the moduli space of abelian varieties that are contained in the jacobian locus and contain the jacobian of at least one smooth curve? Some partial results are given.
We show that on the Jacobian $(JC,θ)$ of a smooth curve $C$ of genus $g$, any effective cycle in $JC$ with cohomology class $θ^d/d!$ is a translate of $W_{g-d}(C)$ or $-W_{g-d}(C)$. We then use this result to prove that for $1<d<g$, the Jacobian locus (\resp the locus of intermediate Jacobians of cubic threefolds) is an irreducible component of the set of principally polarized abelian varieties of dimension $g$ for which $θ^d/d!$ (\resp $θ^3/3!$) is the class of an effective algebraic cycle. Moreover, on the intermediate Jacobian of a generic cubic threefold, $θ^2/2!$ is not the class of an ef…
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.
For the Jacobian of a curve, the Riemann singularity theorem gives a geometric interpretation of the singularities of the theta divisor in terms of special linear series on the curve. This paper proves an analogous theorem for Prym varieties. Applications of this theorem to cubic threefolds, and Prym varieties of dimension five, are also considered.
It is well known that, fixed an even, unimodular, positive definite quadratic form, one can construct a modular form in each genus; this form is called the theta series associated to the quadratic form. Varying the quadratic form, one obtains the ring of stable modular forms. We show that the differences of theta series associated to specific pairs of quadratic forms vanish on the locus of hyperelliptic Jacobians in each genus. In our examples, the quadratic forms have rank 24, 32 and 48. The proof relies on a geometric result about the boundary of the Satake compactification of the hyperellip…
In this paper we give a birational model for the theta divisor of the intermediate Jacobian of a generic cubic threefold $X$. We use the standard realization of $X$ as a conic bundle and a $4-$dimensional family of plane quartics which are totally tangent to the discriminant quintic curve of such a conic bundle structure. The additional data of an even theta characteristic on the curves in the family gives us a model for the theta divisor.
