Hostname: page-component-586b7cd67f-dsjbd Total loading time: 0 Render date: 2024-11-29T18:58:56.671Z Has data issue: false hasContentIssue false

A proof of the comparison theorem for spectral sequences

Published online by Cambridge University Press:  24 October 2008

E. C. Zeeman
Affiliation:
Gonville and Caius CollegeCambridge

Extract

The comparison theorem is an algebraic theorem, which corresponds to the following topological situation. A map between two fibre spaces induces a homomorphism between the two corresponding spectral sequences relating the homologies of the base, fibre and fibre space; if the map induces an isomorphism on any two of these quantities, then it also does on the third. J. C. Moore (l) proved the theorem using a mapping cylinder, which requires that the spectral sequences arise from filtered differential groups. The present proof assumes only the existence of the spectral sequences from the E2 terms onwards. Moreover, we generalize the theorem, assuming that the homomorphisms on the two given quantities are isomorphic only up to given dimensions, and deducing the same for the third quantity. For algebraic translucence we use a simpler hypothesis (property (iii)) than Moore's concerning the E2 terms. However, if his hypothesis is assumed, together with the existence of E1 terms, then his theorem can be deduced as a corollary. The analogous result for cohomology is similar, and is stated at the end.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1957

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

(1)Moore, J. C. Algèbres d'eilenberg-MacLane et homotopie; Séminaire de H. Cartan de l'E.N.S. VII exposé ii. (Paris, 19541955).Google Scholar
(2)Leray, J.L'anneau spectral et 1'anneau filtré d'homologie d'un espace localement compact d'une application continue. J. Math. pures appl. 29 (1950), 1139.Google Scholar