{"entities":{"Q2366869":{"pageid":2377612,"ns":120,"title":"Item:Q2366869","lastrevid":72616875,"modified":"2026-04-14T06:06:39Z","type":"item","id":"Q2366869","labels":{"en":{"language":"en","value":"On the structure of the canonical module of the Rees algebra and the associated graded ring of an ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 232324"}},"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":"Q2366869$6CB8B41E-C3EB-48E1-9F01-5D01239F4BC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91e9cda5dd0e4b0d0373b4f0c85d47cc26df659e","datavalue":{"value":{"text":"On the structure of the canonical module of the Rees algebra and the associated graded ring of an ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366869$91BB52DA-69F8-474B-A92F-98CFF60A29B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d10f603a5cbd6487de2f555b0bbd4bb541f16a8","datavalue":{"value":"0815.13003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366869$D3E6E684-238C-4D0F-B8FB-D72FA0D3928B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05a99354ec4d945e8cfe2ddd1d427634d86a16f8","datavalue":{"value":"10.5565/PUBLMAT_362B92_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366869$D052EA75-6FA8-4737-8AC1-35DC50A7B5CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed4f513c94031f8bf32d9d524c1126dddff8b76b","datavalue":{"value":{"entity-type":"item","numeric-id":195374,"id":"Q195374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366869$FC59CD40-72C1-4EAF-BDB4-B28A44185E62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f591d0602ae4e2a85ee551e3fcfd046a3335ee2b","datavalue":{"value":{"time":"+1993-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366869$1D2C414C-6F05-40DA-976F-297431758136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61f9ced23b5fb7b9873f7cb832fb68a11919ba9c","datavalue":{"value":"https://eudml.org/doc/41770","type":"string"},"datatype":"url"},"type":"statement","id":"Q2366869$D9CDDB50-A81A-44EC-80E6-DA0E22459AA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1bfe68696a265befd78285e1abda746e7642d217","datavalue":{"value":"In this article, the author first shows:   Proposition (1.1). Let \\((A,m)\\) be a local ring and \\(I \\subset A\\) be an ideal of \\(A\\) with \\(\\text{ht}(I)>0\\). Assume that the Rees algebra \\(R(I)\\) is Cohen-Macaulay and has a canonical module \\(K_{R(I)}\\). Put \\((K_{R(I)})_ + = \\bigoplus_{n \\geq 2} (K_{R(I)})_ n\\). Then there exists a morphism of graded \\(R(I)\\)-modules   \\(\\Gamma : (K_{R(I)})_ + \\to K_{R(I)}\\) such that:   (i) \\(\\Gamma\\) is injective of degree \\(-1\\).    (ii) For any \\(n < - a(\\text{gr}_ A(I))\\), \\(\\Gamma |_{(K_{R(I)})_{n + 1}} : (K_{R(I)})_{n + 1} \\to (K_{R(I)})_ n\\) is bijective.   (iii) For any element \\(\\beta \\in (K_{R(I)})_ +\\), \\(\\Gamma (\\beta)\\) is the only element in \\(K_{R(I)}\\) such that \\(s \\beta = (ts) \\Gamma (\\beta)\\) for any \\(s \\in IR (I)\\).    (iv) For any \\(r \\geq 1\\) and any \\(\\alpha \\in K_{R(I)}\\), \\(\\Gamma ((t^ ry) \\alpha) = (t^{r-1} y) \\alpha\\) for any \\(y \\in I^ r\\).   (v) There is an isomorphism \\(\\bigoplus_{n \\geq 2} (K_{\\text{gr}_ A(I)})_ n \\simeq (K_{R(I)}/ \\Gamma ((K_{R(I)})_ +)) (-1)\\),   where \\(a\\) means the \\(a\\)-invariant of a graded module. Then as its applications, the author shows the results due to Herzog-Simis- Vasconcelos and to Ikeda:   Theorem (2.1). Let \\((A,m)\\) be a local ring and \\(I \\subset A\\) be an ideal of \\(A\\) with \\(\\text{ht}(I) \\geq 1\\). Assume that \\(R(I)\\) is Cohen-Macaulay and has a canonical module. Let \\(a = - a(\\text{gr}_ A(I))\\). Then the following are equivalent:    (i) \\(K_{\\text{gr}_ A(I)} \\simeq \\text{gr}_{K_ A} (I)(-a)\\).   (ii) \\(K_{R(I)} \\simeq K_ A (1,t)^{a-2} (-1)\\).   Theorem (2.2). Let \\((A,m)\\) be a local ring and \\(I\\) be an ideal of \\(A\\). Suppose that \\(R(I)\\) is Cohen-Macaulay and \\(I^{-1} = A\\). Then the following conditions are equivalent:   (i) \\(R(I)\\) is Gorenstein.   (ii) \\(K_ A \\simeq A\\) and \\(K_{\\text{gr}_ A(I)} \\simeq \\text{gr}_ A (I)(-2)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366869$E8EADCC3-C107-43C6-94CD-950EE626B15C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5820de88e9d6d8e1a59edda9f40b2ee12cdbd7e7","datavalue":{"value":"13A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366869$C13ABCC4-037D-4E16-8157-09AADE79EECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"514b2a5b87d3a62d72c2078d90c78d688f7823ee","datavalue":{"value":"13C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366869$9EA68044-20AC-46D8-9BAD-E6FDD8C5A60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"086297fd475b42608bf85c8a5f4b8789b93c92cc","datavalue":{"value":"13A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366869$75E7D88E-45BE-40D0-834B-2919D643C69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366869$0BA3F82C-8E74-46BD-86DE-1DCD8CD8F2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366869$DAB01527-427B-492C-A468-F498C888CF49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b25a07e82684cc299e03b302ba3b0c8312a7e7ff","datavalue":{"value":"232324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366869$30A7AF6D-90B4-4A52-B824-272FBF72D72E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99bf76088f7c0d86f8ad372720af624a007f759","datavalue":{"value":"Rees algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366869$D60F948E-1ECF-4828-B9B0-DE4F7B09BC76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d3d578daeb8c25545d41cf4e911876028713f5","datavalue":{"value":{"entity-type":"item","numeric-id":667856,"id":"Q667856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366869$98EA2EE7-2B37-4DFE-BF10-B6290E2AA0C1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1e19a40bf456df064fc7bea626d083b06ca3056e","datavalue":{"value":{"entity-type":"item","numeric-id":590340,"id":"Q590340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366869$48C48069-F703-4596-91BC-36966CAF6E5A","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":"Q2366869$212250F6-5F21-441E-9278-292750D8EE3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f6b01213347adf90f41ebaae1c2c800e8c64a9","datavalue":{"value":{"entity-type":"item","numeric-id":1088734,"id":"Q1088734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"456bfec8e78493f0643a4c572a09e8892cf2a8fe","datavalue":{"value":{"amount":"+0.916782796382904","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":"Q2366869$61459FC6-FF46-4575-968A-1A6A404639E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1101f6a3ac02254e3d3c337677d28008d948139f","datavalue":{"value":{"entity-type":"item","numeric-id":1092958,"id":"Q1092958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5192c94955571d4adb70422976a03e693482d3","datavalue":{"value":{"amount":"+0.8982040882110596","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":"Q2366869$C3CFDE56-BDF8-4465-9BCE-F0B7235A2F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc26c88d0ef074bf85cfd4ef9703e4c18bab21f","datavalue":{"value":{"entity-type":"item","numeric-id":3710619,"id":"Q3710619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a92817adce922128a67ef43136ef093cd0cd6b","datavalue":{"value":{"amount":"+0.8720458745956421","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":"Q2366869$3ECB2C3D-5BBD-4332-BAC0-037AB3942A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"104bbb9b6e4fb98519b65078a011e763afcc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":2570671,"id":"Q2570671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5612834f309e584f0c88f512a74f08486d203c","datavalue":{"value":{"amount":"+0.8589819669723511","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":"Q2366869$4FE5081B-695F-44FE-A3B6-EB9AD8BE8707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29dcd23753f62a2801a102760bf580f826d7bda1","datavalue":{"value":{"entity-type":"item","numeric-id":4382455,"id":"Q4382455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036791c3615fd754a59440bcc0063553e070393e","datavalue":{"value":{"amount":"+0.8536323308944702","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":"Q2366869$8342189A-EC68-463F-8ECB-0BCF7097D736","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the structure of the canonical module of the Rees algebra and the associated graded ring of an ideal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_structure_of_the_canonical_module_of_the_Rees_algebra_and_the_associated_graded_ring_of_an_ideal"}}}}}