The Stacks project

Remark 50.23.1. Let $X \to S$ be a morphism of schemes. Let $f_1, \ldots , f_ c \in \Gamma (X, \mathcal{O}_ X)$. Let $Z \subset X$ be the closed subscheme cut out by $f_1, \ldots , f_ c$. Below we will study the gysin map

defined as follows. Given a local section $\omega$ of $\Omega ^ p_{Z/S}$ which is the restriction of a section $\tilde\omega$ of $\Omega ^ p_{X/S}$ we set

where $c_{f_1, \ldots , f_ c} : \Omega ^ p_{X/S} \otimes \mathcal{O}_ Z \to \mathcal{H}_ Z^ c(\Omega ^ p_{X/S})$ is the map constructed in Derived Categories of Schemes, Remark 36.6.10. This is well defined: given $\omega$ we can change our choice of $\tilde\omega$ by elements of the form $\sum f_ i \omega '_ i + \sum \text{d}(f_ i) \wedge \omega ''_ i$ which are mapped to zero by the construction.