Skip to main content
Corrected typo.
Source Link
HJRW
  • 25k
  • 3
  • 68
  • 144

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(M)=\{e\}$$\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.

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(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.

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.

Source Link
Fredy
  • 502
  • 3
  • 10

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(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.