Lemma 99.31.1. Let $\mathcal{X}$ be an algebraic stack such that $\mathcal{I}_\mathcal {X} \to \mathcal{X}$ is quasi-compact. Then the residual gerbe of $\mathcal{X}$ at $x$ exists for every $x \in |\mathcal{X}|$.

Proof. Let $T = \overline{\{ x\} } \subset |\mathcal{X}|$ be the closure of $x$. By Properties of Stacks, Lemma 98.10.1 there exists a reduced closed substack $\mathcal{X}' \subset \mathcal{X}$ such that $T = |\mathcal{X}'|$. Note that $\mathcal{I}_{\mathcal{X}'} = \mathcal{I}_\mathcal {X} \times _\mathcal {X} \mathcal{X}'$ by Lemma 99.5.6. Hence $\mathcal{I}_{\mathcal{X}'} \to \mathcal{X}'$ is quasi-compact as a base change, see Lemma 99.7.3. Therefore Proposition 99.29.1 implies there exists a dense open substack $\mathcal{U} \subset \mathcal{X}'$ which is a gerbe. Note that $x \in |\mathcal{U}|$ because $\{ x\} \subset T$ is a dense subset too. Hence a residual gerbe $\mathcal{Z}_ x \subset \mathcal{U}$ of $\mathcal{U}$ at $x$ exists by Lemma 99.28.15. It is immediate from the definitions that $\mathcal{Z}_ x \to \mathcal{X}$ is a residual gerbe of $\mathcal{X}$ at $x$. $\square$

There are also:

• 1 comment(s) on Section 99.31: Existence of residual gerbes

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