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
where consists of oriented cobordism classes of manifolds of dimension n. One can also define an unoriented cobordism ring, denoted by . If O is replaced U, then one gets the complex cobordism ring, oriented or unoriented.
In general, one writes for the cobordism ring of manifolds with structure B.
A theorem of Thom[2] says:
where MO is the Thom spectrum.
Notes
edit- ^ 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.
- ^ "MATH 465, Lecture 3: Thom's Theorem" (PDF).
References
edit- 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
edit- bordism ring in nLab
- The unoriented cobordism ring, a blog post by Akhil Mathew