Puppe sequence

In mathematics, the Puppe sequence is a construction of homotopy theory.

Let "f":"A" → "B" be a continuous map between CW complexes and let "C(f)" denote a cone of f, so that we have a sequence:

:"A" → "B" → "C(f)"

Now we can form Σ"A" and Σ"B", suspensions of A and B respectively, and also Σ"f": Σ"A" → Σ"B" (this is because suspension might be seen as a functor), obtaining a sequence:

: Σ"A" → Σ"B" → "C(Σf)"

Now one notices quite easily, that "C(Σf)" is homotopy equivalent to Σ"C(f)" and that one have a natural map "C(f)" → Σ"A" (this is defined, roughly speaking, by collapsing "B" ⊆ "C(f)" to a point). Thus we have a sequence:

: "A" → "B" → "C(f)" → Σ"A" → Σ"B" → Σ"C(f)"

Iterating this construction, we obtain the Puppe sequence associated to "A" → "B":

: "A" → "B" → "C(f)" → Σ"A" → Σ"B" → Σ"C(f)" → Σ²"A" → Σ²"B" → Σ²"C(f)" → Σ³"A" → Σ³"B" → Σ³"C(f)" → ...

ome properties and consequences

It is simple exercise in topology to see that every 3 elements of Puppe sequence are, up to a homotopy, of the form:

: "X" → "Y" → "C(f)"

By "up to a homotopy", we mean here that every 3 elements in Puppe sequence are of the above form if regarded as objects and morphisms in suitable category: homotopy category.

If one is now given a topological half-exact functor, above property implies that after acting with the functor in question on Puppe sequence associated to "A" → "B" one obtains a long exact sequence. Most notably this is the case with a family of functors of homology - resulting long exact sequence is called the sequence of a pair "(A,B)" (see Eilenberg-Steenrod axioms; However, different approach is taken in that article and sequence of a pair is treated there as an axiom).

Remarks

As there are two "kinds" of suspension, unreduced and reduced, one can also consider unreduced and reduced Puppe sequences (at least if dealing with pointed spaces, when it's possible to form reduced suspension).