Lemma 104.5.4. Let $\mathcal{X}$ be an algebraic stack. Let $E$ be an object of $D_{\textit{LQCoh}^{fbc}}(\mathcal{O}_\mathcal {X})$. There exists a canonical distinguished triangle
\[ E' \to E \to P \to E'[1] \]
in $D_{\textit{LQCoh}^{fbc}}(\mathcal{O}_\mathcal {X})$ such that $P$ is in $D_{\textit{Parasitic} \cap \textit{LQCoh}^{fbc}} (\mathcal{O}_\mathcal {X})$ and
\[ \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_\mathcal {X})}(E', P') = 0 \]
for all $P'$ in $D_{\textit{Parasitic} \cap \textit{LQCoh}^{fbc}}(\mathcal{O}_\mathcal {X})$.
Proof.
Consider the morphism of ringed topoi $g : \mathop{\mathit{Sh}}\nolimits (\mathcal{X}_{flat, fppf}) \longrightarrow \mathop{\mathit{Sh}}\nolimits (\mathcal{X}_{fppf})$ studied in Cohomology of Stacks, Section 103.14. Set $E' = Lg_!g^*E$ and let $P$ be the cone on the adjunction map $E' \to E$, see Lemma 104.3.1 part (4). By Lemma 104.5.3 parts (2)(a) and (2)(c) we have that $E'$ is in $D_{\textit{LQCoh}^{fbc}}(\mathcal{O}_\mathcal {X})$. Hence also $P$ is in $D_{\textit{LQCoh}^{fbc}}(\mathcal{O}_\mathcal {X})$. The map $g^*E' \to g^*E$ is an isomorphism as $g^*Lg_! = \text{id}$ by Lemma 104.3.1 part (4). Hence $g^*P = 0$ and whence $P$ is an object of $D_{\textit{Parasitic} \cap \textit{LQCoh}^{fbc}}(\mathcal{O}_\mathcal {X})$ by Lemma 104.5.3 part (2)(b). Finally, for $P'$ in $D_{\textit{Parasitic} \cap \textit{LQCoh}^{fbc}}(\mathcal{O}_\mathcal {X})$ we have
\[ \mathop{\mathrm{Hom}}\nolimits (E', P') = \mathop{\mathrm{Hom}}\nolimits (Lg_!g^*E, P') = \mathop{\mathrm{Hom}}\nolimits (g^*E, g^*P') = 0 \]
as $g^*P' = 0$ by Lemma 104.5.3 part (2)(b). The distinguished triangle $E' \to E \to P \to E'[1]$ is canonical (more precisely unique up to isomorphism of triangles induces the identity on $E$) by the discussion in Derived Categories, Section 13.40.
$\square$
Comments (0)