Lemma 43.6.1. Suppose that f : X \to Y is a proper morphism of varieties. Let \mathcal{F} be a coherent sheaf with \dim (\text{Supp}(\mathcal{F})) \leq k, then f_*[\mathcal{F}]_ k = [f_*\mathcal{F}]_ k. In particular, if Z \subset X is a closed subscheme of dimension \leq k, then f_*[Z]_ k = [f_*\mathcal{O}_ Z]_ k.
Comments (0)
There are also: