How exotic can DVRs be in the ring of rational functions over a local field? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T10:29:26Z http://mathoverflow.net/feeds/question/49391 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/49391/how-exotic-can-dvrs-be-in-the-ring-of-rational-functions-over-a-local-field How exotic can DVRs be in the ring of rational functions over a local field? Simon Wadsley 2010-12-14T14:28:48Z 2010-12-15T17:40:32Z <p>Suppose that $R$ is a complete DVR with field of fractions $K$, uniformiser $\pi$ and residue field $k$.</p> <p>Let $B$ be a subring of the ring $K(t)$ of rational functions over $K$. Moreover assume that $B$ is a discrete valuation ring such that $B[\pi^{-1}]=K(t)$. </p> <p>Can the residue field of $B$ be an algebraic extension of $k$? If yes then can it be an infinite algebraic extension of $k$?</p> <p>I am only really interested in the case where $K$ has characteristic $0$ and $k$ has characteristic $p>0$. </p> http://mathoverflow.net/questions/49391/how-exotic-can-dvrs-be-in-the-ring-of-rational-functions-over-a-local-field/49452#49452 Answer by Qing Liu for How exotic can DVRs be in the ring of rational functions over a local field? Qing Liu 2010-12-14T22:41:54Z 2010-12-15T17:40:32Z <p>I will suppose $k$ is <b>perfect</b> for simplicity.</p> <p><b>Statement</b>: There exists $B$ with algebraic residue extension $k_B/k$ if and only if $k$ has infinite index in its algebraic closure. And this implies that $[k_B : k]=+\infty$. </p> <p>First we prove the following facts: </p> <p>(1) Let $F/K$ be an extension of discrete valuation fields. If the residue extension $k_F/k$ is finite, then $F/K$ is finite. </p> <p>(2) Let $K^{sh}$ be a strict henselization of $K$. If $k$ has infinite index in its algebraic closure, then there exists $\theta\in\widehat{K^{sh}}$ (completion) which is transcendental over $K$. </p> <p>Proof of (1). Let $k_F$ be the residue field of $F$. Lift a basis of $k_F/k$ to $a_1,...,a_r\in O_F$ (valuation ring of $F$). Let $e$ be the ramification index of $O_F$ over $R$ and let $\pi_F$ be a uniformizing element of $O_F$. Then the finite set $${\lbrace a_i \pi_F^{j} \rbrace}_{1\le i\le r, \ 0 \le j \le e-1}$$ generates a submodule $M$ of $O_F$ such that $O_F=M+\pi^n O_F$ for all $n\ge 1$ and one can check that $M\cap \pi^n O_F = \pi^n M$. As $M$ is automatically complete for the $\pi$-adic topology (it is finitely generated), this implies that $O_F=M$, thus $F/K$ is finite. </p> <p>Proof of (2). For any $n\ge 1$, there exists a subextension of $\bar{k}$ of degree at least $n$. By primitive element theorem, there exists $x_n\in \bar{k}$ of degree at least $n$ over $k$. Lift $x_n$ to a $\theta_n\in K^{sh}$ with $[K(\theta_n):K]=[k(x_n):k]$ (we use the fact that $K$ is henselian here). Set $$\theta= \sum_{n\ge 1} \theta_n \pi^{n-1} \in \widehat{K^{sh}}.$$ We are going to show that $\theta$ is transcendental over $K$. Suppose the contrary. Then $\theta\in K^{sh}$. Let $L=K[\theta] \subseteq K^{sh}$. As $\theta = \theta_1 \mod \pi$ and $L$ is henselian, we have $\theta_1 \in L$. Similarly, $(\theta-\theta_1)/\pi \in L$ is equal to $\theta_2 \mod \pi$, hence $\theta_2 \in L$ and so on. Therefore $\theta_n\in L$ for all $n$. Hence $[L : K] \ge n$ for all $n$. Contradiction. </p> <p><b>Now we prove the statement</b>. If $k_B$ is algebraic over $k$, then $k_B/k$ is infinite by (1). In particular, $k$ has infinite index in its algebraic closure. Conversely, suppose $k$ satisfies this property. Let $\theta\in \widehat{K^{sh}}$ given by (2). Consider the field $K(\theta)\subseteq \widehat{K^{sh}}$. It is isomorphic to $K(t)$. We endow it with the discrete valuation induced by that of $\widehat{K^{sh}}$. This valuation extends that of $K$. So its valuation ring $B$ dominates $R$ and $k_B$ is contained in $\bar{k}$, hence algebraic over $k$. </p> <p><b>Remark 1</b> By <a href="http://www.math.uconn.edu/~kconrad/math316/316artinschreier.pdf" rel="nofollow">Artin-Schreier Theorem</a> (that I learnd from D. Harbater), the condition $k$ has <b>finite</b> index in $\bar{k}$ is equivalent to $k$ is algebraically closed or real closed. </p> <p><b>Remark 2</b> If $k$ is not necessarily perfect, (1) is still true (same proof). Suppose $k$ has infinite index in its algebraic closure, then the existence of $B$ with $k_B$ algebraic over $k$ is still true, but we have to work with (finite extension of) $W(\bar{k})$ or $\bar{k}((t))$ instead of $\widehat{K^{sh}}$. </p>