Lemma 82.8.3. In Situation 82.2.1 let $f : X \to Y$ be a proper morphism of good algebraic spaces over $B$.
Let $Z \subset X$ be a closed subspace with $\dim _\delta (Z) \leq k$. Then
\[ f_*[Z]_ k = [f_*{\mathcal O}_ Z]_ k. \]
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 69.20.2.
Proof.
Part (1) follows from (2) and Lemma 82.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 69.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 67.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 67.16.3 and the fact that $|f|$ is closed) and proper (follows from Morphisms of Spaces, Lemmas 67.40.3, 67.40.5, and 67.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 82.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 82.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 82.4.5). By Spaces over Fields, Lemma 72.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 66.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$
Comments (0)