nLab suspension

Contents

Context

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Idea

In point-set topology

In point-set topology, the (un-reduced) suspension SX\mathrm{S} X of an inhabited topological space XX is the quotient space of the cylinder space X×[1,1]X \times [-1,1] (the product space with a closed interval) by the relation which identifies all the points at either end:

(1)SXX×[1,+1](X×{1}, X×{+1}). \mathrm{S}X \;\coloneqq\; \frac{ X \,\times\, [-1,\, +1] }{ \left( \begin{array}{c} X \times \{-1\}\mathrlap{,\,} \\ X \times \{+1\} \end{array} \right) } \,.

The following graphics gives an artistic impression of the suspension of a (non-empty) space XX, indicated in gray:

(adapted from Muro 2010)

In particular, the suspension of an n n -sphere is homeomorphic to the (n+1)(n+1)-sphere

S n+1homeoS(S n), S^{n+1} \;\underset{\mathrm{homeo}}{\simeq}\; \mathrm{S}(S^n) \,,

namely the union of (in terms of the above graphics):

  1. a north pole “nthnth

  2. a south pole “sthsth

  3. the meridiansmer(x)mer(x)” through all points xS nx \in S^{n} on the equator.

Hence, by induction, the (n+1)(n+1)-sphere is homeomorphic to the n+1n+1-fold suspension of the 0-sphere:

S n+1homeoS n+1(S 0). S^{n+1} \;\underset{\mathrm{homeo}}{\simeq}\; \mathrm{S}^{n+1}(S^0) \,.

In homotopy theory

Regarded in the classical homotopy category, the suspension construction (1) on a CW-complex XX is a canonical model for the suspension object of the homotopy type represented by XX — namely the homotopy pushout of the terminal map X*X \to \ast along itself) — and as such plays a key role in homotopy theory and stable homotopy theory.

This also explains the usual definition of the suspension of the empty space as the 0-sphere

S()=S 0, \mathrm{S}(\varnothing) \;=\; S^0 \,,

since the latter does model the homotopy pushout of *\varnothing \to \ast along itself (which is just a 1-categorytheoretic pushout and hence the coproduct of the point space with itself).

For more on this see at suspension object.

More precisely, what appears in most of algebraic topology and stable homotopy theory is the reduced suspension of pointed topological spaces (X,x 0)(X,x_0) (and eventually their suspension spectra):

ΣXSX/{x 0}, \Sigma X \,\coloneqq\, \mathrm{S}X / \{x_0\} \,,

where in addition the copy of the interval over the given basepoint is identified with a single point. For CW-complexes the reduced suspension is weakly homotopy equivalent to the ordinary suspension.

In this context of (stable) homotopy theory, the suspension construction is part of the canonical point-set model for cofiber sequences induced from any mapping cone construction:

(from Muro 2010)

Definitions

Let XX be a space (such as a topological space, or something more interesting like a generalized smooth space). Let II be the unit interval [0,1][0,1] in the real line; let 22 be the 22-point discrete space {,}\{\bot,\top\}. Let X×I×2X \times I \times 2 be the cartesian product of XX, 22, and II; let X+(X×2×I)+2X + (X \times 2 \times I) + 2 be the disjoint union of XX, X×I×2X \times I \times 2 and 22. We will suppress reference to the inclusion maps into X+(X×I)+2X + (X \times I) + 2; it will be clear from context how to parse an element of the latter.

Generalisable definition

The suspension SXS X of XX is the quotient space of X+(X×I×2)+2X + (X \times I \times 2) + 2 by the equivalence relation \sim generated by:

  • a(a,0,)a \sim (a,0,\bot) for aa in XX;
  • a(a,0,)a \sim (a,0,\top) for aa in XX;
  • (a,1,)(a,1,\bot) \sim \bot for aa in XX;
  • (a,1,)(a,1,\top) \sim \top for aa in XX.

Generalisation: the join

This generalises immediately to an operation called the join XYX \star Y of two spaces XX and YY; this is the quotient space of X+(X×I×Y)+YX + (X \times I \times Y) + Y by the equivalence relation generated by:

  • a(a,0,b)a \sim (a,0,b) for aa in XX and bb in YY;
  • (a,1,b)b(a,1,b) \sim b for aa in XX and bb in YY.

(Compare join of simplicial sets and join of topological spaces, the same operation in another guise.) Then we have SX=X2S X = X \star 2.

Simplified definition

It is somewhat simpler to define SXS X as the quotient space of (X×I)+2(X \times I) + 2 by the equivalence relation generated by:

  • (a,0)(a,0) \sim \bot for aa in XX;
  • (a,1)(a,1) \sim \top for aa in XX.

This works to define a topological space, but it does not directly give the smooth structure that matches the picture above.

Further simplified for pointed spaces

If XX has a point pp, hence if it is inhabited, then we can define SXS X as the quotient space of X×IX \times I by the equivalence relation generated by:

  • (a,0)(b,0)(a,0) \sim (b,0) for a,ba, b in XX;
  • (a,1)(b,1)(a,1) \sim (b,1) for a,ba, b in XX.

This is probably the most common definition seen, but it only works for XX an inhabited space (and even then gives only the topological structure).

Reduced suspension

To make the suspension of a pointed space (X,p)(X,p) again a pointed space one may further collapse in SXS X the set {p}×I\{p\} \times I to the point. The result then is called the reduced suspension of (X,p)(X,p) and is denoted

ΣXSX/{p}×IX×I/(X×{0,1}{p}×I). \Sigma X \coloneqq S X / \{p \} \times I \simeq X \times I / \left( X \times \{0,1\} \cup \{p\} \times I \right) \,.

Properties

As a functor

It's easy to extend the suspension operation SS to a functor from Top to itself.

Relation between suspension and reduced suspension

For CW-complexes suspension and reduced suspension agree, up to weak homotopy equivalence.

Cogroup structure

In the pointed case (reduced suspension): suspensions are H-cogroup objects

Examples

Suspension of cubes

The suspension of the nn-cube is the (n+1)(n+1)-cube, probably best visualised as a diamond. This gives a recursive definition of cube, starting with the 00-cube as the point, which is not the suspension of anything. Note that this not only gives us the topological structure of the cube, but also (by working in an appropriate category of smooth spaces throughout) the correct smooth structure on the cube as a manifold with corners. You can probably even get the correct metric on the cube (normalised to have diagonals of length 11) automatically by using a more complicated quotienting process.

Suspension of spheres

Up to homeomorphism, the suspension of the nn-sphere is the (n+1)(n+1)-sphere, and the reduced suspension is

ΣS nS n+1. \Sigma S^n \simeq S^{n+1} \,.

See at one-point compactification – Examples – Spheres for details.

Notice that the nn-sphere is (topologically) the boundary of the (n+1)(n+1)-cube. The coincidence that ‘sphere’ and ‘suspension’ both begin with ‘s’ has not been ignored; we can write S nS n(2)S^n \cong S^n(2), where S nS^n on the left is the nn-sphere and S nS^n on the right is the nn-fold composite of the suspension functor. (Actually, you should start with the (1)(-1)-sphere as the empty space, which is not the suspension of anything; then the 00-sphere is S=2S \empty = 2.) However, this does not give the correct smooth structure on the sphere, unless perhaps there is some more sophisticated definition that fixes this (but then that would break the cube). It might be more appropriate to say that the suspension of the nn-globe is the (n+1)(n+1)-globe.

Suspension of simplices

Up to topological structure, the suspension of the nn-simplex is the (n+1)(n+1)-simplex, but now this is not very useful. To study simplices, you should use the cone functor instead, which is ΛX=X1\Lambda X = X \star 1, where 11 is the point.

References

For discussion of reduced suspension see there. For more general discussion of homotopy pushouts see also there. Most introductions to homotopy theory discuss suspension, in one form or other, see there.

Textbook accounts with the basics definition:

A textbook which knows that the suspension of the empty set is the 0-sphere (although even it regards this as an exception):

  • Anatole Katok, Alexey Sossinsky, Chapter 1 of: Introduction to Modern Topology and Geometry (2010) [toc pdf, pdf]

Discussion of the suspension type as a higher inductive type in homotopy type theory:

On the free loop space of a suspension:

  • Ralph Cohen, A model for the free loop space of a suspension Lecture Notes in Mathematics, 1987, Volume 1286/1987, 193-207

On the question on what is the Eckmann-Hilton dual to XYX\star Y:

  • D. B. Fuks, Eckmann–Hilton duality and the theory of functors in the category of topological spaces, 1966 Russ. Math. Surv. 21 1–33 doi, free Russian original pdf

The above graphics is taken from

  • Fernando Muro, Representability of Cohomology Theories, Joint Mathematical Conference CSASC 2010, 22–27 January 2010, Prague, Czech Republic [slides, pdf]

Last revised on October 12, 2023 at 05:41:00. See the history of this page for a list of all contributions to it.