5
$\begingroup$

Let $k$ be a field. Consider a group $k$-scheme $G$ and let $X$ be a $k$-scheme equipped with an action of $G$. Then one can define the quotient stack $[X/G]$. Objects of $[X/G]$ over $k$-scheme $T$ are pairs $(\pi, \alpha)$ such that $\pi:P\rightarrow T$ is a locally (with respect to fpqc topology) trivial $G$-bundle and $\alpha:P\rightarrow X$ is a $G$-equivariant morphism.

Now in Olson's book Algebraic spaces and stacks in Example 8.1.12 the author assumes that $G$ is smooth in order to derive that the canonical map $X\rightarrow [X/G]$ is smooth and in result to infer that $[X/G]$ is an algebraic stack. It seems that the other part of his argument, which shows that the diagonal $\Delta_{[X/G]}:[X/G]\rightarrow [X/G]\times_k[X/G]$ is representable holds for any group $k$-scheme.

Here are some immediate questions.

  1. Under what conditions on $G$ the stack $[X/G]$ is algebraic? Is smoothness essential?
  2. If $G$ is affine over $k$, then is $\Delta_{[X/G]}$ representable by quasi-affine morphism of algebraic spaces? If not, then what one should impose on $X$ to know that this is the case?
$\endgroup$
2
  • $\begingroup$ If $G$ is not smooth, you should replace the étale topology by the fpqc topology in your definition of $[X/G]$. $\endgroup$ Nov 3, 2020 at 19:24
  • $\begingroup$ @MarcHoyois Thank you. I edited my question. $\endgroup$
    – Slup
    Nov 3, 2020 at 19:25

1 Answer 1

6
$\begingroup$

About 1. : no, smoothness isn't essential.

"Flat is enough" : De Jong's slogan to express this result due to M.Artin.

https://www.math.columbia.edu/~dejong/wordpress/?p=1584

I quote :

"Given a flat, finitely presented group scheme $G$ over $S$ acting on a scheme $X$ over $S$, then the quotient stack $[X/G]$ is algebraic."

$\endgroup$
4
  • $\begingroup$ It is a beautiful theorem. Thank you. $\endgroup$
    – Slup
    Nov 3, 2020 at 18:33
  • 1
    $\begingroup$ @Slup You might find the following interesting: If I recall correctly, if $G$ is a locally finitely presented group scheme over a scheme $S$, then $BG :=[S/G]$ is algebraic if and only if $G$ is flat. A proof of this can be found on the Stacks Project (but might also have appeared on MO before). $\endgroup$ Nov 3, 2020 at 19:36
  • $\begingroup$ @AriyanJavanpeykar I am mainly interested in schemes over fields, but it is very interesting and worth knowing. Thank you. $\endgroup$
    – Slup
    Nov 3, 2020 at 19:43
  • $\begingroup$ I think this is subsumed by stacks.math.columbia.edu/tag/0DLS, which talks about the case of algebraic spaces and also a further layer of 'relativeness': $X\to Y \to S$ and a group algebraic space $G\to Y$ acting on $X$ over $Y$. $\endgroup$ Nov 3, 2020 at 22:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.