The Stacks project

15.114 Eliminating ramification, II

In this section we use the results of Section 15.113 to obtain (separable) solutions in some cases.

Lemma 15.114.1. Let $A \to B$ be an extension of discrete valuation rings with fraction fields $K \subset L$. If $K_1/K$ is a solution for $A \subset B$, then for any finite extension $K_2/K_1$ the extension $K_2/K$ is a solution for $A \subset B$.

Proof. This follows from Lemma 15.112.3. Details omitted. $\square$

Lemma 15.114.2. Let $A \subset B$ be an extension of discrete valuation rings. If $B$ is Nagata and the extension $L/K$ of fraction fields is separable, then $A$ is Nagata.

Proof. A discrete valuation ring is Nagata if and only if it is N-2. Let $K_1/K$ be a finite purely inseparable field extension. We have to show that the integral closure $A_1$ of $A$ in $K_1$ is finite over $A$, see Algebra, Lemma 10.161.12. Since $L/K$ is separable and $K_1/K$ is purely inseparable, the algebra $L \otimes _ K K_1$ is a field (by Algebra, Lemmas 10.43.6 and 10.46.10). Let $B_1$ be the integral closure of $B$ in $L \otimes _ K K_1$. Since $B$ is Nagata, $B_1$ is finite over $B$. Since $B \otimes _ A A_1 \subset B_1$ and $B$ is Noetherian, we see that $B \otimes _ A A_1$ is finite over $B$. As $A \to B$ is faithfully flat, this implies $A_1$ is finite over $A$, see Algebra, Lemma 10.83.2. $\square$

Lemma 15.114.3. Let $A' \subset A$ be an extension of rings. Let $f \in A'$. Assume that (a) $A$ is finite over $A'$, (b) $f$ is a nonzerodivisor on $A$, and (c) $A'_ f = A_ f$. Then there exists an integer $n_0 > 0$ such that for all $n \geq n_0$ the following is true: given a ring $B'$, a nonzerodivisor $g \in B'$, and an isomorphism $\varphi ' : A'/f^ n A' \to B'/g^ n B'$ with $\varphi '(f) \equiv g$, there is a finite extension $B' \subset B$ and an isomorphism $\varphi : A/fA \to B/gB$ compatible with $\varphi '$.

Proof. Since $A$ is finite over $A'$ and since $A'_ f = A_ f$ we can Cchoose $t > 0$ such that $f^ t A \subset A'$. Set $n_0 = 2t$. Given $n, B', g, \varphi '$ as in the statement of the lemma, denote $N \subset B'$ the set of elements $b \in B'$ such that $b \bmod g^ nB' \in \varphi '(f^ tA)$. Set $B = g^{-t}N$. As $f^ tA' \subset f^ tA$ and $\varphi '$ sends $f$ to $g$ we have $g^ tB' \subset N$, hence $B' \subset B$. Since $f^ tA \cdot f^ tA \subset f^ t \cdot f^ tA$ and $\varphi '$ sends $f$ to $g$, we see that $N \cdot N \subset g^ t N$. Hence we obtain a multiplication on $B$ extending the multiplication of $B'$. We have an isomorphism of $A'/f^ nA'$-modules

\[ A/f^ tA' \xrightarrow {f^ t} f^ tA/f^ nA' \xrightarrow {\varphi '} g^ tB/g^ nB' \xrightarrow {g^{-t}} B/g^ tB' \]

where the module structures on the right are defined using $\varphi '$. Since $A/f^ tA'$ is a finite $A'$-module, we conclude that $B/g^ tB'$ is a finite $B'$-module and hence we see that $B' \to B$ is finite. Finally, we leave it to the reader to see that the displayed isomorphism of modules sends $fA$ into $gB$ and induces an isomorphism of rings $\varphi : A/fA \to B/gB$ compatible with $\varphi '$ (it even induces an isomorphism $A/f^ tA \to B/g^ tB$ but we don't need this). $\square$

Remark 15.114.4. The construction in Lemma 15.114.3 satisfies the following “functoriality”. Suppose we have a commutative diagram

\[ \xymatrix{ A'_2 \ar[r] & A_2 \\ A'_1 \ar[r] \ar[u] & A_1 \ar[u] } \]

with injective horizontal arrows. Suppose given an element $f \in A'_1$ such that $(A'_1 \subset A_1, f)$ and $(A'_2 \subset A_2, f)$ satisfy properties (a), (b), (c) of Lemma 15.114.3. Let $n_{0, 1}$ and $n_{0, 2}$ be the integers found in the lemma for these two situations. Finally, let $B'_1 \to B'_2$ be a ring map, let $g \in B'_1$ be a nonzerodivisor on $B_1$ and $B_2$, let $n \geq \max (n_{0, 1}, n_{0, 2})$, and let a commutative diagram

\[ \xymatrix{ A'_2/f^ nA'_2 \ar[r]_{\varphi '_2} & B'_2/g^ nB'_2 \\ A'_1/f^ nA'_1 \ar[r]^{\varphi '_1} \ar[u] & B'_2/g^ nB'_2 \ar[u] } \]

be given whose horizontal arrows are isomorphisms and where $\varphi '_1(f) \equiv g$. Then we obtain commutative diagrams

\[ \vcenter { \xymatrix{ B'_2 \ar[r] & B_2 \\ B'_1 \ar[r] \ar[u] & B_1 \ar[u] } } \quad \text{and}\quad \vcenter { \xymatrix{ A_2/fA_2 \ar[r]_{\varphi _2} & B_2/gB_2 \\ A_1/fA_1 \ar[r]^{\varphi _1} \ar[u] & B_2/gB_2 \ar[u] } } \]

where $(B'_1 \subset B_1, \varphi _1)$ and $(B'_2 \subset B_2, \varphi _2)$ are constructed as in the proof of Lemma 15.114.3. We omit the detailed verification.

Lemma 15.114.5. Let $p$ be a prime number. Let $A \subset B$ be an extension of discrete valuation rings with fraction field extension $L/K$. Let $K_2/K_1/K$ be a tower of finite field extensions. Assume

  1. $K$ has characteristic $p$,

  2. $L/K$ is separable,

  3. $B$ is Nagata,

  4. $K_2$ is a solution for $A \subset B$,

  5. $K_2/K_1$ is purely inseparable of degree $p$.

Then there exists a separable extension $K_3/K_1$ which is a solution for $A \subset B$.

Proof. Let us use notation as in Remark 15.112.1; we will use all the observations made there. Since $L/K$ is separable, the algebra $L_1 = L \otimes _ K K_1$ is reduced (Algebra, Lemma 10.43.6). Since $B$ is Nagata, the ring extension $B \subset B_1$ is finite where $B_1$ is the integral closure of $B$ in $L_1$ and $B_1$ is a Nagata ring. Similarly, the ring $A$ is Nagata by Lemma 15.114.2 hence $A \subset A_1$ is finite and $A_1$ is a Nagata ring too. Moreover, the same assertions are true for $K_2$, i.e., $L_2 = L \otimes _ K K_2$ is reduced, the ring extensions $A_1 \subset A_2$ and $B_1 \subset B_2$ are finite where $A_2$, resp. $B_2$ is the integral closure of $A$, resp. $B$ in $K_2$, resp. $L_2$.

Let $\pi \in A$ be a uniformizer. Observe that $\pi $ is a nonzerodivisor on $K_1$, $K_2$, $A_1$, $A_2$, $L_1$, $L_2$, $B_1$, and $B_2$ and we have $K_1 = (A_1)_\pi $, $K_2 = (A_2)_\pi $, $L_1 = (B_1)_\pi $, and $L_2 = (B_2)_\pi $. We may write $K_2 = K_1(\alpha )$ where $\alpha ^ p = a_1 \in K_1$, see Fields, Lemma 9.14.5. After multiplying $\alpha $ by a power of $\pi $ we may and do assume $a_1 \in A_1$. For the rest of the proof it is convenient to write $K_2 = K_1[x]/(x^ p - a_1)$ and $L_2 = L_1[x]/(x^ p - a_1)$. Consider the extensions of rings

\[ A'_2 = A_1[x]/(x^ p - a_1) \subset A_2 \quad \text{and}\quad B'_2 = B_1[x]/(x^ p - a_1) \subset B_2 \]

We may apply Lemma 15.114.3 to $A'_2 \subset A_2$ and $f = \pi ^2$ and to $B'_2 \subset B_2$ and $f = \pi ^2$. Choose an integer $n$ large enough which works for both of these.

Consider the algebras

\[ K_3 = K_1[x]/(x^ p - \pi ^{2n} x - a_1) \quad \text{and}\quad L_3 = L_1[x]/(x^ p - \pi ^{2n} x - a_1) \]

Observe that $K_3/K_1$ and $L_3/L_1$ are finite étale algebra extensions of degree $p$. Consider the subrings

\[ A'_3 = A_1[x]/(x^ p - \pi ^ n x - a_1) \quad \text{and}\quad B'_3 = B_1[x]/(x^ p - \pi ^ n x - a_1) \]

of $K_3 = (A'_2)_\pi $ and $L_3 = (B'_3)_\pi $. We are going to construct a commutative diagram

\[ \xymatrix{ B'_2/\pi ^{2n} B'_2 \ar[r]_{\psi '} & B'_3/\pi ^{2n} B'_3 \\ A'_2/\pi ^{2n} A'_2 \ar[r]^{\varphi '} \ar[u] & A'_3/\pi ^{2n} A'_3 \ar[u] } \]

Namely, $\varphi '$ is the unique $A_1$-algebra isomorphism sending the class of $x$ to the class of $x$. Simiarly, $\psi '$ is the unique $B_1$-algebra isomorphism sending the class of $x$ to the class of $x$. By our choice of $n$ we obtain, via Lemma 15.114.3 and Remark 15.114.4 finite ring extensions $A'_3 \subset A_3$ and $B'_3 \subset B_3$ such that $A'_3 \to B'_3$ extends to a ring map $A_3 \to B_3$ and a commutative diagram

\[ \xymatrix{ B_2/\pi ^2 B_2 \ar[r]_\psi & B_3/\pi ^2B_3 \\ A_2/\pi ^2 A_2 \ar[r]^\varphi \ar[u] & A_3/\pi ^2A_3 \ar[u] } \]

with all the properties asserted in the references mentioned above (in particular $\varphi $ and $\psi $ are isomorphisms).

With all of this data in hand, we can finish the proof. Namely, we first observe that $A_3$ and $B_3$ are finite products of Dedekind domains with $\pi $ contained in all of the maximal ideals. Namely, if $\mathfrak p \subset A_3$ is a maximal ideal, then $\pi \in \mathfrak p$ as $A \to A_3$ is finite. Then $\mathfrak p/\pi ^2 A_3$ corresponds via $\varphi $ to a maximal ideal in $A_2 / \pi ^2A_2$ which is principal as $A_2$ is a finite product of Dedekind domains. We conclude that $\mathfrak p/\pi ^2 A_3$ is principal and hence by Nakayama we see that $\mathfrak p (A_3)_\mathfrak p$ is principal. The same argument works for $B_3$. We conclude that $A_3$ is the integral closure of $A$ in $K_3$ and that $B_3$ is the integral closure of $B$ in $L_3$. Let $\mathfrak q \subset B_3$ be a maximal ideal lying over $\mathfrak p \subset A_3$. To finish the proof we have to show that $(A_3)_\mathfrak p \to (B_3)_\mathfrak q$ is formally smooth in the $\mathfrak q$-adic topology. By the criterion of Lemma 15.109.5 it suffices to show that $\mathfrak p (B_3)_\mathfrak q = \mathfrak q (B_3)_\mathfrak q$ and that the field extension $\kappa (\mathfrak q)/\kappa (\mathfrak p)$ is separable. This is true because we may check both assertions by looking at the ring map $A_3/\pi ^2 A_3 \to B_3/\pi ^2 B_3$ and this is isomorphic to the ring map $A_2/\pi ^2 A_2 \to B_2/\pi ^2 B_2$ where the corresponding statement holds by our assumption that $K_2$ is a solution for $A \subset B$. Some details omitted. $\square$

Lemma 15.114.6. Let $A \subset B$ be an extension of discrete valuation rings. Assume

  1. the extension $K \subset L$ of fraction fields is separable,

  2. $B$ is Nagata, and

  3. there exists a solution for $A \subset B$.

Then there exists a separable solution for $A \subset B$.

Proof. The lemma is trivial if the characteristic of $K$ is zero; thus we may and do assume that the characteristic of $K$ is $p > 0$.

Let $K_2/K$ be a solution for $A \to B$. We will use induction on the inseparable degree $[K_2 : K]_ i$ (Fields, Definition 9.14.7) of $K_2/K$. If $[K_2 : K]_ i = 1$, then $K_2$ is separable over $K$ and we are done. If not, then there exists a subfield $K_2/K_1/K$ such that $K_2/K_1$ is purely inseparable of degree $p$ (Fields, Lemmas 9.14.6 and 9.14.5). By Lemma 15.114.5 there exists a separable extension $K_3/K_1$ which is a solution for $A \subset B$. Then $[K_3 : K]_ i = [K_1 : K]_ i = [K_2 : K]_ i/p$ (Fields, Lemma 9.14.9) is smaller and we conclude by induction. $\square$

Lemma 15.114.7. Let $A \to B$ be an extension of discrete valuation rings with fraction fields $K \subset L$. Assume $B$ is essentially of finite type over $A$. Let $K \subset K'$ be an algebraic extension of fields such that the integral closure $A'$ of $A$ in $K'$ is Noetherian. Then the integral closure $B'$ of $B$ in $L' = (L \otimes _ K K')_{red}$ is Noetherian as well. Moreover, the map $\mathop{\mathrm{Spec}}(B') \to \mathop{\mathrm{Spec}}(A')$ is surjective and the corresponding residue field extensions are finitely generated field extensions.

Proof. Let $A \to C$ be a finite type ring map such that $B$ is a localization of $C$ at a prime $\mathfrak p$. Then $C' = C \otimes _ A A'$ is a finite type $A'$-algebra, in particular Noetherian. Since $A \to A'$ is integral, so is $C \to C'$. Thus $B = C_\mathfrak p \subset C'_\mathfrak p$ is integral too. It follows that the dimension of $C'_\mathfrak p$ is $1$ (Algebra, Lemma 10.112.4). Of course $C'_\mathfrak p$ is Noetherian. Let $\mathfrak q_1, \ldots , \mathfrak q_ n$ be the minimal primes of $C'_\mathfrak p$. Let $B'_ i$ be the integral closure of $B = C_\mathfrak p$, or equivalently by the above of $C'_\mathfrak p$ in the field of fractions of $C'_{\mathfrak p'}/\mathfrak q_ i$. It follows from Krull-Akizuki (Algebra, Lemma 10.119.12 applied to the finitely many localizations of $C'_\mathfrak p$ at its maximal ideals) that each $B'_ i$ is Noetherian. Moreover the residue field extensions in $C'_\mathfrak p \to B'_ i$ are finite by Algebra, Lemma 10.119.10. Finally, we observe that $B' = \prod B'_ i$ is the integral closure of $B$ in $L' = (L \otimes _ K K')_{red}$. $\square$

reference

Proposition 15.114.8. Let $A \to B$ be an extension of discrete valuation rings with fraction fields $K \subset L$. If $B$ is essentially of finite type over $A$, then there exists a finite extension $K \subset K_1$ which is a solution for $A \to B$ as defined in Definition 15.113.1.

Proof. Observe that a weak solution is a solution if the residue field of $A$ is perfect, see Lemma 15.109.5. Thus the proposition follows immediately from Theorem 15.113.18 if the residue characteristic of $A$ is $0$ (and in fact we do not need the assumption that $A \to B$ is essentially of finite type). If the residue characteristic of $A$ is $p > 0$ we will also deduce it from Epp's theorem.

Let $x_ i \in A$, $i \in I$ be a set of elements mapping to a $p$-base of the residue field $\kappa $ of $A$. Set

\[ A' = \bigcup \nolimits _{n \geq 1} A[t_{i, n}]/(t_{i, n}^{p^ n} - x_ i) \]

where the transition maps send $t_{i, n + 1}$ to $t_{i, n}^ p$. Observe that $A'$ is a filtered colimit of weakly unramified finite extensions of discrete valuation rings over $A$. Thus $A'$ is a discrete valuation ring and $A \to A'$ is weakly unramified. By construction the residue field $\kappa ' = A'/\mathfrak m_ A A'$ is the perfection of $\kappa $.

Let $K'$ be the fraction field of $A'$. We may apply Lemma 15.114.7 to the extension $K \subset K'$. Thus $B'$ is a finite product of Dedekind domains. Let $\mathfrak m_1, \ldots , \mathfrak m_ n$ be the maximal ideals of $B'$. Using Epp's theorem (Theorem 15.113.18) we find a weak solution $K' \subset K'_ i$ for each of the extensions $A' \subset B'_{\mathfrak m_ i}$. Since the residue field of $A'$ is perfect, these are actually solutions. Let $K' \subset K'_1$ be a finite extension which contains each $K'_ i$. Then $K' \subset K'_1$ is still a solution for each $A' \subset B'_{\mathfrak m_ i}$ by Lemma 15.114.1.

Let $A'_1$ be the integral closure of $A$ in $K'_1$. Note that $A'_1$ is a Dedekind domain by the discussion in Remark 15.112.1 applied to $K' \subset K'_1$. Thus Lemma 15.114.7 applies to $K \subset K'_1$. Therefore the integral closure $B'_1$ of $B$ in $L'_1 = (L \otimes _ K K'_1)_{red}$ is a Dedekind domain and because $K' \subset K'_1$ is a solution for each $A' \subset B'_{\mathfrak m_ i}$ we see that $(A'_1)_{A'_1 \cap \mathfrak m} \to (B'_1)_{\mathfrak m}$ is formally smooth in the $\mathfrak m$-adic topology for each maximal ideal $\mathfrak m \subset B'_1$.

By construction, the field $K'_1$ is a filtered colimit of finite extensions of $K$. Say $K'_1 = \mathop{\mathrm{colim}}\nolimits _{i \in I} K_ i$. For each $i$ let $A_ i$, resp. $B_ i$ be the integral closure of $A$, resp. $B$ in $K_ i$, resp. $L_ i = (L \otimes _ K K_ i)_{red}$. Then it is clear that

\[ A'_1 = \mathop{\mathrm{colim}}\nolimits A_ i\quad \text{and}\quad B'_1 = \mathop{\mathrm{colim}}\nolimits B_ i \]

Since the ring maps $A_ i \to A'_1$ and $B_ i \to B'_1$ are injective integral ring maps and since $A'_1$ and $B'_1$ have finite spectra, we see that for all $i$ large enough the ring maps $A_ i \to A'_1$ and $B_ i \to B'_1$ are bijective on spectra. Once this is true, for all $i$ large enough the maps $A_ i \to A'_1$ and $B_ i \to B'_1$ will be weakly unramified (once the uniformizer is in the image). It follows from multiplicativity of ramification indices that $A_ i \to B_ i$ induces weakly unramified maps on all localizations at maximal ideals of $B_ i$ for such $i$. Increasing $i$ a bit more we see that

\[ B_ i \otimes _{A_ i} A'_1 \longrightarrow B'_1 \]

induces surjective maps on residue fields (because the residue fields of $B'_1$ are finitely generated over those of $A'_1$ by Lemma 15.114.7). Picture of residue fields at maximal ideals lying under a chosen maximal ideal of $B'_1$:

\[ \xymatrix{ \kappa _{B_ i} \ar[r] & \kappa _{B_{i'}} \ar[r] & & \ldots & \kappa _{B'_1} \\ \kappa _{A_ i} \ar[r] \ar[u] & \kappa _{A_{i'}} \ar[r] \ar[u] & & \ldots & \kappa _{A'_1} \ar[u] } \]

Thus $\kappa _{B_ i}$ is a finitely generated extension of $\kappa _{A_ i}$ such that the compositum of $\kappa _{B_ i}$ and $\kappa _{A'_1}$ in $\kappa _{B'_1}$ is separable over $\kappa _{A'_1}$. Then that happens already at a finite stage: for example, say $\kappa _{B'_1}$ is finite separable over $\kappa _{A'_1}(x_1, \ldots , x_ n)$, then just increase $i$ such that $x_1, \ldots , x_ n$ are in $\kappa _{B_ i}$ and such that all generators satisfy separable polynomial equations over $\kappa _{A_ i}(x_1, \ldots , x_ n)$. This means that $A_ i \to (B_ i)_\mathfrak m$ is formally smooth in the $\mathfrak m$-adic topology for all maximal ideals $\mathfrak m$ of $B_ i$ and the proof is complete. $\square$

Lemma 15.114.9. Let $A \to B$ be an extension of discrete valuation rings with fraction fields $K \subset L$. Assume

  1. $B$ is essentially of finite type over $A$,

  2. either $A$ or $B$ is a Nagata ring, and

  3. $L/K$ is separable.

Then there exists a separable solution for $A \to B$ (Definition 15.113.1).

Proof. Observe that if $A$ is Nagata, then so is $B$ (Algebra, Lemma 10.162.6 and Proposition 10.162.15). Thus the lemma follows on combining Proposition 15.114.8 and Lemma 15.114.6. $\square$


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 0GLQ. Beware of the difference between the letter 'O' and the digit '0'.