Remarks on syzygies of \(d\)-gonal curves (Q2388324): Difference between revisions

Let \(X\) be a smooth, connected, complex, projective curve and let \(L\) be a line bundle on \(X\). Denote by \(K_{p,q}(X,L)\) the Koszul cohomology of \(X\) (with value in \(L\)), which is the cohomology of the complex: \( \bigwedge^{p+1} H^0(X,L)\otimes H^0(X,L^{q-1}) \rightarrow \bigwedge^p H^0(X,L)\otimes H^0(X,L^q) \rightarrow \bigwedge^{p-1} H^0(X,L)\otimes H^0(X,L^{q+1}). \) Two of the most well known conjectures related to the groups \(K_{p,q}( X,L)\) are the following. The Green Conjecture. \(K_{g - c - 1,1}(X,K_X) = 0\), where \(g\) is the genus of \(X\), \(K_X\) is the canonical bundle and \(c\) is the Clifford index of \(X\) (i.e. \(c = \min\{\deg D - 2 (h^0(D) - 1)\}\), where \(D\) runs on the set of divisors satisfying \(h^0(D) \geq 2\), \(h^1(D) \geq 2\)). The Green-Lazarsfeld Conjecture. \(K_{h^0(L)-d,1}(X,L)= 0\) for any line bundle of sufficiently large degree (see \textit{M. Green} and \textit{R. Lazarsfeld} [Invent. Math. 83, 73--90 (1986; Zbl 0594.14010)]; here \(d\) is the gonality of \(X\)). These conjectures have been proved under some assumptions on \(X\) (e.g. both hold if \(X\) is a general curve). The paper under review presents new sets of conditions on \(X\) so that the conjectures hold. Among other results, the author proves the following. Theorem 1. Let \(d \geq 3\) be an integer, and \(X\) be a smooth \(d\)-gonal curve of genus \(g\) with \(d < [g/2] + 2\) and such that \(\dim (W_{d + n}^1 (X)) \leq n\) for all \(0 \leq n \leq g - 2 d + 2\). Then the Clifford index of \(X\) is equal to \(d - 2\) and \(X\) verifies both Green and Green-Lazarsfeld conjectures. \noindent Theorem 2. The Green-Lazarsfeld conjecture is true for any smooth curve \(X\) of genus \(g = 2 k - 1\) and gonality \(k + 1\), with \(k \geq 3\).