Lemma 84.24.4 (Unbounded BBD glueing lemma). In Situation 84.24.1. Assume

$\mathcal{C}$ has equalizers and fibre products,

there is a morphism of sites $f : \mathcal{C} \to \mathcal{D}$ given by a continuous functor $u : \mathcal{D} \to \mathcal{C}$ such that

$\mathcal{D}$ has equalizers and fibre products and $u$ commutes with them,

$\mathcal{B}$ is a full subcategory of $\mathcal{D}$ and $u : \mathcal{B} \to \mathcal{C}$ is the restriction of $u$,

every object of $\mathcal{D}$ has a covering whose members are objects of $\mathcal{B}$,

all negative self-exts of $E_ U$ in $D(\mathcal{O}_{u(U)})$ are zero, and

there exist weak Serre subcategories $\mathcal{A}_ U \subset \textit{Mod}(\mathcal{O}_ U)$ for all $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ satisfying conditions (1), (2), and (3),

$E_ U \in D_{\mathcal{A}_ U}(\mathcal{O}_ U)$.

Then there exists a solution unique up to unique isomorphism.

## Comments (0)

There are also: