Definition 81.6.1. In Situation 81.2.1 let $X/B$ be good. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module.

For an integral closed subspace $Z \subset X$ with generic point $\xi $ such that $|Z|$ is an irreducible component of $\text{Supp}(\mathcal{F})$ the length of $\mathcal{F}$ at $\xi $ (Definition 81.4.2) is called the

*multiplicity of $Z$ in $\mathcal{F}$*. By Lemma 81.4.4 this is a positive integer.Assume $\dim _\delta (\text{Supp}(\mathcal{F})) \leq k$. The

*$k$-cycle associated to $\mathcal{F}$*is\[ [\mathcal{F}]_ k = \sum m_{Z, \mathcal{F}}[Z] \]where the sum is over the integral closed subspaces $Z \subset X$ corresponding to irreducible components of $\text{Supp}(\mathcal{F})$ of $\delta $-dimension $k$ and $m_{Z, \mathcal{F}}$ is the multiplicity of $Z$ in $\mathcal{F}$. This is a $k$-cycle by Spaces over Fields, Lemma 71.6.1.

## Comments (0)