The core of zero-dimensional monomial ideals

DOI10.1016/J.AIM.2006.07.020MaRDI QIDQ876320zbMATH OpenOpenAlexFDO

Authors Claudia Polini, Bernd Ulrich, Marie A. Vitulli

Publication date 18 April 2007

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0609152

zbMATH Keywords

coefficient idealscoresmonomial idealsreductionsrees algebras

Mathematics Subject Classification ID

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Linkage, complete intersections and determinantal ideals (13C40) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40)

Abstract: The core of an ideal is the intersection of all its reductions. We describe the core of a zero-dimensional monomial ideal I as the largest monomial ideal contained in a general reduction of I. This provides a new interpretation of the core in the monomial case as well as an efficient algorithm for computing it. We relate the core to adjoints and first coefficient ideals, and in dimension two and three we give explicit formulas.

Review text

Let \((R,\mathfrak{m})\) be a Cohen-Macaulay local ring and let \(I\) be an ideal in \(R\). The core of \(I\) is the intersection of all reductions of \(I\). This concept was introduced by \textit{D. Rees} and \textit{J. D. Sally} [Mich. Math. J. 35, No. 2, 241--254 (1988; Zbl 0666.13004)]. Explicit formulae of the core are known when the ideal \(I\) satisfies some natural conditions [see \textit{C. Huneke} and \textit{N. V. Trung}, Compos. Math. 141, No. 1, 1--18 (2005; Zbl 1089.13002), \textit{C. Polini} and \textit{B. Ulrich}, Math. Ann. 331, No. 3, 487--503 (2005; Zbl 1089.13005)]. The authors describe the core of a zero-dimensional monomial ideal \(I\) in \(k[x_1,\ldots,x_d]\). One of the problems is that minimal reductions of monomial ideals need not be monomial. The authors introduce the notion of a general locally minimal reduction \(K\) of \(I\). They then show that the \(\text{core}(I) =\text{mono}(K)\), the largest monomial ideal contained in \(K\). It should be noted that this can be implemented in \texttt{CoCoA}. The authors study the core in terms of the first coefficient ideal \(\widehat I\) of \(I.\) Coefficient ideals were introduced by \textit{K. Shah} [Trans. Am. Math. Soc. 327, No. 1, 373--384 (1991; Zbl 0738.13007)]. The first coefficient ideal \(\widehat I\) degree 1 component of the endomorphism ring of the canonical module of the extended Rees ring of the underlying ideal \(I\) [see \textit{C. Ciuperca}, J. Pure Appl. Algebra 178, No. 1, 25--48 (2003; Zbl 1088.13501)]. The authors prove that if \(\text{char} k = 0\) and \(I\) is zero-dimensional then \(\text{core}(I) = \text{core}(J)\) for any ideal \(J\) with \(I \subseteq J \subseteq \widehat I\)

Recommendations

• Symmetry in the core of a zero-dimensional monomial ideal
• The structure of the core of ideals
• The core of ideals in arbitrary characteristic
• A formula for the core of certain strongly stable ideals
• A formula for the core of an ideal

Cites work

• A formula for the core of an ideal
• A numerical characterization of the \(S_{2}\)-ification of a Rees algebra
• A Property of Ideals in Polynomial Rings
• Adjoints of ideals
• Adjoints of ideals in regular local rings (with an appendix by Steven Dale Cutkosky)
• Coefficient Ideals
• Coefficient ideals and the Cohen-Macaulay property of Rees algebras
• Cohen-Macaulay Rees algebras and degrees of polynomial relations
• Core and residual intersections of ideals
• Core versus graded core, and global sections of line bundles
• Cores of ideals in 2-dimensional regular local rings
• Divisor Class Groups and Deformations
• First coefficient ideals and the \(S_2\)-ification of a Rees algebra
• Form rings and regular sequences
• General elements and joint reductions
• Gröbner deformations of hypergeometric differential equations
• Hilbert functions and symbolic powers
• scientific article; zbMATH DE number 3756627 (Why is no real title available?)
• scientific article; zbMATH DE number 3091021 (Why is no real title available?)
• Ideals Having the Expected Reduction Number
• Integral closure of ideals, rings, and modules
• Integral closures of ideals generated by regular sequences
• Jacobian ideals and a theorem of Briancon-Skoda
• Multiplier ideals of monomial ideals
• Normalization of ideals and Briançon-Skoda numbers
• On a non-vanishing conjecture of Kawamata and the core of an ideal
• On the core of ideals
• Reduction numbers of ideals
• Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes
• Singularités rationnelles et quotients par les groupes réductifs. (Rational singularities and quotients by reductive groups)
• Some Results on Normal Homogeneous Ideals
• The core of ideals in arbitrary characteristic
• The structure of the core of ideals

Cited in

(27)

• A formula for the core of an ideal
• Minimal reductions and cores of edge ideals
• Core of ideals in one-dimensional Noetherian domains
• Blow-up algebras, determinantal ideals, and Dedekind-Mertens-like formulas
• A formula for the core of certain strongly stable ideals
• Blowups and fibers of morphisms
• Annihilators of graded components of the canonical module, and the core of standard graded algebras
• Monomial and toric ideals associated to Ferrers graphs
• Bound on the Multiplicity of Almost Complete Intersections
• When is a Nakayama closure semiprime?
• Core of ideals of Noetherian local rings
• Über Basen nulldimensionaler Polynomideale. (On bases of zero dimensional polynomial ideals)
• The structure of the core of ideals
• Symmetry in the core of a zero-dimensional monomial ideal
• Coefficient modules and Ratliff-Rush closures^*
• Reductions and cores of ideals in trivial ring extensions
• Valuations and nonzero torsion in module of differentials
• Weak subintegral closure of ideals
• Core of an ideal in Prüfer domains
• Power-closed ideals of polynomial and Laurent polynomial rings
• Reductions and cores of ideals in polynomial rings over integral domains
• On coefficient modules of arbitrary modules
• The core of monomial ideals
• Multiplicity = volume formula and Newton non-degenerate ideals in regular local rings
• The core of ideals in arbitrary characteristic
• Core of ideals in integral domains
• Coefficient ideals in dimension two

Describes a project that uses

Uses Software

• CoCoA

This page was built for publication: The core of zero-dimensional monomial ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q876320)