This entry is about Thom’s theorem in cobordism theory. For the isomorphism in cohomology induced by Thom classes see at Thom isomorphism.
What is called Thom’s theorem or the Pontrjagin-Thom isomorphism (due to Thom 54, Pontrjagin 55) states that for a given universal G-structure the stable homotopy groups of the universal Thom spectrum $M G$, with its canonical ring spectrum structure form, the cobordism ring
of manifolds with G-structure, and that this isomorphism is exhibited by the Pontryagin-Thom construction (see there).
More generally, for $X$ a topological space, then the group of $G$-bordism classes of $G$-manifolds in $X$ is isomorphic to the generalized homology of $X$ with coefficients in $M G$:
Given a smooth manifold $X$ of dimension $n$ and equipped with an embedding
for some $k \in \mathbb{N}$, then the classifying map of its normal bundle is the function
which sends $x \in X$ to the normal of the tangent space
regarded as a point in $G_{k-n}(\mathbb{R}^k)$.
The normal bundle of $i$ itself is the subbundle of the tangent bundle
consisting of those vectors which are orthogonal to the tangent vectors of $X$:
A $(B,f)$-structure is
for each $n\in \mathbb{N}$ a pointed CW-complex $B_n \in Top_{CW}^{\ast/}$
equipped with a pointed Serre fibration
to the classifying space $B O(n)$ (def.);
for all $n_1 \leq n_2$ a pointed continuous function
$g_{n_1, n_2} \;\colon\; B_{n_1} \longrightarrow B_{n_2}$
which is the identity for $n_1 = n_2$;
such that for all $n_1 \leq n_2 \in \mathbb{N}$ these squares commute
where the bottom map is the canonical one from def. .
The $(B,f)$-structure is multiplicative if it is moreover equipped with a system of maps $\mu_{n_1,n_2} \colon B_{n_1}\times B_{n_2} \to B_{n_1 + n_2}$ which cover the canonical multiplication maps (def.)
and which satisfy the evident associativity and unitality, for $B_0 = \ast$ the unit, and, finally, which commute with the maps $g$ in that all $n_1,n_2, n_3 \in \mathbb{N}$ these squares commute:
and
Similarly, an $S^2$-$(B,f)$-structure is a compatible system
indexed only on the even natural numbers.
Generally, an $S^k$-$(B,f)$-structure for $k \in \mathbb{N}$, $k \geq 1$ is a compatible system
for all $n \in \mathbb{N}$, hence for all $k n \in k \mathbb{N}$.
We write $V^\mathcal{B}_n$ for the universal vector bundle pulled back to the corresponding space of the $(B,f)$-structure and with
and we write $e_{n_1,n_2}$ for the maps of total space of vector bundles over the $g_{n_1,n_2}$:
Examples of $(B,f)$-structures (def. ) include the following:
$B_n = B O(n)$ and $f_n = id$ is orthogonal structure (or “no structure”);
$B_n = E O(n)$ and $f_n$ the universal principal bundle-projection is framing-structure;
$B_n = B SO(n) = E O(n)/SO(n)$ the classifying space of the special orthogonal group and $f_n$ the canonical projection is orientation structure;
$B_n = B Spin(n) = E O(n)/Spin(n)$ the classifying space of the spin group and $f_n$ the canonical projection is spin structure.
Examples of $S^2$-$(B,f)$-structures (def. ) include
$B_{2n} = B U(n) = E O(2n)/U(n)$ the classifying space of the unitary group, and $f_{2n}$ the canonical projection is almost complex structure (or rather: almost Hermitian structure).
$B_{2n} = B Sp(2n) = E O(2n)/Sp(2n)$ the classifying space of the symplectic group, and $f_{2n}$ the canonical projection is almost symplectic structure.
Examples of $S^4$-$(B,f)$-structures (def. ) include
Given a smooth manifold $X$ of dimension $n$, and given a $(B,f)$-structure as in def. , then a $(B,f)$-structure on the stable normal bundle of the manifold is an equivalence class of the following structure:
an embedding $i_X \; \colon \; X \hookrightarrow \mathbb{R}^k$ for some $k \in \mathbb{N}$;
a homotopy class of a lift $\hat g$ of the classifying map $g$ of the normal bundle (def. )
The equivalence relation on such structures is to be that generated by the relation $((i_{X})_1, \hat g_1) \sim ((i_{X})_,\hat g_2)$ if
$k_2 \geq k_1$
the second inclusion factors through the first as
the lift of the classifying map factors accordingly (as homotopy classes)
Throughout, let $\mathcal{B}$ be a multiplicative (B,f)-structure (def.).
Write $I \coloneqq [0,1]$ for the standard interval, regarded as a smooth manifold with boundary. For $c \in \mathbb{R}_+$ Consider its embedding
as the arc
where $(e_1, e_2)$ denotes the canonical linear basis of $\mathbb{R}^2$, and equipped with the structure of a manifold with normal framing structure (def.) by equipping it with the canonical framing
of its normal bundle.
Let now $\mathcal{B}$ be a (B,f)-structure (def.). Then for $X \overset{i}{\hookrightarrow}\mathbb{R}^k$ any embedded manifold with $\mathcal{B}$-structure $\hat g \colon X \to B_{k-n}$ on its normal bundle (def.), define its negative or orientation reversal $-(X,i,\hat g)$ of $(X,i, \hat g)$ to be the restriction of the structured manifold
to $t = 1$.
Two closed manifolds of dimension $n$ equipped with normal $\mathcal{B}$-structure $(X_1, i_1, \hat g_1)$ and $(X_2,i_2,\hat g_2)$ (def.) are called bordant if there exists a manifold with boundary $W$ of dimension $n+1$ equipped with $\mathcal{B}$-strcuture $(W,i_W, \hat g_W)$ if its boundary with $\mathcal{B}$-structure restricted to that boundary is the disjoint union of $X_1$ with the negative of $X_2$, according to def.
The relation of $\mathcal{B}$-bordism (def. ) is an equivalence relation.
Write $\Omega^\mathcal{B}_{\bullet}$ for the $\mathbb{N}$-graded set of $\mathcal{B}$-bordism classes of $\mathcal{B}$-manifolds.
Under disjoint union of manifolds, then the set of $\mathcal{B}$-bordism equivalence classes of def. becomes an $\mathbb{Z}$-graded abelian group
(that happens to be concentrated in non-negative degrees). This is called the $\mathcal{B}$-bordism group.
Moreover, if the (B,f)-structure $\mathcal{B}$ is multiplicative (def.), then Cartesian product of manifolds followed by the multiplicative composition operation of $\mathcal{B}$-structures makes the $\mathcal{B}$-bordism ring into a commutative ring, called the $\mathcal{B}$-bordism ring.
e.g. (Kochmann 96, prop. 1.5.3)
Let $X$ be a topological space and let $V \to X$ be a vector bundle over $X$ of rank $n$, which is associated to an O(n)-principal bundle. Equivalently this means that $V \to X$ is the pullback of the universal vector bundle $E_n \to B O(n)$ (def. ) over the classifying space. Since $O(n)$ preserves the metric on $\mathbb{R}^n$, by definition, such $V$ inherits the structure of a metric space-fiber bundle. With respect to this structure:
the unit disk bundle $D(V) \to X$ is the subbundle of elements of norm $\leq 1$;
the unit sphere bundle $S(V)\to X$ is the subbundle of elements of norm $= 1$;
$S(V) \overset{i_V}{\hookrightarrow} D(V) \hookrightarrow V$;
the Thom space $Th(V)$ is the cofiber (formed in Top (prop.)) of $i_V$
canonically regarded as a pointed topological space.
If $V \to X$ is a general real vector bundle, then there exists an isomorphism to an $O(n)$-associated bundle and the Thom space of $V$ is, up to based homeomorphism, that of this orthogonal bundle.
If the rank of $V$ is positive, then $S(V)$ is non-empty and then the Thom space (def. ) is the quotient topological space
However, in the degenerate case that the rank of $V$ vanishes, hence the case that $V = X\times \mathbb{R}^0 \simeq X$, then $D(V) \simeq V \simeq X$, but $S(V) = \emptyset$. Hence now the pushout defining the cofiber is
which exhibits $Th(V)$ as the coproduct of $X$ with the point, hence as $X$ with a basepoint freely adjoined.
Let $V_1,V_2 \to X$ be two real vector bundles. Then the Thom space (def. ) of the direct sum of vector bundles $V_1 \oplus V_2 \to X$ is expressed in terms of the Thom space of the pullbacks $V_2|_{D(V_1)}$ and $V_2|_{S(V_1)}$ of $V_2$ to the disk/sphere bundle of $V_1$ as
Notice that
$D(V_1 \oplus V_2) \simeq D(V_2|_{Int D(V_1)}) \cup S(V_1)$;
$S(V_1 \oplus V_2) \simeq S(V_2|_{Int D(V_1)}) \cup Int D(V_2|_{S(V_1)})$.
(Since a point at radius $r$ in $V_1 \oplus V_2$ is a point of radius $r_1 \leq r$ in $V_2$ and a point of radius $\sqrt{r^2 - r_1^2}$ in $V_1$.)
For $V$ a vector bundle then the Thom space (def. ) of $\mathbb{R}^n \oplus V$, the direct sum of vector bundles with the trivial rank $n$ vector bundle, is homeomorphic to the smash product of the Thom space of $V$ with the $n$-sphere (the $n$-fold reduced suspension).
Apply prop. with $V_1 = \mathbb{R}^n$ and $V_2 = V$. Since $V_1$ is a trivial bundle, then
(as a bundle over $X\times D^n$) and similarly
By prop. and remark the Thom space (def. ) of a trivial vector bundle of rank $n$ is the $n$-fold suspension of the base space
Therefore a general Thom space may be thought of as a “twisted suspension”, with twist encoded by a vector bundle (or rather by its underlying spherical fibration). See at Thom spectrum – For infinity-module bundles for more on this.
For $V_1 \to X_1$ and $V_2 \to X_2$ to vector bundles, let $V_1 \boxtimes V_2 \to X_1 \times X_2$ be the direct sum of vector bundles of their pullbacks to $X_1 \times X_2$. The corresponding Thom space (def. ) is the smash product of the individual Thom spaces:
For each $n \in \mathbb{N}$ the pullback of the rank-$(n+1)$ universal vector bundle to the classifying space of rank $n$ vector bundles is the direct sum of vector bundles of the rank $n$ universal vector bundle with the trivial rank-1 bundle: there is a pullback diagram of topological spaces of the form
where the bottom morphism is the canonical one (def.).
(e.g. Kochmann 96, p. 25)
For each $k \in \mathbb{N}$, $k \geq n$ there is such a pullback of the canonical vector bundles over Grassmannians
where the bottom morphism is the canonical inclusion (def.).
Now we claim that taking the colimit in each of the four corners of this system of pullback diagrams yields again a pullback diagram, and this proves the claim.
To see this, remember that we work in the category $Top_{cg}$ of compactly generated topological spaces (def.). By their nature, we may test the universal property of a would-be pullback space already by mapping compact topological spaces into it. Now observe that all the inclusion maps in the four corners of this system of diagrams are relative cell complex inclusions, by prop. . Together this implies (via this lemma) that we may test the universal property of the colimiting square at finite stages. And so this implies the claim by the above fact that at each finite stage there is a pullback diagram.
The universal real Thom spectrum $M O$ is the spectrum, which is represented by the sequential prespectrum (def.) whose $n$th component space is the Thom space (def. )
of the rank-$n$ universal vector bundle, and whose structure maps are the image under the Thom space functor $Th(-)$ of the top morphisms in prop. , via the homeomorphisms of prop. :
More generally, there are universal Thom spectra associated with any other tangent structure (“(B,f)]-structure?”), notably for the orthogonal group replaced by the special orthogonal groups $SO(n)$, or the spin groups $Spin(n)$, or the string 2-group $String(n)$, or the fivebrane 6-group $Fivebrane(n)$,…, or any level in the Whitehead tower of $O(n)$. To any of these groups there corresponds a Thom spectrum (denoted, respectively, $M SO$, MSpin, $M String$, $M Fivebrane$, etc.), which is in turn related to oriented cobordism, spin cobordism, string cobordism, et cetera.:
Given a (B,f)-structure $\mathcal{B}$ (def. ), write $V^\mathcal{B}_n$ for the pullback of the universal vector bundle (def. ) to the corresponding space of the $(B,f)$-structure and with
and we write $e_{n_1,n_2}$ for the maps of total space of vector bundles over the $g_{n_1,n_2}$:
Observe that the analog of prop. still holds:
Given a (B,f)-structure $\mathcal{B}$ (def. ), then the pullback of its rank-$(n+1)$ vector bundle $V^{\mathcal{B}}_{n+1}$ (def. ) along the map $g_{n,n+1} \colon B_n \to B_{n+1}$ is the direct sum of vector bundles of the rank-$n$ bundle $V^{\mathcal{B}}_n$ with the trivial rank-1-bundle: there is a pullback square
Unwinding the definitions, the pullback in question is
Given a (B,f)-structure $\mathcal{B}$ (def. ), its universal Thom spectrum $M \mathcal{B}$ is, as a sequential prespectrum, given by component spaces being the Thom spaces (def. ) of the $\mathcal{B}$-associated vector bundles of def.
and with structure maps given via prop. by the top maps in prop. :
Similarly for an $S^k-(B,f)$-structure indexed on every $k$th natural number (such as almost complex structure, almost quaternionic structure, example ), there is the corresponding Thom spectrum as a sequential $S^k$ spectrum (def.).
If $B_n = B G_n$ for some natural system of groups $G_n \to O(n)$, then one usually writes $M G$ for $M \mathcal{B}$. For instance $M SO$, MSpin, MU, MSp etc.
If the $(B,f)$-structure is multiplicative (def. ), then the Thom spectrum $M \mathcal{B}$ canonical becomes a ring spectrum: the multiplication maps $B_{n_1} \times B_{n_2}\to B_{n_1 + n_2}$ are covered by maps of vector bundles
and under forming Thom spaces this yields (prop.) maps
which are associative by the associativity condition in a multiplicative $(B,f)$-structure. The unit is
The universal Thom spectrum (def. ) for framing structure (exmpl.) is equivalently the sphere spectrum (def.)
Because in this case $B_n \simeq \ast$ and so $E^{\mathcal{B}}_n \simeq \mathbb{R}^n$, whence $Th(E^{\mathcal{B}}_n) \simeq S^n$.
For $X$ a smooth manifold and $i \colon X \hookrightarrow \mathbb{R}^k$ an embedding, then a tubular neighbourhood of $X$ is a subset of the form
for some $\epsilon \in \mathbb{R}$, $\epsilon \gt 0$, small enough such that the map
from the normal bundle (def. ) given by
is a diffeomorphism.
(tubular neighbourhood theorem)
For every embedding of smooth manifolds, there exists a tubular neighbourhood according to def. .
Given an embedding $i \colon X \hookrightarrow \mathbb{R}^k$ with a tubuluar neighbourhood $\tau_i X \hookrigtharrow \mathbb{R}^k$ (def. ) then by construction:
the Thom space (def. ) of the normal bundle (def. ) is homeomorphic to the quotient topological space of the topological closure of the tubular neighbourhood by its boundary:
$Th(N_i(X)) \simeq \overline{ \tau_i(X)}/\partial \overline{\tau_i(X)}$;
there exists a continous function
which is the identity on $\tau_i(X)\subset \mathbb{R}^k$ and is constant on the basepoint of the quotient on all other points.
For $X$ a smooth manifold of dimension $n$ and for $i \colon X \hookrightarrow \mathbb{R}^k$ an embedding, then the Pontrjagin-Thom collapse map is, for any choice of tubular neighbourhood $\tau_i(X)\subset \mathbb{R}^k$ (def. ) the composite map of pointed topological spaces
where the first map identifies the k-sphere as the one-point compactification of $\mathbb{R}^k$; and where the second and third maps are those of remark .
The Pontrjagin-Thom construction is the further composite
with the image under the Thom space construction of the morphism of vector bundles
induced by the classifying map $g_i$ of the normal bundle (def. ).
This defines an element
in the $n$th stable homotopy group (def.) of the Thom spectrum $M O$ (def. ).
More generally, for $X$ a smooth manifold with normal (B,f)-structure $(X,i,\hat g_i)$ according to def. , then its Pontrjagin-Thom construction is the composite
with
The Pontrjagin-Thom construction (def. ) respects the equivalence classes entering the definition of manifolds with stable normal $\mathcal{B}$-structure (def. ) hence descends to a function (of sets)
It is clear that the homotopies of classifying maps of $\mathcal{B}$-structures that are devided out in def. map to homotopies of representatives of stable homotopy groups. What needs to be shown is that the construction respects the enlargement of the embedding spaces.
Given a embedded manifold $X \overset{i}{\hookrightarrow}\mathbb{R}^{k_1}$ with normal $\mathcal{B}$-structure
write
for its image under the Pontrjagin-Thom construction (def. ). Now given $k_2 \in \mathbb{N}$, consider the induced embedding $X \overset{i}{\hookrightarrow} \mathbb{R}^{k_1}\hookrightarrow \mathbb{R}^{k_1 + k_2}$ with normal $\mathcal{B}$-structure given by the composite
By prop. and using the pasting law for pullbacks, the classifying map $\hat g'_i$ for the enlarged normal bundle sits in a diagram of the form
Hence the Pontrjagin-Thom construction for the enlarged embedding space is (using prop. ) the composite
The composite of the first two morphisms here is $S^{k_k}\wedge \alpha$, while last morphism $Th(\hat e_{k_1-n,k_1+k_2-n})$ is the structure map in the Thom spectrum (by def. ):
This manifestly identifies $\alpha_{k_2}$ as being the image of $\alpha$ under the component map in the sequential colimit that defines the stable homotopy groups (def.). Therefore $\alpha$ and $\alpha_{k_2}$, for all $k_2 \in \mathbb{N}$, represent the same element in $\pi_{\bullet}(M \mathcal{B})$.
Recall that the Pontrjagin-Thom construction (def.) associates to an embbeded manifold $(X,i,\hat g)$ with normal $\mathcal{B}$-structure (def.) an element in the stable homotopy group $\pi_{dim(X)}(M \mathcal{B})$ of the universal $\mathcal{B}$-Thom spectrum in degree the dimension of that manifold.
For $\mathcal{B}$ be a multiplicative (B,f)-structure (def.), the $\mathcal{B}$-Pontrjagin-Thom construction (def.) is compatible with all the relations involved to yield a graded ring homomorphism
from the $\mathcal{B}$-bordism ring (def. ) to the stable homotopy groups of the universal $\mathcal{B}$-Thom spectrum equipped with the ring structure induced from the canonical ring spectrum structure (def.).
By prop. the underlying function of sets is well-defined before dividing out the bordism relation (def. ). To descend this further to a function out of the set underlying the bordism ring, we need to see that the Pontrjagin-Thom construction respects the bordism relation. But the definition of bordism is just so as to exhibit under $\xi$ a left homotopy of representatives of homotopy groups.
Next we need to show that it is
a group homomorphism;
a ring homomorphism.
Regarding the first point:
The element 0 in the cobordism group is represented by the empty manifold. It is clear that the Pontrjagin-Thom construction takes this to the trivial stable homotopy now.
Given two $n$-manifolds with $\mathcal{B}$-structure, we may consider an embedding of their disjoint union into some $\mathbb{R}^{k}$ such that the tubular neighbourhoods of the two direct summands do not intersect. There is then a map from two copies of the k-cube, glued at one face
such that the first manifold with its tubular neighbourhood sits inside the image of the first cube, while the second manifold with its tubular neighbourhood sits indide the second cube. After applying the Pontryagin-Thom construction to this setup, each cube separately maps to the image under $\xi$ of the respective manifold, while the union of the two cubes manifestly maps to the sum of the resulting elements of homotopy groups, by the very definition of the group operation in the homotopy groups (def.). This shows that $\xi$ is a group homomorphism.
Regarding the second point:
The element 1 in the cobordism ring is represented by the manifold which is the point. Without restriction we may consoder this as embedded into $\mathbb{R}^0$, by the identity map. The corresponding normal bundle is of rank 0 and hence (by remark ) its Thom space is $S^0$, the 0-sphere. Also $V^{\mathcal{B}}_0$ is the rank-0 vector bundle over the point, and hence $(M \mathcal{B})_0 \simeq S^0$ (by def. ) and so $\xi(\ast) \colon (S^0 \overset{\simeq}{\to} S^0)$ indeed represents the unit element in $\pi_\bullet(M\mathcal{B})$.
Finally regarding respect for the ring product structure: for two manifolds with stable normal $\mathcal{B}$-structure, represented by embeddings into $\mathbb{R}^{k_i}$, then the normal bundle of the embedding of their Cartesian product is the direct sum of vector bundles of the separate normal bundles bulled back to the product manifold. In the notation of prop. there is a diagram of the form
To the Pontrjagin-Thom construction of the product manifold is by definition the top composite in the diagram
which hence is equivalently the bottom composite, which in turn manifestly represents the product of the separate PT constructions in $\pi_\bullet(M\mathcal{B})$.
The ring homomorphsim in lemma is an isomorphism.
Due to (Thom 54, Pontrjagin 55). See for instance (Kochmann 96, theorem 1.5.10).
Observe that given the result $\alpha \colon S^{n+(k-n)} \to Th(V_{k-n})$ of the Pontrjagin-Thom construction map, the original manifold $X \overset{i}{\hookrightarrow} \mathbb{R}^k$ may be recovered as this pullback:
To see this more explicitly, break it up into pieces:
Moreover, since the n-spheres are compact topological spaces, and since the classifying space $B O(n)$, and hence its universal Thom space, is a sequential colimit over relative cell complex inclusions, the right vertical map factors through some finite stage (by this lemma), the manifold $X$ is equivalently recovered as a pullback of the form
(Recall that $V^{\mathcal{B}}_{k-n}$ is our notation for the universal vector bundle with $\mathcal{B}$-structure, while $V_{k-n}(\mathbb{R}^k)$ denotes a Stiefel manifold.)
The idea of the proof now is to use this property as the blueprint of the construction of an inverse $\zeta$ to $\xi$: given an element in $\pi_{n}(M \mathcal{B})$ represented by a map as on the right of the above diagram, try to define $X$ and the structure map $g_i$ of its normal bundle as the pullback on the left.
The technical problem to be overcome is that for a general continuous function as on the right, the pullback has no reason to be a smooth manifold, and for two reasons:
the map $S^{n+(k-n)} \to Th(V_{k-n})$ may not be smooth around the image of $i$;
even if it is smooth around the image of $i$, it may not be transversal to $i$, and the intersection of two non-transversal smooth functions is in general still not a smooth manifold.
The heart of the proof is in showing that for any $\alpha$ there are small homotopies relating it to an $\alpha'$ that is both smooth around the image of $i$ and transversal to $i$.
The first condition is guaranteed by Sard's theorem, the second by Thom's transversality theorem.
(…)
Due to
René Thom, Quelques propriétés globales des variétés
différentiables_ Comment. Math. Helv. 28, (1954). 17-86
Lev Pontrjagin, Smooth manifolds and their applications in Homotopy theory, Trudy Mat. Inst. im Steklov, No 45, Izdat. Akad. Nauk. USSR, Moscow, 1955 (AMS Translation Series 2, Vol. 11, 1959)
Reviews include
Robert Stong, Notes on Cobordism theory, 1968 (toc pdf, publisher page)
Stanley Kochmann, section 1.5 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Further lecture notes include
John Francis, Topology of manifolds course notes (2010) (web), Lecture 3: Thom’s theorem (pdf), Lecture 4 Transversality (notes by I. Bobkova) (pdf)
Cary Malkiewich, section 3 of Unoriented cobordism and $M O$, 2011 (pdf)
Tom Weston, Part I of An introduction to cobordism theory (pdf)
Last revised on May 12, 2017 at 05:46:42. See the history of this page for a list of all contributions to it.