The Stacks project

Lemma 58.31.7. In the situation of Lemma 58.31.5 let $Y' \to X$ be as in Lemma 58.31.6. Let $R$ be a discrete valuation ring with fraction field $K$. Let

\[ t : \mathop{\mathrm{Spec}}(R) \to X \]

be a morphism such that the scheme theoretic inverse image $t^{-1}D$ is the reduced closed point of $\mathop{\mathrm{Spec}}(R)$.

  1. If $t|_{\mathop{\mathrm{Spec}}(K)}$ lifts to a point of $Y$, then we get a lift $t' : \mathop{\mathrm{Spec}}(R) \to Y'$ such that $Y' \to X$ is étale along $t'(\mathop{\mathrm{Spec}}(R))$.

  2. If $\mathop{\mathrm{Spec}}(K) \times _ X Y$ is isomorphic to a disjoint union of copies of $\mathop{\mathrm{Spec}}(K)$, then $Y' \to X$ is finite étale over an open neighbourhood of $t(\mathop{\mathrm{Spec}}(R))$.

Proof. By the valuative criterion of properness applied to the finite morphism $Y' \to X$ we see that $\mathop{\mathrm{Spec}}(K)$-valued points of $Y$ matching $t|_{\mathop{\mathrm{Spec}}(K)}$ as maps into $X$ lift uniquely to morphisms $t' : \mathop{\mathrm{Spec}}(R) \to Y'$. Thus statement (1) make sense.

Choose an étale neighbourhood $(U, u) \to (X, t(\mathfrak m_ R))$ such that $U = \mathop{\mathrm{Spec}}(A)$ and such that $Y' \times _ X U \to U$ has a description as in Lemma 58.31.6 for some $f \in A$. Then $\mathop{\mathrm{Spec}}(R) \times _ X U \to \mathop{\mathrm{Spec}}(R)$ is étale and surjective. If $R'$ denotes the local ring of $\mathop{\mathrm{Spec}}(R) \times _ X U$ lying over the closed point of $\mathop{\mathrm{Spec}}(R)$, then $R'$ is a discrete valuation ring and $R \subset R'$ is an unramified extension of discrete valuation rings (More on Algebra, Lemma 15.44.4). The assumption on $t$ signifies that the map $A \to R'$ corresponding to

\[ \mathop{\mathrm{Spec}}(R') \to \mathop{\mathrm{Spec}}(R) \times _ X U \to U \]

maps $f$ to a uniformizer $\pi \in R'$. Now suppose that

\[ Y' \times _ X U = \coprod \nolimits _{i \in I} \mathop{\mathrm{Spec}}(A[x]/(x^{e_ i} - f)) \]

for some $e_ i \geq 1$. Then we see that

\[ \mathop{\mathrm{Spec}}(R') \times _ U (Y' \times _ X U) = \coprod \nolimits _{i \in I} \mathop{\mathrm{Spec}}(R'[x]/(x^{e_ i} - \pi )) \]

The rings $R'[x]/(x^{e_ i} - f)$ are discrete valuation rings (More on Algebra, Lemma 15.114.2) and hence have no map into the fraction field of $R'$ unless $e_ i = 1$.

Proof of (1). In this case the map $t' : \mathop{\mathrm{Spec}}(R) \to Y'$ base changes to determine a corresponding map $t'' : \mathop{\mathrm{Spec}}(R') \to Y' \times _ X U$ which must map into a summand corresponding to $i \in I$ with $e_ i = 1$ by the discussion above. Thus clearly we see that $Y' \times _ X U \to U$ is étale along the image of $t''$. Since being étale is a property one can check after étale base chamge, this proves (1).

Proof of (2). In this case the assumption implies that $e_ i = 1$ for all $i \in I$. Thus $Y' \times _ X U \to U$ is finite étale and we conclude as before. $\square$

Comments (0)

There are also:

  • 6 comment(s) on Section 58.31: Tame ramification

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