Koszul cohomology

From HandWiki

In mathematics, the Koszul cohomology groups [math]\displaystyle{ K_{p,q}(X,L) }[/math] are groups associated to a projective variety X with a line bundle L. They were introduced by Mark Green (1984, 1984b), and named after Jean-Louis Koszul as they are closely related to the Koszul complex. (Green 1989) surveys early work on Koszul cohomology, (Eisenbud 2005) gives an introduction to Koszul cohomology, and (Aprodu Nagel) gives a more advanced survey.

Definitions

If M is a graded module over the symmetric algebra of a vector space V, then the Koszul cohomology [math]\displaystyle{ K_{p,q}(M,V) }[/math] of M is the cohomology of the sequence

[math]\displaystyle{ \bigwedge^{p+1}M_{q-1}\rightarrow \bigwedge^{p}M_{q} \rightarrow \bigwedge^{p-1}M_{q+1} }[/math]

If L is a line bundle over a projective variety X, then the Koszul cohomology [math]\displaystyle{ K_{p,q}(X,L) }[/math] is given by the Koszul cohomology [math]\displaystyle{ K_{p,q}(M,V) }[/math] of the graded module [math]\displaystyle{ M= \bigoplus_q H^0(L^q) }[/math], viewed as a module over the symmetric algebra of the vector space [math]\displaystyle{ V=H^0(L) }[/math].

References