Thom space
In mathematics, the Thom space, Thom complex, or Pontryagin–Thom construction (named after René Thom and Lev Pontryagin) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space.
Contents
Construction of the Thom space
One way to construct this space is as follows. Let
 p : E →B
be a rank n real vector bundle over the paracompact space B. Then for each point b in B, the fiber E_{b} is an ndimensional real vector space. We can form an nsphere bundle Sph(E) → B by taking the onepoint compactification of each fiber and gluing them together to get the total space.^{[further explanation needed]} Finally, from the total space Sph(E) we obtain the Thom space T(E) as the quotient of Sph(E) by B; that is, by identifying all the new points to a single point , which we take as the basepoint of T(E). If B is compact, then T(E) is the onepoint compactification of E.
For example, if E is the trivial bundle B × R^{n}, then Sph(E) is B × S^{n} and, writing B_{+} for B with a disjoint basepoint, T(E) is the smash product of B_{+} and S^{n}; that is, the nth suspension of B_{+}.
Alternatively, since B is paracompact, E can be given a Euclidean metric and then T(E) can be defined as the quotient of the unit disk bundle of E by the unit (n1)sphere bundle of E.
The Thom isomorphism
The significance of this construction begins with the following result, which belongs to the subject of cohomology of fiber bundles. (We have stated the result in terms of Z_{2} coefficients to avoid complications arising from orientability; see also Orientation of a vector bundle#Thom space.)
Let p: E →B be a real vector bundle of rank n. Then there is an isomorphism, now called a Thom isomorphism
for all k greater than or equal to 0, where the right hand side is reduced cohomology.
This theorem was formulated and proved by René Thom in his famous 1952 thesis.
We can interpret the theorem as a global generalization of the suspension isomorphism on local trivializations, because the Thom space of a trivial bundle on B of rank k is isomorphic to the kth suspension of B_{+}, B with a disjoint point added (cf. #Construction of the Thom space.) This can be more easily seen in the formulation of the theorem that does not make reference to Thom space:
Thom isomorphism — Let Λ be a ring and p: E →B be an oriented real vector bundle. Then there exists a class
where B is embedded into E as a zero section, such that for any fiber F the restriction of u
is the class induced by the orientation of F. Moreover,
is an isomorphism.
In concise terms, the last part of the theorem says that u freely generates as a right module. The class u is usually called the Thom class of E. Since the pullback is a ring isomorphism, Φ is given by the equation:
In particular, the Thom isomorphism sends the identity element of H*(B) to u. Note: for this formula to make sense, u is treated as an element of (we drop Λ)
 ^{[1]}
Significance of Thom's work
In his 1952 paper, Thom showed that the Thom class, the Stiefel–Whitney classes, and the Steenrod operations were all related. He used these ideas to prove in the 1954 paper Quelques propriétés globales des variétés differentiables that the cobordism groups could be computed as the homotopy groups of certain Thom spaces MG(n). The proof depends on and is intimately related to the transversality properties of smooth manifolds—see Thom transversality theorem. By reversing this construction, John Milnor and Sergei Novikov (among many others) were able to answer questions about the existence and uniqueness of highdimensional manifolds: this is now known as surgery theory. In addition, the spaces MG(n) fit together to form spectra MG now known as Thom spectra, and the cobordism groups are in fact stable. Thom's construction thus also unifies differential topology and stable homotopy theory, and is in particular integral to our knowledge of the stable homotopy groups of spheres.
If the Steenrod operations are available, we can use them and the isomorphism of the theorem to construct the Stiefel–Whitney classes. Recall that the Steenrod operations (mod 2) are natural transformations
defined for all nonnegative integers m. If i = m, then Sq^{i} coincides with the cup square. We can define the ith StiefelWhitney class w_{i} (p) of the vector bundle p : E → B by:
Consequences for differentiable manifolds
If we take the bundle in the above to be the tangent bundle of a smooth manifold, the conclusion of the above is called the Wu formula, and has the following strong consequence: since the Steenrod operations are invariant under homotopy equivalence, we conclude that the StiefelWhitney classes of a manifold are as well. This is an extraordinary result that does not generalize to other characteristic classes. There exists a similar famous and difficult result establishing topological invariance for rational Pontryagin classes, due to Sergei Novikov.
Thom spectrum
By definition, the Thom spectrum is a sequence of Thom spaces
where we wrote γ^{n} →BO(n) for the universal vector bundle of rank n. The sequence forms a spectrum.^{[2]} A theorem of Thom says that is the unoriented cobordism ring;^{[3]} the proof of this theorem relies crucially on Thom’s transversality theorem.^{[4]} The lack of transversality prevents from computing cobordism rings of, say, topological manifolds from Thom spectra.
See also
Notes

^ Proof of the isomorphism. We can embed B into either as the zero section; i.e., a section at zero vector or as the infinity section; i.e., a section at infinity vector (topologically the difference is immaterial.) Using two ways of embedding we have the triple:
 .
 ,
 ^ http://math.northwestern.edu/~jnkf/classes/mflds/2cobordism.pdf
 ^ Stong, pp. 18
 ^ http://math.northwestern.edu/~jnkf/classes/mflds/4transversality.pdf
References
 Sullivan, Dennis (2004). "René Thom's Work on Geometric Homology and Bordism". Bull. Am. Math. Soc. 41 (3): 341–350. doi:10.1090/S0273097904010262.
 Bott, R.; Tu, L. (1982). Differential Forms in Algebraic Topology. New York: Springer. ISBN 0387906134. A classic reference for differential topology, treating the link to Poincaré duality and the Euler class of Sphere bundles
 May, J. P. (1999). A Concise Course in Algebraic Topology. University of Chicago Press. pp. 183–198. ISBN 0226511820.
 "Explanation for the Pontryagin–Thom construction". MathOverflow.
 Stong, R. E. (1968). Notes on cobordism theory. Princeton University Press.
 Thom, René (1954). "Quelques propriétés globales des variétés différentiables". Comm. Math. Helv. 28: 17–86.
 Ando, Matthew; Blumberg, Andrew J.; Gepner, David J.; Hopkins, Michael J.; Rezk, Charles (2008). "Units of ring spectra and Thom spectra". Preprint. arXiv:0810.4535 .
External links
 http://ncatlab.org/nlab/show/Thom+spectrum
 Hazewinkel, Michiel, ed. (2001) [1994], "Thom space", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 9781556080104
 Akhil Mathew's blog posts: https://amathew.wordpress.com/tag/thomspace/