The core of a module over a two-dimensional regular local ring (Q1355573)

Let \(R\) be a noetherian domain, \(K\) its field of fractions and \(M\) a finitely generated torsion-free \(R\)-module. By \(M_K\) we denote the finite dimensional \(K\)-vector space \(M \otimes _R K\). For a ring \(S\) with \(R \subseteq S \subseteq K\), \(MS\) denotes the \(S\)-submodule of \(M_K\) generated by \(M\). An element \(x \in M_K\) is said to be integral over \(M\) if \(x \in MV\) for every discrete valuation ring \(V\) with \(R \subseteq V \subseteq K\). The integral closure \(\overline{M}\) of \(M\) is the set of all elements of \(M_K\) that are integral over \(M\). The module \(M\) is said to be integrally closed or complete if \(M = \overline{M}\). A submodule \(N\) of \(M\) is said to be a reduction of \(M\) if \(M \subseteq \overline{N}\). The core of \(M\) is defined to be the intersection of all reductions of \(M\) and denoted by \(\text{core}(M)\). Using quadratic transforms and Buchsbaum-Rim multiplicity, the author shows the following main result: Let \(R\) be a two-dimensional regular local ring with infinite residue field and let \(M\) be a finitely generated torsion-free integrally closed \(R\)-module of rank \(r\). Let \(A\) be an \(n \times n-r\) presenting matrix for \(M\). Then \(\text{core}(M) = I_{n-r-1}(A)M\), where \(I_{n-r-1}(A)\) is the ideal generated by the \(n-r-1\) minors of \(A\). This generalizes a result on the core of an ideal due to \textit{C. Huneke} and \textit{I. Swanson} [Mich. Math. J. 42, No. 1, 193-208 (1995; Zbl 0829.13014)].