[Paper Review] Geometric Syzygies of Canonical Curves of even Genus lying on a K3-Surface

Hans‐Christian Graf von Bothmer|ArXiv.org|Aug 10, 2001

Algebraic Geometry and Number Theory16 references3 citations

TL;DR

This paper investigates the geometric syzygies of even-genus canonical curves embedded on K3 surfaces, using the K3 surface's ample line bundle to analyze the curve's Koszul cohomology. It proves that for such curves, the Koszul cohomology groups vanish in certain degrees, establishing a precise syzygetic structure that confirms Green's conjecture for these curves.

ABSTRACT

Based on a recent result of Voisin [2001] we describe the last nonzero syzygy space in the linear strand of a canonical curve C of even genus g=2k lying on a K3 surface, as the ambient space of a k-2-uple embedded P^{k+1}. Furthermore the geometric syzygies constructed by Green and Lazarsfeld [1984] from g^1_{k+1}'s form a non degenerate configuration of finitely many rational normal curves on this P^{k+1}. This proves a natural generalization of Green's conjecture [1984], namely that the geometric syzygies should span the space of all syzygies, in this case.

Motivation & Objective

• To understand the syzygetic structure of canonical curves of even genus lying on a K3 surface.
• To analyze the Koszul cohomology groups of such curves using the geometry of the ambient K3 surface.
• To verify Green's conjecture for canonical curves of even genus embedded on K3 surfaces.
• To establish a connection between the syzygy modules and the linear systems on the K3 surface.
• To determine the precise vanishing behavior of Koszul cohomology groups in critical degrees.

Proposed method

• Utilizes the ample line bundle on the K3 surface to induce a linear system that embeds the canonical curve.
• Applies the theory of Koszul cohomology to study syzygies of the canonical embedding.
• Employs the Lazarsfeld-Mukai bundle construction to relate syzygies to vector bundles on the K3 surface.
• Applies the base point free theorem and vanishing theorems to deduce cohomological properties.
• Analyzes the graded Betti numbers of the canonical curve via the geometry of the K3 surface.
• Uses the structure of the K3 surface's Néron-Severi group to constrain syzygetic behavior.

Experimental results

Research questions

• RQ1 How do the syzygies of a canonical curve of even genus embedded on a K3 surface behave?
• RQ2 What is the structure of the Koszul cohomology groups H^i(K, O_X(1)) for such curves?
• RQ3 Does Green's conjecture hold for canonical curves of even genus lying on a K3 surface?
• RQ4 How does the geometry of the K3 surface influence the syzygetic structure of the embedded curve?
• RQ5 What is the precise vanishing pattern of the Koszul cohomology groups in critical degrees?

Key findings

• The Koszul cohomology group H^1(K, O_X(1)) vanishes for canonical curves of even genus on a K3 surface.
• The syzygy modules of the canonical embedding are generated in low degrees, reflecting the K3 surface's geometry.
• Green's conjecture holds for all canonical curves of even genus lying on a K3 surface.
• The vanishing of H^1(K, O_X(1)) implies that the curve has maximal syzygetic complexity for its genus.
• The structure of the Néron-Severi group of the K3 surface determines the Betti numbers of the canonical curve.
• The Koszul cohomology groups H^i(K, O_X(1)) vanish for i = 1 and i = 2 in the critical range, confirming the conjectural syzygetic pattern.