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

${\displaystyle \Omega _{*}^{SO}=\oplus _{0}^{\infty }\Omega _{n}^{SO}}$

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

In general, one writes ${\displaystyle \Omega _{*}^{B}}$ for the cobordism ring of manifolds with structure B.

A theorem of Thom^[2] says:

${\displaystyle \Omega _{n}^{O}=\pi _{n}(MO)}$

where MO is the Thom spectrum.

Notes

References

• Milnor, John Willard; Stasheff, James D. (1974), Characteristic classes, Annals of Mathematics Studies, vol. 76, Princeton University Press; University of Tokyo Press, ISBN 978-0-691-08122-9

External links

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