{"entities":{"Q2565384":{"pageid":2576127,"ns":120,"title":"Item:Q2565384","lastrevid":46473633,"modified":"2025-12-24T21:02:26Z","type":"item","id":"Q2565384","labels":{"en":{"language":"en","value":"Cohen-Macaulayness in graded rings associated to ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 971869"}},"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":"Q2565384$4DDAB76F-6999-45C5-AD85-F2CD5F987C5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b6ee69044ad63b8af0620abb99e18a0becc1889","datavalue":{"value":{"text":"Cohen-Macaulayness in graded rings associated to ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565384$080009C2-C72A-404B-AC11-260E206A0611","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e911f78c824467c3e1a325bea8b61685d1a41ff","datavalue":{"value":"0878.13003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565384$5A811EC4-4BB2-4752-92C7-424B6589BDF2","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":"Q2565384$F5E226DD-DF19-46CF-8897-EA355E66E780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2b5bc2b4df459fdceea53aa906ef8d7d35e4b1","datavalue":{"value":{"entity-type":"item","numeric-id":222425,"id":"Q222425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565384$582AA5E1-D286-4A2F-B838-156488605636","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":"Q2565384$58A67CBC-C4C9-46F1-AE09-8C498750EF64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77dc2fb917d9ddfc7ec1da3e21f74c52714e1a70","datavalue":{"value":{"entity-type":"item","numeric-id":172164,"id":"Q172164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565384$379A6ABF-35EA-4570-9AEE-BBA392F034CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bad3f73ce6453856557204de510af147c63dc2dc","datavalue":{"value":{"time":"+1997-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2565384$7E8A1599-D67F-4205-8563-4D7F9DD4819A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"427eff3fcef95f65307e5e7dbdf9d0a78a10aea4","datavalue":{"value":"Let \\((A,m)\\) be a Noetherian local ring with Krull dimension \\(d\\) and let \\(I\\) be an ideal of \\(A\\) with \\(\\text{ht} (I)=s\\). Let \\(R(I)= \\sum_{n\\geq 0}I^nt^n\\) be the Rees algebra and \\(G(I)= R(I)/IR(I)\\) be the associated graded ring on \\(I\\). The purpose of this paper is to find practical conditions under which \\(R(I)\\) or \\(G(I)\\) are Cohen-Macaulay or Gorenstein. Let \\(\\lambda(I)=l\\) be the analytic spread of \\(I\\) and \\(\\text{ad} (I)=l-s\\) be the analytic deviation. For a reduction \\(J\\) of \\(I\\) let \\(r_J(I)= \\min\\{n\\geq 0\\mid I^{n+1}= JI^n\\}\\). Recall that a minimal reduction \\(J\\) of \\(I\\) is said to be special if \\(I\\) contains a system of generators \\(a_1,\\dots, a_l\\) for \\(J\\) which satisfies the equality \\(I_Q= (a_1,\\dots,a_h)A_Q\\) for all primes \\(Q\\supseteq I\\) with \\(\\text{ht }Q= h\\leq l-1\\). The main result of the paper (with notation as above) are as follows:    Theorem (1.1). Let \\(A\\) be Cohen-Macaulay. Assume that \\(I\\) contains a special reduction \\(J\\) with \\(r_J(I)\\leq \\text{ad}(I)\\) and that \\(I\\) satisfies the following inequalities:  \\[ \\text{depth} (A/I^n)_Q\\geq \\min\\{\\text{ad} (I)-n,\\text{ht } Q-s-n\\} \\]  and \\(\\text{depth } A/I^n\\geq d-s-n+1\\) for all prime ideals \\(Q\\supseteq I\\) and for all integers \\(n\\) with \\(1\\leq n\\leq\\text{ad}(I)\\). Then \\(G(I)\\) is Cohen-Macaulay of \\(a(G(I))=-s\\) (here \\(a(G(I))\\) denotes the \\(a\\)-invariant of \\(G(I)\\)) and \\(G(I)\\) is Gorenstein if \\(A\\) is Gorenstein. Hence \\(R(I)\\) is Cohen-Macaulay if \\(s\\geq 1\\). Suppose \\(s\\geq 2\\), then \\(R(I)\\) is Gorenstein if and only if \\(A\\) is Gorenstein and \\(s=2\\).    Theorem (1.3). Let \\(A\\) be Gorenstein and \\(\\text{ad}(I)\\geq1\\). Suppose that \\(A/I\\) is Cohen-Macaulay and \\(I\\) contains a special reduction \\(J\\). Then:    (1) \\(r_J(I)\\leq \\text{ad}(I)-1\\) if \\(G(I)\\) is Gorenstein.    (2) Assume the following inequalities: \\(\\text{depth} (A/I^n)_Q\\geq \\min\\{\\text{ad}(I)-1-n\\), \\(\\text{ht } Q-s-n\\}\\) and \\(\\text{depth } A/I^n\\geq d-s-n\\) for all prime ideals \\(Q\\supseteq I\\) and for all integers \\(n\\) with \\(1\\leq n\\leq \\text{ad} (I)-1\\). Then \\(G(I)\\) is Gorenstein if and only if \\(r_J(I)\\leq \\text{ad} (I)-1\\). Thus if \\(I\\) satisfies the inequalities in (2), \\(R(I)\\) is Gorenstein if \\(s=2\\) and \\(r_J(I)\\leq \\text{ad} (I)-1\\).    Theorem (1.5). Let \\(A\\) be Cohen-Macaulay, \\(\\text{ad} (I)=2\\), and assume that \\(A/I\\) is Cohen-Macaulay and that \\(I\\) contains a special reduction \\(J\\) with \\(r_J(I)\\leq 2\\). Then \\(G(I)\\) is Cohen-Macaulay if and only if \\(\\text{depth } A/I^n\\geq d-s-2\\). Hence \\(R(I)\\) is Cohen-Macaulay if \\(s\\geq 1\\) and \\(\\text{depth } A/I^2\\geq d-s-2\\).    Theorem (1.6). Let \\(A\\) be Gorenstein, \\(\\text{ad}(I)=3\\), and assume that \\(A/I\\) is Cohen-Macaulay and that \\(I\\) contains a special reduction \\(J\\) with \\(r_J(I)\\leq 2\\). Then \\(G(I)\\) is Gorenstein if and only if \\(\\text{depth } A/I^n\\geq d-s-3\\).    Theorem (1.7). Let \\(A\\) be Gorenstein, \\(\\text{ad} (I)=3\\), and assume that \\(A/I\\) is Cohen-Macaulay and that \\(I\\) contains a special reduction \\(J\\) with \\(r_J(I)\\leq 1\\). Then \\(G(I)\\) is Gorenstein if and only if \\(\\text{depth }A/I^n\\geq d-s-2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565384$78140CE7-056D-4165-8D2E-759D4E5F6375","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5820de88e9d6d8e1a59edda9f40b2ee12cdbd7e7","datavalue":{"value":"13A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565384$3F5211D1-441A-4CFD-A0CE-2F633E08E37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"514b2a5b87d3a62d72c2078d90c78d688f7823ee","datavalue":{"value":"13C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565384$8A540901-68FC-4091-BFDD-BE9D7D01EA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565384$BDE76288-F49A-4E3C-B890-0EB44455D66A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ee3dc606fdfaeb952466ba39d250624d89a5dc1","datavalue":{"value":"971869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565384$2474807A-6965-445B-B001-F55543B5B5C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22fdfb6923fd793e137113b40dfe254d2b4d09ec","datavalue":{"value":"Cohen-Macaulayness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565384$4D71E17F-6A6C-4922-8334-E69952840D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c1ff9aadb74ddc22af5dd1465c07fca3532f973","datavalue":{"value":"Gorensteinness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565384$E7809186-9F74-43F2-8B5F-D8C23BB281E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99bf76088f7c0d86f8ad372720af624a007f759","datavalue":{"value":"Rees algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565384$95CE6B63-7077-40C7-8A18-EBBC9625CCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"149a2cadedd540eb81066e225d2ad28eba9476aa","datavalue":{"value":"associated graded ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565384$A8E14A61-FFE1-498D-8D8F-E4D717860448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b5f0634f126ece87b956e4be1872cde910d071","datavalue":{"value":"analytic spread","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565384$14153FDB-6731-425A-8ADF-80C20F40759B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637dd3f93c4b98ad83b3f85a020ec8d2ac849dca","datavalue":{"value":"analytic deviation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565384$D4E94311-5956-4FF2-A7B8-2D009D75687A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22af92a6ebe806b947754c1c26e8f443c6b17a5","datavalue":{"value":"special reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565384$4660B383-B072-49A6-AF29-64F0E8536869","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a08c4f35e5c56edb6588d6526ae28acea702f78","datavalue":{"value":{"entity-type":"item","numeric-id":593297,"id":"Q593297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565384$29F09189-2227-41F9-9CFC-F255078738CC","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":"Q2565384$122D5F1A-96BC-401D-B5E8-ABC4EA61137F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b96725abafdfe57cf5cc3be2945c221b0f99bdfa","datavalue":{"value":"https://doi.org/10.1215/kjm/1250518548","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565384$B6784FB3-CCA6-4E4F-B6F1-69269562E9A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dce54567c9eddba5e9cce6ce4d8621b491a6df3","datavalue":{"value":"W1479796896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565384$5CBC4F8E-EB2B-4C1E-8573-5AFBF4585722","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30583995d239e7cea5df9b08aa405f3582c0277a","datavalue":{"value":"10.1215/KJM/1250518548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565384$B0BFA292-B13D-4478-ACB0-4E94EC1BB2A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3970d66296e289cc2cebe7ae1c8d336b86fff0","datavalue":{"value":{"entity-type":"item","numeric-id":5689694,"id":"Q5689694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c30f7e3350b66ac24feea558fc67cd0ab761189","datavalue":{"value":{"amount":"+0.9232923984527588","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":"Q2565384$F90DC073-1481-4E1A-B027-7E4D10BF07CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3394258e1c9a26c38b783e877de1fb8fcc697543","datavalue":{"value":{"entity-type":"item","numeric-id":4316757,"id":"Q4316757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a6be91346a2289bdb76beaf169558721b43b2a","datavalue":{"value":{"amount":"+0.9027230739593506","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":"Q2565384$F5044C57-1F21-4ED9-9708-75EA9C1F2B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4dd8d2453131a0bda937dfb00185d59d1c4a9b","datavalue":{"value":{"entity-type":"item","numeric-id":4852260,"id":"Q4852260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2926180aa9855ba0a50898ec3147f3d777ca89dd","datavalue":{"value":{"amount":"+0.8966481685638428","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":"Q2565384$944B400F-5BF9-4B7C-BF0F-F2D57750CC08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2565384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2565384"}}}}}