|
|
|
|
proof of Riemann-Roch theorem
|
(Proof)
|
|
|
For a divisor , let be the associated line bundle. By Serre duality,
, so
, the Euler characteristic of . Now, let be a point of , and consider the divisors and . There is a natural injection
. This is an isomorphism anywhere away from , so the quotient
is a skyscraper sheaf supported at . Since skyscraper sheaves are flasque, they have trivial higher cohomology, and so
. Since Euler characteristics add along exact sequences (because of the long exact sequence in cohomology)
. Since
, we see that if Riemann-Roch holds for , it holds for , and vice-versa. Now, we need only confirm that the theorem holds for a single line bundle. is a line bundle of degree 0. and . Thus, Riemann-Roch
holds here, and thus for all line bundles.
|
"proof of Riemann-Roch theorem" is owned by bwebste.
|
|
(view preamble | get metadata)
Cross-references: degree, exact sequences, cohomology, sheaf, quotient, isomorphism, injection, point, Euler characteristic, Serre duality, line bundle, divisor
There is 1 reference to this entry.
This is version 3 of proof of Riemann-Roch theorem, born on 2003-08-15, modified 2007-04-08.
Object id is 4599, canonical name is ProofOfRiemannRochTheorem.
Accessed 3279 times total.
Classification:
| AMS MSC: | 14H99 (Algebraic geometry :: Curves :: Miscellaneous) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|