If is the Hilbert polynomial of a pure -dimensional closed subscheme, thenEquivalently, if , the degree of a projective scheme isA generic complementary linear subspace meets in a nonempty zero-dimensional scheme whose length is this number. It is therefore a positive integer.
Let be the normal bundle, of rank . Since is trivial, its exact sequence and the Euler-sequence calculation giveIf , put , so . Since exceeds the rank of , , yet the formula givesIntersecting with and integrating over givescontradicting positivity of the degree. Hence .
Now and has rank . Write , so the pushforward of the fundamental class isThe self-intersection formula and the calculation of giveOn the other hand, pulling back makes the left side . Integrating over givesSince , cancellation yields
Articles by others on the same topic
There are currently no matching articles.