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$.
In this note, we give a short proof of the Torelli theorem for cubic fourfolds that relies on the global Torelli theorem for irreducible holomorphic symplectic varieties proved by Verbitsky.
We give an effective infinitesimal Torelli theorem for cyclic covers of G/P, where G is a simple algebraic group and P is a maximal parabolic subgroup.
We establish a global Torelli theorem for the complete family of Calabi-Yau threefolds arising from cyclic triple covers of $\mathbb P^3$ branched along stable hyperplane arrangements.
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.
In this article we extend the proof given by Biswas and Gomez of a Torelli theorem for the moduli space of Higgs bundles with fixed determinant, to the parabolic situation.
A p-adic analogue of the pseudonorm version of the birational Torelli type theorem is obtained via a comparison theorem of image closures. Among other results obtained, we have a criterion for existence of rational points of canonically polarized surfaces over finite fields.
Using the notion of generalized divisors introduced by Hartshorne, we adapt the theory of adjoint forms to the case of Gorenstein curves. We show an infinitesimal Torelli-type theorem for vector bundles on Gorenstein curves. We also construct explicit counterexamples to the infinitesimal Torelli claim in the case of a reduced reducible Gorenstein curve.
Given a compact Kähler manifold, the Infinitesimal Torelli problem asks whether the differential of the period map of a Kuranishi family is injective. Unlike the classical Torelli theorem for curves, there is a negative answer for example for hyperelliptic curves of genus greater than $2$. Nevertheless the Infinitesimal Torelli Theorem holds for many other classes of manifolds. We will prove it for smooth hypersurfaces in simple abelian varieties with sufficiently high self-intersection giving an effective bound on a result by Green in this particular case.
We show how to recover a general hypersurface in $\mathbb{P}^n$ of sufficiently large degree $d$ dividing $n+1$, from its finite order variation of Hodge structure. We also analyze the two other series of cases not covered by Donagi's generic Torelli theorem. Combined with Donagi's theorem, this shows that the generic Torelli theorem for hypersurfaces holds with finitely many exceptions.
Let $X$ be a smooth projective complex curve. We prove that a Torelli type theorem holds, under certain conditions, for the moduli space of $α$-polystable quadratic pairs on $X$ of rank 2.
Survey written for the Proceedings of the AMS Meeting on Algebraic Geometry, Seattle, 2005. Based on the talk delivered at this occasion, but a few comments on recent developments are added.
Let $G$ be a simple simply-connected connected linear algebraic group over $\mathbb{C}$. We proved a $2$-birational Torelli theorem for the moduli space of semistable principal $G$-bundles over a smooth curve of genus $\geq 3$, which says that if two such moduli spaces are $2$-birational then the curves are isomorphic. We also proved a $3$-birational Torelli theorem for the moduli space of stable symplectic parabolic bundles over a smooth curve of genus $\geq 4$.
Algebraic surfaces of general type with $q=0$, $p_g=2$ and $K^2=1$ were described by Enriques and then studied in more detail by Horikawa. In this paper we consider a $16$-dimensional family of special Horikawa surfaces which are certain bidouble covers of $\mathbb{P}^2$. The construction is motivated by that of special Kunev surfaces which are counterexamples for infinitesimal Torelli and generic global Torelli problem. The main result of the paper is a generic global Torelli theorem for special Horikawa surfaces. To prove the theorem, we relate the periods of special Horikawa surfaces to the…
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.
We prove the infinitesimal Torelli theorem for general minimal complex surfaces X's with the first Chern number 3, the geometric genus 1, and the irregularity 0 which have non-trivial 3-torsion divisors. We also show that the coarse moduli space for surfaces with the invariants as above is a 14-dimensional unirational variety.
We propose a generalization of Verbitsky's global Torelli theorem in the framework of compact Kähler irreducible holomorphically symplectic orbifolds by adapting Huybrechts' proof (arXiv:1106.5573). As intermediate step needed, we also provide a generalization of the twistor space and the projectivity criterion based on works of Campana (arXiv:math/0402243) and Huybrechts (arXiv:math/0106014) respectively.
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…
We prove a Torelli theorem for the moduli space of semistable parabolic Higgs bundles over a smooth complex projective algebraic curve under the assumption that the parabolic weight system is generic. When the genus is at least two, using this result we also prove a Torelli theorem for the moduli space of semistable parabolic bundles of rank at least two with generic parabolic weights. The key input in the proofs is a method of J.C. Hurtubise, Integrable systems and algebraic surfaces, Duke Math. Jour. 83 (1996), 19--49.
We prove that the period maps from the Torelli space and the moduli space with level $m$ structure of Calabi-Yau type manifolds to the corresponding period domain of polarized Hodge structures are injective. The proof is based on the construction of holomorphic affine structure on the Teichmüller space and the construction of the completion space of the Torelli space with respect to the Hodge metric.
Kreck and Yang Su recently gave counterexamples to a version of the Torelli theorem for hyperkählerian manifolds as stated by Verbitsky. The initial purpose of this document (which was prepared for a seminar talk) was to extract the correct statement and to give a short proof of it. We also revisit a few of its consequences, some of which are given new (shorter) proofs.
We describe the proof that the period map from the Torelli space of Calabi-Yau manifolds to the classifying space of polarized Hodge structures is an embedding. The proof is based on the constructions of holomorphic affine structure on the Teichmüller space and Hodge metric completion of the Torelli space. A canonical global holomorphic section of the holomorphic $(n, 0)$ class on the Teichmüller space is constructed.
The moduli space of Gieseker vector bundles is a compactification of moduli of vector bundles on a nodal curve. This moduli space has only normal crossing singularity and it provides a flat degeneration. We prove a Torelli type theorem for a nodal curve using the moduli space of stable Gieseker vector bundles of fixed rank (strictly greater than $1$) and fixed degree such that rank and degree are co-prime.
The Prym variety for a branched double covering of a nonsingular projective curve is defined as a polarized abelian variety. We prove that any double covering of an elliptic curve which has more than $4$ branch points is recovered from its Prym variety.
We prove that, given the isomorphism class of the parabolic Deligne-Hitchin moduli space over a smooth projective curve, we can recover the isomorphism class of the curve and the parabolic points.
Let $C$ be an elliptic curve, $w\in C$, and let $S\subset C$ be a finite subset of cardinality at least $3$. We prove a Torelli type theorem for the moduli space of rank two parabolic vector bundles with determinant line bundle $\mathcal O_C(w)$ over $(C,S)$ which are semistable with respect to a weight vector $\big(\frac{1}{2}, \dots, \frac{1}{2}\big)$.
We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible subcategories of the bounded derived category of coherent sheaves of such a variety. The focus is on Enriques surfaces, prime Fano threefolds and cubic fourfolds.
The article proves the Infinitesimal Torelli theorem for surfaces subject to the following conditions: 1) the canonical bundle of a surface is ample and generated by its global sections, 2)the geometric genus $p_g \geq 4$, 3) the irregularity $q=0$ . The main novelty is a realization of the Kodaira-Spencer classes lying in the kernel of the cohomology cup-product controlling the derivative of the period map of weight 2 in the category of the coherent sheaves of a surface.
Let p:C' -> C be an unramified double covering of irreducible smooth curves and let P be the attached Prym variety. We prove the schematic theta-dual equalities in the Prym variety T(C')=V^2 and T(V^2)=C', where V^2 is the Brill-Noether locus of P associated to p considered by Welters. As an application we prove a Torelli Theorem analogous to the fact that the g-th symmetric product of a curve D of genus g determines the curve.
We study the Torelli morphism from the moduli space of stable curves to the moduli space of principally polarized stable semi-abelic pairs. We give two characterizations of its fibers, describe its injectivity locus, and give a sharp upper bound on the cardinality of the finite fibers. We also bound the dimension of the infinite fibers. In particular, we obtain that the compactified Torelli map is injective away from curve with separating nodes if and only if the genus is at most 4.
We prove an equivalence between the infinitesimal Torelli theorem for top forms on a hypersurface contained inside a Grassmannian $\mathbb G$ and the theory of adjoint volume forms presented in L. Rizzi, F. Zucconi, "Generalized adjoint forms on algebraic varieties", Ann. Mat. Pura e Applicata, in press. More precisely, via this theory and a suitable generalization of Macaulay's theorem we show that the differential of the period map vanishes on an infinitesimal deformation if and only if certain explicitly given twisted volume forms go in the generalized Jacobi ideal of $X$ via the cup produc…
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.
Let X and X' be compact Riemann surfaces of genus at least three. Let G and G' be nontrivial connected semisimple linear algebraic groups over C. If some components $M_{DH}^d(X,G)$ and $M_{DH}^{d'}(X',G')$ of the associated Deligne--Hitchin moduli spaces are biholomorphic, then X' is isomorphic to X or to the conjugate Riemann surface $\bar{X}$.
We show that two smooth projective curves C_1 and C_2 of genus g which have isomorphic symmetric products are isomorphic unless g=2. This extends a theorem of Martens.
Let X and X' be compact Riemann surfaces of genus at least 3, and let G and G' be nonabelian reductive complex groups. If one component M_G^d(X) of the moduli space for semistable principal G-bundles over X is isomorphic to another component M_{G'}^{d'}(X'), then X is isomorphic to X'.
We prove that the first order deformations of two smooth projective K3 surfaces are derived equivalent under a Fourier--Mukai transform if and only if there exists a special isometry of the total cohomology groups of the surfaces which preserves the Mukai pairing, an infinitesimal weight-2 decomposition and the orientation of a positive 4-dimensional space. This generalizes the derived version of the Torelli Theorem. Along the way we show the compatibility of the actions on Hochschild homology and singular cohomology of any Fourier--Mukai functor.
Let $X$ be a geometrically irreducible smooth projective curve, of genus at least three, defined over the field of real numbers. Let $G$ be a connected reductive affine algebraic group, defined over $\mathbb R$, such that $G$ is nonabelian and has one simple factor. We prove that the isomorphism class of the moduli space of principal $G$--bundles on $X$ determine uniquely the isomorphism class of $X$.
A Steiner bundle is a vector bundle on projective space arising as the cokernel of the map defined by a matrix of linear forms. These come up in various geometric settings, and by now they are the subject of a considerable literature. Starting with work of Dolgachev and Kapranov from 1993, several authors have considered the question of whether one can recover from the bundle the geometric data used to construct it. Here we prove such Torelli-type statements for the tautological bundles associated to sufficiently positive divisors on any very ample linear series. In an appendix, we give a new …
Let X be a smooth projective curve of genus at least two over the complex numbers. A pair (E,ϕ) over X consists of an algebraic vector bundle E over X and a holomorphic section ϕof E. There is a concept of stability for pairs which depends on a real parameter τ. Here we prove that the third cohomology groups of the moduli spaces of τ-stable pairs with fixed determinant and rank at least two are polarised pure Hodge structures, and they are isomorphic to H^1(X) with its natural polarisation (except in very few exceptional cases). This implies a Torelli theorem for such moduli spaces. We recover…
We prove a global Torelli theorem for the moduli space of marked triples (X,m,A), consisting of an irreducible holomorphic symplectic manifold X, a marking m of its second integral cohomology, and a stable and rigid sheaf A of Azumaya algebras on the cartesian product X^d, d>0, such that the second Chern class of A is invariant under a finite index subgroup of the monodromy group of X. The main example involves the rank 2n-2 sheaf over the cartesian square of holomorphic symplectic manifolds of K3[n]-type considered in the work of the first author arXiv:1105.3223. The result will be used in th…
Let X be a smooth projective complex curve, and let M be the moduli space of stable Higgs bundles on X (with genus g>1), with rank n and fixed determinant ξ, with n and deg(ξ) coprime. Let X' and ξ' be another such curve and line bundle, and M' the corresponding moduli space. We prove that if M and M' are isomorphic as algebraic varieties, then X and X' are isomorphic.
Fix integers $g\geq 3$ and $r\geq 2$, with $r\geq 3$ if $g=3$. Given a compact connected Riemann surface $X$ of genus $g$, let $\MDH(X)$ denote the corresponding $\text{SL}(r, {\mathbb C})$ Deligne--Hitchin moduli space. We prove that the complex analytic space $\MDH(X)$ determines (up to an isomorphism) the unordered pair $\{X, \overline{X}\}$, where $\overline{X}$ is the Riemann surface defined by the opposite almost complex structure on $X$.
We produce counterexamples to the birational Torelli theorem for Calabi-Yau manifolds in arbitrarily high dimension: this is done by exhibiting a series of non birational pairs of Calabi-Yau $(n^2-1)$-folds which, for $n \geq 2$ even, admit an isometry between their middle cohomologies. These varieties also satisfy an $\mathbb L$-equivalence relation in the Grothendieck ring of varieties, i.e. the difference of their classes annihilates a power of the class of the affine line. We state this last property for a broader class of Calabi-Yau pairs, namely all those which are realized as pushforwar…
Let $X \subset \mathbb{P}^{n+1}$ be a smooth Fano hypersurface of dimension $n$ and degree $d$. The derived category of coherent sheaves on $X$ contains an interesting subcategory called the Kuznetsov component $\mathcal{A}_X$. We show that this subcategory, together with a certain autoequivalence called the rotation functor, determines $X$ uniquely if $d > 3$ or if $d = 3$ and $n > 3$. This generalizes a result by D. Huybrechts and J. Rennemo, who proved the same statement under the additional assumption that $d$ divides $n+2$.
Let X be an irreducible smooth complex projective curve of genus g>2, and let x be a fixed point. A framed bundle is a pair (E,ϕ), where E is a vector bundle over X, of rank r and degree d, and ϕ:E_x\to C^r is a non-zero homomorphism. There is a notion of (semi)stability for framed bundles depending on a parameter τ>0, which gives rise to the moduli space of τ-semistable framed bundles M^τ. We prove a Torelli theorem for M^τ, for τ>0 small enough, meaning, the isomorphism class of the one-pointed curve (X,x), and also the integer r, are uniquely determined by the isomorphism class of the varie…
Our main result is an effective version of the Torelli theorem in genus $3$ and any characteristic not $2$: the configuration of the odd theta characteristics of a curve $C$ of genus $3$ determines a del Pezzo surface $S$ of degree two and that $C$ is recovered as the normalization of a certain curve on $S$. This surface is not the one usually associated to $C$; we describe the distinction. We also give an explicit geometrical description of the quadratic twist (observed by Serre) that arises in the statement of the Torelli theorem.
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.
We prove a non abelian Torelli type result for smooth projective curves by working in the derived category of some associated polarized Quot schemes and defining Brill-Noether loci and Abel-Jacobi maps on them.
We prove that two general Enriques surfaces defined over an algebraically closed field of characteristic different from $2$ are isomorphic if their Kuznetsov components are equivalent. We apply the same techniques to give a new simple proof of a conjecture by Ingalls and Kuznetsov relating the derived categories of the blow-up of general Artin\textendash Mumford quartic double solids and of the associated Enriques surfaces. This paper originated from one of the problem sections at the workshop \emph{Semiorthogonal decompositions, stability conditions and sheaves of categories}, Université de T…
Let $X$ be any compact connected Riemann surface of genus $g \geq 3$. For any $r\geq 2$, let $M_X$ denote the moduli space of holomorphic $SL(r,C)$-connections over $X$. It is known that the biholomorphism class of the complex variety $M_X$ is independent of the complex structure of $X$. If $g=3$, then we assume that $r\geq 3$. We prove that the isomorphism class of the variety $M_X$ determines the Riemann surface $X$ uniquely up to isomorphism. A similar result is proved for the moduli space of holomorphic $GL(r,C)$-connections on $X$. We also show that the Torelli theorem remains valid for t…