The Stacks project

Lemma 72.4.2. Let $S$ be a scheme. Let $X$ be an integral algebraic space over $S$. Let $\eta \in |X|$ be the generic point of $X$. There are canonical identifications

\[ R(X) = \mathcal{O}_{X, \eta }^ h = \kappa (\eta ) \]

where $R(X)$ is the ring of rational functions defined in Morphisms of Spaces, Definition 67.47.3, $\kappa (\eta )$ is the residue field defined in Decent Spaces, Definition 68.11.2, and $\mathcal{O}_{X, \eta }^ h$ is the henselian local ring defined in Decent Spaces, Definition 68.11.5. In particular, these rings are fields.

Proof. Since $X$ is a scheme in an open neighbourhood of $\eta $ (see discussion above), this follows immediately from the corresponding result for schemes, see Morphisms, Lemma 29.49.5. We also use: the henselianization of a field is itself and that our definitions of these objects for algebraic spaces are compatible with those for schemes. Details omitted. $\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 0END. Beware of the difference between the letter 'O' and the digit '0'.



View Lemma 72.4.2 as pdf