{"entities":{"Q1849655":{"pageid":1860397,"ns":120,"title":"Item:Q1849655","lastrevid":73662078,"modified":"2026-04-14T16:49:47Z","type":"item","id":"Q1849655","labels":{"en":{"language":"en","value":"On the vanishing of higher syzygies of curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1837358"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849655$65A6E5CD-FCB8-492B-B32F-8904F4C4BAF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"004f379363d72d17de10ca7abde86b6bfeaeb7b7","datavalue":{"value":{"text":"On the vanishing of higher syzygies of curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1849655$0A6CD8DA-915C-4270-A744-380486312C78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7c8eccc65f14b245419e8efefb7c7a2f9fcf7fe","datavalue":{"value":"1037.14012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849655$6C5F890A-118B-4D4E-B090-7F0F9F27A143","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849655$86BDE94A-54C4-4CB9-8A70-60156D4BE8DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0678386c3121cdf68e0eb1f8c81710720679d33","datavalue":{"value":{"time":"+2002-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1849655$36FD2831-DFAC-4562-9C96-2D68A826CEF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"432b6ce0ce90040a96f6c0de9850edd93ddd41f0","datavalue":{"value":"https://arxiv.org/abs/math/0110120","type":"string"},"datatype":"url"},"type":"statement","id":"Q1849655$5A35524F-7385-4B23-9DBF-BEB1150B0F45","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff4d863964df3cbcfcccf831ea2b03c0b32824a3","datavalue":{"value":"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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849655$447C82DC-402E-4207-A9BB-3B675D11AEA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1876289fcd7fdd28d6988b3dc43fe5876c9e6c1b","datavalue":{"value":"14H51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849655$8FFA6CB9-44E3-472D-A40B-524F09BD2204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849655$2172E235-FC0F-490D-A48B-C55BD0107008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99c27e09fa243dec33ba15f384f6aea1342b3613","datavalue":{"value":"13D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849655$1E8C5EDA-59CE-497D-AE27-B45F8012940F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86f8d35c1565f252670810ace8ec15198b00a13b","datavalue":{"value":"14H50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849655$1CC19877-9EEF-4BF3-A457-79089A748DB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b8f8e80ef1dab45a96d0071fb7ea05c1bc3f5da","datavalue":{"value":"1837358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849655$655FE43F-A841-4483-9E7A-F5848BA3F805","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ea8d1b5f453e128207918e0a15b5aa13558af61","datavalue":{"value":"projective curve syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849655$27561FDC-9CCA-425B-BDD5-400E9686AE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bfbc1a6aa8a283e03f6762e2e72172268b66170","datavalue":{"value":"gonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849655$E42A0EC6-197C-4291-AA7C-303FE586EC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52ea83115c17360e43c62fa8241d16c5dd46bcc","datavalue":{"value":"Koszul cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849655$638BDD4F-D137-43FF-8855-EE1CBA3A77AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"312a006de3762ffa01791eebca54a6f5270ef7ec","datavalue":{"value":{"entity-type":"item","numeric-id":456746,"id":"Q456746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849655$98FB8235-3CD5-447A-9FBF-CF7320077671","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6a118350568ebdfec93a096c53aa8fb5a6c148c","datavalue":{"value":{"entity-type":"item","numeric-id":243912,"id":"Q243912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849655$02233164-673E-4000-AC94-37C9B67B3427","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849655$0FC93E76-101E-46EF-A817-D6798C13A888","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9b4dd1e02b27def956348602c254965d3a675cd","datavalue":{"value":"W1998245912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849655$5D7FB007-C04D-46CF-932A-33EB443B0274","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef1f3780de2d8cc00165cf78785f8b92071a94c6","datavalue":{"value":"10.1007/S002090100403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849655$8B1F3F49-4F8C-4479-87B4-605B13CB1252","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929898ec82ecb9a825411b356b2bb9420c0e949e","datavalue":{"value":{"entity-type":"item","numeric-id":1395397,"id":"Q1395397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1480aca15f100fa6868e42a39047ef666369346e","datavalue":{"value":{"amount":"+0.9064550399780272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849655$FD4D676A-6A79-4102-95D5-E0AC2DF6838F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b390f97717c1cd3d6c2f830c5a58e52ede43a2","datavalue":{"value":{"entity-type":"item","numeric-id":2388324,"id":"Q2388324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30079b8c53c9574efdea5c594c6f5735e03a2a4d","datavalue":{"value":{"amount":"+0.8998864889144897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849655$C8EEE300-01DB-4A59-A77D-44B72DFBA3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef34f46edd14ad9e3aadf7be0a1b6dd6b5e7e737","datavalue":{"value":{"entity-type":"item","numeric-id":897008,"id":"Q897008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"735a459c9a2c7b75d42566b5f93c30ae68578379","datavalue":{"value":{"amount":"+0.8907234072685242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849655$1FBEF6AA-F285-4E16-9EA2-356DB5D0D2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e8b0749664152a1b33be939567033651754bae","datavalue":{"value":{"entity-type":"item","numeric-id":3654141,"id":"Q3654141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa859e2edc572e0d6a4c1f5997caebfdf43bf1f2","datavalue":{"value":{"amount":"+0.8588394522666931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849655$68E0EAB1-553A-4A3D-A9C9-2BF75101C9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d4ece4e96d0d5b881167de4eb09cae3b56bc36","datavalue":{"value":{"entity-type":"item","numeric-id":4310096,"id":"Q4310096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c087d19d7b4b2cfea57813a5143b9c486f384ad5","datavalue":{"value":{"amount":"+0.8509749174118042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849655$4C148DEA-F6F9-4B29-B7A5-86A00335086B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the vanishing of higher syzygies of curves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_vanishing_of_higher_syzygies_of_curves"}}}}}