The Stacks project

Definition 42.29.1. Let $(S, \delta )$ be as in Situation 42.7.1. Let $X$ be locally of finite type over $S$. Let $(\mathcal{L}, s)$ be a pair consisting of an invertible sheaf and a global section $s \in \Gamma (X, \mathcal{L})$. Let $D = Z(s)$ be the zero scheme of $s$, and denote $i : D \to X$ the closed immersion. We define, for every integer $k$, a Gysin homomorphism

by the following rules:

1. Given a integral closed subscheme $W \subset X$ with $\dim _\delta (W) = k + 1$ we define

   1. if $W \not\subset D$, then $i^*[W] = [D \cap W]_ k$ as a $k$-cycle on $D$, and

   2. if $W \subset D$, then $i^*[W] = i'_*(c_1(\mathcal{L}|_ W) \cap [W])$, where $i' : W \to D$ is the induced closed immersion.

2. For a general $(k + 1)$-cycle $\alpha = \sum n_ j[W_ j]$ we set

   $$i^*\alpha = \sum n_ j i^*[W_ j]$$

3. If $D$ is an effective Cartier divisor, then we denote $D \cdot \alpha = i_*i^*\alpha$ the pushforward of the class $i^*\alpha$ to a class on $X$.