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 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 theorem in generalized cohomology ⓘ
linked to: Künneth formula

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 → homological Atiyah–Hirzebruch spectral sequence ⓘ
linked to: Atiyah–Hirzebruch spectral sequence