Harman Patil (Editor)

Godement resolution

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

The Godement resolution of a sheaf is a construction in homological algebra which allows one to view global, cohomological information about the sheaf in terms of local information coming from its stalks. It is useful for computing sheaf cohomology. It was discovered by Roger Godement.

Godement construction

Given a topological space X (more generally, a topos X with enough points), and a sheaf F on X, the Godement construction for F gives a sheaf Gode ( F ) constructed as follows. For each point x X , let F x denote the stalk of F at x. Given an open set U X , define

Gode ( F ) ( U ) := x U F x .

An open subset U V clearly induces a restriction map Gode ( F ) ( V ) Gode ( F ) ( U ) , so Gode ( F ) is a presheaf. One checks the sheaf axiom easily. One also proves easily that Gode ( F ) is flabby, meaning each restriction map is surjective. The Map Gode can be turned into a functor because a map between two sheaves induces maps between their stalks. Finally, there is a canonical map of sheaves F Gode ( F ) which sends each section to the product of its germs. This canonical map is a natural transformation between the identity functor and Gode .

Another way to view Gode is as follows. Let X disc be the set X with the discrete topology. Let p : X disc X be the continuous map induced by the identity. It induces adjoint direct and inverse image functors p and p 1 . Then Gode = p p 1 , and the unit of this adjunction is the natural transformation described above.

Because of this adjunction, there is an associated monad on the category of sheaves on X. Using this monad there is a way to turn a sheaf F into a coaugmented cosimplicial sheaf. This coaugmented cosimplicial sheaf gives rise to an augmented cochain complex which is defined to be the Godement resolution of F.

In more down-to-earth terms, let G 0 ( F ) = Gode ( F ) , and let d 0 : F G 0 ( F ) denote the canonical map. For each i > 0 , let G i ( F ) denote Gode ( coker ( d i 1 ) ) , and let d i : G i 1 G i denote the canonical map. The resulting resolution is a flabby resolution of F, and its cohomology is the sheaf cohomology of F.

References

Godement resolution Wikipedia


Similar Topics