The Stacks project

Proof. Suppose that $p$ has the property that for every integral closed subspace $W \subset X$ the map $p|_ W : W \to Y$ is a closed immersion. Then, by definition of capping with $c_1(\mathcal{L})$ the lemma holds.

We will use this remark to reduce to a special case. Namely, write $\alpha = \sum n_ i[W_ i]$ with $n_ i \not= 0$ and $W_ i$ pairwise distinct. Let $W'_ i \subset Y$ be the “image” of $W_ i$ as in Lemma 82.7.1. Consider the diagram

Since $\{ W_ i\} $ is locally finite on $X$, and $p$ is proper we see that $\{ W'_ i\} $ is locally finite on $Y$ and that $q, q', p'$ are also proper morphisms. We may think of $\sum n_ i[W_ i]$ also as a $k$-cycle $\alpha ' \in Z_ k(X')$. Clearly $q_*\alpha ' = \alpha $. We have $q_*(c_1(q^*p^*\mathcal{L}) \cap \alpha ') = c_1(p^*\mathcal{L}) \cap q_*\alpha '$ and $(q')_*(c_1((q')^*\mathcal{L}) \cap p'_*\alpha ') = c_1(\mathcal{L}) \cap q'_*p'_*\alpha '$ by the initial remark of the proof. Hence it suffices to prove the lemma for the morphism $p'$ and the cycle $\sum n_ i[W_ i]$. Clearly, this means we may assume $X$, $Y$ integral, $f : X \to Y$ dominant and $\alpha = [X]$. In this case the result follows from Lemma 82.19.3. $\square$