Lemma 45.3.6. Let $f : Y \to X$ be a morphism of smooth projective schemes over $k$. Let $[\Gamma _ f] \in \text{Corr}^0(X, Y)$ be as in Example 45.3.2. Then

pushforward of cycles by the correspondence $[\Gamma _ f]$ agrees with the gysin map $f^! : \mathop{\mathrm{CH}}\nolimits ^*(Y) \to \mathop{\mathrm{CH}}\nolimits ^*(X)$,

pullback of cycles by the correspondence $[\Gamma _ f]$ agrees with the pushforward map $f_* : \mathop{\mathrm{CH}}\nolimits _*(Y) \to \mathop{\mathrm{CH}}\nolimits _*(X)$,

if $X$ and $Y$ are equidimensional of dimensions $d$ and $e$, then

## Comments (1)

Comment #5929 by Bjorn Poonen on