1
$\begingroup$

Let $R$ be an excellent, Henselian, discrete valuation ring with algebraically closed residue field and $\hat{R}$ be the completion of $R$. If I understand correctly, the residue field of $\hat{R}$ is the same as that of $R$. Is there any classification of subrings $R'$ of $\hat{R}$ containing $R$ such that the induced morphism $\mathrm{Spec}(R') \to \mathrm{Spec}(R)$ is of finite type?

$\endgroup$

1 Answer 1

3
$\begingroup$

The transcendence degree of $\hat{R}$ over $R$ can be large. If $R$ is the Henselization of $k[t]_{(t)}$ then the transcendence degree is max(${2^{\aleph_0}}$,$|R|$), and there are many ways to construct transcendental power series. So $R'$ is rather arbitrary.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.