{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1297958","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1297958","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1297958","kernelVersion":"v1","immutable":true,"modified":"2025-07-16T20:52:06Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1297958","name":"On the Castelnuovo-Mumford regularity and the arithmetic degree of monomial ideals","headline":"On the Castelnuovo-Mumford regularity and the arithmetic degree of monomial ideals","description":"scientific article; zbMATH DE number 1336837","url":"https://portal.mardi4nfdi.de/entity/Q1297958","datePublished":"2000-02-23","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q210617"},{"@id":"https://portal.mardi4nfdi.de/entity/Q166146"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q163114"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/PL00004668","url":"https://doi.org/10.1007/PL00004668"},"sameAs":["https://doi.org/10.1007/PL00004668"],"comment":"Let \\(I\\) be a monomial ideal in a polynomial ring \\(R=k[X_1,\\dots,X_n]\\), \\(k\\) a field. No formula is known for the Castelnuovo-Mumford regularity \\(\\text{reg}(I)\\) of \\(I\\), except in some (important) cases when one makes some further assumptions on \\(I\\). -- In this paper, the authors show that \\(\\text{reg}(I)\\leq \\text{adeg}(I)\\) where the arithmetic degree \\(\\text{adeg}(I)\\) is an invariant defined by Bayer and Mumford as the sum (over the set of associated primes \\(P\\) of \\(I\\)) of \\(\\text{mult}_I(P)\\text{deg}(P)\\). Here \\(\\text{mult}_I(P)\\) is the length of \\(H^0_P(R_p/IR_P)\\). The proof is based on a Bezout-type result of \\textit{B. Sturmfels, Ngô Viêt Trung} and \\textit{W. Vogel} [Math. Ann. 302, No.~3, 417-432 (1995; Zbl 0828.14040)] asserting that for any monomial \\(m\\) of \\(R\\) one has \\(\\text{adeg}(I,m)\\leq \\text{adeg}(I)\\text{deg}(m)\\).   Assume \\(I\\) is minimally generated by the monomials \\(m_1,\\dots,m_s\\) with \\(\\text{deg}(m_1)\\geq\\dots \\geq\\text{deg} (m_s)\\). Set \\(u=\\min(s,n)\\). Let \\(F\\) be the least common multiple of \\(m_1,\\dots,m_s\\). Using techniques from \\textit{W. Bruns} and \\textit{J. Herzog} [Math. Proc. Camb. Philos. Soc. 118, No.~2, 245-257 (1995; Zbl 0888.13004)] the authors show that \\(\\text{reg}(R/I)\\leq\\text{deg}(F)-\\text{ht}(I)\\) and deduce that \\(\\text{reg}(R/I)\\leq \\text{deg}(m_1)+\\dots+\\text{deg}(m_u)-u\\), with equality iff \\(I\\) is a complete intersection. They also improve a result from the above mentioned paper of Sturmfels et al. showing that \\(\\text{adeg}(I)\\leq\\text{deg}(m_1)\\dots \\text{deg}(m_u)-e\\), where \\(e:=\\dim R/I+u-n\\)."},"provenance":{"prov:generatedAtTime":"2025-07-16T20:52:06Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}