MO (Rev #9) in nLab
Context
Cobordism theory
cobordism theory = manifolds and cobordisms + stable homotopy theory/higher category theory
Concepts of cobordism theory
-
Pontrjagin's theorem (equivariant, twisted):
↔\phantom{\leftrightarrow} Cohomotopy
↔\leftrightarrow cobordism classes of normally framed submanifolds
-
↔\phantom{\leftrightarrow} homotopy classes of maps to Thom space MO
↔\leftrightarrow cobordism classes of normally oriented submanifolds
-
complex cobordism cohomology theory
flavors of bordism homology theories/cobordism cohomology theories, their representing Thom spectra and cobordism rings:
bordism theory\;M(B,f) (B-bordism):
relative bordism theories:
global equivariant bordism theory:
algebraic:
Cohomology
Special and general types
-
group cohomology, nonabelian group cohomology, Lie group cohomology
-
-
cohomology with constant coefficients / with a local system of coefficients
Special notions
Variants
-
differential cohomology
Operations
Theorems
Contents
Idea
The universal Thom spectrum (see there for more) of the orthogonal group. (…) Abstractly, this is the homotopy colimit of the J-homomorphism in Spectra:
MO=lim→(BO→JBGL 1(𝕊)→Spectra) MO = \underset{\rightarrow}{\lim}(B O \stackrel{J}{\to} B GL_1(\mathbb{S}) \to Spectra)
Properties
Thom’s theorem on MOM O
By Thom's theorem the stable homotopy groups of MOM O form the bordism ring of unoriented manifolds
π •(MO)≃Ω • O. \pi_\bullet(M O) \simeq \Omega^O_\bullet \,.
Moreover, this is the polynomial algebra
π •(MO)≃(ℤ/2ℤ)[x n|n∈ℕ,n≥2,n≠2 t−1]. \pi_\bullet(M O) \simeq (\mathbb{Z}/2\mathbb{Z})[ x_n \;|\; n \in \mathbb{N}, \,n \geq 2, \, n \neq 2^t-1] \,.
Due to (Thom 54). See for instance (Kochmann 96, theorem 3.7.6)
The corresponding statement for MU is considerably more subtle, see Milnor-Quillen theorem on MU.
References
- René Thom, Quelques propriétés globales des variétés différentiables Comment. Math. Helv. 28, (1954). 17-86
Review includes
-
Stanley Kochmann, section 1.5 and section 3.7 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
-
Cary Malkiewich, section 2 of Unoriented cobordism and MOM O, 2011 (pdf)
In the incarnation as a symmetric spectrum:
- Stefan Schwede, Example I.2.8 in Symmetric spectra, 2012 (pdf)
In the incarnation as an orthogonal spectrum (in fact as an equivariant spectrum in global equivariant stable homotopy theory):
- Stefan Schwede, chapter V.4 of Global homotopy theory, 2015
Revision on July 5, 2016 at 08:20:36 by Urs Schreiber See the history of this page for a list of all contributions to it.