Infinitesimal Torelli for elliptic surfaces revisited

DOI10.1016/J.JPAA.2021.106925MaRDI QIDQ2065615zbMATH OpenOpenAlexFDO

Authors Remke Kloosterman

Publication date 12 January 2022

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2007.10207

zbMATH Keywords

elliptic surfacesinfinitesimal Torelli

Mathematics Subject Classification ID

Torelli problem (14C34) Elliptic surfaces, elliptic or Calabi-Yau fibrations (14J27)

Abstract: In this article we give a new proof for the infinitesimal Torelli theorem for minimal elliptic surfaces without multiple fibers with Euler number at least 24 for nonconstant $j$-invariant. In the case of constant $j$-invariant we find a new proof in the case of Euler number at least 72. We also discuss several new counterexamples.

Review text

We say that a smooth projective variety \(X\) of dimension \(n\) satisfies the \emph{Infinitesimal Torelli Theorem} if the differential \[\delta_X : H^1(X,\Theta_X) \rightarrow \mathrm{Hom}(H^0(\Omega_X^n),H^1(\Omega_X^{n-1})\] of the period map is injective, where \(\Theta_X\) denotes the tangent bundle of \(X\). This article focuses on the case when \(\pi:X\rightarrow C\) is a minimal elliptic surface without multiple fibers. This is a widely studied problem in the literature, with many examples of elliptic surfaces satisfying the Infinitesimal Torelli Theorem (\textit{D. Lieberman} et al. [Math. Ann. 231, 39--45 (1977; Zbl 0367.14006)], \textit{K. I. Kii} [Math. USSR, Izv. 12, 53--67 (1978; Zbl 0399.14012)], \textit{R. Kloosterman} [Mich. Math. J. 52, No. 1, 141--161 (2004; Zbl 1076.14044)]) and some counterexamples (\textit{A. Ikeda} [Adv. Math. 349, 125--161 (2019; Zbl 1414.14004)]). The goal of this article is to present new examples in both directions. The first case analyzed by the author is the case when the \(j\)-invariant of the fibration \(\pi\) is nonconstant: in this case it is shown that \(X\) satisfies the Infinitesimal Torelli Theorem as soon as the Euler characteristic \(e(X)\) of \(X\) is \(\ge 24\) (and in some cases if \(e(X)=12\)). On the other hand, if the \(j\)-invariant is constant, the author shows that for a wide class of elliptic surfaces the Infinitesimal Torelli Theorem is equivalent to the surjectivity of a certain multiplication map. This is then used to show that the Infinitesimal Torelli Theorem holds for \(X\) as soon as \(e(X) \ge 72\), and to produce new examples of the failure of the Infinitesimal Torelli Theorem for elliptic surfaces. The proofs rely on a theorem by Green and Kii that relates the Infinitesimal Torelli Theorem to the vanishing of a certain Koszul cohomology group.

Recommendations

• On the infinitesimal Torelli problem of elliptic surfaces
• Extremal elliptic surfaces and infinitesimal Torelli
• Infinitesimal Torelli theorem for surfaces of general type with certain invariants
• On the failure of variational Torelli for regular elliptic surfaces with a section
• scientific article; zbMATH DE number 611049

Cites work

• A theorem of local-Torelli type
• Bielliptic curves of genus three and the Torelli problem for certain elliptic surfaces
• Extremal elliptic surfaces and infinitesimal Torelli
• Global sections and tensor products of line bundles over a curve
• scientific article; zbMATH DE number 3973041 (Why is no real title available?)
• scientific article; zbMATH DE number 4097538 (Why is no real title available?)
• scientific article; zbMATH DE number 50741 (Why is no real title available?)
• scientific article; zbMATH DE number 1927232 (Why is no real title available?)
• Koszul cohomology and the geometry of projective varieties. Appendix: The nonvanishing of certain Koszul cohomology groups (by Mark Green and Robert Lazarsfeld)
• On the failure of variational Torelli for regular elliptic surfaces with a section
• On the infinitesimal Torelli problem of elliptic surfaces
• THE LOCAL TORELLI THEOREM FOR VARIETIES WITH DIVISIBLE CANONICAL CLASS

Cited in

(12)

• On the failure of variational Torelli for regular elliptic surfaces with a section
• Extremal elliptic surfaces and infinitesimal Torelli
• Bielliptic curves of genus three and the Torelli problem for certain elliptic surfaces
• Infinitesimal Torelli theorem for surfaces of general type with certain invariants
• A refined derived Torelli theorem for Enriques surfaces
• Infinitesimal mixed Torelli problem for algebraic surfaces with ordinary singularities. II
• Infinitesimal Derived Torelli Theorem for K3 Surfaces (with an Appendix by Sukhendu Mehrotra)
• scientific article; zbMATH DE number 3973041 (Why is no real title available?)
• scientific article; zbMATH DE number 611049 (Why is no real title available?)
• Infinitesimal Torelli theorem for double coverings of surfaces of general type
• Generic Torelli and local Schottky theorems for Jacobian elliptic surfaces
• Periods of elliptic surfaces with p_g=q=1

This page was built for publication: Infinitesimal Torelli for elliptic surfaces revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065615)