Skip to main content
2 of 2
added 338 characters in body
Rex
  • 1.6k
  • 11
  • 24

Hilbert Polynomial using non ample line bundles

In his book on abelian varieties, in the Appendix to section 6, Mumford says that if $X$ is any complete variety, $F$ is a coherent sheaf and $L$ an invertible sheaf, then the function defined as $$P(F,L,n)=\chi(F\otimes L^n)$$ is a polynomial in $n$. This is an exercise in Hartshorne, Chapter 3, 5.2, for a very ample line bundle.

I can see why the above is true for $L$ a very ample line bundle. In fact the argument is by induction on the dimension of the support of $F$. We write a short exact sequence

$$0\to R(n)\to F(n-1)\to F(n)\to F\vert_H(n)\to 0$$ Note that $R$ is supported on a proper subvariety of $X$ since at the generic point $F(-1)=F$. Taking Euler characteristic, we get the result.

The above proof does not work in the ample case since an ample line bundle may not have any global sections (what is an example of this??).

How does one prove the result in the general case?

Rex
  • 1.6k
  • 11
  • 24