Extensions of valuations to the Henselization and completion (Q2000799)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extensions of valuations to the Henselization and completion |
scientific article |
Statements
Extensions of valuations to the Henselization and completion (English)
0 references
28 June 2019
0 references
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)\).
0 references
valuation
0 references
local ring
0 references
Henselization
0 references
completion
0 references
ring domination
0 references
algebraically closed field
0 references
0 references
0 references
0 references