Skip to main content
1 of 4
Sean Tilson
  • 3.7k
  • 1
  • 39
  • 40

How should a homotopy theorist think about sheaf cohomology?

As a student of homotopy theory or algebraic topology, I have a certain outlook as to how one ought to think of a cohomology theory. There are axioms that help us with rudimentary computations, there are some spectral sequences and then there is Brown representability. This is far away from the starting point of looking at the singular (co)chain complex or a simplicial complex and trying to compute its homology, it seems a bit more refined. Even the ring structure is a bit clearer, it comes from the fact that we are mapping into a ring object.

There are more and more instances where i feel like i would benefit from understanding a bit more of sheaf cohomology than just "it's the derived functor of the global sections functor of a sheaf." This is a tidge helpful, but it does not really help too much with computations from my point of view. It feels like resolutions of sheaves are large hard objects mostly because sheaves contain so much data.

My question is essentially the following:

  1. Are there homotopy theorists out there who have over come these feelings? what advice do you have?

  2. Are there things resembling the Eilenberg-Steenrod axioms for sheaf cohomology? not directly due to their classification theorem, but things that help you to compute the Sheaf cohomology like a MVS sequence or what have you.

  3. Is there a book that goes through explicit toy computations of sheaf cohomology? Are there toy examples you would suggest for getting to be more comfortable with these things?

thanks for your time

Sean Tilson
  • 3.7k
  • 1
  • 39
  • 40