Equations and syzygies of K3 carpets and unions of scrolls

DOI10.1007/S40306-018-00309-YMaRDI QIDQ2000790zbMATH OpenOpenAlexWikidataFDO

Authors David Eisenbud, Frank-Olaf Schreyer

Publication date 28 June 2019

Published in Acta Mathematica Vietnamica (Search for Journal in Brave)

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

zbMATH Keywords

\(K3\) carpets\(K3\) surfacescanonical curvescanonical ribbonsGreen's conjecture in positive characteristic

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Special divisors on curves (gonality, Brill-Noether theory) (14H51) Curves in algebraic geometry (14H99)

Abstract: We describe the equations and Gr"obner bases of some degenerate K3 surfaces associated to rational normal scrolls. These K3 surfaces are members of a class of interesting singular projective varieties we call correspondence scrolls. The ideals of these surfaces are nested in a simple way that allows us to analyze them inductively. We describe explicit Gr"obner bases and syzygies for these objects over the integers and this lets us treat them in all characteristics simultaneously.

Review text

The main object of study in this paper is the so-called \(K3\) carpet, realized as the double structure of a two-dimensional rational normal scroll. The authors provide an explicit description of the ideal of a family of reducible \(K3\) surfaces which degenerate to a \(K3\) carpet. In particular, explicit Gröbner bases and free resolutions of \(K3\) carpets are computed which are valid over the ring of integers. The study of these resolutions which comes by reduction to finite fields then shows evidence of the failure of an analogue of Green's conjecture for \(K3\) carpets in some positive characteristics. In particular, it is followed that hyperplane sections of the \(K3\) carpets violate the Green conjecture. A new version of Green's conjecture is speculated: a general curve of genus \(g\) over a field of characteristic \(p>0\) satisfies the Green conjecture whenever \(g\geq (g-1)/2\). The proof of this conjecture is presented for curves of genus \(g\leq 15\).

Recommendations

• Degenerations of K3 surfaces in projective space
• K3 projective models in scrolls
• Correspondence scrolls
• \(K3\) carpets on minimal rational surfaces and their smoothings
• Blowup algebras of rational normal scrolls

Cites work

• A standard basis approach to syzygies of canonical curves.
• A Version of Green’s Conjecture in Positive Characteristic
• An infinitesimal condition to smooth ropes
• Codimension and multiplicity
• Correspondence scrolls
• Curves and Symmetric Spaces, I
• Degenerations of K3 surfaces in projective space
• green's canonical syzygy conjecture for generic curves of odd genus
• Green's conjecture for curves on arbitrary K3 surfaces
• scientific article; zbMATH DE number 4130548 (Why is no real title available?)
• scientific article; zbMATH DE number 4053804 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• Hurwitz schemes and irreducibility of moduli of algebraic curves
• Moduli of lattice polarized \(K3\) surfaces via relative canonical resolutions
• Refined algorithms to compute syzygies
• Remarks on syzygies of \(d\)-gonal curves
• Resolutions of general canonical curves on rational normal scrolls
• Ribbons and Their Canonical Embeddings
• Syzygies of canonical curves and special linear series
• Syzygies, finite length modules, and random curves
• The canonical syzygy conjecture for ribbons
• Toward GIT stability of syzygies of canonical curves

Cited in

(9)

• Correspondence scrolls
• Koszul modules and Green's conjecture
• A Version of Green’s Conjecture in Positive Characteristic
• \(K3\) carpets on minimal rational surfaces and their smoothings
• Bi-graded Koszul modules, \(K3\) carpets, and Green's conjecture
• Hermite reciprocity and Schwarzenberger bundles
• Koszul modules
• Difference varieties and the Green-Lazarsfeld secant conjecture
• Syzygies of tangent-developable surfaces and K3 carpets via secant varieties

Describes a project that uses

Uses Software

• K3Carpets
• RelativeCanonicalResolution
• Macaulay2
• CorrespondenceScrolls

This page was built for publication: Equations and syzygies of \(K3\) carpets and unions of scrolls

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