CW-complex, Hausdorff space, second-countable space, sober space
connected space, locally connected space, contractible space, locally contractible space
The Thom space of a vector bundle over a topological space is the space obtained by first forming the disk bundle of (unit) disks in the fibers of and then identifying the boundary of each disk, i.e. forming the quotient by the sphere bundle :
This is equivalently the mapping cone
in Top of the sphere bundle of . Therefore more generally, for any -bundle over , its Thom space is the the mapping cone
of the bundle projection.
The Thom space of the rank-0 bundle over is the space with a basepoint freely adjoined:
For a vector bundle and its fiberwise direct sum with the trivial rank vector bundle we have
is the smash product of the Thom space of with the -sphere (the -fold suspension).
In particular, if is a trivial vector bundle of rank , then
is the smash product of the -sphere with with one base point freely adjoined (the -fold suspension).
This implies that for every vector bundle the sequence of spaces forms an Omega-spectrum: this is called the Thom spectrum of .
The Thom isomorphism for Thom spaces was originally found in
For general discussion see
Michael Atiyah, Thom complexes, Proc. London Math. Soc. 11 (1961) pp. 291–310
Yuli B. Rudyak?, On Thom spectra, orientability, and cobordism, Springer 1998 googB
Dale Husemöller, Fibre bundles , McGraw-Hill (1966)
myyn.org Thom space, Thom class, Thom isomorphism theorem
Also
R.E. Stong, Notes on cobordism theory , Princeton Univ. Press (1968)
W.B. Browder, Surgery on simply-connected manifolds , Springer (1972)