Manifolds and cobordisms
The (co)bordism ring is the graded ring whose
Instead of bare manifolds one may consider manifolds with extra structure, such as orientation, spin structure, string structure, etc. and accordingly there is
the oriented cobordism ring ,
the spin cobordism ring ,
In this general context the bare cobordism ring is also denoted or , for emphasis.
A ring homomorphism out of the cobordism ring is a (multiplicative) genus.
More generally, for a fixed manifold there is a relative cobordism ring whose
elements are classes modulo cobordism over of manifolds equipped with continuous functions to (“singular manifolds”);
multiplication of with is given by transversal intersection over : perturb such becomes a transversal maps and then form the pullback in Diff.
This product is graded in that it satisfies the dimension formula
Still more generally, this may be considered for being manifolds with boundary. Then for a CW pair is the ring of cobordism classes, relative boundary, of singular manifolds such that the boundary of lands in in .
The resulting functor
constitutes a generalized homology theory (see e.g. Buchstaber, II.8). Accordingly this is called bordism homology theory.
The spectrum that represents this under the Brown representability theorem is the universal Thom spectra (e.g. MO for or MU for ), which canonically is a ring spectrum under Whitney sum of universal vector bundles. Accordingly the (co-bordism ring) itself is equivalently the bordism homology groups of the point, hence the stable homotopy groups of the Thom spectrum (this is Thom's theorem)
This remarkable relation between manifolds and stable homotopy theory is known as cobordism theory (or “Thom theory”).
On general grounds this is equivalently the -generalized cohomology of the point (cobordism cohomology theory)
which justifies calling both the “bordism ring” as well as the “cobordism ring”.
By Thom's theorem, for any (B,f)-structure , there is an isomorphism (of commutative rings)
from the cobordism ring of manifolds with stable normal -structure to the homotopy groups of the universal -Thom spectrum.
Now for framing structure, then
is equivalently the sphere spectrum. Hence in this case Thom's theorem states that there is an isomorphism
between the framed cobordism ring and the stable homotopy groups of spheres.
For discussion of computation of this way, see for instance (Wang-Xu 10, section 2).
because there are two -framings on a single point, corresponding to , the negative of a point with one framing is the point with the other framing, and so under disjoint union, the framed points form the group of integers;
because the only compact connected 1-manifold is the circle, there are two framings on the circle, corresponding to and they are their own negatives.
The cobordism ring over the point for oriented manifolds starts out as
see e.g. (ManifoldAtlas)
For a CW-complex (for instance a manifold), then the oriented cobordism ring is expressed in terms of the ordinary homology of with coefficients in the cobordism ring over the point, prop. 1, as
e.g. Connor-Floyd 62, theorem 14.2
Textbook accounts include
Lecture notes include
Details for framed cobordism are spelled out in
Guozhen Wang, Zhouli Xu, section 2 of A survey of computations of homotopy groups of Spheres and Cobordisms, 2010 (pdf)
Andrew Putman, Homotopy groups of spheres and low-dimensional topology (pdf)
Further discussion of oriented cobordism includes
Manifold Atlas, Oriented bordism
P. E. Conner, E. E. Floyd, Differentiable periodic maps, Bull. Amer. Math. Soc. Volume 68, Number 2 (1962), 76-86. (Euclid, pdf)
A historical review in the context of complex cobordism cohomology theory/Brown-Peterson theory is in
On fibered cobordism groups?:
- Astey, Greenberg, Micha, Pastor, Some fibered cobordisms groups are not finitely generated (pdf)
Discussion of the -equivariant complex coborism ring includes
G. Comezana and Peter May, A completion theorem in complex cobordism, in Equivariant Homotopy and Cohomology Theory, CBMS Regional conference series in Mathematics, American Mathematical Society Publications, Volume 91, Providence, 1996.
Igor Kriz, The –equivariant complex cobordism ring, from: “Homotopy invariant algebraic structures (Baltimore, MD, 1998)”, Amer. Math. Soc. Providence, RI (1999) 217–223
Neil Strickland, Complex cobordism of involutions, Geom. Topol. 5 (2001) 335-345 (arXiv:math/0105020)
William Abrams, Equivariant complex cobordism, 2013 (pdf)