Evaluation is surjective as a sheaf morphism: near , any prescribed value is supplied by a constant holomorphic function. We therefore have a short exact sequence of sheaves
where is the point ideal sheaf and the sheaf of holomorphic functions. By part (c), the skyscraper sheaf is flasque, so and for .
On the connected compact elliptic curve, the maximum modulus principle makes every global holomorphic function constant. Consequently , and evaluation on global sections is an isomorphism. Also : by Serre duality for compact complex manifolds, its dual is , generated by the nowhere-zero form descended from . Higher cohomology of vanishes by the Dolbeault theorem in complex dimension one.
The long exact sequence in sheaf cohomology thus begins
It follows that

Articles by others on the same topic (0)

There are currently no matching articles.