Lemma 43.6.1.reference Suppose that $f : X \to Y$ is a proper morphism of varieties. Let $\mathcal{F}$ be a coherent sheaf with $\dim (\text{Supp}(\mathcal{F})) \leq k$, then $f_*[\mathcal{F}]_ k = [f_*\mathcal{F}]_ k$. In particular, if $Z \subset X$ is a closed subscheme of dimension $\leq k$, then $f_*[Z]_ k = [f_*\mathcal{O}_ Z]_ k$.
43.6 Proper pushforward
Suppose that $f : X \to Y$ is a proper morphism of varieties. Let $Z \subset X$ be a $k$-dimensional closed subvariety. We define $f_*[Z]$ to be $0$ if $\dim (f(Z)) < k$ and $d \cdot [f(Z)]$ if $\dim (f(Z)) = k$ where
\[ d = [\mathbf{C}(Z) : \mathbf{C}(f(Z))] = \deg (Z/f(Z)) \]
is the degree of the dominant morphism $Z \to f(Z)$, see Morphisms, Definition 29.51.8. Let $\alpha = \sum n_ i [Z_ i]$ be a $k$-cycle on $X$. The pushforward of $\alpha $ is the sum $f_* \alpha = \sum n_ i f_*[Z_ i]$ where each $f_*[Z_ i]$ is defined as above. This defines a homomorphism
\[ f_* : Z_ k(X) \longrightarrow Z_ k(Y) \]
See Chow Homology, Section 42.12.
Proof. See Chow Homology, Lemma 42.12.4. $\square$
Lemma 43.6.2. Let $f : X \to Y$ and $g : Y \to Z$ be proper morphisms of varieties. Then $g_* \circ f_* = (g \circ f)_*$ as maps $Z_ k(X) \to Z_ k(Z)$.
Proof. Special case of Chow Homology, Lemma 42.12.2. $\square$
Comments (6)
Comment #3838 by Yuxuan on
Comment #3932 by Johan on
Comment #4427 by awllower on
Comment #4509 by Johan on
Comment #5520 by Steve Kudla on
Comment #5713 by Johan on