The Stacks project

Example 108.4.10 (Coherent sheaves with fixed Hilbert polynomial). Let $f : X \to B$ be as in the introduction to this section. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Let $P : \mathbf{Z} \to \mathbf{Z}$ be a numerical polynomial. Then we can consider the open and closed algebraic substack

\[ \mathcal{C}\! \mathit{oh}^ P_{X/B} = \mathcal{C}\! \mathit{oh}^{P, \mathcal{L}}_{X/B} \subset \mathcal{C}\! \mathit{oh}_{X/B} \]

consisting of flat families of coherent sheaves with proper support whose numerical invariants agree with $P$: an object $(T \to B, \mathcal{F})$ of $\mathcal{C}\! \mathit{oh}_{X/B}$ lies in $\mathcal{C}\! \mathit{oh}^ P_{X/B}$ if and only if

\[ P(n) = \chi (X_ t, \mathcal{F}_ t \otimes _{\mathcal{O}_{X_ t}} \mathcal{L}_ t^{\otimes n}) \]

for all $n \in \mathbf{Z}$ and $t \in T$. Of course this is a special case of Situation 108.4.7 where $I = \mathbf{Z} \to D(\mathcal{O}_ X)$ is given by $n \mapsto \mathcal{L}^{\otimes n}$. It follows from Lemma 108.4.9 that this is an open and closed substack. Since the functions $n \mapsto \chi (X_ t, \mathcal{F}_ t \otimes _{\mathcal{O}_{X_ t}} \mathcal{L}_ t^{\otimes n})$ are always numerical polynomials (Spaces over Fields, Lemma 72.18.1) we conclude that

\[ \mathcal{C}\! \mathit{oh}_{X/B} = \coprod \nolimits _{P\text{ numerical polynomial}} \mathcal{C}\! \mathit{oh}^ P_{X/B} \]

is a disjoint union decomposition.


Comments (2)


Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0DNF. Beware of the difference between the letter 'O' and the digit '0'.