cobordism theory = manifolds and cobordisms + stable homotopy theory/higher category theory
Concepts of cobordism theory
Pontrjagin's theorem (equivariant, twisted):
$\phantom{\leftrightarrow}$ Cohomotopy
$\leftrightarrow$ cobordism classes of normally framed submanifolds
$\phantom{\leftrightarrow}$ homotopy classes of maps to Thom space MO
$\leftrightarrow$ cobordism classes of normally oriented submanifolds
complex cobordism cohomology 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:
global equivariant bordism theory:
algebraic:
A generalized homology theory represented by a Thom spectrum. The dual concept of cobordism cohomology 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:
global equivariant bordism theory:
algebraic:
See Section 2 in Atiyah Atiyah. Atiyah’s geometric model for bordism homology groups defines them as equivalence classes of maps of manifolds.
We concentrate on the oriented case, corresponding to the Thom spectrum $\mathrm{M} \mathrm{SO}$.
Specifically, the $k$-dimensional oriented bordism group $\mathrm{M} \mathrm{SO}_k(X)$ of a smooth manifold $X$ (more generally, a paracompact Hausdorff topological space, even more generally, an arbitrary topological space provided we use numerable open covers for trivializations) is defined as the quotient of the commutative monoid $C_k(X)$ by the equivalence relation $\sim$ of bordism, defined below.
Elements of $C_k(X)$ are smooth (or continuous) maps $F\colon M\to X$, where $M$ is a compact $k$-dimensional oriented smooth manifold (without boundary).
Two such maps $F$ and $F'$ are equivalent if there is a smooth (or continuous) map $G\colon N\to X$, where $N$ is a compact $(k+1)$-dimensional oriented smooth manifold with boundary
such that $G|_M=F$ and $G|_{M'}=F'$.
One can also defined twisted homology groups? in the same manner. Twists are principal bundles $\alpha$ over $X$ with structure group $\mathbf{Z}/2$. Elements of $C_k(X,\alpha)$ are maps $F\colon (M,\tau)\to (X,\alpha)$, where $M$ is a compact $k$-dimensional smooth manifold equipped with a principal $\mathbf{Z}/2$-bundle $\tau$, and the map $F$ is a morphism of such principal bundles. Likewise, $F\sim F'$ if there is a map $G\colon (N,\sigma)\to(X,\alpha)$ with the same properties as above.
The original article introducing bordism as a Whitehead-generalized cohomology theory:
Surveys:
Peter Landweber, A survey of bordism and cobordism, Mathematical Proceedings of the Cambridge Philosophical Society, Volume 100, Issue 2 September 1986 , pp. 207-223 (doi:10.1017/S0305004100066032)
Max Hopkins, The Extraordinary Bordism Homology, 2016 (pdf, pdf)
For more, see the references at cobordism cohomology theory.
Last revised on January 31, 2021 at 07:33:01. See the history of this page for a list of all contributions to it.