Core of projective dimension one modules (Q1407644)

Let \(R\) be a Noetherian ring and \(E\) a finitely generated \(R\)-module with rank \(e > 0\). Let \(\mathcal{R}(E)\) be the Rees algebra of \(E\), the symmetric algebra of \(E\) modulo its \(R\)-torsion. We say that a submodule \(U\) is a reduction of \(E\) if the equality \(\mathcal{R}(E)_{r+1} = U\mathcal{R}(E)_r\) holds for any \(r \gg 0\). The reduction number of \(E\) with respect to \(U\) is defined to be the least integer \(r \geq 0\) for which this equality holds and denoted by \(r_U(E)\). If \(R\) is moreover local with residue field \(k\), \(\dim \mathcal{R}(E) \otimes_R k\) is called the analytic spread of \(E\) and denoted by \(\ell(E)\). A reduction of \(E\) is said to be minimal in case it is minimal with respect to inclusion. The reduction number \(r(E)\) is defined to be the minimum of \(r_U(E)\), where \(U\) ranges over all minimal reductions of \(E\). The core of \(E\), \(\text{core}(E)\), is the intersection of all reductions of \(E\). We write \(\text{Fitt}_i(E)\) for the \(i\)-th Fitting ideal of \(E\). We say that for an integer \(s\), \(E\) satisfies the condition \(G_s\) if \(\mu(E_p) < \dim R_p + e \) whenever \(1 \leq \dim R_p < s\). The main result is as follows: Let \(R\) be a Gorenstein local ring with infinite residue field and \(\text{proj dim} E = 1\). Assume that \(E\) satisfies \(G_{\ell -e +1}\) (\(\ell = \ell(E)\)) and is torsionfree locally in codimension one. Then the following conditions are equivalent. (a) \((U \colon_R E)E \subset \text{core}(E)\) for some minimal reduction \(U\) of \(E\); (b) \((U \colon_R E)U = (U \colon_R E)E = \text{core}(E)\) for every minimal reduction \(U\) of \(E\); (c) \(\text{core}(E) = \text{Fitt}_\ell(E) \cdot E\) ; (d) \(U \colon_R E\) does not depend on the minimal reduction \(U\) of \(E\); (e) \(U \colon_R E = \text{Fitt}_\ell(E)\) for every minimal reduction \(U\) of \(E\); (f) \(r(E) \leq \ell - e\). As a corollary, we have a result due to \textit{R. Mohan} [J. Algebra 189, 1-22 (1997; Zbl 0897.13010)].