Koszul cohomology and the geometry of projective varieties. II (Q802616)

This is a continuation of the author's previous paper with the same title [ibid. 19, 125-171 (1984; see the preceding review)]. The author proves a vanishing theorem for the Koszul cohomology of projective space. As an application, it is shown that if \(S_ k\subset {\mathbb{P}}^{\binom{d+3}{3}-1}\) is the variety of smooth surfaces in \({\mathbb{P}}^ 3\) of degree d which contains a curve C of degree k which is not a complete intersection, then \(co\dim S_ k\geq d-3\) (this strengthens the classical Noether theorem according to which, for \(d>3\), \(S_ k\neq {\mathbb{P}}^{\binom{d+3}{3}-1}).\)