{"entities":{"Q1209595":{"pageid":1220344,"ns":120,"title":"Item:Q1209595","lastrevid":71026425,"modified":"2026-04-13T19:00:16Z","type":"item","id":"Q1209595","labels":{"en":{"language":"en","value":"A sufficient condition for a projective variety to be the Proj of a Gorenstein graded ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168184"}},"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":"Q1209595$8879CF88-B8DD-478E-AF72-B9459663E6DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a513634ec93a7e5b5d53784fb90c6fa05e94d9dc","datavalue":{"value":{"text":"A sufficient condition for a projective variety to be the Proj of a Gorenstein graded ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209595$367E3DBE-6DF4-40FD-B96B-41364ED5879D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"572ae67075ca65f16d03b4c3dee5aa16f32db93f","datavalue":{"value":"0809.14037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209595$E5EBE276-7764-4A0A-8D9C-2902CD007299","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d354ede4eb6a718d73f69a93222b3b55ca0ce210","datavalue":{"value":{"entity-type":"item","numeric-id":170387,"id":"Q170387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209595$B58D1282-73B1-4EAF-8AF4-C9757F0AF884","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209595$E835E568-15F3-4C33-A677-DADA2F9E3988","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1209595$9EF5853F-0F23-4FBD-BBD3-B3A7907CD422","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04c2bc49ee0c551e224c0674e68dbb0988f57ff0","datavalue":{"value":"Let \\(X\\) be a normal projective variety over an algebraically closed field \\(k\\), and \\(D\\) an ample \\(\\mathbb{Q}\\)-divisor on \\(X\\), i.e., a rational coefficient Weil divisor whose multiple \\(rD\\) for some \\(r \\in \\mathbb{N}\\) is an ample Cartier divisor. We consider a normal graded ring \\(R(X,D)\\) defined by \\(R(X,D) = \\bigoplus^{+ \\infty}_{n=0} H^ 0 (X,{\\mathcal O}_ X (nD))T^ n\\), where \\({\\mathcal O}_ X (nD)\\) is the divisorial sheaf associated with a \\(\\mathbb{Q}\\)-divisor \\(nD\\). We are interested in finding a criterion for a normal projective variety \\(X\\) over \\(k\\) to have an ample \\(\\mathbb{Q}\\)-divisor \\(D\\) with \\(R(X,D)\\) Gorenstein. Since \\(X = \\text{Proj} R(X,D)\\), thanks to a theorem of \\textit{M. Demazure} [Trav. Cours 37, 35-68 (1988; Zbl 0686.14005)], it is equivalent to ask when a normal projective variety over \\(k\\) is the Proj of a Gorenstein normal graded \\(k\\)-algebra. When \\(D\\) is an ample \\(\\mathbb{Q}\\)-divisor, \\textit{K. Watanabe} [Nagoya Math. J. 83, 203-211 (1981; Zbl 0518.13003)] has established a criterion for \\(R(X,D)\\) to be Gorenstein, in terms of \\(D\\) and the canonical divisor \\(K_ X\\) of \\(X\\). The purpose here is to solve our problem, at least when \\(X\\) is Gorenstein, based on the criterion of Watanabe (loc. cit). -- Main result:   Theorem. Let \\(X\\) be a Gorenstein normal projective variety of dimension \\(N\\) over an algebraically closed field \\(k\\).   (a) Suppose that \\(H^ i (X,{\\mathcal O}_ X) = 0\\), \\(0<i<N\\). Then, for every positive odd integer \\(a\\), there exists an ample \\(\\mathbb{Q}\\)-divisor \\(D\\) on \\(X\\) such that \\(R(X,D)\\) is a Gorenstein graded ring with \\(a\\)-invariant \\(a(R(X,D))=a\\). In particular, \\(X\\) is the Proj of a Gorenstein normal graded \\(k\\)-algebra.   (b) Suppose furthermore that there exists a Cartier divisor \\(F\\), with \\(H^ i (X,{\\mathcal O}_ X (F)) = 0\\) for \\(0<i<N\\), such that \\(2F\\) is linearly equivalent to a canonical divisor \\(K_ X\\). Then, for every positive even integer \\(a\\), there exists an ample \\(\\mathbb{Q}\\)-divisor \\(D\\) on \\(X\\) such that \\(R(X,D)\\) is a Gorenstein graded ring with \\(a(R(X,D))=a\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209595$F1F0A62F-CFF7-4FBB-8F98-D5292A92C144","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f0d4050955b7c3a87ea977aa08dcba2cfba6a66","datavalue":{"value":"14M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209595$E6E4FED5-9CBC-40F3-9BA5-077F57C53407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31461bd18eda9bff06581245073777de6a125236","datavalue":{"value":"14C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209595$BECF821E-CBD9-4BCC-BCF2-4FB6EA1BCB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209595$36A91DA7-7FB6-4903-B625-A5710BA9D8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"086297fd475b42608bf85c8a5f4b8789b93c92cc","datavalue":{"value":"13A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209595$C02B0FA6-6F24-4368-AF48-894F1A959713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"93293bd859892a483ca84cc56251afdc241ec4e7","datavalue":{"value":"14N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209595$146E9095-71F5-4749-83EE-6C1F35CB0CE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f4a541ec1f5ca2202f22b33f21d49b547d11d1c","datavalue":{"value":"168184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209595$169784C9-BCB2-46A9-9836-7D61A5C274D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e05f9fa8d41aeb451ddb1063c5210976c28e519f","datavalue":{"value":"ample \\(\\mathbb{Q}\\)-divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209595$7483A8A5-804F-4F34-B081-FFC6539BCEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d56fe0fcecfc6e30cee9f1a10d85fb7ad3777d0d","datavalue":{"value":"Gorenstein algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209595$8EE4E5C2-4272-4FEE-87C8-67100A526629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be7f27771b195ec385e9142fcd116dcbf7166024","datavalue":{"value":"Proj","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209595$448A02E6-005A-4060-9515-C3A0EC51EB28","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":"Q1209595$E45F0172-4825-4FC0-AB2D-34AC59B8B8C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30a453748412115ea113fa6941d7494659f00295","datavalue":{"value":"https://doi.org/10.1006/jabr.1993.1037","type":"string"},"datatype":"url"},"type":"statement","id":"Q1209595$CA701F72-D564-4DA6-8FC6-6108BCBFF6D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79816c2a42e12a41b21b62368fb495129bca454d","datavalue":{"value":"W1973561757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209595$E8349DB7-8287-4AC8-A805-A41CE0B2CA89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a9d1ab8ef68a2d9a6ba1e7b29bed98717b5837c","datavalue":{"value":"10.1006/JABR.1993.1037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209595$2ED6CAE4-FFBC-4BD6-B640-3438EFCB6312","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d86c1703a4c41498885f501044e2c560b9fb099","datavalue":{"value":{"entity-type":"item","numeric-id":811566,"id":"Q811566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa77123f968541deaadf7d59c37c910021d8d8cd","datavalue":{"value":{"amount":"+0.7691774964332581","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":"Q1209595$DAC9E52F-9294-4017-AD06-866BB8F563C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def8bc1fef7783f1167dae09f153066c7375f2e9","datavalue":{"value":{"entity-type":"item","numeric-id":3789672,"id":"Q3789672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057ca5ade3447859ade2841e11f421edb8475720","datavalue":{"value":{"amount":"+0.7419061064720154","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":"Q1209595$6A93E5F8-7161-4301-B94D-E97AEAF036EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062f938f1fb0d863759be2ecf7a074804142d878","datavalue":{"value":{"entity-type":"item","numeric-id":2873894,"id":"Q2873894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e62d3d787802caa27144e66fa592fcf2308fcb9","datavalue":{"value":{"amount":"+0.7246764898300171","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":"Q1209595$35C1CA65-27AE-4709-88A8-4D892C88466D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c74d6d73cc16f13fb57d2095b1a513e02ef41f","datavalue":{"value":{"entity-type":"item","numeric-id":1086637,"id":"Q1086637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a0322dbeae40c07a012aaadbd599c9eeec4cd7","datavalue":{"value":{"amount":"+0.712661623954773","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":"Q1209595$400D850C-C749-4E8B-A9C6-9A7A43680864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963e2749e3ed414511991fae1996e438d698b3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1886825,"id":"Q1886825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631de65af546633c18e3a11b717a4816fa201eef","datavalue":{"value":{"amount":"+0.7122573852539062","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":"Q1209595$F4770D8F-1950-4022-AA6E-BF06EAA42F58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sufficient condition for a projective variety to be the Proj of a Gorenstein graded ring","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sufficient_condition_for_a_projective_variety_to_be_the_Proj_of_a_Gorenstein_graded_ring"}}}}}