# Cech Cohomology

Having established the basic foundations of sheaf cohomology, Ogus preceeded to prove the following:

- For a topological space and a flasque sheaf , the higher cohomology vanishes: .
- For , an and module, I have .

There was some face collecting along the way, for example proving that for a ringed space , injective modules are flasque. The proof is the same as in Hartshorne, basically use the property of injective objects to dualize an injection to give the required surjective property of flasque sheaves. Also in a s.e.s , if the first is flasque then the global sections functor preserves exactness (ex. II.2.16).

The following result is more general than what is found in Hartshorne, but the proof uses the same ideas (the long exact sequence of cohomology and induction)

Thm: Let by an abelian category with enough injectives. Let be an additive left exact functor. Let such any object of injects into an object of , if is a s.e.s. with the first two in then so is the third, and still s.e.s. Then , i.e. is a class of F-acyclic objects.

———————————————–

This theorem gives 1. Also it gives 2 when is noetherian (with noetherian hypothesis can prove if is injective A-module, then is flasque).

After this Ogus started Cech Cohomology, his development was not remarkably different except for his discussion of as classifying certain torsors trivialized on .

But here’s a fun fact, in Cech cohomology, for the cover , if there is some , then (Thm) all the higher cohomology vanishes for all sheafs of abel. groups E.

proof: Fix it so that . Simply show the complex

Is homotopically trivial, that is, the identity is homotopic to the zero map. It suffices to produce maps and such that . Represent as . Then

Note that , so this is a well defined map. And its not hard to check (but a bit of a notational nightmare to write down, so I wont) that indeed .

QED

Its easy to see that gives the global sections. For there is the statement about torsors, and in addition to the result above, here are two more results on Cech Cohomology:

- The natural map is a quasi iso. This says that (i.e. sheaf version) is exact on stalks in positive degree. The sheaf version is defined as follows: , get , i.e. .
- There are natural maps which are isos for all q if are -acyclic or is flasque.

Thm: For a ringed space , let be a basis which is closed under finite intersections. Suppose all are quasi compact. Let be a sheaf. If for all and for all finite coverings of , the higher Cech cohomology vanishes, then the higher sheaf cohomology vanishes. That is, then .

proof: Let . Then by the first thm above it suffices to check

- Any object injects into an object in
- s.e.s, first two in , then so is third
- global sections exact on

All the assumptions of the thm remain true if we restrict to , so can reduce to the case . Injective sheaves are flasque, and flasque sheaves are in , so this takes care of 1. For 3, in fact it suffices that because in this case the long exact sequence of sheaf cohomology says there is a surjection . In light of 3, there is an exact sequence of complexes

and general theory says this gives rise to an exact sequence of Cech cohomology groups, then the vanishing of the higher cohomology groups for show they also vanish for . This is should do it.

QED

From this theorem has the following corollary (Note, no Noetherian hypothesis!)

Thm: Let by affine and qcoh, then .

proof: Let by the basis consisting of distinguished affines. Then by the previous result it suffices to show the higher Cech cohomology vanishes for any finite distinguished affine cover. For such a cover write (note the underline means sheaf version)

where and is the natural inclusion, as this is an affine morphism it is in particular quasi separated and quasi compact so a previous result of sheaves of modules says is still qcoh. By one of the bullet points above, the sheaf version the Cech complex is a resolution of , i.e. there is a quasi iso

But this is a resolution of finite direct sums of qcoh sheaves, and finite direct sums preserve qcoh, hence applying global sections preserves exactness, but this says exactly that the higher Cech cohomology of E for this covering vanishes.

QED

Yup.

## About this entry

You’re currently reading “Cech Cohomology,” an entry on Math Meandering

- Published:
- July 20, 2009 / 3:31 pm

- Category:
- alg. geo., Ogus Excerpts, Ogus/Hartshorne/Miranda

- Tags:

## No comments yet

Jump to comment form | comment rss [?] | trackback uri [?]