Extensions of valuations to the Henselization and completion

Ramification and extension theory (11S15) Valuations and their generalizations for commutative rings (13A18) Morphisms of commutative rings (13B10) Valuation rings (13F30) Singularities in algebraic geometry (14B05)

Abstract: We show that if

R

is a local domain which is dominated by a valuation

u

, then there does not always exist a regular local ring

R^{'}

which birationally dominates R and is dominated by

u

and an extension of

u

to the Henselization

(R^{'})^{h}

of

R^{'}

such that the associated graded rings of

R^{'}

and

(R^{'})^{h}

along the valuations are equal. We also show that there does not always exist

R^{'}

, a prime ideal

p

of the completion

w i d e h a t R^{'}

such that

p c a p R^{'} = (0)

and an extension of

u

to

w i d e h a t R^{'}

such that the associated graded rings of

R^{'}

and

w i d e h a t R^{'} / p

along the valuation are equal.

Review text

Let \(R\) be a local domain with maximal ideal \(m_R\) and a quotient field \(K\). Let \(\nu\) be a valuation on \(K\) with valuation ring \(V_\nu\) and maximal ideal \(m_\nu\). The ring \(R\) is dominated by \(\nu\), if \(R\subseteq V_\nu\) and \(m_\nu\cap R=m_R\). The two main results are as follows: Theorem 1.5. Suppose \(k\) is an algebraically closed field. Then, there exists a three-dimensional regular local ring \(T_0\) which is a localization of a finite type \(k\)-algebra, with residue field \(k\), and a valuation \(\phi\) of the quotient field \(K\) of \(T_0\) which dominates \(T_0\) and whose residue field is \(k\), such that if \(T\) is a regular local ring of \(K\) which is dominated by \(\phi\) and dominates \(T_0, T^h\) is the Henselization of \(T\) and \(\phi^h\) is an extension of \(\phi\) to the quotient field of \(T^h\) which dominates \(T^h\), then \(S^{T^h}(\phi^h)\neq S^T(\phi)\), under the natural inclusion \(S^T(\phi)\subset S^{T^h}(\phi^h)\). Theorem 1.6. Suppose \(k\) is an algebraically closed field. Then, there exists a three-dimensional regular local ring \(T_0\) which is a localization of a finite type \(k\)-algebra, with residue field \(k\), and a valuation \(\phi\) of the quotient field \(K\) of \(T_0\) which dominates \(T_0\) and whose residue field is \(k\), such that if \(T\) is a regular local ring of \(K\) which is dominated by \(\phi\) and dominates \(T_0\) and \(\hat T\) is the \(m_T\)-adic completion of \(T\), then there does not exist a prime ideal \(p\) of \(\hat T\) such that \(p\cap T=(0)\) with an extension \(\hat\phi\) to the quotient field of \(\hat T/p\) which dominates \(\hat T/p\) such that \(S^{\hat T/p}(\hat\phi)=S^T(\phi)\), under the natural inclusion \(S^T(\phi)\subset S^{\hat T/p}(\hat\phi)\).

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Extensions of valuations to the Henselization and completion

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