Turning cobordism into a cohomology theory

It is a bit easier to describe the homology theory associated with cobordism; let's say unoriented cobordism here. Then one gets a homology theory $MO_*$ such that elements of $MO_*(X)$ can be described as an $n$-manifold $M$ together with a map $f: M \to X$ (this would live in degree $n$). Two maps $f: M \to X, g: N \to X$ have the same class in $MO_*(X)$ if there exists a manifold-with-boundary $P$ of dimension $n+1$ together with a map $H: P \to X$ such that $\partial P = M \sqcup N$ and the restrictions of $H$ to $M, N$ are just $f, g$ respectively. In this way, you can build a homology theory out of the ways in which manifolds map to $X$.

The associated spectrum, by the Thom-Pontryagin construction, is the Thom spectrum $MO$ obtained as follows. Take the classifying space $BO_n$ for the orthogonal group $O(n)$; on it is a universal $n$-dimensional vector bundle $\zeta_n$. The Thom space $MO(n)$ of $BO(n)$ can now be defined. Because of the natural maps $$BO(n) \to BO(n+1)$$ pulling back $\zeta_{n+1}$ to $\zeta_n \oplus 1$, one gets maps $$MO(n) \wedge S^1 \to MO(n+1)$$ (because $\zeta_n\oplus1$ has Thom space $MO(n) \wedge S^1$). In this way, one gets the spectrum (which, as I've defined, is not an $\Omega$-spectrum, so some would call it a prespectrum) $MO$, which represents unoriented bordism.


There is a fantastic set of notes by Haynes Miller

Haynes Miller - Notes on Cobordism

from a 1994 class of his, that details this and probably much more than you would ever want to know! In particular the first 15 pages or so show the relation between bordism and the spectrum $MO$.

There is also the classic - 'Notes on Cobordism Theory' by Stong, but I would definitely start with Haynes Miller's notes.


The relationship between cobordism and generalized cohomology was first revealed by Atiyah, in his paper Bordism and cobordism (Proc. Camb. Phil. Soc. 57, 200-208 (1961))