The Stacks project

Proof. Recall that $Z$ is locally cut out by the annihilator of $\mathcal{F}$, see Morphisms, Definition 29.5.5 (which uses Morphisms, Lemma 29.5.4 to define $Z$). Hence we see that $Z \subset Z_0$ scheme theoretically by More on Algebra, Lemma 15.8.4 part (6). On the other hand we have $Z = \text{Supp}(\mathcal{F})$ set theoretically by Morphisms, Lemma 29.5.4 and we have $Z_0 = Z$ set theoretically by More on Algebra, Lemma 15.8.4 part (7). Finally, to get $\mathcal{G}_0$ as in part (3) we can either use that we have $\mathcal{G}$ on $Z$ as in Morphisms, Lemma 29.5.4 and set $\mathcal{G}_0 = (Z \to Z_0)_*\mathcal{G}$ or we can use Morphisms, Lemma 29.4.1 and the fact that $\text{Fit}_0(\mathcal{F})$ annihilates $\mathcal{F}$ by More on Algebra, Lemma 15.8.4 part (6). $\square$