Atiyah–Hirzebruch spectral sequence

E255575

The Atiyah–Hirzebruch spectral sequence is a fundamental computational tool in algebraic topology that relates generalized cohomology theories, such as K-theory, to ordinary cohomology, enabling the step-by-step calculation of these invariants from simpler data.

All labels observed (2)

How this entity was disambiguated

Statements (48)

Predicate Object
instanceOf mathematical object
spectral sequence
tool in algebraic topology
appliesTo generalized cohomology theory
topological space
assumes generalized cohomology theory satisfying Eilenberg–Steenrod-type axioms (except dimension)
computes graded groups associated to a filtration of generalized cohomology
constructionMethod filtration of a space by skeleta
context generalized (extraordinary) cohomology
convergesTo generalized cohomology of the space
differentials d_r maps of bidegree (r,1−r) in cohomological grading
E2Page ordinary cohomology with coefficients in the generalized cohomology of a point
field algebraic topology
firstPageOften E_2-page
generalizes cellular spectral sequence
hasVariant Atiyah–Hirzebruch spectral sequence self-linksurface differs
surface form: homological Atiyah–Hirzebruch spectral sequence
input ordinary cohomology of a space with coefficients in the generalized cohomology of a point
introducedBy Friedrich Hirzebruch
Michael Atiyah
limitation differentials can be difficult to compute explicitly
extension problems may remain after determining E_infinity-page
namedAfter Friedrich Hirzebruch
Michael Atiyah
output generalized cohomology of the space
pageIndexNotation E_r^{p,q}
purpose to compute generalized cohomology theories from ordinary cohomology
relatedConcept Brown representability theorem
CW-complex filtration
Künneth formula
surface form: Künneth theorem in generalized cohomology

cellular chain complex
relates generalized cohomology theories
ordinary cohomology
requires CW-complex structure or suitable filtration
specialCaseOf spectral sequence associated to a filtered spectrum
type cohomological spectral sequence
usedFor computing cobordism theories
computing complex K-theory
computing extraordinary cohomology theories
computing real K-theory
computing topological K-theory
usedIn computation of K-theory of complex projective varieties
computation of K-theory of projective spaces
computation of K-theory of spheres
index theory
stable homotopy theory
study of Postnikov towers of spectra
study of characteristic classes
yearIntroducedApprox 1959

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Michael Atiyah knownFor Atiyah–Hirzebruch spectral sequence
Atiyah–Hirzebruch spectral sequence hasVariant Atiyah–Hirzebruch spectral sequence self-linksurface differs
this entity surface form: homological Atiyah–Hirzebruch spectral sequence