Lemma 53.19.13. Let $k$ be a field. Let $X$ be a locally algebraic $k$-scheme of dimension $1$. Let $Y \to X$ be an étale morphism. Let $y \in Y$ be a point with image $x \in X$. The following are equivalent
$x$ is a closed point of $X$ and a node, and
$y$ is a closed point of $Y$ and a node.
Proof. By Lemma 53.19.12 we may base change to the algebraic closure of $k$. Then the residue fields of $x$ and $y$ are $k$. Hence the map $\mathcal{O}_{X, x}^\wedge \to \mathcal{O}_{Y, y}^\wedge $ is an isomorphism (for example by Étale Morphisms, Lemma 41.11.3 or More on Algebra, Lemma 15.43.9). Thus the lemma is clear. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (2)
Comment #5108 by Tongmu He on
Comment #5315 by Johan on