Lemma 100.5.7. Let $\mathcal{X}$ be an algebraic stack. Let $[U/R] \to \mathcal{X}$ be a presentation. Let $G/U$ be the stabilizer group algebraic space associated to the groupoid $(U, R, s, t, c)$. Then

$\xymatrix{ G \ar[d] \ar[r] & U \ar[d] \\ \mathcal{I}_\mathcal {X} \ar[r] & \mathcal{X} }$

is a fibre product diagram.

Proof. Immediate from Groupoids in Spaces, Lemma 77.26.2. $\square$

There are also:

• 2 comment(s) on Section 100.5: Inertia stacks

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).