Serre spectral sequence
Encyclopedia
In mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...

, the Serre spectral sequence (sometimes Leray-Serre spectral sequence to acknowledge earlier work of Jean Leray
Jean Leray
Jean Leray was a French mathematician, who worked on both partial differential equations and algebraic topology....

 in the Leray spectral sequence
Leray spectral sequence
In mathematics, the Leray spectral sequence was a pioneering example in homological algebra, introduced in 1946 by Jean Leray. The formulation was of a spectral sequence, expressing the relationship holding in sheaf cohomology between two topological spaces X and Y, and set up by a continuous...

) is an important tool in algebraic topology
Algebraic topology
Algebraic topology is a branch of mathematics which uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.Although algebraic topology...

. It expresses, in the language of homological algebra
Homological algebra
Homological algebra is the branch of mathematics which studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology and abstract algebra at the end of the 19th century, chiefly by Henri Poincaré and...

 the singular (co)homology of the total space X of a (Serre) fibration
Fibration
In topology, a branch of mathematics, a fibration is a generalization of the notion of a fiber bundle. A fiber bundle makes precise the idea of one topological space being "parameterized" by another topological space . A fibration is like a fiber bundle, except that the fibers need not be the same...

 in terms of the (co)homology of the base space B and the fiber F. The result is due to Jean-Pierre Serre
Jean-Pierre Serre
Jean-Pierre Serre is a French mathematician. He has made contributions in the fields of algebraic geometry, number theory, and topology.-Early years:...

 in his doctoral dissertation.

Formulation

Let be a Serre fibration of topological spaces, and let F be the fiber. The result is expressed by means of a spectral sequence
Spectral sequence
In homological algebra and algebraic topology, a spectral sequence is a means of computing homology groups by taking successive approximations...

 and associated standard notation. Without simplifying assumptions, the notation has to be read correctly.

Cohomology spectral sequence

The Serre cohomology spectral sequence is the following:
E2pq = Hp(B,Hq(F)) Hp+q(X).


Here, at least under standard simplifying conditions, the coefficient group in the E2-term is the q-th integral cohomology group of F, and the outer group is the singular cohomology of B with coefficients in that group.

Strictly speaking, what is meant is cohomology with respect to the local coefficient system on B given by the cohomology of the various fibers. Assuming for example, that B is simply connected, this collapses to the usual cohomology. For a path connected base, all the different fibers are homotopy equivalent. In particular, their cohomology is isomorphic, so the choice of "the" fiber does not give any ambiguity.

The abutment means integral cohomology of the total space X.

This spectral sequence can be derived from an exact couple built out of the long exact sequences of the cohomology of the pair (Xp, Xp-1), whereXp is the restriction of the fibration over the p-skeleton of B. More precisely, using this notation,
,


f is defined by restricting each piece on Xp to Xp-1, g is defined using the coboundary map in the LES of the pair, and h is defined by restricting (Xp, Xp-1) to Xp.

There is a multiplicative structure


coinciding on the E2-term with (-1)qs times the cup product, and with respect to which the differentials dr are (graded) derivations inducing the product on the Er+1-page from the one on the Er-page.

Homology spectral sequence

Similarly to the cohomology spectral sequence, there is one for homology:
E2pq = Hp(B,Hq(F)) Hp+q(E),


where the notations are dual to the ones above.

It is actually a special case of a more general spectral sequence, namely the Serre spectral sequence for fibrations of simplicial set
Simplicial set
In mathematics, a simplicial set is a construction in categorical homotopy theory which is a purely algebraic model of the notion of a "well-behaved" topological space...

s. If f is a fibration of simplicial sets (a Kan fibration
Kan fibration
In mathematics, Kan complexes and Kan fibrations are part of the theory of simplicial sets. Kan fibrations are the fibrations of the standard model category for simplicial sets and are therefore of fundamental importance. Kan complexes are the fibrant objects in this model category...

), such that , the first homotopy group of the simplicial set B, vanishes, there is a spectral sequence exactly as above. (Applying the functor which associates to any topological space
Topological space
Topological spaces are mathematical structures that allow the formal definition of concepts such as convergence, connectedness, and continuity. They appear in virtually every branch of modern mathematics and are a central unifying notion...

its simplices to a fibration of topological spaces, one recovers the above sequence).

A Basic Pathspace Fibration

We begin first with a basic example; consider the path space fibration


We know the homology of the base and total space, so our intuition tells us that the Serre spectral sequence should be able to tell us the homology of the loop space. This is an example of a case where we can study the homology of a fibration by using the E page (the homology of the total space) to control what can happen on the E2 page. So recall the E2p,q page is given by


Thus we know when q=0, we are just looking at the regular integer valued homology groupsHp(Sn+1) which has value Z in degrees 0 and n+1 and value 0 everywhere else. However, since the path space is contractible, we know that by the time the sequence gets toE, everything becomes 0 except for the group at p=q=0. The only way this can happen is if there is an isomorphism from Hn+1(Sn+1; H0(F)) = Z to another group. However, the only places a group can be nonzero are in the columns p=0 or p=n+1 so this isomorphism must occur on the page En+1 with codomain H0(Sn+1;Hn(F))=ZHowever, putting a Z in this group means there must be a Z at Hn+1(Sn+1; Hn (F)). Inductively repeating this process shows that Hi(Ω Sn+1) has value Z at integer multiples of n and 0 everywhere else.

The Cohomology Ring of Complex Projective Space

We compute the cohomology of CPn using the fibration:

Now, on the E2 page, in the 0,0 coordinate we have the identity of the ring. In the 0,1 coordinate, we have an element i that generates Z. However, we know that by the limit page, there can only be nontrivial generators in degree 2n+1 telling us that the generator i must transgress to some element x in the 2,0 coordinate. Now, this tells us that there must be an element ix in the 2,1 coordinate. We then see that d(ix)=x2 by the Leibniz rule telling us that the 4,0 coordinate must be x2 since there can be no nontrivial homology until degree 2n+1. Repeating this argument inductively until 2n+1 gives ixn in coordinate 2n,1 which must then be the only generator of Z in that degree thus telling us that the 2n+1,0 coordinate must be 0. Reading off the horizontal bottom row of the spectral sequence gives us the cohomology ring of CPn and it tells us that the answer is Z[x]/xn+1.

In the case of infinite complex projective space, taking limits gives the answer Z[x].

The Fourth Homotopy Group of the Three Sphere

A more sophisticated application of the Serre spectral sequence is the computation π4S3=Z/2. This particular example illustrates a systematic technique which one can use in order to deduce information about the higher homotopy groups of spheres. We consider the following fibration which is an isomorphism on π3


where K(π, n) is an Eilenberg-Maclane space. We then further convert the map to a fibration; it is general knowledge that the iterated fiber is the loop space of the base space so in our example we get that the fiber is ΩK(Z,3)=K(Z,2). But we know that K(Z,2)=CP. Now we look at the cohomological Serre spectral sequence: we suppose we have a generator for the degree 3 cohomology of S3 called i. Since there is nothing in degree 3 in the total homology, we know this must be killed by an isomorphism. But the only thing that can map to it is the generator a of the homology of CP so we have d(a)=i. Therefore by the cup product structure, the generator in degree 4, a2 maps to the generator ia by multiplication by 2 and that the generator of cohomology in degree 6 maps to ia2 by multiplication by 3 etc. In particular we find that H4 X = Z/2. But now since we killed off lower homotopy groups of X (i.e. groups in dimension less than 4) by using the iterated fibration, we know that H4 X = π4 X by the Hurewicz theorem telling us that π4S3=Z/2.
The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK