On a proper scheme over a field, the Euler characteristic of a coherent sheaf is . The sum is finite by Grothendieck vanishing, and long exact sequences in sheaf cohomology make it additive in short exact sequences of sheaves.
For a Cartier divisor on an -dimensional projective scheme, is a polynomial in whose leading term is . The intersection product uses the fundamental cycle, with the generic multiplicity of each component. Thus the statement also applies to nonreduced schemes.
Articles by others on the same topic
There are currently no matching articles.