nLab
Thom space

Contents

Idea

The Thom space Th(V)Th(V) of a vector bundle VXV \to X over a topological space XX is the topological space obtained by first forming the disk bundle D(V)D(V) of (unit) disks in the fibers of VV and then identifying the boundary of each disk, i.e. forming the quotient by the sphere bundle S(V)S(V):

Th(V):=D(V)/S(V). Th(V) := D(V)/S(V) \,.

This is equivalently the mapping cone

S(V) * p X Th(V) \array{ S(V) &\to& * \\ \downarrow^{\mathrlap{p}} && \downarrow \\ X &\to& Th(V) }

in Top of the sphere bundle of VV. Therefore more generally, for PXP \to X any S nS^n-bundle over XX, its Thom space is the the mapping cone

P * p X Th(P) \array{ P &\to& * \\ \downarrow^{\mathrlap{p}} && \downarrow \\ X &\to& Th(P) }

of the bundle projection.

For XX a compact topological space Th(V)Th(V) is the one-point compactification of the total space VV.

Properties

Observation

The Thom space of the rank-0 bundle over XX is the space XX with a basepoint freely adjoined:

Th(X× 0)=Th(X)X + Th(X \times \mathbb{R}^0) = Th(X) \simeq X_+
Proposition

For VV a vector bundle and nV\mathbb{R}^n \oplus V its fiberwise direct sum with the trivial rank nn vector bundle we have

Th(V n)S nTh(V) Th(V \oplus \mathbb{R}^n) \simeq S^n \wedge Th(V)

is the smash product of the Thom space of VV with the nn-sphere (the nn-fold suspension).

Example

In particular, if n×XX\mathbb{R}^n \times X \to X is a trivial vector bundle of rank nn, then

Th(X× n)S nX + Th(X \times \mathbb{R}^n) \simeq S^n \wedge X_+

is the smash product of the nn-sphere with XX with one base point freely adjoined (the nn-fold suspension).

Remark

This implies that for every vector bundle VV the sequence of spaces Th( nV)Th(\mathbb{R}^n \oplus V) forms a suspension spectrum: this is called the Thom spectrum of VV.

References

The Thom isomorphism for Thom spaces was originally found in

  • René Thom, Quelques propriétés globales des variétés différentiables Comm. Math. Helv. , 28 (1954) pp. 17–86

For general discussion see

Also

  • R.E. Stong, Notes on cobordism theory , Princeton Univ. Press (1968)

  • W.B. Browder, Surgery on simply-connected manifolds , Springer (1972)

Revised on May 27, 2014 11:19:08 by Benjamin Antieau (24.22.243.35)