Core and residual intersections of ideals

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 closure of commutative rings and ideals (13B22) Linkage, complete intersections and determinantal ideals (13C40) Local cohomology and commutative rings (13D45) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: D. Rees and J. Sally defined the core of an

R

-ideal

I

as the intersection of all

(

minimal

)

reductions of

I

. However, it is not easy to give an explicit characterization of it in terms of data attached to the ideal. Until recently, the only case in which a closed formula was known is the one of integrally closed ideals in a two-dimensional regular local ring, due to C. Huneke and I. Swanson. The main result of this paper explicitly describes the core of a broad class of ideals with good residual properties in an arbitrary local Cohen-Macaulay ring. We also find sharp bounds on the number of minimal reductions that one needs to intersect to get the core.

Review text

The core of an ideal was defined by Rees and Sally as the intersection of all the reductions of the ideal [\textit{D. Rees} and \textit{J. Sally}, Mich. Math. J. 35, No. 2, 241-254 (1988; Zbl 0666.13004)]. Thus a priori the core is an infinite intersection and thus hard to compute. In a previous paper the authors showed that, under some quite general restrictions on the ring and ideals, the core is actually a finite intersection and behaves well [\textit{A. Corso, C. Polini} and \textit{B. Ulrich}, Math. Ann. 321, No. 1, 89-105 (2001; Zbl 0992.13003)]. In this paper the authors concentrate on the issue of an explicit formulation of the core. An explicit formulation was previously given for integrally closed ideals in two-dimensional regular rings by \textit{C. Huneke} and \textit{I. Swanson} [Mich. Math. J. 42, No. 1, 193-208 (1995; Zbl 0829.13014)]. NEWLINENEWLINENEWLINEIn the paper under review, the authors greatly generalize that result: They weaken the dimension, the regularity, and the integral closure conditions. They introduce the notion of balanced ideals: An ideal \(I\) is ``balanced if \(I\):\(J\) is independent of the minimal reduction \(J\) of \(I\). For these ideals they then prove (under some conditions on the ring) that the core of \(I\) is \((J\):\(I) I\). The authors prove further properties of cores, such as when they are integrally closed, and they give other explicit characterizations of the cores of several special classes of ideals.

Recommendations

Cites work

Cited in

(30)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Core and residual intersections of ideals

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