Definition 81.22.1. In Situation 81.2.1 let $X/B$ be good. 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 vanishing locus of $s$, and denote $i : D \to X$ the closed immersion. We define, for every integer $k$, a (refined) *Gysin homomorphism*

by the following rules:

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

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

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.

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

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

## Comments (0)