ncatlab.org

MO (Rev #9) in nLab

Context

Cobordism theory

cobordism theory = manifolds and cobordisms + stable homotopy theory/higher category theory

Concepts of cobordism 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:

equivariant bordism theory:

global equivariant bordism theory:

algebraic:

Cohomology

cohomology

Special and general types

Special notions

Variants

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

In the incarnation as a symmetric spectrum:

In the incarnation as an orthogonal spectrum (in fact as an equivariant spectrum in global equivariant stable homotopy theory):

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.