Multiplicities for arbitrary modules and reduction

DOI10.1216/RMJ-2013-43-4-1077MaRDI QIDQ370843zbMATH OpenFDO

Authors R. Callejas-Bedregal, Victor H. Jorge Pérez

Publication date 20 September 2013

Published in Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.rmjm/1378730039

\(j\)-multiplicity Buchsbaum-Rim multiplicity Hilbert-Samuel multiplicity reduction

Integral dependence in commutative rings; going up, going down (13B21) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Multiplicity theory and related topics (13H15)

Review text

Let \((R, \mathfrak m)\) be a local noetherian ring of dimension \(d\) and \(I\) a proper ideal of \(R\). If \(I\) is \(\mathfrak m\)-primary, the Hilbert-Samuel multiplicity \(\text{e}(I)= \lim_{n \to \infty} (d! \lambda(R/I^n)/n^d)\) is an invariant that characterizes the integral closure of the ideal \(I\). More precisely, as proved by Rees, if \(I \subseteq J\) are \(\mathfrak m\)-primary ideals in a formally equidimensional local ring \(R\), then \(I\) and \(J\) have the same integral closure (equivalently, \(I\) is a reduction of \(J\)) if and only if \(\text{e}(I)=\text{e}(J)\).NEWLINENEWLINE\textit{R. Achilles} and \textit{M. Manaresi} [Math. Ann. 309, No. 4, 573--591 (1997; Zbl 0894.14005)] extended the concept of multiplicity to arbitrary ideals by introducing a multiplicity sequence \(c_0(I)\),\( \ldots, \) \(c_d(I)\) that generalizes the classical Hilbert-Samuel multiplicity. By using the coefficient \(c_0\) (which coincides with the so-called \(j\)-multiplicity, another invariant introduced by Achilles and Manaresi) \textit{H. Flenner} and \textit{M. Manaresi} [Math. Z. 238, No. 1, 205--214 (2001; Zbl 1037.13001)] gave the following generalization of the theorem of Rees: if \(I \subseteq J\) are ideals in a formally equidimensional local ring \(R\), then \(I\) and \(J\) have the same integral closure if and only if \(c_0(I_{\mathfrak p}) = c_0(J_{\mathfrak p})\) for every prime ideal \(\mathfrak p\) of \(R\).NEWLINENEWLINEAnother generalization of the classical Hilbert Samuel multiplicity of an ideal \(I \subseteq R\) of finite colength is the Buchsbaum-Rim multiplicity \(\text{e}_{BR}(E)\) which is defined for a submodule \(E\) of a finitely generated free \(R\)-module \(R^p\) such that \(R^p/E\) has finite length. It is already known that if \(R\) is formally equidimensional and \(E \subseteq F \subseteq R^p\) with \(R^p/E\) of finite length, then \(E\) is a reduction of \(F\) if and only if \(\text{e}_{BR}(E)=\text{e}_{BR}(F)\).NEWLINENEWLINEIn the case when \(E\) is an arbitrary submodule of \(R^p\), \textit{B. Ulrich} and \textit{J. Validashti} [Math. Res. Lett. 15, No. 1, 149--162 (2008; Zbl 1145.13001)] introduced an invariant \(j(E)\) that coincides with \(\text{e}_{BR}(E)\) when \(E\) has finite colength and is also the same as the \(j\)-multiplicity \(j(I)\) of Achilles and Manaresi in the ideal case \(I \subseteq R\). They also proved that \(E \subseteq F\) is a reduction if and only if \(j(E_{\mathfrak p})=j(F_{\mathfrak p})\) for all prime ideals \(\mathfrak p\). In this paper the authors introduce a multiplicity sequence \(c_k(E,N)\) with \(k=0,\ldots, d+p-1\) associated with a submodule \(E \subseteq R^p\) and an \(R\)-module \(N\) that generalizes the Buchsbaum-Rim multiplicity when \(E\) has finite colength in \(R^p\) as well as the multiplicity sequence \(c_k(I)\) of Achilles and Manaresi in the ideal case \(I \subseteq R\). The authors prove that this sequence behaves well with respect to general hyperplane sections and is an invariant up to reductions. They also state a reduction criterion that involves the \(c_0\) multiplicity at all the localizations. The paper also contains a rather extensive exposition of previously known results in the literature that relate to the topic presented.

Recommendations

Cites work

Cited in

(29)

This page was built for publication: Multiplicities for arbitrary modules and reduction

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