{"entities":{"Q4938527":{"pageid":6968109,"ns":120,"title":"Item:Q4938527","lastrevid":108550007,"modified":"2026-11-06T22:59:05Z","type":"item","id":"Q4938527","labels":{"en":{"language":"en","value":"Castelnuovo-Mumford regularity and defining equations of a locally Cohen-Macaulay algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405548"}},"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":"Q4938527$4C2B3EA1-A352-4C54-886C-757AE3B41944","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"148f2c36ac00ac59e4f28fef27d4db2408ddfebf","datavalue":{"value":"0960.13009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938527$03104E72-7E6D-404E-A69D-617311B6A969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89422ad86a075deddfffc02ee2500b3e6fbefe01","datavalue":{"value":{"entity-type":"item","numeric-id":210617,"id":"Q210617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938527$2F624358-A7C4-48C0-842A-005C4D791803","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a8ef751728b2b17bbcf17280282a4718c22627","datavalue":{"value":{"time":"+2001-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938527$AD583677-D2FD-4588-9B2A-EA12DDA6FDF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938527$6B990ADD-B704-4B89-8567-4BA9CF50FEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938527$A54A5511-F381-4851-9309-5E5CEE2A0971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e83b5ce1cf0094d1de599d4bd3e5e9286c17539f","datavalue":{"value":"13D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938527$D3B4249A-8E5D-4B1B-94D4-74155B412680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"514b2a5b87d3a62d72c2078d90c78d688f7823ee","datavalue":{"value":"13C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938527$1CEEEE2C-B879-4F68-BAEE-13BD7317BAC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e937b953c5f1ccecef7d1e1eb29c4224fa3ab3c0","datavalue":{"value":"1405548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938527$C9F4D402-C98A-4923-82A5-EC1C7A30E8CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c9d227eaaa9e34e39670e719b4c6cc5737ea23","datavalue":{"value":"Castelnuovo-Mumford regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938527$1FD8E6AB-BDAE-42FC-8B79-D1109CF02FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7f73f27b68fb99cf96540cc955b991efeefc0d","datavalue":{"value":"generalized Cohen-Macaulay ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938527$0EBD1669-D2E0-4F30-B40A-9C08A6108036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938527$A52E9B70-4A82-4EC2-8BDE-A130B47B0753","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":"Q4938527$C08CB39A-A51E-43C0-A80F-F254E514B953","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c53c15402b1c13f892db2383c7396c1893d3fcb","datavalue":{"value":{"entity-type":"item","numeric-id":847950,"id":"Q847950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391545e8ea334e750a133749bb3fbfdec2a4b20e","datavalue":{"value":{"amount":"+0.8661484718322754","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":"Q4938527$985DC0AA-1653-4A77-9BE8-E56A2F86F72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a5b880b3651d7381f57c4671b1e77dab55427d","datavalue":{"value":{"entity-type":"item","numeric-id":3812370,"id":"Q3812370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4845a3c562c238ea31e9301bd15a6368e48a4fb6","datavalue":{"value":{"amount":"+0.8617942333221436","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":"Q4938527$9B36FBEE-5A1D-4062-9ABC-9CD30FA8B05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6d2733f436650a58f13bea4f777e94ce2a104b","datavalue":{"value":{"entity-type":"item","numeric-id":1116984,"id":"Q1116984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0b54954c5a613fc23d891a6876dd02db542ccf","datavalue":{"value":{"amount":"+0.8591911792755127","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":"Q4938527$EB184184-3EB7-4EF4-A8AF-197C3AF0FCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ecbe82f72f2075b920969e482a32013095f5db6","datavalue":{"value":{"entity-type":"item","numeric-id":1891216,"id":"Q1891216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857bd3832798e1470ce373c8649a00263842634c","datavalue":{"value":{"amount":"+0.8552764654159546","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":"Q4938527$B01745E1-5513-4AB1-A8A4-5B5DAF853F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40d5f3af0588f483c9d480ef2a89d7828ee9cec","datavalue":{"value":{"entity-type":"item","numeric-id":2565513,"id":"Q2565513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857bd3832798e1470ce373c8649a00263842634c","datavalue":{"value":{"amount":"+0.8552764654159546","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":"Q4938527$DBDC41C3-0D4A-4C91-86EE-62639693A4EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92e00602656f7c4b310394001890e354f3ea4eb1","datavalue":{"value":{"text":"Castelnuovo-Mumford regularity and defining equations of a locally Cohen-Macaulay algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4938527$DCAB532B-A1A1-43CD-BFA6-E5FC47F4D53E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9dc41ac21ff5c2979101177bcd3ba7034a0a82a1","datavalue":{"value":"Let \\(K\\) be an infinite field, \\(I\\) a homogeneous ideal of the polynomial ring \\(S=K[X_1,\\dots,X_n]\\) and \\(R=S/I\\). The Castelnuovo-Mumford regularity of \\(R\\) is the number \\(\\text{reg} R= \\max\\{i+j\\mid H^i_{\\mathfrak m} (R)_j\\neq 0\\}\\) where \\({\\mathfrak m}\\) is the irrelevant maximal ideal of \\(R\\). Assume that \\(R\\) is \\(d\\)-dimensional and that \\(I\\) is generated by the homogeneous elements \\(f_1,\\dots,f_p\\) of degrees \\(d_1\\leq\\cdots\\leq d_p\\), respectively. Set \\(i_t= \\min\\{i \\mid\\dim S/(f_1, \\dots, f_i) =n-t\\}\\) for \\(t=1,\\dots,n-d\\). The sequence \\((d_{i_1}, \\dots, d_{i_{n-d}})\\) is independent of the special choice of the generators, and was introduced by Brian\u00e7on as the ``characteristic multidegree'' of \\(I\\). Let, in addition, \\(R\\) be a generalized Cohen-Macaulay ring, which means that \\(H^i_{\\mathfrak m}(R)\\) has finite length for all \\(i<d\\). Then \\(\\lambda_i= \\min\\{q\\geq 0\\mid{\\mathfrak m}^qH^i_{\\mathfrak m} (R)=0\\}\\) is finite for \\(i<d\\), and the author's main result says that \\[ \\text{reg} R\\leq d_{i_1}+ \\cdots +d_{i_{n-d}}- (n-d)+\\max \\{\\lambda_0+ \\cdots+ \\lambda_{d-1}- 2,0\\} \\] in this case. If \\(R\\) is a Buchsbaum ring, then this can be improved to \\(\\text{reg} R\\leq d_{i_1}+ \\cdots+ d_{i_{n-d}} -(n-d)\\). In the final section of the paper the author gives some bounds for the maximal degree of the elements in an arbitrary Gr\u00f6bner basis of \\(I\\) in case \\(\\dim R\\leq 1\\). Furthermore, if \\(R\\) is a generalized Cohen-Macaulay ring of dimension \\(\\geq 1\\), he proves that the minimal number of elements of a Gr\u00f6bner basis of \\(I\\) is bounded above by \\(n\\sum^{d-1}_{i=0} {d-1\\choose i}\\text{length} \\bigl(H^i_{\\mathfrak m} (R)\\bigr)+ (n-d)e(R)\\), provided one considers a certain reverse lexicographic order on \\(S\\). For the entire collection see [Zbl 0921.00043].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938527$94CB2010-20BD-4C8B-B3C0-17BA0D697F04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Castelnuovo-Mumford regularity and defining equations of a locally Cohen-Macaulay algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Castelnuovo-Mumford_regularity_and_defining_equations_of_a_locally_Cohen-Macaulay_algebra"}}}}}