The Stacks project

Proof. We abbreviate $\mathcal{P} = \mathcal{Y} \times _\mathcal {X} \mathcal{Z}$. Since $a \circ \text{pr}_1 = f$ and $b \circ \text{pr}_2 = f$ we obtain maps $a_*\mathcal{O}_\mathcal {Y} \to f_*\mathcal{O}_\mathcal {P}$ and $b_*\mathcal{O}_\mathcal {Z} \to f_*\mathcal{O}_\mathcal {P}$ (using relative pullback maps, see Sites, Section 7.45). Hence we obtain a relative cup product

Applying $Q$ and its compatibility with tensor products (Cohomology of Stacks, Remark 103.10.6) we obtain an arrow $Q(\mu ) : a_{\mathit{QCoh}, *}\mathcal{O}_\mathcal {Y} \otimes _{\mathcal{O}_\mathcal {X}} b_{\mathit{QCoh}, *}\mathcal{O}_\mathcal {Z} \to f_{\mathit{QCoh}, *}\mathcal{O}_{\mathcal{Y} \times _\mathcal {X} \mathcal{Z}}$ in $\mathit{QCoh}(\mathcal{O}_\mathcal {X})$. Next, choose a scheme $U$ and a surjective smooth morphism $U \to \mathcal{X}$. It suffices to prove the restriction of $Q(\mu )$ to $U_{\acute{e}tale}$ is an isomorphism, see Cohomology of Stacks, Section 103.12. In turn, by the material in the same section, it suffices to prove the restriction of $\mu $ to $U_{\acute{e}tale}$ is an isomorphism (this uses that the source and target of $\mu $ are locally quasi-coherent modules with the base change property). Moreover, we may compute pushforwards in the étale topology, see Cohomology of Stacks, Proposition 103.8.1. Then finally, we see that $a_*\mathcal{O}_\mathcal {Y}|_{U_{\acute{e}tale}} = (V \to U)_{small, *}\mathcal{O}_ V$ where $V = U \times _\mathcal {X} \mathcal{Y}$. Similarly for $b_*$ and $f_*$. Thus the result follows from the Künneth formula for flat, quasi-compact, quasi-separated morphisms of schemes, see Derived Categories of Schemes, Lemma 36.23.1. $\square$