On the vanishing of higher syzygies of curves (Q1849655): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Importer (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W1998245912 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: math/0110120 / rank
 
Normal rank

Latest revision as of 22:23, 18 April 2024

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
    0 references
    0 references