4
$\begingroup$

Suppose $d \ge 2$ and $S$ is a finite simplicial complex of dimension $2d$, such that

(1) $S$ is simply connected, i.e. $\pi_1 ( S) = 0$, and

(2) all the homology of $S$ is in middle degree, i.e. $\widetilde{H}_i ( S, \mathbb{Z}) = 0,$ unless $i = d$, and

(3) homology $\widetilde{H}_d(S, \mathbb{Z})$ is torsion-free.

Does it necessarily follow that $S$ is homotopy equivalent to a wedge of spheres of dimension $d$?

If $S$ can be shown to be homotopy equivalent to a $d$-dimensional cell complex, for example, this would follow by standard results.

2 Answers 2

5

Your space is what is called a Moore space (a space with a unique nontrivial homology group), and these are determined up to homotopy by the nontrivial homology group $G$ and the nontrivial dimension (see Hatcher Example 4.34). It follows that your space is homotopy equivalent to a wedge of spheres whenever its nontrivial homology group is a direct sum of $\mathbb Z$'s.

  • 1
    And since $H_d$ is torsion-free and finitely generated, it is indeed a direct sum of $\mathbb{Z}$'s.2012-06-30
4

I will also assume that $S$ is connected, as is usually implied by simply connected, though your definition does not explicitly state this. Since $S$ is a finite simplicial complex, $H_d(S, \mathbb Z) \cong \bigoplus_{i=1}^k \mathbb Z$. By the Hurewicz theorem, the Hurewicz map $\pi_d(S) \to H_d(S)$ is an isomorphism, so we can pick maps $p_i: S^d \to S$ such that $P = \bigvee_i p_i : H_d(\bigvee_i S^d) \to H_d(S)$ is an isomorphism, of course, we also see that $P : H_k(\bigvee_i S^d) \to H_k(S)$ is an isomorphism for $k\neq d$. Since both spaces are simply connected, this implies by the Hurewicz theorem again that $P$ is a weak equivalence, and by the Whitehead Theorem, $P$ is a homotopy equivalence.