5
$\begingroup$

Let $M$ be an irreducible 3-manifold with incompressible boundary of genus > 1.

When is $M$ homotopy equivalent to an Eilenberg-MacLane space? Or it is never true?

$\endgroup$

1 Answer 1

12
$\begingroup$

M is always aspherical, and hence a Eilenberg-Maclane space.

This is because $\pi_1(\partial M)$ embeds to $\pi_1(M)$, by the incompressibility condition. If the genus of the boundary is no less than 1, then $M$ has infinite fundamental group. This forces the universal cover $\tilde M$ to be a non-compact 3-manifold, so $H_i(\tilde M)=0,\ i\geqslant 3$.

By sphere theorem, $M$ is irreducible implies that $\pi_2(\tilde M)=\pi_2(M)=\{e\}$. Note that $\pi_1(\tilde M)=\{e\}$, then by Hurewicz theorem we have $H_i(\tilde M)=0,\ i=1,2.$ Then $\tilde M$ has trivial integral homology and is simply connected, so $\tilde M$ is contractible by Whitehead theorem.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .