Set-theoretically perfect ideals and residual intersections

Linkage, complete intersections and determinantal ideals (13C40) Syzygies, resolutions, complexes and commutative rings (13D02) Local cohomology and commutative rings (13D45) Multiplicity theory and related topics (13H15)

Review text

This paper deals with residual ideal, a longstanding and deep theory in Algebraic Geometry. If \(R\) is a Noetherian ring of dimension \(d\) and \(I\) an ideal of \(R\), then an (algebraic)s-residual intersection of \(I\) is a proper ideal \(J\) of \(R\) such that \(\mathrm{ht}(J)\geq s\) and \(J=(a:R)\) for some ideal \(a\subset I\) generated by \(s\) elements. An (algebraic)s-residual intersection \(J\) of \(I\) is called geometric \(s\)-residual intersection, if \(\mathrm{ht}(I+J)\geq s+1\). One of the main purposes of the paper is to construct a free approach for the residual intersection of \(r\)-minimally generated ideals. These are special kind of resolutions (Definition 2.1). set-theoretic complete intersections admit free approaches and note that unlike free resolutions, not every ideal in every ring admits a free approach. Using this, the author is able to prove for a ring \(R\) of characteristic \(p\) that an ideal \(J\) of height \(s\) that admits a free approach, then \(J\) is cohomologically complete intersection. Also it is shown (Theorem 3.16) that if \(R\) is a Noetherian local ring with infinite residue field and \(I\) an ideal of \(R\) satisfying some condition on the (projective dimension of) generators of the ideal \(I\), then any \(s\)-residual intersection of \(I\) admits a free approach.

Cites work

Cited in

(1)

The arithmetic rank of the residual intersections of a complete intersection ideal

This page was built for publication: Set-theoretically perfect ideals and residual intersections

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