Quadratic transform of complete ideals in regular local rings

Integral closure of commutative rings and ideals (13B22) Commutative rings and modules of finite generation or presentation; number of generators (13E15) Regular local rings (13H05)

Review text

Throughout \((R,m)\) will denote a regular local ring of dimension \(d \geq 2\) and with infinite residue field. Let \(I\) be an \(m\)-primary complete(= integrally closed) ideal, \(\mu(I)\) the minimal number of generators of \(I\) and \(r\) the \(m\)-adic order of \(I\). Then \(\mu(I) \geq {r+d-1 \choose d-1}\), and equality holds if and only if \(m^{r+1} = mI + zm^r\) for some \(z \in m \setminus m^2\). It is shown that \(I = IR[m/y] \cap R\) for some \(y \in m \setminus m^2\). Under the assumption \(\mu(I) = {r+d-1 \choose d-1}\), the author proves the following: For all \(n \geq 1\), \(m^nI\) is complete. If \( I = IS \cap R\) (\(S = R[m/x]\)), then \(I^S\) is complete and \(\ell_R(S/I^S) = \ell(m^{r+n}/Im^n)\) for all \(n \geq 0\) where \(I^S = x^{-r}IS\), the transform of \(I\) in \(S\).

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Quadratic transform of complete ideals in regular local rings

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