The classifying stack of a group scheme or group algebraic space.

Lemma 94.15.4. Let $S$ be a scheme. Let $B$ be an algebraic space over $S$. Let $G$ be a group algebraic space over $B$. Then the stacks in groupoids

$[B/G],\quad [[B/G]],\quad G\textit{-Torsors},\quad \mathcal{G}/\mathcal{B}\textit{-Torsors}$

are all canonically equivalent. If $G \to B$ is flat and locally of finite presentation, then these are also equivalent to $G\textit{-Principal}$.

Proof. The equivalence $G\textit{-Torsors} \to \mathcal{G}/\mathcal{B}\textit{-Torsors}$ is given in Lemma 94.14.10. The equivalence $[B/G] \to [[B/G]]$ is given in Proposition 94.15.3. Unwinding the definition of $[[B/G]]$ given in Section 94.15 we see that $[[B//G]] = G\textit{-Torsors}$.

Finally, assume $G \to B$ is flat and locally of finite presentation. To show that the natural functor $G\textit{-Torsors} \to G\textit{-Principal}$ is an equivalence it suffices to show that for a scheme $U$ over $B$ a principal homogeneous $G_ U$-space $X \to U$ is fppf locally trivial. By our definition of principal homogeneous spaces (Groupoids in Spaces, Definition 77.9.3) there exists an fpqc covering $\{ U_ i \to U\}$ such that $U_ i \times _ U X \cong G \times _ B U_ i$ as algebraic spaces over $U_ i$. This implies that $X \to U$ is surjective, flat, and locally of finite presentation, see Descent on Spaces, Lemmas 73.11.6, 73.11.13, and 73.11.10. Choose a scheme $W$ and a surjective étale morphism $W \to X$. Then it follows from what we just said that $\{ W \to U\}$ is an fppf covering such that $X_ W \to W$ has a section. Hence $X$ is an fppf $G_ U$-torsor. $\square$

There are also:

• 2 comment(s) on Section 94.15: Quotients by group actions

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).
{"ft_lang_label":"__label__en","ft_lang_prob":0.7536299,"math_prob":0.99930227,"size":1673,"snap":"2023-14-2023-23","text_gpt3_token_len":548,"char_repetition_ratio":0.12043139,"word_repetition_ratio":0.04511278,"special_character_ratio":0.31799164,"punctuation_ratio":0.12885155,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9998996,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-03-24T09:20:27Z\",\"WARC-Record-ID\":\"<urn:uuid:632a00d2-4def-4dd8-bcdf-64ba87a0ca7d>\",\"Content-Length\":\"15793\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:c11fed39-57ea-4335-a93f-173546f395ac>\",\"WARC-Concurrent-To\":\"<urn:uuid:7a7dceeb-339d-47b1-af64-36199fff6b28>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/0CQJ\",\"WARC-Payload-Digest\":\"sha1:YKMXSMKYVK3J3GPJDDEHAGUY4CNIDBM3\",\"WARC-Block-Digest\":\"sha1:E4KAX3GYQKJS2WRL535J5B7XDCP2APKV\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-14/CC-MAIN-2023-14_segments_1679296945279.63_warc_CC-MAIN-20230324082226-20230324112226-00595.warc.gz\"}"}