The rees valuations of a module over a two-dimensional regular local ring

From MaRDI portal





Let \(R\) be a Noetherian normal domain with quotient field \(K\) and let \(I\) be an ideal of \(R\). If \(W_1,\dots,W_n\) are the essential valuation rings of the Rees ring \(R[It]\) which do not contain \(t\), the discrete valuation rings \(W_i\cap K\), which are birational to \(R\), are called the Rees valuation rings of \(I\). Now, let \(R\) be a two-dimensional regular local ring with infinite residue field and \(M\) a non-free finitely generated torsion-free \(R\)-module. Consider the canonical embedding of \(M\) in its (free) double dual \(F=M^{**}\). Let \(I(M)\) be the \(\text{rank}_R(M)\)-th Fitting ideal of \(M\) and let \(S(M)\) denote the image of the symmetric algebra \(\text{Sym}^R(M)\) in \(\text{Sym}^K(M\otimes K)\). If \(W_1, \dots, W_n\) are the essential valuation rings of \(S(M)\) which do not contain \(\text{Sym}^R(F)\), \(W_i\cap K\) are called the Rees valuation rings of \(M\). In the paper under review, the author proves that every Rees valuation ring of \(M\) is a Rees valuation ring of \(I(M)\) and that the converse is also true provided \(M\) is complete. Then he shows that the proof can be adapted to give a similar result for the case when \(R\) is a Noetherian normal domain.











This page was built for publication: The rees valuations of a module over a two-dimensional regular local ring

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