To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

# 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.

## Construction of the Thom space

One way to construct this space is as follows. Let

${\displaystyle p:E\to B}$

be a rank n real vector bundle over the paracompact space B. Then for each point b in B, the fiber ${\displaystyle E_{b}}$ is an ${\displaystyle n}$-dimensional real vector space. Choose an orthogonal structure on E, a smoothly varying inner product on the fibers; we can do this using partitions of unity. Let ${\displaystyle D(E)}$ be the unit disk bundle with respect to our orthogonal structure, and let ${\displaystyle S(E)}$ be the unit sphere bundle, then the Thom space ${\displaystyle T(E)}$ is the quotient ${\displaystyle T(E):=D(E)/S(E)}$ of topological spaces. ${\displaystyle T(E)}$ is a pointed space with the image of ${\displaystyle S(E)}$ in the quotient as basepoint. If B is compact, then ${\displaystyle T(E)}$ is the one-point compactification of E.

For example, if E is the trivial bundle ${\displaystyle B\times \mathbb {R} ^{n}}$, then ${\displaystyle D(E)=B\times D^{n}}$ and ${\displaystyle S(E)=B\times S^{n-1}}$. Writing ${\displaystyle B_{+}}$ for B with a disjoint basepoint, ${\displaystyle T(E)}$ is the smash product of ${\displaystyle B_{+}}$ and ${\displaystyle S^{n}}$; that is, the n-th reduced suspension of ${\displaystyle B_{+}}$.

## 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 ${\displaystyle \mathbb {Z} _{2}}$ coefficients to avoid complications arising from orientability; see also Orientation of a vector bundle#Thom space.)

Let ${\displaystyle p:E\to B}$ be a real vector bundle of rank n. Then there is an isomorphism, now called a Thom isomorphism

${\displaystyle \Phi :H^{k}(B;\mathbb {Z} _{2})\to {\widetilde {H}}^{k+n}(T(E);\mathbb {Z} _{2}),}$

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 ${\displaystyle 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 ${\displaystyle \Lambda }$ be a ring and ${\displaystyle p:E\to B}$ be an oriented real vector bundle of rank n. Then there exists a class

${\displaystyle u\in H^{n}(E,E\setminus B;\Lambda ),}$

where B is embedded into E as a zero section, such that for any fiber F the restriction of u

${\displaystyle u|_{(F,F\setminus 0)}\in H^{n}(F,F\setminus 0;\Lambda )}$

is the class induced by the orientation of F. Moreover,

${\displaystyle {\begin{cases}H^{k}(E;\Lambda )\to H^{k+n}(E,E\setminus B;\Lambda )\\x\longmapsto x\smile u\end{cases}}}$

is an isomorphism.

In concise terms, the last part of the theorem says that u freely generates ${\displaystyle H^{*}(E,E\setminus B;\Lambda )}$ as a right ${\displaystyle H^{*}(E;\Lambda )}$-module. The class u is usually called the Thom class of E. Since the pullback ${\displaystyle p^{*}:H^{*}(B;\Lambda )\to H^{*}(E;\Lambda )}$ is a ring isomorphism, ${\displaystyle \Phi }$ is given by the equation:

${\displaystyle \Phi (b)=p^{*}(b)\smile u.}$

In particular, the Thom isomorphism sends the identity element of ${\displaystyle H^{*}(B)}$ to u. Note: for this formula to make sense, u is treated as an element of (we drop the ring ${\displaystyle \Lambda }$)

${\displaystyle {\tilde {H}}^{n}(T(E))=H^{n}(\operatorname {Sph} (E),B)\simeq H^{n}(E,E\setminus B).}$[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 high-dimensional 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

${\displaystyle Sq^{i}:H^{m}(-;\mathbb {Z} _{2})\to H^{m+i}(-;\mathbb {Z} _{2}),}$

defined for all nonnegative integers m. If ${\displaystyle i=m}$, then ${\displaystyle Sq^{i}}$ coincides with the cup square. We can define the ith Stiefel–Whitney class ${\displaystyle w_{i}(p)}$ of the vector bundle ${\displaystyle p:E\to B}$ by:

${\displaystyle w_{i}(p)=\Phi ^{-1}(Sq^{i}(\Phi (1)))=\Phi ^{-1}(Sq^{i}(u)).}$

## 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 Stiefel–Whitney 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

### Real cobordism

There are two ways to think about bordism: one as considering two ${\displaystyle n}$-manifolds ${\displaystyle M,M'}$ are cobordant if there is an ${\displaystyle (n+1)}$-manifold with boundary ${\displaystyle W}$ such that

${\displaystyle \partial W=M\coprod M'}$

Another technique to encode this kind of information is to take an embedding ${\displaystyle M\hookrightarrow \mathbb {R} ^{N+n}}$ and considering the normal bundle

${\displaystyle \nu :N_{\mathbb {R} ^{N+n}/M}\to M}$

The embedded manifold together with the isomorphism class of the normal bundle actually encodes the same information as the cobordism class ${\displaystyle [M]}$. This can be shown[2] by using a cobordism ${\displaystyle W}$ and finding an embedding to some ${\displaystyle \mathbb {R} ^{N_{W}+n}\times [0,1]}$ which gives a homotopy class of maps to the Thom space ${\displaystyle MO(n)}$ defined below. Showing the isomorphism of

${\displaystyle \pi _{*}MO(n)\cong \Omega _{n}^{O}}$

requires a little more work.[3]

### Definition of Thom spectrum

By definition, the Thom spectrum[4] is a sequence of Thom spaces

${\displaystyle MO(n)=T(\gamma ^{n})}$

where we wrote ${\displaystyle \gamma ^{n}\to BO(n)}$ for the universal vector bundle of rank n. The sequence forms a spectrum.[5] A theorem of Thom says that ${\displaystyle \pi _{*}(MO)}$ is the unoriented cobordism ring;[6] the proof of this theorem relies crucially on Thom’s transversality theorem.[7] The lack of transversality prevents from computing cobordism rings of, say, topological manifolds from Thom spectra.

## Notes

1. ^ Proof of the isomorphism. We can embed B into ${\displaystyle \operatorname {Sph} (E)}$ 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:
${\displaystyle (\operatorname {Sph} (E),\operatorname {Sph} (E)\setminus B,B)}$.
Clearly, ${\displaystyle \operatorname {Sph} (E)\setminus B}$ deformation-retracts to B. Taking the long exact sequence of this triple, we then see:
${\displaystyle H^{n}(Sph(E),B)\simeq H^{n}(\operatorname {Sph} (E),\operatorname {Sph} (E)\setminus B),}$
the latter of which is isomorphic to:
${\displaystyle H^{n}(E,E\setminus B)}$
by excision.
2. ^ "Thom's theorem" (PDF). Archived (PDF) from the original on 17 Jan 2021.
3. ^ "Transversality" (PDF). Archived (PDF) from the original on 17 Jan 2021.
4. ^ See pp. 8-9 in Greenlees, J. P. C. (2006-09-15). "Spectra for commutative algebraists". arXiv:math/0609452.
5. ^ http://math.northwestern.edu/~jnkf/classes/mflds/2cobordism.pdf
6. ^ Stong, p. 18
7. ^ http://math.northwestern.edu/~jnkf/classes/mflds/4transversality.pdf

## References

Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.