Lemma 81.8.3. In Situation 81.2.1 let $f : X \to Y$ be a proper morphism of good algebraic spaces over $B$.

1. Let $Z \subset X$ be a closed subspace with $\dim _\delta (Z) \leq k$. Then

$f_*[Z]_ k = [f_*{\mathcal O}_ Z]_ k.$
2. Let $\mathcal{F}$ be a coherent sheaf on $X$ such that $\dim _\delta (\text{Supp}(\mathcal{F})) \leq k$. Then

$f_*[\mathcal{F}]_ k = [f_*{\mathcal F}]_ k.$

Note that the statement makes sense since $f_*\mathcal{F}$ and $f_*\mathcal{O}_ Z$ are coherent $\mathcal{O}_ Y$-modules by Cohomology of Spaces, Lemma 68.20.2.

Proof. Part (1) follows from (2) and Lemma 81.6.3. Let $\mathcal{F}$ be a coherent sheaf on $X$. Assume that $\dim _\delta (\text{Supp}(\mathcal{F})) \leq k$. By Cohomology of Spaces, Lemma 68.12.7 there exists a closed immersion $i : Z \to X$ and a coherent $\mathcal{O}_ Z$-module $\mathcal{G}$ such that $i_*\mathcal{G} \cong \mathcal{F}$ and such that the support of $\mathcal{F}$ is $Z$. Let $Z' \subset Y$ be the scheme theoretic image of $f|_ Z : Z \to Y$, see Morphisms of Spaces, Definition 66.16.2. Consider the commutative diagram

$\xymatrix{ Z \ar[r]_ i \ar[d]_{f|_ Z} & X \ar[d]^ f \\ Z' \ar[r]^{i'} & Y }$

of algebraic spaces over $B$. Observe that $f|_ Z$ is surjective (follows from Morphisms of Spaces, Lemma 66.16.3 and the fact that $|f|$ is closed) and proper (follows from Morphisms of Spaces, Lemmas 66.40.3, 66.40.5, and 66.40.6). We have $f_*\mathcal{F} = f_*i_*\mathcal{G} = i'_*(f|_ Z)_*\mathcal{G}$ by going around the diagram in two ways. Suppose we know the result holds for closed immersions and for $f|_ Z$. Then we see that

$f_*[\mathcal{F}]_ k = f_*i_*[\mathcal{G}]_ k = (i')_*(f|_ Z)_*[\mathcal{G}]_ k = (i')_*[(f|_ Z)_*\mathcal{G}]_ k = [(i')_*(f|_ Z)_*\mathcal{G}]_ k = [f_*\mathcal{F}]_ k$

as desired. The case of a closed immersion follows from Lemma 81.4.3 and the definitions. Thus we have reduced to the case where $\dim _\delta (X) \leq k$ and $f : X \to Y$ is proper and surjective.

Assume $\dim _\delta (X) \leq k$ and $f : X \to Y$ is proper and surjective. For every irreducible component $Z \subset Y$ with generic point $\eta$ there exists a point $\xi \in X$ such that $f(\xi ) = \eta$. Hence $\delta (\eta ) \leq \delta (\xi ) \leq k$. Thus we see that in the expressions

$f_*[\mathcal{F}]_ k = \sum n_ Z[Z], \quad \text{and} \quad [f_*\mathcal{F}]_ k = \sum m_ Z[Z].$

whenever $n_ Z \not= 0$, or $m_ Z \not= 0$ the integral closed subspace $Z$ is actually an irreducible component of $Y$ of $\delta$-dimension $k$ (see Lemma 81.4.5). Pick such an integral closed subspace $Z \subset Y$ and denote $\eta$ its generic point. Note that for any $\xi \in X$ with $f(\xi ) = \eta$ we have $\delta (\xi ) \geq k$ and hence $\xi$ is a generic point of an irreducible component of $X$ of $\delta$-dimension $k$ as well (see Lemma 81.4.5). By Spaces over Fields, Lemma 71.3.2 there exists an open subspace $\eta \in V \subset Y$ such that $f^{-1}(V) \to V$ is finite. Since $\eta$ is a generic point of an irreducible component of $|Y|$ we may assume $V$ is an affine scheme, see Properties of Spaces, Proposition 65.13.3. Replacing $Y$ by $V$ and $X$ by $f^{-1}(V)$ we reduce to the case where $Y$ is affine, and $f$ is finite. In particular $X$ and $Y$ are schemes and we reduce to the corresponding result for schemes, see Chow Homology, Lemma 42.12.4 (applied with $S = Y$). $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).