{"entities":{"Q2435090":{"pageid":2445833,"ns":120,"title":"Item:Q2435090","lastrevid":57916854,"modified":"2026-04-03T02:04:34Z","type":"item","id":"Q2435090","labels":{"en":{"language":"en","value":"Green's conjecture for curves on rational surfaces with an anticanonical pencil"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6254148"}},"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":"Q2435090$913AAF69-CD4A-4155-A28E-3893C8963222","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b27de75510fa87f34d285b85d0bbc9d6c3d3db1","datavalue":{"value":{"text":"Green's conjecture for curves on rational surfaces with an anticanonical pencil","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2435090$5417C0A4-A196-4B0E-99F9-A17B7A701695","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8ba3c9d85190705fe419cc079263712258e7ca8","datavalue":{"value":"1309.14028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435090$8CC67045-B6CB-4B89-B927-40B7553E96AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64b6e91fb91376726155bc34d3b408d8e957033d","datavalue":{"value":{"entity-type":"item","numeric-id":431061,"id":"Q431061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435090$4429DF21-E17C-40BF-9178-12E0DE4B09C9","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":"Q2435090$D36471E1-85C2-45CA-8A1A-5B1053F40587","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e5ca9fa8ba0adebb70c30b03a22add6fe6130a3","datavalue":{"value":{"time":"+2014-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2435090$4C79CF6C-3523-4124-B45B-CAD2A231006E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"350fbb11d46e9711d8ee575fa72fe3261a4fcb84","datavalue":{"value":"https://arxiv.org/abs/1207.6993","type":"string"},"datatype":"url"},"type":"statement","id":"Q2435090$E49F61A2-AED2-4CB0-9E53-0689111B6D81","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"953782697c198cdcd737d75c246bd7b94f65f418","datavalue":{"value":"Let \\(L\\) be an ample line bundle on a complex projective variety \\(X\\) and \\(\\widetilde X\\) be the image of \\(X\\) (under the morphism associated to \\(L\\)) in the projective space \\(\\mathbb P(H^0(X,L)^ \\vee)\\), whose homogeneous coordinate is \\(S:=\\mathrm{Sym} H^0(X,L)\\). Setting \\(R(X):= \\bigoplus_m H^0(X,L^m)\\), consider a minimal graded resolution \\[ 0 \\rightarrow E_s \\rightarrow \\cdots E_1 \\rightarrow E_0 \\rightarrow R(X) \\rightarrow 0 \\] where each term is of the form \\(E_k = \\bigoplus_{i \\geq k} \\, S(-i-1)^{\\beta_{k,i}}\\). Whether in each \\(E_k\\) there are summands in some degree \\(i>k\\) or not is a classical problem, with clear geometric meaning in the first levels. Namely, if \\(\\widetilde X\\) is projectively normal, then \\(E_0=S\\). In particular, \\(R(X)= S/I(\\widetilde X)\\). If, moreover, \\(E_1 = S(-2)^{\\beta_{1,1}}\\), then the ideal \\(I(\\widetilde X)\\) of the projective variety \\(\\widetilde X\\) is generated by quadrics. In the literature, the first property is denoted by \\((N_0)\\), the second one by \\((N_1)\\) and, in general, the property \\((N_p)\\) is stated as follows, where the last equivalence has been proved to express the property in terms of the Koszul cohomology groups \\(K_{p,q}(X,L)\\), one of the most used tools in affording this study (see [\\textit{M. L. Green}, J. Differ. Geom. 19, 125--167, 168--171 (1984; Zbl 0559.14008)]): \\[ \\begin{align*}{ (N_p) & \\iff E_0=S \\; \\text{and} \\; E_k = S(-k-1)^{\\beta_{k,k}} ,\\; \\text{for each} \\; k \\le p \\cr &\\iff K_{i,q}(X,L) =0, \\; \\text{for each} \\; i \\le p, q \\ge 2.}\\end{align*} \\] When \\(X\\) is a curve and \\(L\\) is its canonical sheaf \\(\\omega_X\\), the characterizations of \\((N_0)\\) and \\((N_1)\\) are classical results: \\((N_0)\\) holds if and only if \\(X\\) is not hyperelliptic (Max Noether Theorem), while \\((N_1)\\) holds if and only if \\(X\\) is not trigonal, nor a plane quintic (Enriques--Babbage Theorem). The famous Green's Conjecture for canonical curves claims that \\[ (N_p) (\\text{ or equivalently } K_{p,2}(X, \\omega_X) =0) \\text{ holds if and only if } p