Lemma 66.18.6 (04JS)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 4: Algebraic Spaces
Chapter 66: Properties of Algebraic Spaces
Section 66.18: The étale site of an algebraic space
Lemma 66.18.6 (cite)

previous definition
next definition

numberstags

history
statistics
1 tag refers to this tag

Lemma 66.18.6. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. The functor $X_{affine, {\acute{e}tale}} \to X_{\acute{e}tale}$ is special cocontinuous and induces an equivalence of topoi from $\mathop{\mathit{Sh}}\nolimits (X_{affine, {\acute{e}tale}})$ to $\mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale})$.

Proof. Omitted. Hint: compare with the proof of Topologies, Lemma 34.4.11. $\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