The structure of the core of ideals

DOI10.1007/PL00004502MaRDI QIDQ5949432zbMATH OpenOpenAlexFDO

Authors Alberto Corso, Claudia Polini, Bernd Ulrich

Publication date 12 September 2002

Published in Mathematische Annalen (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Integral dependence in commutative rings; going up, going down (13B21) Structure, classification theorems for modules and ideals in commutative rings (13C05) Linkage, complete intersections and determinantal ideals (13C40) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Multiplicity theory and related topics (13H15)

Abstract: The core of an $R$-ideal $I$ is the intersection of all reductions of $I$. This object was introduced by D. Rees and J. Sally and later studied by C. Huneke and I. Swanson, who showed in particular its connection to J. Lipman's notion of adjoint of an ideal. Being an a priori infinite intersection of ideals, the core is difficult to describe explicitly. We prove in a broad setting that: $mcore(I)$ is a finite intersection of minimal reductions; $mcore(I)$ is a finite intersection of general minimal reductions; $mcore(I)$ is the contraction to $R$ of a `universal' ideal; $mcore(I)$ behaves well under flat extensions. The proofs are based on general multiplicity estimates for certain modules.

Review text

The core of an ideal is the intersection of all of its reductions, thus in general an infinite intersection. It was introduced by \textit{D. Rees} and \textit{J. Sally} [Mich. Math. J. 35, 241-254 (1988; Zbl 0666.13004)] in connection with the Briançon-Skoda theorem. The authors prove in this paper that, under some quite general assumptions on the ring, the core is actually a finite intersection, and that it commutes with flat extensions. The main tools are generic ideals associated to a given ideal, and the notion of multiplicity. This paper greatly generalizes the only previously known such results by \textit{C. Huneke} and \textit{I. Swanson} [Mich. Math. J. 42, 193-208 (1995; Zbl 0829.13014)]. It also includes Eisenbud's proof that the core of a monomial ideal is monomial -- a non-trivial observation in view of the fact that reductions of monomial ideals need not be monomial. The last section of the paper is about the computational aspects, using the results on generic ideals from earlier sections. The authors also list further open questions regarding the core.

Recommendations

• Core and residual intersections of ideals
• A formula for the core of certain strongly stable ideals
• The core of ideals in arbitrary characteristic
• The core of zero-dimensional monomial ideals
• A formula for the core of an ideal

Cited in

(33)

• The core of a module over a two-dimensional regular local ring
• The invariance of the ideal \(\text{core}(a_1,\dots,a_n)\) of a set of homogeneous polynomials
• Core of projective dimension one modules
• On the depth of the associated graded ring of an ideal.
• The core of an ideal in Cohen-Macaulay rings
• A characterization of two-dimensional rational singularities via core of ideals
• A formula for the core of an ideal
• Minimal reductions and cores of edge ideals
• Nakayama closures, interior operations, and core-hull duality -- with applications to tight closure theory
• Core of ideals in one-dimensional Noetherian domains
• Artin-Nagata properties, minimal multiplicities, and depth of fiber cones
• A formula for the core of certain strongly stable ideals
• Row ideals of certain normal ideals
• Core and residual intersections of ideals
• Annihilators of graded components of the canonical module, and the core of standard graded algebras
• A formula for the *-core of an ideal
• scientific article; zbMATH DE number 701217 (Why is no real title available?)
• scientific article; zbMATH DE number 1182201 (Why is no real title available?)
• On the core of ideals
• Core versus graded core, and global sections of line bundles
• Core of ideals of Noetherian local rings
• Symmetry in the core of a zero-dimensional monomial ideal
• Reductions and cores of ideals in trivial ring extensions
• Residual intersections and core of modules
• Reductions and Core of Ideals in Integral Domains: Some Recent Developments
• Core of an ideal in Prüfer domains
• Reductions and cores of ideals in polynomial rings over integral domains
• The core of monomial ideals
• Minimal reductions and core of ideals in pullbacks
• The core of ideals in arbitrary characteristic
• The core of zero-dimensional monomial ideals
• Core of ideals in integral domains
• Coefficient ideals in dimension two

This page was built for publication: The structure of the core of ideals

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