Remark 50.23.7. Let $X \to S$, $i : Z \to X$, and $c \geq 0$ be as in Lemma 50.23.3. Let $p \geq 0$ and assume that $\mathcal{H}^ i_ Z(\Omega ^{p + c}_{X/S}) = 0$ for $i = 0, \ldots , c - 1$. This vanishing holds if $X \to S$ is smooth and $Z \to X$ is a Koszul regular immersion, see Derived Categories of Schemes, Lemma 36.6.9. Then we obtain a map

by first using $\gamma ^ p : \Omega ^ p_{Z/S} \to \mathcal{H}^ c_ Z(\Omega ^{p + c}_{X/S})$ to map into

and then using the adjunction map $i_*R\mathcal{H}_ Z(\Omega ^{p + c}_{X/S}) \to \Omega ^{p + c}_{X/S}$ to continue on to the desired Hodge cohomology module.

## Comments (0)