On the vanishing of higher syzygies of curves (Q1849655): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Marian Aprodu / rank | |||
Property / reviewed by | |||
Property / reviewed by: Iustin Coandă / rank | |||
Property / author | |||
Property / author: Marian Aprodu / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Iustin Coandă / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1998245912 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0110120 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23: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