The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

15.99 Krasner's lemma

Here is Krasner's lemma in the case of discretely valued fields.

Lemma 15.99.1 (Krasner's lemma). Let $A$ be a complete local domain of dimension $1$. Let $P(t) \in A[t]$ be a polynomial with coefficients in $A$. Let $\alpha \in A$ be a root of $P$ but not a root of the derivative $P' = \text{d}P/\text{d}t$. For every $c \geq 0$ there exists an integer $n$ such that for any $Q \in A[t]$ whose coefficients are in $\mathfrak m_ A^ n$ the polynomial $P + Q$ has a root $\beta \in A$ with $\beta - \alpha \in \mathfrak m_ A^ c$.

Proof. Choose a nonzero $\pi \in \mathfrak m$. Since the dimension of $A$ is $1$ we have $\mathfrak m = \sqrt{(\pi )}$. By assumption we may write $P'(\alpha )^{-1} = \pi ^{-m} a$ for some $m \geq 0$ and $a \in A$. We may and do assume that $c \geq m + 1$. Pick $n$ such that $\mathfrak m_ A^ n \subset (\pi ^{c + m})$. Pick any $Q$ as in the statement. For later use we observe that we can write

\[ P(x + y) = P(x) + P'(x)y + R(x, y)y^2 \]

for some $R(x, y) \in A[x, y]$. We will show by induction that we can find a sequence $\alpha _ m, \alpha _{m + 1}, \alpha _{m + 2}, \ldots $ such that

  1. $\alpha _ k \equiv \alpha \bmod \pi ^ c$,

  2. $\alpha _{k + 1} - \alpha _ k \in (\pi ^ k)$, and

  3. $(P + Q)(\alpha _ k) \in (\pi ^{m + k})$.

Setting $\beta = \mathop{\mathrm{lim}}\nolimits \alpha _ k$ will finish the proof.

Base case. Since the coefficients of $Q$ are in $(\pi ^{c + m})$ we have $(P + Q)(\alpha ) \in (\pi ^{c + m})$. Hence $\alpha _ m = \alpha $ works. This choice guarantees that $\alpha _ k \equiv \alpha \bmod \pi ^ c$ for all $k \geq m$.

Induction step. Given $\alpha _ k$ we write $\alpha _{k + 1} = \alpha _ k + \delta $ for some $\delta \in (\pi ^ k)$. Then we have

\[ (P + Q)(\alpha _{k + 1}) = P(\alpha _ k + \delta ) + Q(\alpha _ k + \delta ) \]

Because the coefficients of $Q$ are in $(\pi ^{c + m})$ we see that $Q(\alpha _ k + \delta ) \equiv Q(\alpha _ k) \bmod \pi ^{c + m + k}$. On the other hand we have

\[ P(\alpha _ k + \delta ) = P(\alpha _ k) + P'(\alpha _ k)\delta + R(\alpha _ k, \delta )\delta ^2 \]

Note that $P'(\alpha _ k) \equiv P'(\alpha ) \bmod (\pi ^{m + 1})$ as $\alpha _ k \equiv \alpha \bmod \pi ^{m + 1}$. Hence we obtain

\[ P(\alpha _ k + \delta ) \equiv P(\alpha _ k) + P'(\alpha ) \delta \bmod \pi ^{k + m + 1} \]

Recombining the two terms we see that

\[ (P + Q)(\alpha _{k + 1}) \equiv (P + Q)(\alpha _ k) + P'(\alpha ) \delta \bmod \pi ^{k + m + 1} \]

Thus a solution is to take $\delta = -P'(\alpha )^{-1} (P + Q)(\alpha _ k) = - \pi ^{-m} a (P + Q)(\alpha _ k)$ which is contained in $(\pi ^ k)$ by induction assumption. $\square$

Lemma 15.99.2. Let $A$ be a discrete valuation ring with field of fractions $K$. Let $A^\wedge $ be the completion of $A$ with fraction field $K^\wedge $. If $M/K^\wedge $ is a finite separable extension, then there exists a finite separable extension $L/K$ such that $M = K^\wedge \otimes _ K L$.

Proof. Note that $A^\wedge $ is a discrete valuation ring too (by Lemmas 15.42.4 and 15.42.1). In particular $A^\wedge $ is a domain. The proof will work more generally for Noetherian local rings $A$ such that $A^\wedge $ is a local domain of dimension $1$.

Let $\theta \in M$ be an element that generates $M$ over $K^\wedge $. (Theorem of the primitive element.) Let $P(t) \in K^\wedge [t]$ be the minimal polynomial of $\theta $ over $K^\wedge $. Let $\pi \in \mathfrak m_ A$ be a nonzero element. After replacing $\theta $ by $\pi ^ n\theta $ we may assume that the coefficients of $P(t)$ are in $A^\wedge $. Let $B = A^\wedge [\theta ] = A^\wedge [t]/(P(t))$. Note that $B$ is a complete local domain of dimension $1$ because it is finite over $A$ and contained in $M$. Since $M$ is separable over $K$ the element $\theta $ is not a root of the derivative of $P$. For any integer $n$ we can find a monic polynomial $P_1 \in A[t]$ such that $P - P_1$ has coefficients in $\pi ^ nA^\wedge [t]$. By Krasner's lemma (Lemma 15.99.1) we see that $P_1$ has a root $\beta $ in $B$ for $n$ sufficiently large. Moreover, we may assume (if $n$ is chosen large enough) that $\theta - \beta \in \pi B$. Consider the map $\Phi : A^\wedge [t]/(P_1) \to B$ of $A^\wedge $-algebras which maps $t$ to $\beta $. Since $B = \pi B + \sum _{i < \deg (P)} A^\wedge \theta ^ i$, the map $\Phi $ is surjective by Nakayama's lemma. As $\deg (P_1) = \deg (P)$ it follows that $\Phi $ is an isomorphism. We conclude that the ring extension $L = K[t]/(P_1(t))$ satisfies $K^\wedge \otimes _ K L \cong M$. This implies that $L$ is a field and the proof is complete. $\square$

Definition 15.99.3. Let $A$ be a discrete valuation ring. We say $A$ has mixed characteristic if the characteristic of the residue field of $A$ is $p > 0$ and the characteristic of the fraction field of $A$ is $0$. In this case we obtain an extension of discrete valuation rings $\mathbf{Z}_{(p)} \subset A$ and the absolute ramification index of $A$ is the ramification index of this extension.


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0BU9. Beware of the difference between the letter 'O' and the digit '0'.