Koszul Cohomology and Algebraic Geometry

The systematic use of Koszul cohomology computations in algebraic geometry can be traced back to the foundational work of Mark Green in the 1980s. Green connected classical results concerning the ideal of a projective variety with vanishing theorems for Koszul cohomology. Green and Lazarsfeld also stated two conjectures that relate the Koszul cohomology of algebraic curves with the existence of special divisors on the curve. These conjectures became an important guideline for future research. In the intervening years, there has been a growing interaction between Koszul cohomology and algebraic geometry. Green and Voisin applied Koszul cohomology to a number of Hodge-theoretic problems, with remarkable success. More recently, Voisin achieved a breakthrough by proving Green's conjecture for general curves; soon afterwards, the Green-Lazarsfeld conjecture for general curves was proved as well. This book is primarily concerned with applications of Koszul cohomology to algebraic geometry, with an emphasis on syzygies of complex projective curves. The authors' main goal is to present Voisin's proof of the generic Green conjecture, and subsequent refinements. They discuss the geometric aspects of the theory and a number of concrete applications of Koszul cohomology to problems in algebraic geometry, including applications to Hodge theory and to the geometry of the moduli space of curves.

[1]  F. Loose.  On the graded Betti numbers of plane algebraic curves , 1989 .

[2]  Robert Lazarsfeld,et al.  Positivity for vector bundles, and multiplier ideals , 2004 .

[3]  P. Griffiths,et al.  Infinitesimal variations of hodge structure (I) , 1983 .

[4]  D. Laksov,et al.  On the Existence of Special Divisors , 1972 .

[5]  D. Salamon,et al.  J-Holomorphic Curves and Quantum Cohomology , 1994 .

[6]  Yves Meyer,et al.  Oscillating Patterns in Image Processing and Nonlinear Evolution Equations: The Fifteenth Dean Jacqueline B. Lewis Memorial Lectures , 2001 .

[7]  K. Robert,et al.  Linear Series on Algebraic Varieties , 2010 .

[8]  G. Farkas.  Koszul divisors on moduli spaces of curves , 2006, math/0607475.

[9]  David Mumford,et al.  Stability of projective varieties , 1977 .

[10]  Shengli Tan.  ON THE SLOPES OF THE MODULI SPACES OF CURVES , 1998 .

[11]  U. Nagel,et al.  On graded Betti numbers and geometrical properties of projective varieties , 1994 .

[12]  The weight-two hodge structure of moduli spaces of sheaves on A K3 surface , 1995, alg-geom/9510001.

[13]  Joe Harris,et al.  Moduli of curves , 1998 .

[14]  S. Mukai.  Biregular classification of Fano 3-folds and Fano manifolds of coindex 3. , 1989, Proceedings of the National Academy of Sciences of the United States of America.

[15]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[16]  M. Green.  Koszul cohomology and the geometry of projective varieties , 1984 .

[17]  R. Lazarsfeld,et al.  Special divisors on curves on aK3 surface , 1987 .

[18]  R. Pandharipande.  A COMPACTIFICATION OVER Mg OF THE UNIVERSAL MODULI SPACE OF SLOPE-SEMISTABLE VECTOR BUNDLES. , 1995 .

[19]  Paul B. Larson,et al.  The Stationary Tower: Notes on a Course by W , 2004 .

[20]  G. Martens.  Über den Clifford-Index algebraischer Kurven. , 1982 .

[21]  G. Ellingsrud,et al.  On the Cobordism Class of the Hilbert Scheme of a Surface , 1999, math/9904095.

[22]  Anatole Katok,et al.  Combinatorial constructions in ergodic theory and dynamics , 2003 .

[23]  C. Ciliberto,et al.  Pencils of minimal degree on curves on a K3 surface. , 1995 .

[24]  M. Reid.  Special Linear Systems on Curves Lying on a K 3 Surface , 1976 .

[25]  M. Coppens.  The gonality of general smooth curves with a prescribed plane nodal model , 1991 .

[26]  L. Chiantini,et al.  Syzygies of Points in Projective Space and Applications , 1994 .

[27]  Joe W. Harris,et al.  Principles of Algebraic Geometry , 1978 .

[28]  Phillip A. Griffiths,et al.  On the Periods of Certain Rational Integrals: II , 1969 .

[29]  M. Reid,et al.  Embeddings of curves and surfaces , 1996, Nagoya Mathematical Journal.

[30]  M. Green.  Infinitesimal Methods in Hodge Theory , 1994 .

[31]  Linear syzygies and line bundles on an algebraic curve , 1989 .

[32]  M. Berger.  Riemannian Geometry During the Second Half of the Twentieth Century , 2000 .

[33]  W. Fulton,et al.  Riemann-Roch Algebra , 1985 .

[34]  Green’s generic syzygy conjecture for curves of even genus lying on a K3 surface , 2002, math/0205330.

[35]  E. Looijenga.  Smooth deligne-mumford compactifications by means of prym level structures , 1994 .

[36]  M. Bigas.  Syzygies using vector bundles , 2005, math/0501174.

[37]  S. Mukai.  Symplectic structure of the moduli space of sheaves on an abelian or K3 surface , 1984 .

[38]  P. Newstead.  VECTOR BUNDLES ON COMPLEX PROJECTIVE SPACES (Progress in Mathematics, Vol. 3) , 1981 .

[39]  A. Schürmann,et al.  Computational geometry of positive definite quadratic forms : polyhedral reduction theories, algorithms, and applications , 2008 .

[40]  V. Kac.  Vertex algebras for beginners , 1997 .

[41]  Ernst Kunz,et al.  Residues and Duality for Projective Algebraic Varieties , 2008 .

[42]  A. Hirschowitz,et al.  New evidence for Green's conjecture on syzygies of canonical curves , 1997, alg-geom/9707017.

[43]  Angela Gibney,et al.  Towards the ample cone of \overline{}_{,} , 2000 .

[44]  R. Lazarsfeld,et al.  On the projective normality of complete linear series on an algebraic curve , 1986 .

[45]  Joe Harris,et al.  Geometry of Algebraic Curves: Volume I , 1984 .

[46]  J. Harer.  The second homology group of the mapping class group of an orientable surface , 1983 .

[47]  D. Eisenbud,et al.  The Clifford dimension of a projective curve , 1989 .

[48]  W. Bruns,et al.  Cohen-Macaulay rings , 1993 .

[49]  G. Martens.  The gonality of curves on a Hirzebruch surface , 1996 .

[50]  R. Donagi,et al.  A new proof of the symmetrizer lemma and a stronger weak Torelli theorem for projective hypersurfaces , 1984 .

[51]  D. Mumford,et al.  The irreducibility of the space of curves of given genus , 1969 .

[52]  Montserrat Teixidor i Bigas,et al.  Green's conjecture for the generic r-gonal curve of genus g≥3r−7 , 2002 .

[53]  F. Schreyer.  Some Topics in Computational Algebraic Geometry , 2003 .

[54]  M. Nori.  Algebraic cycles and Hodge theoretic connectivity , 1993 .

[55]  W. Fulton,et al.  Excess linear series on an algebraic curve , 1984 .

[56]  Joe W. Harris,et al.  Algebraic Geometry: A First Course , 1995 .

[57]  William Fulton,et al.  Hurwitz Schemes and Irreducibility of Moduli of Algebraic Curves , 1969 .

[58]  K. Seip.  Interpolation and sampling in spaces of analytic functions , 2004 .

[59]  G. Farkas.  SYZYGIES OF CURVES AND THE EFFECTIVE CONE OF Mg , 2005 .

[60]  Joe W. Harris,et al.  Divisor classes associated to families of stable varieties, with applications to the moduli space of curves , 1988 .

[61]  M. Green.  A new proof of the explicit Noether-Lefschetz theorem , 1988 .

[62]  C. Voisin.  Une précision concernant le théorème de noether , 1988 .

[63]  M. Coppens,et al.  Secant spaces and Clifford's theorem , 1991 .

[64]  Stephen Halperin.  Le complexe de Koszul en algèbre et topologie , 1987 .

[65]  K. Paranjape,et al.  On the Canonical Ring of a Curve , 1988 .

[66]  R. Pardini.  On the period map for abelian covers of projective varieties , 1998 .

[67]  S. Mukai,et al.  Complex Projective Geometry: Fano 3-folds , 1992 .

[68]  C. Voisin.  Deformation des Syzygies et Theorie de Brill‐Noether , 1993 .

[69]  A. Sommese,et al.  On Reider’s method and higher order embeddings , 1989 .

[70]  Lipman Bers,et al.  Contributions to analysis : a collection of papers dedicated to Lipman Bers , 1974 .

[71]  Xiao Gang.  Fibered algebraic surfaces with low slope , 1987 .

[72]  Andrew Mathas,et al.  Hecke algebras and Schur algebras of the symmetric group , 1999 .

[73]  M. Green.  The period map for hypersurface sections of high degree of an arbitrary variety , 1985 .

[74]  J. Fogarty.  Algebraic Families on an Algebraic Surface, II, the Picard Scheme of the Punctual Hilbert Scheme , 1973 .

[75]  Effective divisors on \bar{M}_g, curves on K3 surfaces and the Slope Conjecture , 2003, math/0305112.

[76]  R. Lazarsfeld.  Brill-Noether-Petri without degenerations , 1986 .

[77]  Alexander Grothendieck,et al.  Elements de geometrie algebrique III: Etude cohomologique des faisceaux coherents , 1961 .

[78]  Mark L. Green.  KOSZUL COHOMOLOGY AND GEOMETRY , 1989 .

[79]  J. Nagel,et al.  Lectures on Nori's connectivity theorem , 2004 .

[80]  M. Aprodu.  On the vanishing of higher syzygies of curves. II , 2002, math/0203246.

[81]  M. Green.  Griffiths' infinitesimal invariant and the Abel-Jacobi map , 1989 .

[82]  James Haglund,et al.  The q, t-Catalan numbers and the space of diagonal harmonics : with an appendix on the combinatorics of Macdonald polynomials , 2007 .

[83]  V. Arnold.  Topological Invariants of Plane Curves and Caustics , 1994 .

[84]  D. Eisenbud,et al.  The Kodaira dimension of the moduli space of curves of genus ≧23 , 1987 .

[85]  S. Greco,et al.  Hilbert functions and Betti numbers in a flat family , 1985 .

[86]  C. Voisin.  green's canonical syzygy conjecture for generic curves of odd genus , 2003, Compositio Mathematica.

[87]  Robert Lazarsfeld,et al.  A Sampling of Vector Bundle Techniques in the Study of Linear Series , 1989 .

[88]  有木 進,et al.  Representations of quantum algebras and combinatorics of young tableaux , 2002 .

[89]  C. Voisin.  Transcendental Methods in the Study of Algebraic Cycles , 1994 .

[90]  I. Morrison,et al.  Slopes of effective divisors on the moduli space of stable curves , 1990 .

[91]  B. Segre.  Sui moduli delle curve poligonali, e sopra un complemento al teorema di esistenza di Reimann , 1928 .

[92]  C. Keem.  On the variety of special linear systems on an algebraic curve , 1990 .

[93]  J. Nagel,et al.  A Lefschetz type result for Koszul cohomology , 2004 .

[94]  K. Petri,et al.  Über die invariante Darstellung algebraischer Funktionen einer Veränderlichen , 1923 .

[95]  R. Lazarsfeld,et al.  Syzygies and Koszul cohomology of smooth projective varieties of arbitrary dimension , 1993 .

[96]  R. Donagi,et al.  Linear systems on K3-sections , 1989 .

[97]  M. Cornalba,et al.  Footnotes to a paper of Beniamino Segre , 1981 .

[98]  W. Fulton,et al.  On the connectedness of degeneracy loci and special divisors , 1981 .

[99]  Fritz John,et al.  Nonlinear wave equations, formation of singularities , 1990 .

[100]  Vladimir Pestov,et al.  Dynamics of Infinite-dimensional Groups - The Ramsey-Dvoretzky-Milman Phenomenon , 2006, University lecture series.

[101]  D. Mumford,et al.  On the Kodaira dimension of the moduli space of curves , 1982 .

[102]  L. Caporaso.  A compactification of the universal Picard variety over the moduli space of stable curves , 1994 .

[103]  Tadao Oda,et al.  Compactifications of the generalized Jacobian variety , 1979 .

[104]  Geometric Syzygies of Elliptic Normal Curves and their Secant Varieties , 2003, math/0304331.

[105]  S J Arakelov,et al.  FAMILIES OF ALGEBRAIC CURVES WITH FIXED DEGENERACIES , 1971 .