Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

For this to be true, you need to assume that your $4$-manifold $M$ is not a compact nonorientable manifold. Otherwise, you would have $H_4(M;\mathbb{Q}) = 0$ but $H_4(M;\mathbb{Z}/2) \neq 0$, so there is no hope that your manifold is homotopy equivalent to a $3$-dimensional CW-complex.

Assuming this, your conditions imply that your $4$-manifold is not compact (otherwise the 4th homology group would be $\mathbb{Q}$). It is a general fact that smooth noncompact $n$-manifolds are homotopy equivalent to $(n−1)$-dimensional CW complexes. For details, see Mohan Ramachandran's answer to my question herehere.

For this to be true, you need to assume that your $4$-manifold $M$ is not a compact nonorientable manifold. Otherwise, you would have $H_4(M;\mathbb{Q}) = 0$ but $H_4(M;\mathbb{Z}/2) \neq 0$, so there is no hope that your manifold is homotopy equivalent to a $3$-dimensional CW-complex.

Assuming this, your conditions imply that your $4$-manifold is not compact (otherwise the 4th homology group would be $\mathbb{Q}$). It is a general fact that smooth noncompact $n$-manifolds are homotopy equivalent to $(n−1)$-dimensional CW complexes. For details, see Mohan Ramachandran's answer to my question here.

For this to be true, you need to assume that your $4$-manifold $M$ is not a compact nonorientable manifold. Otherwise, you would have $H_4(M;\mathbb{Q}) = 0$ but $H_4(M;\mathbb{Z}/2) \neq 0$, so there is no hope that your manifold is homotopy equivalent to a $3$-dimensional CW-complex.

Assuming this, your conditions imply that your $4$-manifold is not compact (otherwise the 4th homology group would be $\mathbb{Q}$). It is a general fact that smooth noncompact $n$-manifolds are homotopy equivalent to $(n−1)$-dimensional CW complexes. For details, see Mohan Ramachandran's answer to my question here.

Source Link
Andy Putman
  • 44.8k
  • 14
  • 186
  • 272

For this to be true, you need to assume that your $4$-manifold $M$ is not a compact nonorientable manifold. Otherwise, you would have $H_4(M;\mathbb{Q}) = 0$ but $H_4(M;\mathbb{Z}/2) \neq 0$, so there is no hope that your manifold is homotopy equivalent to a $3$-dimensional CW-complex.

Assuming this, your conditions imply that your $4$-manifold is not compact (otherwise the 4th homology group would be $\mathbb{Q}$). It is a general fact that smooth noncompact $n$-manifolds are homotopy equivalent to $(n−1)$-dimensional CW complexes. For details, see Mohan Ramachandran's answer to my question here.