Spectral sequence
A sequence of differential modules, each of which is the homology module of the preceding one. One usually studies spectral sequences of bigraded (less often graded or trigraded) modules, which are represented graphically in the form of tables in the plane superimposed on one another. More generally one can study spectral sequences of objects of an arbitrary Abelian category (e.g., bimodules, rings, algebras, co-algebras, Hopf algebras, etc.).
All known spectral sequences can be obtained from exact couples. An exact couple is defined as an exact diagram of the form
![]() |
The homomorphism is a differential in
. From any exact couple one can construct the derived exact couple
, for which
and
. By iterating this construction one obtains the spectral sequence
.
1) The Leray spectral sequence. A filtered chain complex of modules determines an exact couple of bigraded modules
,
. In the associated spectral sequence, the bidegree of the differential
is equal to
, and
![]() |
![]() |
The modules form a filtration of
. The bigraded module
![]() |
![]() |
is called the associated graded module of . The filtration
is called regular if
when
,
when
and
. For a regular filtration,
when
or
; such a spectral sequence is called a first-quadrant spectral sequence. Moreover,
when
. In this case one says that the spectral sequence converges to
, and writes
.
2) The Leray–Serre spectral sequence is a special case of the Leray spectral sequence above arising from a chain (or cochain) complex of a filtered topological space. E.g., the filtration of a CW-complex by its skeletons gives the collapsing spectral sequence
, for which
when
and
. The Leray–Serre spectral sequence is obtained from the filtration of the total space
of the Serre fibration
by the pre-images
of the skeletons
of the base
. If the fibre
and base
are path-connected, then for every coefficient group
this gives the spectral sequence
with differentials
of bidegree
for which
![]() |
where is a system of local coefficients over
consisting of the groups
. The homomorphism
coincides with the composite
![]() |
and the homomorphism coincides with the composite
![]() |
where is sufficiently large. The differential
of the spectral sequence coincides with the transgression
.
This homology Leray–Serre spectral sequence is dual to the cohomology Leray–Serre spectral sequence , with differentials
of bidegree
, for which
. If
is a ring, then every term
is a bigraded ring,
is differentiation in
, and the multiplication in
is induced by that in
. If
is a field and the base
is simply connected, then
.
3) The Atiyah–Hirzebruch (–Whitehead) spectral sequence is obtained by applying the generalized (co)homology functor (
) to the same filtration of the space
. In its cohomological version,
,
. In contrast to the Leray–Serre spectral sequence, the Atiyah–Hirzebruch spectral sequence for the trivial fibration
is in general non-collapsing.
4) An Eilenberg–Moore spectral sequence is associated with any square of fibrations
![]() |
In its cohomological version,
![]() |
![]() |
If is a field and the square consists of
-spaces and
-mappings, then this is a spectral sequence in the category of bigraded Hopf algebras.
5) The Adams spectral sequence is defined for every prime
and all spaces
and
(satisfying certain finiteness conditions). One has
![]() |
where is the Steenrod algebra modulo
. The bidegree of
is equal to
. This spectral sequence converges in the sense that, when
, there is a monomorphism
, and so the group
is defined. There is a decreasing filtration
of the group
of stable homotopy classes of mappings
such that
![]() |
and consists of all elements of
of finite order prime with
. When
, this spectral sequence enables one "in principle" to calculate the
-components of the stable homotopy groups of spheres. The Adams spectral sequence has been generalized by A.S. Mishchenko and S.P. Novikov to arbitrary generalized cohomology theories. There are also extensions of the Adams spectral sequence that converge to non-stable homotopy groups.
References
[1] | R.E. Mosher, M.C. Tangora, "Cohomology operations and applications in homotopy theory" , Harper & Row (1968) |
[2] | D.B. Fuks, A.T. Fomenko, V.L. Gutenmakher, "Homotopic topology" , Moscow (1969) (In Russian) |
[3] | J.-P. Serre, "Homologie singulière des espaces fibrés. Applications" Ann. of Math. , 54 (1951) pp. 425–505 |
[4] | S. MacLane, "Homology" , Springer (1963) |
[5] | H. Cartan, S. Eilenberg, "Homological algebra" , Princeton Univ. Press (1956) |
[6] | E.H. Spanier, "Algebraic topology" , McGraw-Hill (1966) |
[7] | S.-T. Hu, "Homotopy theory" , Acad. Press (1959) |
[8] | R. Godement, "Topologie algébrique et théorie des faisceaux" , Hermann (1958) |
[9] | S.P. Novikov, "The methods of algebraic topology from the viewpoint of cobordism theory" Math. USSR Izv. , 31 (1967) pp. 827–913 Izv. Akad. Nauk. SSSR Ser. Mat. , 31 (1967) pp. 855–951 |
[10] | J.F. Adams, "Stable homotopy and generalised homology" , Univ. Chicago Press (1974) |
[11] | R.M. Switzer, "Algebraic topology - homotopy and homology" , Springer (1975) |
[12] | L. Smith, "Lectures on the Eilenberg–Moore spectral sequence" , Lect. notes in math. , 134 , Springer (1970) |
[13] | D.C. Ravenel, "A novices guide to the Adams–Novikov spectral sequence" , Geometric Applications of Homotopy Theory , 2 , Springer (1978) pp. 404–475 |
Comments
Let ,
be a spectral sequence, so that
is the homology of
. A spectral sequence defines a series of modules of the initial term
, defined inductively as follows:
![]() |
![]() |
with , and
is the kernel of
, while
is the image of
. One now defines the infinity terms:
![]() |
The terms are thought of as successive approximations of
. If
is a spectral sequence of bigraded modules
,
, all the
,
,
,
,
also carry corresponding natural bigraded structures.
Sometimes there is an initial term , and then the same construction is carried out with
instead of
.
For a first-quadrant spectral sequence, i.e. for
or
, for given
and large enough
one has that in
![]() |
both the outside modules are zero, so that for
large enough.
For a first-quadrant spectral sequence one also always has that is a submodule of
, and
is a quotient of
, giving rise to sequences of monomorphisms and epimorphisms:
![]() |
![]() |
which are known as the edge homomorphisms.
Let be a filtration of a module
by submodules
![]() |
with associated graded module :
![]() |
A spectral sequence is said to converge to a graded module
, in symbols
![]() |
if there is a filtration of
such that
![]() | (*) |
In the usual cases the and
are graded, and then both the filtration and the isomorphism (*) are to be compatible with the grading.
Spectral sequence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Spectral_sequence&oldid=49434