{"entities":{"Q1179719":{"pageid":1190468,"ns":120,"title":"Item:Q1179719","lastrevid":69837192,"modified":"2026-04-13T10:40:53Z","type":"item","id":"Q1179719","labels":{"en":{"language":"en","value":"The Gorensteinness of symbolic Rees algebras for space curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 25268"}},"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":"Q1179719$3895246E-8553-4031-8F3F-B4B9FDA9908D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e59a955b9e78071793131fd6d411c564505977ac","datavalue":{"value":{"text":"The Gorensteinness of symbolic Rees algebras for space curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179719$2D3E99F2-C15B-40DB-B0B8-C92782BB83DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d2f4a9e6ae32e6804afa95dacbef24a046cbce2","datavalue":{"value":"0741.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179719$D6AF9728-FC28-4DFA-8F40-EB13D4D683F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7441a9d114757a479106b7b895fcba57616a8d5a","datavalue":{"value":{"entity-type":"item","numeric-id":222424,"id":"Q222424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179719$173232D3-8C9A-4F15-9E08-55AE12A7C424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9a681b2e62c0c395da250e871c63010958f771c","datavalue":{"value":{"entity-type":"item","numeric-id":599118,"id":"Q599118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179719$CFC4E125-4110-49F0-A106-53852C3FE781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d83bda76c1619e65a2eaacc639a25477fd6e69","datavalue":{"value":{"entity-type":"item","numeric-id":1110585,"id":"Q1110585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179719$778E441B-F160-4207-A377-B04E21539E50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179719$5839226B-0466-47F7-A1E9-4A0D2CD5AC13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1179719$07E4DF9E-BD8A-4BE8-9715-BDC1F63B3388","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b173a90c96306427549991941cf8dba7e111b3a","datavalue":{"value":"Let \\(\\mathfrak p\\) be a prime ideal of the regular local ring \\(A,{\\mathfrak m}\\). The authors give a list of thirteen papers seeking criteria to ensure that the Rees algebra of symbolic powers \\(R_ s({\\mathfrak p})=\\oplus_{n\\geq0}{\\mathfrak p}^{(n)}t^ n\\) is Noetherian. The present note is most influenced by the noteworthy criterion of \\textit{C. Huneke} [Mich. Math. J. 34, 293-318 (1987; Zbl 0628.13012)]; namely, when \\(\\dim(A)=3\\) and \\(\\dim(A/{\\mathfrak p})=1\\), if \\(f\\in {\\mathfrak p}^{(k)}\\), \\(g\\in{\\mathfrak p}^{(l)}(k,l\\geq 1)\\) with \\(\\text{length}_ A(A/(f,g,x)A)=kl\\cdot\\text{length}_ A(A/{\\mathfrak p}+xA)\\) for some \\(x\\in{\\mathfrak m}\\backslash{\\mathfrak p}\\), then \\(R_ s({\\mathfrak p})\\) is Noetherian, and conversely, when \\(A/{\\mathfrak m}\\) is infinite. The authors extend this result to give a criterion which ensures \\(R_ s({\\mathfrak p})\\) is Gorenstein. They show that for \\(\\dim(A)=3\\), \\(\\dim(A/{\\mathfrak p})=1\\) and \\(f\\in{\\mathfrak p}^{(k)}\\), \\(g\\in{\\mathfrak p}^{(l)}\\) satisfying Huneke's criterion, \\(R_ s({\\mathfrak p})\\) is Gorenstein if and only if \\(A/(f,g)A+{\\mathfrak p}^{(n)}\\) is Cohen-Macaulay for \\(n=1,\\ldots,k+l-2\\). Moreover when \\(R_ s({\\mathfrak p})\\) is Gorenstein it is generated as an \\(A\\)-algebra by \\(\\{{\\mathfrak p}^{(n)}t^ n\\); \\(n=1,\\ldots,k+l-2\\}\\), and \\(A/fA+{\\mathfrak p}^{(n)}\\), \\(A/gA+{\\mathfrak p}^{(n)}A/(f,g)A+{\\mathfrak p}^{(n)}\\) are Cohen-Macaulay for all \\(n\\geq 1\\). As a consequence \\(R_ s({\\mathfrak p})\\) is Gorenstein when either \\(k,l\\leq 2\\) or \\(A/{\\mathfrak p}\\) has multiplicity 3.   The second half of the paper consists of applications of these criteria; the basic application is when \\({\\mathfrak p}\\) is generated by elements \\(X^{\\alpha+\\alpha'}-Y^ \\beta Z^{\\gamma'}\\), \\(Y^{\\beta+\\beta'}-Z^ \\gamma X^{\\alpha'}\\), \\(Z^{\\gamma+\\gamma'}-X^ \\alpha Y^{\\beta'}\\) where \\(X\\), \\(Y\\), \\(Z\\) is a regular system of parameters for \\(A\\) and \\(\\alpha\\), \\(\\beta\\), \\(\\gamma\\), \\(\\alpha '\\), \\(\\beta '\\), \\(\\gamma '\\) are positive integers. If \\(\\alpha\\geq\\alpha '\\), \\(\\beta\\) divides \\(\\beta '\\) and \\(\\beta\\gamma '\\geq\\beta '\\gamma\\), \\(R_ s({\\mathfrak p})\\) is Gorenstein. For space monomial curves given parametrically by \\(X=t^{n_ 1}\\), \\(Y=t^{n_ 2}\\), \\(Z=t^{n_ 3}(n_ 1,n_ 2,n_ 3\\) coprime) the corresponding prime ideal of \\(A=k[[X,Y,Z]]\\) is denoted by \\({\\mathfrak p}(n_ 1,n_ 2,n_ 3)\\). As a consequence of the basic application it is shown that \\(R_ s({\\mathfrak p})\\) is Gorenstein for \\({\\mathfrak p}={\\mathfrak p}(m,m+1,m+2)\\), \\({\\mathfrak p}={\\mathfrak p}(m,m+1,m+3)\\) for all \\(m\\geq 1\\) and for \\({\\mathfrak p}={\\mathfrak p}(4,7,13)\\). However not all space monomial curves have their symbolic Rees algebra Cohen-Macaulay as is demonstrated here for \\({\\mathfrak p}={\\mathfrak p}(7,9,10)\\) when \\(\\text{char}(k)=2\\). This example is due to \\textit{Mayumi Morimoto}, who, in an appendix to the present paper shows that the space (non-monomial) curve given by \\(X=t^ 6\\), \\(Y=t^ 7+t^{10}\\), \\(Z=t^ 8\\) has a corresponding symbolic Rees algebra which is Gorenstein.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179719$0523E61C-D638-4FAC-AB9C-925343CEB80B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179719$1599CCA0-97C6-45A7-A711-AF392A50D544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5820de88e9d6d8e1a59edda9f40b2ee12cdbd7e7","datavalue":{"value":"13A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179719$432AA68B-24AA-41E9-A794-6D0F8D94645D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86f8d35c1565f252670810ace8ec15198b00a13b","datavalue":{"value":"14H50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179719$6B309423-ED7F-4E69-B24C-7D5481D9D5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"514b2a5b87d3a62d72c2078d90c78d688f7823ee","datavalue":{"value":"13C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179719$FAEFE7EC-2B20-445D-9DCF-B26568AFD316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7130bcb017c8407cfad28622e55daabe2a57158","datavalue":{"value":"14H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179719$C0E3414D-B766-405C-9E6C-7605E2139514","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80d0acd6b0cf410e8c7829703390e10ea27ee09b","datavalue":{"value":"25268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179719$F1F3ECCA-61C6-420D-99F3-40DB4BC22D8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aede7dc873c7b68aae25004d35a13a1429aae0fd","datavalue":{"value":"Gorensteinness of Rees algebras of symbolic powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179719$86C99786-D9F6-43FD-8D11-24B1E7671654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d3992f0b681489f52d975e0760af07dfe086fbc","datavalue":{"value":"regular system of parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179719$DCC89FB3-3336-4017-B0F9-890EB6A50286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"063f50b1ad1f01a7af73fa068852b90fb8a04a46","datavalue":{"value":"space monomial curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179719$93EA99DE-A701-41E6-B605-C6379858CD54","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"280df6b5556a052683fb726cc2ff2bd15f5eb008","datavalue":{"value":{"entity-type":"item","numeric-id":1331276,"id":"Q1331276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179719$CED1669A-B6EC-4130-9CBF-5BE629E4A152","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":"Q1179719$85A63075-22B3-4CEE-A047-60374FFA1543","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d1dd8e80f38df7a5f2c5346ddfccc12ad2b7685","datavalue":{"value":"https://doi.org/10.2969/jmsj/04330465","type":"string"},"datatype":"url"},"type":"statement","id":"Q1179719$EDCC75B5-2FA7-464B-AF3C-06F92BC8CC40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f82adb3745c61aaa9693823aef9971d1d54fa224","datavalue":{"value":"W2012240668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179719$A7369DCA-10EE-41C1-A67B-853A85C6625C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a9c03629804e08face2176a447fac04400b924e","datavalue":{"value":"10.2969/JMSJ/04330465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179719$9A55E1B4-F2D5-4EA6-863C-BA0BBB7EFA44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0460758114a809cb378f45cfb33c739d3b09b2df","datavalue":{"value":{"entity-type":"item","numeric-id":4276542,"id":"Q4276542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2dad9932b6655f94828a604b63d63855140fd4","datavalue":{"value":{"amount":"+0.9290722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1179719$A9847D2C-8123-4F31-8A47-687081958D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e413c2c0ac567e5758bac26d76fd55be1547410a","datavalue":{"value":{"entity-type":"item","numeric-id":3353148,"id":"Q3353148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369c8e71fd6bc997d192cfe663a7d60abefb3ca7","datavalue":{"value":{"amount":"+0.91862357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1179719$939E0188-3BC5-4EFA-9459-6681E6FA49C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257324a9cf9b4753aa5fb816e8f71a71011a2f52","datavalue":{"value":{"entity-type":"item","numeric-id":4711223,"id":"Q4711223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369c8e71fd6bc997d192cfe663a7d60abefb3ca7","datavalue":{"value":{"amount":"+0.91862357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1179719$AB36C668-9D4E-4E1D-B068-05D1702426BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc96cacf0c042d1b784521d0ce87ff3a8f25e8e","datavalue":{"value":{"entity-type":"item","numeric-id":3329565,"id":"Q3329565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e22931386860ae52164b97268ca5b41bf362743","datavalue":{"value":{"amount":"+0.9092374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1179719$06063713-6B44-4ABF-ACEA-1D91905975AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfacaa97ef9cf41b461a96235ebb67ebad58a31","datavalue":{"value":{"entity-type":"item","numeric-id":4694669,"id":"Q4694669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56341fe4084adde274c9446ba7dcf67834ee021","datavalue":{"value":{"amount":"+0.8994523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1179719$B0769C8B-0482-481D-8829-4716F0404691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e74a4b51822bb780b7049de3b7ecabdbef773ad2","datavalue":{"value":{"entity-type":"item","numeric-id":1100520,"id":"Q1100520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46944e4380d1ff1f8af0091852813a1f2ad97342","datavalue":{"value":{"amount":"+0.8944654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1179719$D0DFADB9-3621-4A71-AF63-729D77CAE6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb405b29c66e342b8d552d1a1abec858d952d3f","datavalue":{"value":{"entity-type":"item","numeric-id":583291,"id":"Q583291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86593736d2d4b086b4113afbc6c72dce4a6d5e9a","datavalue":{"value":{"amount":"+0.8846571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1179719$B7BD3C2A-A13E-4727-8006-FE35F2CF0082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2463e4fc17c7bb9bdd7b5db9b2880e1c49b8cc3d","datavalue":{"value":{"entity-type":"item","numeric-id":5283639,"id":"Q5283639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e4a5a5798a5cfaad054a30bc1cc0613eca07b3a","datavalue":{"value":{"amount":"+0.8844461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1179719$F5DDFD47-C4C7-44E7-A6EF-89A5BB09220D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c918f7059f751fbf5fcc8c25183d2848247203","datavalue":{"value":{"entity-type":"item","numeric-id":3718821,"id":"Q3718821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c491242813b2d48e183ecd1b332985f4c7c28b","datavalue":{"value":{"amount":"+0.882028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1179719$CA98F29B-7EF9-4D4C-ADD9-2A438EF9D86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114cbe0fa0fcfa4bab092205052913e99ff620fc","datavalue":{"value":{"entity-type":"item","numeric-id":5175608,"id":"Q5175608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a9ff498b736c25a1959f03e403d52d8af2ce4d","datavalue":{"value":{"amount":"+0.88038886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1179719$1FD05998-E81F-44EF-9696-961A16A31A35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Gorensteinness of symbolic Rees algebras for space curves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Gorensteinness_of_symbolic_Rees_algebras_for_space_curves"}}}}}