Does the bordism homology theory satisfy the weak equivalence axiom?

Question

There is an interesting and important homology theory called bordism. Briefly speaking, a singular manifold in a space $X$ is a pair $(M, f)$ where $M$ is a closed smooth manifold and $f : M \to X$ is a map. Two singular manifolds of the same dimension $(M, f)$ and $(N, g)$ in $X$ are bordant if there is a pair $(W, H)$ where $W$ is a bordism from $M$ to $N$ and $H : W \to X$ is a map restricting to $f$ and $g$ on $M$ and $N$. We define the bordism group $MO_n X$ to be the set of bordism classes of all $n$-dimensional singular manifolds in $X$ (this is indeed an abelian group under the addition induced by the coproduct of manifolds). It turns out that this gives rise to a homology theory, i.e. the functors $MO_*$ satisfy the Eilenberg--Steenrod axioms. Strictly speaking, one needs to define the relative bordism groups which are defined using bordism classes of singular compact manifolds with boundary, i.e. maps $(M, \partial M) \to (X, A)$ and there are some issues with manifolds with corners to be resolved. The complete construction is explained very nicely in Differentiable Periodic Maps by Conner and Floyd. (Beware that there are a book and a paper by the same authors and with the same title, I mean the book: Differentiable Periodic Maps, LNM 738, 1979.) There are also (even more interesting) variants of the bordism theory like $MU$ and $M \mathrm{Spin}$, which arise by considering additional structure on singular manifolds. I hope that a good answer to my question will handle the general case.

A homology theory $h_*$ satisfies the weak equivalence axiom if for every weak equivalence of pairs of spaces $f : (X, A) \to (Y, B)$ (i.e. a map such that both $f : X \to Y$ and $f | A : A \to B$ are weak equivalences) the induced map $h_*(X, A) \to h_*(Y, B)$ is an isomorphism. My question is exactly as in the title.

Does the bordism homology theory satisfy the weak equivalence axiom?

An example of a homology theory that satisfies the weak equivalence axiom is singular homology. The way to prove this is as follows. Fix a pair of spaces $(X, A)$ and a natural number $n$. Consider the Eilenberg subcomplex $\mathrm{Sing}^{(n, A)} X$ of the singular complex $\mathrm{Sing} X$ which consist in degree $k$ of maps of pairs $(\Delta^k, (\Delta^k)^{(n)}) \to (X, A)$ where $(\Delta^k)^{(n)}$ is the $n$-skeleton of $\Delta^k$. One can prove that if $(X, A)$ is $n$-connected, then the induced inclusion of singular chain complexes $S_\bullet^{(n, A)} X \to S_\bullet X$ is a chain homotopy equivalence and thus the relative groups $H_*(X, A)$ are zero up to degree $n$.

This gave me an idea that maybe in case of bordism the weak equivalence axiom could be verified by choosing a triangulation on a manifold $M$ and considering maps $(M, M^{(n)}) \to (X, A)$ where $M^{(n)}$ is the $n$-skeleton of $M$ with respect to this triangulation. I was unable to find a proof along these lines. However, if this approach has any merit at all, then it means that the question has something to do with existence of triangulations of manifolds and thus the following may be a subtler variant of the question.

Does the topological bordism homology theory (i.e. the one constructed using compact topological manifolds, which do not necessarily admit triangulations) satisfy the weak equivalence axiom?

Some people may feel that the issue is somewhat immaterial since even if a homology theory doesn't satisfy the weak equivalence axiom, then we simply prolong it from CW-complexes to all spaces by means of CW-replacement. However, I feel that if some geometrically defined (co)homology theory satisfies the weak equivalence axiom for some class of spaces larger than CW-complexes, then it is good to know how large exactly this class is. For example for singular homology this class consists of all spaces which makes the theory unexpectedly well-behaved. An example where it fails very badly is topological K-theory. There the geometric definition is wrong even for non-finite CW-complexes and one needs to use the representing spectrum to prolong the theory to all spaces.

Answer 1

This answer is simply to write the details for my comment above. It amounts to doing a little more work with homotopy equivalences, so as to carry out essentially the argument you gave in your comment regarding the smooth case.

Assume that $f:X\to Y$ is a weak equivalence of topological spaces. We want to show that the map induced on topological bordism (as you define it) is a bijection.

Regarding the surjectivity, I will simply repeat the content of Tom Goodwillie's comment. First, we observe that any topological manifold has the homotopy type of a CW-complex (you can find references to proofs by Hanner in Milnor's "On spaces having the homotopy type of a CW-complex", as remarked in the comment of Greg Friedman). It follows that $f$ induces a bijection on homotopy classes of maps $f_\ast :[M,X]\to [M,Y]$. Therefore, any map $g:M\to Y$ is homotopic and thus cobordant to a map which lifts to $X$. This proves surjectivity.

To prove injectivity, we need to know that the inclusion of the boundary of a topological manifold is a closed Hurewicz cofibration, that is a NDR-pair. This holds since the boundary of a topological manifold is collared (see chapter 2 of Ferry's notes). With this fact at hand, we can show that for any topological manifold $M$, the pair $(M,\partial M)$ is homotopy equivalent rel $\partial M$ to a pair $(A,\partial M)$ such that the inclusion $\partial M\to A$ is a Serre cofibration.

Proof of claim: Simply factor the inclusion $\partial M\to M$ as a Serre cofibration followed by a weak equivalence $\partial M\to A\to M$. Since $\partial M$ is a topological manifold, it has the homotopy type of a CW-complex, and it follows that $A$ also has the homotopy type of a CW-complex. Then the map $A\to M$ is a weak equivalence of spaces with the homotopy type of CW-complexes, and thus a homotopy equivalence. The map $A\to M$ is therefore a homotopy equivalence rel $\partial M$, since both maps $\partial M\to A$ and $\partial M \to M$ are Hurewicz cofibrations.

We can now prove injectivity by carrying out an argument similar to the one you wrote in your comment. Given bordism classes $g_0:M_0\to X$, $g_1:M_1\to X$ in $X$ and a cobordism $g:M\to Y$ ($\partial M=M_0\coprod M_1$) between $f\circ g_0$ and $f\circ g_1$, we need to find a cobordism $g':M\to X$ between $g_0$ and $g_1$. For that purpose, we replace $(M,\partial M)$ with $(A,\partial M)$ as described above. Since $\partial M\to A$ is a Serre cofibration, we can find a lift up to homotopy $A\to X$ of the composite $A\to M\to Y$, which furthermore extends the map $(g_0,g_1):\partial M\to X$. Composing with the homotopy equivalence $M\to A$ rel $\partial M$, we get the desired map $g':M\to X$.

Answer 2

Thom directly constructed a natural isomorphism $MO_n(X) \rightarrow \pi_n (MO \wedge X_+)$ with no assumptions on $X$. The latter sends weak equivalences to isomorphisms since it is computed as a colimit over homotopy groups.