Lemma 42.52.5. Let $(S, \delta )$ be as in Situation 42.7.1. Let $X$ be locally of finite type over $S$. Let $Z \to X$ be a closed immersion. Let

be a distinguished triangle of perfect objects in $D(\mathcal{O}_ X)$. Assume

the restrictions $E_1|_{X \setminus Z}$ and $E_3|_{X \setminus Z}$ are zero, and

at least one of the following is true: (a) $X$ is quasi-compact, (b) $X$ has quasi-compact irreducible components, (c) $E_3 \to E_1[1]$ can be represented by a map of locally bounded complexes of finite locally free $\mathcal{O}_ X$-modules, or (d) there exists an envelope $f : Y \to X$ such that $Lf^*E_3 \to Lf^*E_1[1]$ can be represented by a map of locally bounded complexes of finite locally free $\mathcal{O}_ Y$-modules.

Then we have

for all $p \in \mathbf{Z}$ and consequently $ch(Z \to X, E_2) = ch(Z \to X, E_1) + ch(Z \to X, E_3)$.

## Comments (0)