Lemma 103.6.1. Let $\mathcal{X}$ be an algebraic stack. Let $f_ j : \mathcal{X}_ j \to \mathcal{X}$ be a family of smooth morphisms of algebraic stacks with $|\mathcal{X}| =\bigcup |f_ j|(|\mathcal{X}_ j|)$. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_\mathcal {X}$-modules on $\mathcal{X}_{\acute{e}tale}$. If each $f_ j^{-1}\mathcal{F}$ is locally quasi-coherent, then so is $\mathcal{F}$.
Proof. We may replace each of the algebraic stacks $\mathcal{X}_ j$ by a scheme $U_ j$ (using that any algebraic stack has a smooth covering by a scheme and that compositions of smooth morphisms are smooth, see Morphisms of Stacks, Lemma 101.33.2). The pullback of $\mathcal{F}$ to $(\mathit{Sch}/U_ j)_{\acute{e}tale}$ is still locally quasi-coherent, see Sheaves on Stacks, Lemma 96.12.3. Then $f = \coprod f_ j : U = \coprod U_ j \to \mathcal{X}$ is a surjective smooth morphism. Let $x$ be an object of $\mathcal{X}$. By Sheaves on Stacks, Lemma 96.19.10 there exists an étale covering $\{ x_ i \to x\} _{i \in I}$ such that each $x_ i$ lifts to an object $u_ i$ of $(\mathit{Sch}/U)_{\acute{e}tale}$. This just means that $x$, $x_ i$ live over schemes $V$, $V_ i$, that $\{ V_ i \to V\} $ is an étale covering, and that $x_ i$ comes from a morphism $u_ i : V_ i \to U$. The restriction $x_ i^*\mathcal{F}|_{V_{i, {\acute{e}tale}}}$ is equal to the restriction of $f^*\mathcal{F}$ to $V_{i, {\acute{e}tale}}$, see Sheaves on Stacks, Lemma 96.9.3. Hence $x^*\mathcal{F}|_{V_{\acute{e}tale}}$ is a sheaf on the small étale site of $V$ which is quasi-coherent when restricted to $V_{i, {\acute{e}tale}}$ for each $i$. This implies that it is quasi-coherent (as desired), for example by Properties of Spaces, Lemma 66.29.6. $\square$
Comments (0)