Spectral Sequences - Examples and Constructions
Classical spectral sequences appear throughout mathematics with wide-ranging applications.
For a fibration with simply connected and field coefficients :
This computes cohomology of the total space from the base and fiber.
For a continuous map and sheaf on :
This relates sheaf cohomology on to derived push-forward on .
For composable functors and , if sends injectives to -acyclic objects:
This computes derived functors of compositions.
For a group extension and -module :
This is the Grothendieck spectral sequence specialized to group cohomology.
For a complex of sheaves on :
Computed via the Δech-to-derived spectral sequence:
For a pullback square of spaces, the Eilenberg-Moore spectral sequence computes cohomology of the pullback from Tor groups:
Spectral sequences provide a systematic framework for iterative computation, allowing us to build up global information from local data through successive approximations.