Definition 77.20.1. Quotient stacks. Let $B \to S$ be as above.

Let $(U, R, s, t, c)$ be a groupoid in algebraic spaces over $B$. The

*quotient stack*\[ p : [U/R] \longrightarrow (\mathit{Sch}/S)_{fppf} \]of $(U, R, s, t, c)$ is the stackification (see Stacks, Lemma 8.9.1) of the category fibred in groupoids $[U/_{\! p}R]$ over $(\mathit{Sch}/S)_{fppf}$ associated to (77.20.0.1).

Let $(G, m)$ be a group algebraic space over $B$. Let $a : G \times _ B X \to X$ be an action of $G$ on an algebraic space over $B$. The

*quotient stack*\[ p : [X/G] \longrightarrow (\mathit{Sch}/S)_{fppf} \]is the quotient stack associated to the groupoid in algebraic spaces $(X, G \times _ B X, s, t, c)$ over $B$ of Lemma 77.15.1.

## Comments (0)

There are also: