Set-theoretically perfect ideals and residual intersections (Q6972352)

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.