## 85.14 Simplicial systems of the derived category: modules

In this section we are going to prove a special case of [Proposition 3.2.9, BBD] in the setting of derived categories of $\mathcal{O}$-modules. The (slightly) easier case of abelian sheaves is discussed in Section 85.13.

Definition 85.14.1. In Situation 85.3.3. Let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}_{total}$. A *simplicial system of the derived category of modules* consists of the following data

for every $n$ an object $K_ n$ of $D(\mathcal{O}_ n)$,

for every $\varphi : [m] \to [n]$ a map $K_\varphi : Lf_\varphi ^*K_ m \to K_ n$ in $D(\mathcal{O}_ n)$

subject to the condition that

\[ K_{\varphi \circ \psi } = K_\varphi \circ Lf_\varphi ^*K_\psi : Lf_{\varphi \circ \psi }^*K_ l = Lf_\varphi ^* Lf_\psi ^*K_ l \longrightarrow K_ n \]

for any morphisms $\varphi : [m] \to [n]$ and $\psi : [l] \to [m]$ of $\Delta $. We say the simplicial system is *cartesian* if the maps $K_\varphi $ are isomorphisms for all $\varphi $. Given two simplicial systems of the derived category there is an obvious notion of a *morphism of simplicial systems of the derived category of modules*.

We have given this notion a ridiculously long name intentionally. The goal is to show that a simplicial system of the derived category of modules comes from an object of $D(\mathcal{O})$ under certain hypotheses.

Lemma 85.14.2. In Situation 85.3.3 let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}_{total}$. If $K \in D(\mathcal{O})$ is an object, then $(K_ n, K(\varphi ))$ is a simplicial system of the derived category of modules. If $K$ is cartesian, so is the system.

**Proof.**
This is immediate from the definitions.
$\square$

Lemma 85.14.3. In Situation 85.3.3 let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}_{total}$. Suppose given $K_0 \in D(\mathcal{O}_0)$ and an isomorphism

\[ \alpha : L(f_{\delta _1^1})^*K_0 \longrightarrow L(f_{\delta _0^1})^*K_0 \]

satisfying the cocycle condition. Set $\tau ^ n_ i : [0] \to [n]$, $0 \mapsto i$ and set $K_ n = Lf_{\tau ^ n_ n}^*K_0$. The objects $K_ n$ form the members of a cartesian simplicial system of the derived category of modules.

**Proof.**
Please compare with Lemmas 85.13.3 and 85.12.4 and its proof (also to see the cocycle condition spelled out). The construction is analogous to the construction discussed in Descent, Section 35.3 from which we borrow the notation $\tau ^ n_ i : [0] \to [n]$, $0 \mapsto i$ and $\tau ^ n_{ij} : [1] \to [n]$, $0 \mapsto i$, $1 \mapsto j$. Given $\varphi : [n] \to [m]$ we define $K_\varphi : L(f_\varphi )^*K_ n \to K_ m$ using

\[ \xymatrix{ L(f_\varphi )^*K_ n \ar@{=}[r] & L(f_\varphi )^* L(f_{\tau ^ n_ n})^*K_0 \ar@{=}[r] & L(f_{\tau ^ m_{\varphi (n)}})^*K_0 \ar@{=}[r] & L(f_{\tau ^ m_{\varphi (n)m}})^* L(f_{\delta ^1_1})^*K_0 \ar[d]_{L(f_{\tau ^ m_{\varphi (n)m}})^*\alpha } \\ & K_ m \ar@{=}[r] & L(f_{\tau ^ m_ m})^*K_0 \ar@{=}[r] & L(f_{\tau ^ m_{\varphi (n)m}})^* L(f_{\delta ^1_0})^*K_0 } \]

We omit the verification that the cocycle condition implies the maps compose correctly (in their respective derived categories) and hence give rise to a simplicial systems of the derived category of modules.
$\square$

Lemma 85.14.4. In Situation 85.3.3 let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}_{total}$. Let $K$ be an object of $D(\mathcal{C}_{total})$. Set

\[ X_ n = (g_{n!}\mathcal{O}_ n) \otimes ^\mathbf {L}_\mathcal {O} K \quad \text{and}\quad Y_ n = (g_{n!}\mathcal{O}_ n \to \ldots \to g_{0!}\mathcal{O}_0)[-n] \otimes ^\mathbf {L}_\mathcal {O} K \]

as objects of $D(\mathcal{O})$ where the maps are as in Lemma 85.8.1. With the evident canonical maps $Y_ n \to X_ n$ and $Y_0 \to Y_1[1] \to Y_2[2] \to \ldots $ we have

the distinguished triangles $Y_ n \to X_ n \to Y_{n - 1} \to Y_ n[1]$ define a Postnikov system (Derived Categories, Definition 13.41.1) for $\ldots \to X_2 \to X_1 \to X_0$,

$K = \text{hocolim} Y_ n[n]$ in $D(\mathcal{O})$.

**Proof.**
First, if $K = \mathcal{O}$, then this is the construction of Derived Categories, Example 13.41.2 applied to the complex

\[ \ldots \to g_{2!}\mathcal{O}_2 \to g_{1!}\mathcal{O}_1 \to g_{0!}\mathcal{O}_0 \]

in $\textit{Ab}(\mathcal{C}_{total})$ combined with the fact that this complex represents $K = \mathcal{O}$ in $D(\mathcal{C}_{total})$ by Lemma 85.10.1. The general case follows from this, the fact that the exact functor $- \otimes ^\mathbf {L}_\mathcal {O} K$ sends Postnikov systems to Postnikov systems, and that $- \otimes ^\mathbf {L}_\mathcal {O} K$ commutes with homotopy colimits.
$\square$

Lemma 85.14.5. In Situation 85.3.3 let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}_{total}$. If $K, K' \in D(\mathcal{O})$. Assume

$f_\varphi ^{-1}\mathcal{O}_ n \to \mathcal{O}_ m$ is flat for $\varphi : [m] \to [n]$,

$K$ is cartesian,

$\mathop{\mathrm{Hom}}\nolimits (K_ i[i], K'_ i) = 0$ for $i > 0$, and

$\mathop{\mathrm{Hom}}\nolimits (K_ i[i + 1], K'_ i) = 0$ for $i \geq 0$.

Then any map $K \to K'$ which induces the zero map $K_0 \to K'_0$ is zero.

**Proof.**
The proof is exactly the same as the proof of Lemma 85.13.5 except using Lemma 85.14.4 instead of Lemma 85.13.4.
$\square$

Lemma 85.14.6. In Situation 85.3.3 let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}_{total}$. If $K, K' \in D(\mathcal{O})$. Assume

$f_\varphi ^{-1}\mathcal{O}_ n \to \mathcal{O}_ m$ is flat for $\varphi : [m] \to [n]$,

$K$ is cartesian,

$\mathop{\mathrm{Hom}}\nolimits (K_ i[i - 1], K'_ i) = 0$ for $i > 1$.

Then any map $\{ K_ n \to K'_ n\} $ between the associated simplicial systems of $K$ and $K'$ comes from a map $K \to K'$ in $D(\mathcal{O})$.

**Proof.**
The proof is exactly the same as the proof of Lemma 85.13.6 except using Lemma 85.14.4 instead of Lemma 85.13.4.
$\square$

Lemma 85.14.7. In Situation 85.3.3 let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}_{total}$. Let $(K_ n, K_\varphi )$ be a simplicial system of the derived category of modules. Assume

$f_\varphi ^{-1}\mathcal{O}_ n \to \mathcal{O}_ m$ is flat for $\varphi : [m] \to [n]$,

$(K_ n, K_\varphi )$ is cartesian,

$\mathop{\mathrm{Hom}}\nolimits (K_ i[t], K_ i) = 0$ for $i \geq 0$ and $t > 0$.

Then there exists a cartesian object $K$ of $D(\mathcal{O})$ whose associated simplicial system is isomorphic to $(K_ n, K_\varphi )$.

**Proof.**
The proof is exactly the same as the proof of Lemma 85.13.7 with the following changes

use $g_ n^* = Lg_ n^*$ everywhere instead of $g_ n^{-1}$,

use $f_\varphi ^* = Lf_\varphi ^*$ everywhere instead of $f_\varphi ^{-1}$,

refer to Lemma 85.10.1 instead of Lemma 85.8.1,

in the construction of $Y'_{m, n}$ use $\mathcal{O}_ m$ instead of $\mathbf{Z}$,

compare with the proof of Lemma 85.14.4 rather than the proof of Lemma 85.13.4.

This ends the proof.
$\square$

## Comments (0)