Proof.
Part (1) follows from part (2) by Lemma 82.6.3 and the fact that $f^*\mathcal{O}_ Z = \mathcal{O}_{f^{-1}(Z)}$.
Proof of (2). As $X$, $Y$ are locally Noetherian we may apply Cohomology of Spaces, Lemma 69.12.2 to see that $\mathcal{F}$ is of finite type, hence $f^*\mathcal{F}$ is of finite type (Modules on Sites, Lemma 18.23.4), hence $f^*\mathcal{F}$ is coherent (Cohomology of Spaces, Lemma 69.12.2 again). Thus the lemma makes sense. Let $W \subset Y$ be an integral closed subspace of $\delta $-dimension $k$, and let $W' \subset X$ be an integral closed subspace of dimension $k + r$ mapping into $W$ under $f$. We have to show that the coefficient $n$ of $[W']$ in $f^*[{\mathcal F}]_ k$ agrees with the coefficient $m$ of $[W']$ in $[f^*{\mathcal F}]_{k+r}$. We may choose a commutative diagram
\[ \xymatrix{ U \ar[d] \ar[r] & V \ar[d] \\ X \ar[r] & Y } \]
where $U, V$ are schemes, the vertical arrows are étale, and there exist points $u \in U$, $v \in V$ such that $u \mapsto v$ and such that $u, v$ map to the generic points of $W', W$. (Details omitted.) Consider the stalk $M = (\mathcal{F}|_ V)_ v$ as an $\mathcal{O}_{V, v}$-module. (Note that $M$ has finite length by our dimension assumptions, but we actually do not need to verify this. See Lemma 82.4.4.) We have $(f^*\mathcal{F}|_ U)_ u = \mathcal{O}_{U, u} \otimes _{\mathcal{O}_{V, v}} M$. Thus we see that
\[ n = \text{length}_{\mathcal{O}_{U, u}} (\mathcal{O}_{U, u} \otimes _{\mathcal{O}_{V, v}} M) \quad \text{and} \quad m = \text{length}_{\mathcal{O}_{V, v}}(M) \text{length}_{\mathcal{O}_{V, v}}( \mathcal{O}_{U, u}/\mathfrak m_ v \mathcal{O}_{U, u}) \]
Thus the equality follows from Algebra, Lemma 10.52.13.
$\square$
Comments (0)