Math 2.0

Algebraic topology Definition

Thom spectrum

Builds on SpectrumThom spaceClassifying spaceUniversal bundleSuspension

Definition

For n≥0n \ge 0, let γn\gamma_n be the universal nn-plane bundle over the classifying space BO(n)BO(n), and let ε\varepsilon be the trivial line bundle. Let (Bn,fn,gn)n≥0(B_n, f_n, g_n)_{n \ge 0} be a sequence of spaces BnB_n with maps fn ⁣:Bn→BO(n)f_n \colon B_n \to BO(n) and gn ⁣:Bn→Bn+1g_n \colon B_n \to B_{n+1} such that fn+1∘gnf_{n+1} \circ g_n classifies the vector bundle ξn⊕ε\xi_n \oplus \varepsilon, where ξn=fn∗γn\xi_n = f_n^* \gamma_n. Write Th⁡(ξ)\operatorname{Th}(\xi) for the Thom space of a bundle ξ\xi. The Thom spectrum of this sequence is the spectrum MM with spaces Mn=Th⁡(ξn)M_n = \operatorname{Th}(\xi_n). Let Σ\Sigma be the reduced suspension. The structure maps of MM are the composites ΣTh⁡(ξn)≅Th⁡(ξn⊕ε)→Th⁡(ξn+1)\Sigma \operatorname{Th}(\xi_n) \cong \operatorname{Th}(\xi_n \oplus \varepsilon) \to \operatorname{Th}(\xi_{n+1}). Here the second map is induced by the bundle map ξn⊕ε→ξn+1\xi_n \oplus \varepsilon \to \xi_{n+1} that covers gng_n.

Remarks

Example: Bn=BO(n)B_n = BO(n) with fn=id⁡f_n = \id gives the spectrum MOMO. Here gn ⁣:BO(n)→BO(n+1)g_n \colon BO(n) \to BO(n+1) classifies γn⊕ε\gamma_n \oplus \varepsilon, so the condition holds by construction. Taking Bn=BSO(n)B_n = BSO(n) gives MSOMSO. For complex bundles one uses BU(n)BU(n) and the universal complex bundle, whose Thom space is placed in degree 2n2n; this gives the spectrum MUMU of complex cobordism.

Non-example: keep the spaces Th⁡(γn)\operatorname{Th}(\gamma_n) but take all structure maps constant. This is still a spectrum, but its structure maps are not induced by bundle maps, so it is not the Thom spectrum MOMO. Indeed, all its stable homotopy groups vanish, while π0MO≅ℤ/2\pi_0 MO \cong \Z/2.

More generally one can form the Thom spectrum of a map f ⁣:B→BOf \colon B \to BO, taking for BnB_n the preimage of BO(n)BO(n) under ff, after replacing ff by a fibration.

Reading path

To understand this page from the ground up, read these 11 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Classifying space concept
  2. Equivalence relation concept
  3. Homeomorphism concept
  4. Product topology concept
  5. Quotient topology concept
  6. Spectrum concept
  7. Thom space concept
  8. Topological space concept
  9. Universal bundle concept
  10. Suspension definition
  11. Thom spectrum definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Thom_space
About this page
TagFS2A7G2M6S
URIm2://FS2A7G2M6S
Kinddefinition
WritingW0 stub
MSC55P42, 55N22, 55R25
DefinesThom spectrum
UsesSpectrum, Thom space, Classifying space, Universal bundle, Suspension
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.