On the vanishing of higher syzygies of curves (Q1849655)

From MaRDI portal
Revision as of 18:01, 11 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
On the vanishing of higher syzygies of curves
scientific article

    Statements

    On the vanishing of higher syzygies of curves (English)
    0 references
    1 December 2002
    0 references
    Let \(X\) be a complex nonsingular projective curve of gonality \(k\) and Clifford index \(c\). For ``most of the curves'' one has \(c= k-2\) [see \textit{D. Eisenbud}, \textit{H. Lange}, \textit{G. Martens} and \textit{F.-O. Schreyer}, Compos. Math. 72, 173--204 (1989; Zbl 0703.14020)]. If \(L\) is a line bundle on \(X\), consider the Koszul differentials \(d_{pq}: \wedge^p H^0(L)\otimes H^0(qL)\to \wedge^{p-1} H^0(L)\otimes H^0((q+ 1)L)\) and the Koszul cohomology groups \(K_{pq}(L):= \text{Ker\,}d_{pq}/\text{Im\,}d_{p+1,q-1}\). M. L. Green's canonical curve conjecture asserts that \(K_{p1}(\omega_X)= 0\) for \(p\geq g-c-1\) and the gonality conjecture of M. L. Green and R. Lazarsfeld asserts that, for any line bundle \(L\) of ``large degree'' on \(X\), \(K_{p1}(L)= 0\) for \(p\geq h^0(L)- k\). In this paper, the author investigates the gonality conjecture and its connections with the canonical curve conjecture using a technique considered by \textit{S. Ehbauer} [in: Zero-dimensional schemes, Proc. Int. Conf., Ravello 1992, 145--170 (1994; Zbl 0840.14032)], namely the projection of linear syzygies. It can be described as follows: Let \(L\) be a line bundle on \(X\) and \(x\) a point of \(X\) which is not a base point of \(H^0(L)\). Let \(d_x: \wedge^{p+1} H^0(L)\to L(x)\otimes\wedge^p H^0(L)\) be the Koszul differential defined by the evaluation map \(H^0(L)\to L(x)\). The image of \(d_x\) is \(L(x)\otimes \wedge^p H^0(L- x)\) and its kernel is \(\wedge^{p+1} H^0(L- x)\). Then \(d_x\otimes H^0(L)\) maps \(\text{Ker\,}d_{p+1,1}\) into \(L(x)\otimes \wedge^p H^0(L- x)\otimes H^0(L- x)\) and induces a map \(K_{p+1,1}(L)\to L(x)\otimes K_{p1}(L- x)\). The point is that if \(m= h^0L- p+1\) and the points \(x_1,\dots, x_m\) of \(X\) impose independent conditions on the global sections of \(L\) then the map \(K_{p+1,1}(L)\to \bigoplus^m_{i=1} L(x_i)\otimes K_{p1}(L- x_i)\) is injective. Using this result and a semicontinuity argument, the author shows that if \(L\) is non-special and \(K_{p1}(L)= 0\) then \(K_{p+d,1}(L+ D)= 0\) for every effective divisor \(D\) on \(X\) of degree \(d\). Since \(K_{p1}(\omega_X+ x)= K_{p1}(\omega_X)\) for every point \(x\) of \(X\), one deduces that if \(K_{p1}(\omega_X)= 0\) then \(K_{p+ d-1,1}(\omega_X+ D)= 0\) for every effective divisor \(D\) on \(X\) of degree \(d\) (in order to deduce the gonality conjecture from the canonical curve conjecture one would need, however, to prove that \(K_{p+d-2,1}(\omega_X+ D)= 0\)). Finally, using some general facts about Koszul cohomology from a paper by \textit{M. L. Green} [J. Differ. Geom. 19, 125--167, 168--171 (1984; Zbl 0559.14008)], the author checks the gonality conjecture for plane curves, for curves on Hirzebruch surfaces and for nodal curves on \(\mathbb{P}^1\times \mathbb{P}^1\), and the canonical curve conjecture for curves on Hirzebruch surfaces.
    0 references
    projective curve syzygies
    0 references
    gonality
    0 references
    Koszul cohomology
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references