Long Exact Sequence of A Fibration
Let p: E → B be a basepoint-preserving Serre fibration with fiber F, that is, a map possessing the homotopy lifting property with respect to CW complexes. Suppose that B is path-connected. Then there is a long exact sequence of homotopy groups
- ... → πn(F) → πn(E) → πn(B) → πn−1(F) →... → π0(E) → 0.
Here the maps involving π0 are not group homomorphisms because the π0 are not groups, but they are exact in the sense that the image equals the kernel.
Example: the Hopf fibration. Let B equal S2 and E equal S3. Let p be the Hopf fibration, which has fiber S1. From the long exact sequence
- ⋯ → πn(S1) → πn(S3) → πn(S2) → πn−1(S1) → ⋯
and the fact that πn(S1) = 0 for n ≥ 2, we find that πn(S3) = πn(S2) for n ≥ 3. In particular, π3(S2) = π3(S3) = Z.
In the case of a cover space, when the fiber is discrete, we have that πn(E) is isomorphic to πn(B) for all n greater than 1, that πn(E) embeds injectively into πn(B) for all positive n, and that the subgroup of π1(B) that corresponds to the embedding of π1(E) has cosets in bijection with the elements of the fiber.
Read more about this topic: Homotopy Group
Famous quotes containing the words long, exact and/or sequence:
“Pride can go without domestics, without fine clothes, can live in a house with two rooms, can eat potato, purslain, beans, lyed corn, can work on the soil, can travel afoot, can talk with poor men, or sit silent well contented with fine saloons. But vanity costs money, labor, horses, men, women, health and peace, and is still nothing at last; a long way leading nowhere.Only one drawback; proud people are intolerably selfish, and the vain are gentle and giving.”
—Ralph Waldo Emerson (18031882)
“The first moments of sleep are an image of death; a hazy torpor grips our thoughts and it becomes impossible for us to determine the exact instant when the I, under another form, continues the task of existence.”
—Gérard De Nerval (18081855)
“We have defined a story as a narrative of events arranged in their time-sequence. A plot is also a narrative of events, the emphasis falling on causality. The king died and then the queen died is a story. The king died, and then the queen died of grief is a plot. The time sequence is preserved, but the sense of causality overshadows it.”
—E.M. (Edward Morgan)