Cobordism ring explained

In mathematics, the oriented cobordism ring is a ring where elements are oriented cobordism classes^[1] of manifolds, the multiplication is given by the Cartesian product of manifolds and the addition is given as the disjoint union of manifolds. The ring is graded by dimensions of manifolds and is denoted by

\Omega ^{SO} _{*} = ⊕ ^{inf ty} _{0} \Omega ^{SO} _{n} where \Omega ^{SO} _{n} consists of oriented cobordism classes of manifolds of dimension n. One can also define an unoriented cobordism ring, denoted by \Omega ^{O} _{*} . If O is replaced U, then one gets the complex cobordism ring, oriented or unoriented.

In general, one writes

\Omega ^{B} _{*} for the cobordism ring of manifolds with structure B.

A theorem of Thom^[2] says:

\Omega ^{O} _{n} = \pi _{n} (MO) where MO is the Thom spectrum.

External links

• bordism ring in nLab
• The unoriented cobordism ring, a blog post by Akhil Mathew

Notes and References

1. Two compact oriented manifolds M, N are oriented cobordant if there is a compact manifold with boundary such that the boundary is diffeomorphic to the disjoint union of M with the given orientation and N with the reversed orientation.
2. Web site: MATH 465, Lecture 3: Thom's Theorem .