The rank of the second Gaussian map for general curves

DOI10.1307/MMJ/1320763048MaRDI QIDQ654925zbMATH OpenOpenAlexFDO

Authors A. Calabri, Ciro Ciliberto, Rick Miranda

Publication date 28 December 2011

Published in Michigan Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0911.4734, https://projecteuclid.org/euclid.mmj/1320763048

zbMATH Keywords

binary curvescanonical bundleGaussian mapranksecond Gaussian mapstable curves

Mathematics Subject Classification ID

Divisors, linear systems, invertible sheaves (14C20) Formal methods and deformations in algebraic geometry (14D15) Families, moduli of curves (algebraic) (14H10)

Abstract: We prove that, for the general curve of genus g, the 2nd Gaussian map is injective if g <= 17 and surjective if g >= 18. The proof relies on the study of the limit of the 2nd Gaussian map when the general curve of genus g degenerates to a general stable binary curve, i.e. the union of two rational curves meeting at g+1 points.

Review text

For a smooth curve \(X\), one defines the higher Gaussian maps \(\mu_k\) as higher order generalisations of the classical Gauss map of the canonical embedding of \(X\). The paper under review deals with the second Gaussian map \(\mu_2:\;I_2(K_X)\rightarrow K_X^{\otimes 4}\), where \(I_2(K_X)\) is the vector space of forms of degree \(2\) vanishing on the canonical model of \(X\). This map has a modular interpretation, as being related to the second fundamental form of the Torelli embedding of the moduli space of genus \(g\) curve in the moduli space of abelian varieties. The main result of the paper is that \(\mu_2\) has maximal rank for a general curve of genus \(g\). Specifically, this means that the map is injective for genus \(g\leq 17\) and surjective otherwise. Even though the result is not particularly unexpected, the surjectivity has been previously proven only for curves of genus \(g>125\) [\textit{E. Colombo} and \textit{P. Frediani}, Nagoya Math. J. 199, 123--136 (2010; Zbl 1208.14021)]. The proof relies on studying the rank of the degeneration of \(\mu_2\) to a special class of stable curves, called \textit{binary curves}, consisting of two rational components meeting in \(g+1\) general points. On such curves, it is possible to describe the second Gaussian map rather explicitly. This allows to prove the surjectivity of \(\mu_2\) in genus \(g\geq 19\) by an inductive argument. The rank of \(\mu_2\) for binary curves of genus \(g\leq 18\) is calculated by implementation on a computer algebra system. The script of the algorithm is included in the appendix of the paper.

Recommendations

• Some results on the second Gaussian map for curves
• scientific article; zbMATH DE number 5874653
• On the second Gaussian map for curves on a K3 surface
• The rank two \(p\)-curvature conjecture on generic curves
• Second Gaussian maps on surfaces
• scientific article; zbMATH DE number 125547
• Generalized immersions and the rank of the second fundamental form
• scientific article; zbMATH DE number 9341
• The generalized Verschiebung map for curves of genus 2
• On the Gaussian map for canonical curves of low genus

Cites work

• A standard basis approach to syzygies of canonical curves.
• scientific article; zbMATH DE number 3891516 (Why is no real title available?)
• scientific article; zbMATH DE number 125547 (Why is no real title available?)
• scientific article; zbMATH DE number 592832 (Why is no real title available?)
• scientific article; zbMATH DE number 719227 (Why is no real title available?)
• scientific article; zbMATH DE number 1884265 (Why is no real title available?)
• Hyperplane sections of abelian surfaces
• On special projections of varieties: Epitome to a theorem of Beniamino Segre
• On the Gaussian map for canonical curves of low genus
• On the second Gaussian map for curves on a K3 surface
• On the surjectivity of the Wahl map
• Sections hyperplanes des surfaces K3
• Siegel metric and curvature of the moduli space of curves
• Some results on the second Gaussian map for curves
• The Jacobian algebra of a graded Gorenstein singularity

Cited in

(13)

• On the canonical ring of curves and surfaces
• On the bielliptic and bihyperelliptic loci
• On the first Gaussian map for Prym-canonical line bundles
• On the second Gaussian map for curves on a K3 surface
• Hyperplane sections of abelian surfaces
• On the Gaussian map for a singular bielliptic canonical curve.
• Prym map and second Gaussian map for Prym-canonical line bundles
• scientific article; zbMATH DE number 5874653 (Why is no real title available?)
• Gauss‐Prym maps on Enriques surfaces
• Gaussian maps for singular curves on Enriques surfaces
• Second fundamental form and higher Gaussian maps
• Higher Gaussian maps for special classes of curves
• Some results on the second Gaussian map for curves

This page was built for publication: The rank of the second Gaussian map for general curves

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