Lemma 100.33.8. Let $\pi : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. If $\mathcal{X}$ is a gerbe over $\mathcal{Y}$, then $\pi$ is surjective and smooth.

Proof. We have seen surjectivity in Lemma 100.28.8. By Lemma 100.33.4 it suffices to prove to the lemma after replacing $\pi$ by a base change with a surjective, flat, locally finitely presented morphism $\mathcal{Y}' \to \mathcal{Y}$. By Lemma 100.28.7 we may assume $\mathcal{Y} = U$ is an algebraic space and $\mathcal{X} = [U/G]$ over $U$ with $G \to U$ flat and locally of finite presentation. Then we win by Lemma 100.33.7. $\square$

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