Residual intersections and core of modules (Q6155812)

Let \(I\) be an ideal of height \(g\) and analytic spread \(\ell\) in a Gorenstein local ring \(R\). The \textit{core} of \(I\) is the (possibly infinite) intersection of all \textit{minimal reductions} of \(I\). If \(R\) and \(I\) satisfies certain technical conditions, then \textit{A. Corso} et al. proved in [Trans. Am. Math. Soc. 354, No. 7, 2579--2594 (2002; Zbl 1013.13001)] that the following conditions are equivalent: \begin{itemize} \item[(a)] \(\mathrm{core}(I) = (J :_R I)I = (J :_R I)J\) for every minimal reduction \(J\) of \(I\); \item[(b)] the colon ideal \((J :_R I)\) does not depend on the minimal reduction \(J\) of \(I\); \item[(c)] the reduction number of \(I\) is at most \(\ell - g + 1\). \end{itemize} The notions of core, reduction and \textit{Rees algebra} can be generalized to finitely generated modules which have \textit{ranks}. Afterwards, \textit{A. Corso} et al. extended the above result to modules of projective dimension one in [Manuscr. Math. 111, No. 4, 427--433 (2003; Zbl 1029.13013)]. In the paper under review, the authors provide another extension to the \textit{orientable modules} satisfying certain homological conditions. After proving the main result, several examples of classes of modules that satisfy the assumptions are also explained. Since the core of the ideal/module is closely related to the \textit{residual intersection}, a considerable part is devoted to study this topic.