Lemma 66.25.3 (0AHA)—The Stacks project

Processing math: 100%

Table of contents
Part 4: Algebraic Spaces
Chapter 66: Properties of Algebraic Spaces
Section 66.25: Regular algebraic spaces
Lemma 66.25.3 (cite)

numberstags

Lemma 66.25.3. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$ . Let $x \in |X|$ be a point. The following are equivalent

$X$ is regular at $x$ , and
the étale local ring $\mathcal{O}_{X, \overline{x}}$ is regular for any (equivalently some) geometric point $\overline{x}$ lying over $x$ .

Proof. Let $U$ be a scheme, $u \in U$ a point, and let $a : U \to X$ be an étale morphism mapping $u$ to $x$ . For any geometric point $\overline{x}$ of $X$ lying over $x$ , the étale local ring $\mathcal{O}_{X, \overline{x}}$ is the strict henselization of a local ring on $U$ at $u$ , see Lemma 66.22.1. Thus we conclude by More on Algebra, Lemma 15.45.10. $\square$

Comments (0)

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).

Comments (0)

Post a comment