We prove a generic Torelli theorem for Jacobian elliptic surfaces, provided that the geometric genus is large compared to the irregularity. The result is effective to the extent that defining equations for the base curve are recovered from the period data.
The Jacobian ring J(X) of a smooth hypersurface determines its isomorphism type. This has been used by Donagi and others to prove the generic global Torelli theorem for hypersurfaces in many cases. In Voisin's original proof of the global Torelli theorem for smooth cubic fourfolds the Jacobian ring does not intervene. In this paper we present a proof of the global Torelli theorem for cubic fourfolds that relies on the Jacobian ring and the (derived) global Torelli theorem for K3 surfaces. It emphasizes, once again, the relation between K3 surfaces and smooth cubic fourfolds. More generally, fo…
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 give a closed formula for recovering a non-hyperelliptic genus three curve from its period matrix, and derive some identities between Jacobian Nullwerte in dimension three.
The Torelli group of a compact non-orientable Klein surface is the subgroup of the modular group consisting of the mapping classes that act trivially on the first homology group of the surface. We prove that if a surface has genus at least $3$, then the Torelli group acts fixed points free on the Teichmüller space of the surface. That gives an embedding of the Torelli space of a Klein surface in the Torelli space of its complex double. We also construct real tori associated to Klein surfaces, which we call the Jacobian of the surface. We prove that this Jacobian is isomorphic to a component of…
We show that the Fourier transform on the Jacobian of a curve interchanges "$δ$ functions" at the curve and the theta divisor. The Torelli theorem is an immediate consequence.
We investigate the relations between the syzygies of the Jacobian ideal of the defining equation for a projective hypersurface $V$ with isolated singularities and the Torelli properties of $V$ (in the sense of Dolgachev-Kapranov). We show in particular that hypersurfaces with a small Tjurina numbers are Torelli in this sense. When $V$ is a plane curve, or more interestingly, a surface in $P^3$, we discuss the stability of the reflexive sheaf of logarithmic vector fields along $V$. A new lower bound for the minimal degree of a syzygy associated to a 1-dimensional complete intersection is also g…
In this note we survey recent results on the extrinsic geometry of the Jacobian locus inside $\mathsf{A}_g$. We describe the second fundamental form of the Torelli map as a multiplication map, recall the relation between totally geodesic subvarieties and Hodge loci and survey various results related to totally geodesic subvarieties and the Jacobian locus.
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…
Given a smooth projective curve $C$ of genus $g$ over the complex numbers, Torelli's thoerem asserts that the pair $(J(C),W^{g-1})$ determines $C$, where $W^{g-1}$ is an image of the $g-1$st symmetric power of $C$ inside the Jacobian under an Abel-Jacobi map. We show that the theorem holds with $g-1$ replaced by an integer $d$ in the range $1\le d\le g-1$.
The Information-Theoretic Schottky Problem treats the period matrix of a compact Riemann Surface as a compressible signal. In this case, the period matrix of a smooth plane curve is characterized by only 4 of its columns, a significant compression.
Let $\text{M}_C( 2, \mathcal{O}_C) \cong \mathbb{P}^3$ denote the coarse moduli space of semistable vector bundles of rank $2$ with trivial determinant over a smooth projective curve $C$ of genus $2$ over $\mathbb{C}$. Let $β_C$ denote the natural Brauer class over the stable locus. We prove that if $f^*( β_{C'}) = β_C$ for some birational map $f$ from $\text{M}_C( 2, \mathcal{O}_C)$ to $\text{M}_{C'}( 2, \mathcal{O}_{C'})$, then the Jacobians of $C$ and of $C'$ are isomorphic as abelian varieties. If moreover these Jacobians do not admit real multiplication, then the curves $C$ and $C'$ are i…
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.
In this survey of works on a characterization of Jacobians and Prym varieties among indecomposable principally polarized abelian varieties via the soliton theory we focus on a certain circle of ideas and methods which show that the characterization of Jacobians as ppav whose Kummer variety admits a trisecant line and the Pryms as ppav whose Kummer variety admits a pair of symmetric quadrisecants can be seen as an abelian version of pole systems arising in the theory of elliptic solutions to the basic soliton hierarchies. We present also recent results in this direction on the characterization …
We study the 0-th local cohomology module of the jacobian ring of a singular reduced complex projective hypersurface X, by relating it to the sheaf of logarithmic vector field along X. We investigate the analogies between the local cohomology and the well known properties of the jacobian ring of a nonsingular hypersurface. In particular we study self-duality, Hodge theoretic and Torelli type questions.
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 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.
In this paper we prove that the Prym map, from the space of double coverings of a curve of genus g with r branch points to the moduli space of abelian varieties, is generically injective if r>6 and g>1, r=6 and g>2, r=4 and g>4, r=2 and g>5. We also show that a very generic Prym variety of dimension at least 4 is not isogenous to a Jacobian.
This article shows explicit relation between fractional expressions of Schottky-Klein type for hyperelliptic $σ$-functions and a product of differences of the algebraic coordinates on each stratum of natural stratification in a hyperelliptic Jacobian.
The recent extensive work on different approaches to the Schottky problem has produced marked progress on several fronts. At the same time, it has become apparent that there exist very close connections between the various characterizations of Jacobian varieties described in Mumford's classic lectures {\it Curves and Their Jacobians\/}. Until now, the approach via double translation manifolds has seemed to be quite different from other approaches to the Schottky problem. The purpose of this paper is to bring this last approach ``into the fold'' as it were, and to show precisely how it relates …
We show that a smooth projective curve of genus $g$ can be reconstructed from its polarized Jacobian $(X, Θ)$ as a certain locus in the Hilbert scheme $\mathrm{Hilb}^d(X)$, for $d=3$ and for $d=g+2$, defined by geometric conditions in terms of the polarization $Θ$. The result is an application of the Gunning--Welters trisecant criterion and the Castelnuovo--Schottky theorem by Pareschi--Popa and Grushevsky, and its scheme theoretic extension by the authors.
In this article, we prove that there do not exist stable Schottky-Jacobi forms for the universal Jacobian locus and also prove that there exist non-trivial stable Schottky-Jacobi forms for the universal hyperelliptic locus.
We study the equivalence between infinitesimal Torelli theorem for smooth hypersurfaces in rational homogeneous varieties with Picard number one and the theory of generalized Massey products. This equivalence shows that the differential of the period map vanishes on an infinitesimal deformation if and only if certain twisted differential forms are elements of the Jacobian ideal of the hypersurface. We also prove an infinitesimal Torelli theorem result for smooth hypersurfaces in log parallelizable varieties.
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 prove and conjecture results which show that Castelnuovo theory in projective space has a close analogue for abelian varieties. This is related to the geometric Schottky problem: our main result is that a principally polarized abelian variety satisfies a precise version of the Castelnuovo Lemma if and only if it is a Jacobian. This result has a surprising connection to the Trisecant Conjecture. We also give a genus bound for curves in abelian varieties.
Novikov's conjecture on the Riemann-Schottky problem: {\it the Jacobians of smooth algebraic curves are precisely those indecomposable principally polarized abelian varieties (ppavs) whose theta-functions provide solutions to the Kadomtsev-Petviashvili (KP) equation}, was the first evidence of nowadays well-established fact: connections between the algebraic geometry and the modern theory of integrable systems is beneficial for both sides. The purpose of this paper is twofold. Our first goal is to present a proof of the strongest known characterization of a Jacobian variety in this direction: …
Algebraic curves have a discrete analogue in finite graphs. Pursuing this analogy we prove a Torelli theorem for graphs. Namely, we show that two graphs have the same Albanese torus if and only if the graphs obtained from them by contracting all separating edges are 2-isomorphic. In particular, the strong Torelli theorem holds for 3-connected graphs. Next, using the correspondence between compact tropical curves and metric graphs, we prove a tropical Torelli theorem giving necessary and sufficient conditions for two tropical curves to have the same principally polarized tropical Jacobian. Fina…
The Castelnuovo-Schottky theorem of Pareschi-Popa characterizes Jacobians, among indecomposable principally polarized abelian varieties of dimension g, by the existence of g+2 points in general position with respect to the principal polarization, but special with respect to twice the polarization, and furthermore states that such collections of points must be contained in an Abel-Jacobi curve. Building on the ideas in the original paper, we give here a self contained, scheme theoretic proof of the theorem, extending it to finite, possibly nonreduced subschemes.
We approach the Torelli problem of recostructing a curve from its Jacobian from a computational point of view. Following Dubrovin, we design a machinery to solve this problem effectively, which builds on methods in numerical algebraic geometry. We verify this methods via numerical experiments with curves up to genus 7.
We propose a solution to the hyperelliptic Schottky problem, based on the use of Jacobian Nullwerte and symmetric models for hyperelliptic curves. Both ingredients are interesting on its own, since the first provide period matrices which can be geometrically described, and the second have remarkable arithmetic properties.
We investigate the relations between the syzygies of the Jacobian ideal of the defining equation for a plane curve $C$ and the stability of the sheaf of logarithmic vector fields along $C$, the freeness of the divisor $C$ and the Torelli properties of $C$ (in the sense of Dolgachev-Kapranov). We show in particular that curves with a small number of nodes and cusps are Torelli in this sense.
We prove that for any autonomous 4-dimensional integral system of Painlevé type, the Jacobian of the generic spectral curve has a unique polarization, and thus by Torelli's theorem cannot be isomorphic as an unpolarized abelian surface to any other Jacobian. This enables us to identify the spectral curve and any irreducible genus two component of the boundary of an affine patch of the Liouville torus.
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-…