I believe the following statement is true, and I've even seen it referenced here. Could someone point me to a proof?
The fundamental group of a closed hyperbolic 3-manifold is not a free product.
MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.
Sign up to join this communityI believe the following statement is true, and I've even seen it referenced here. Could someone point me to a proof?
The fundamental group of a closed hyperbolic 3-manifold is not a free product.
If $M$ is a closed $3$-manifold and $\pi_1(M) \cong A \ast B$ with $A$ and $B$ nontrivial, then Kneser's conjecture (which is a theorem -- the proof can be found in Hempel's book on 3-manifolds) says that we can write $M = M' \sharp M''$ where $M'$ and $M''$ are closed 3-manifolds with $\pi_1(M')=A$ and $\pi_1(M'')=B$. In particular, $M$ contains an embedded $2$-sphere which does not bound a ball (namely, the sphere from the connect sum decomposition). However, all embedded $2$-spheres in hyperbolic 3-manifolds bound balls, as can be seen by lifting to the universal cover.
One can also see it using the theory of ends. If $\pi_1M$ were freely decomposable, then it would follow from the easy direction of Stallings' Ends Theorem that $\pi_1M$ had two or infinitely many ends. On the other hand, by the Svarc--Milnor Lemma, $\pi_1M$ is quasi-isometric to hyperbolic 3-space, which has one end. Because ends are a quasi-isometry invariant, we are done.
This argument shows that this isn't really a 3-manifold fact. Indeed, it proves:
If $M$ is any closed manifold with universal cover homeomorphic to $\mathbb{R}^n$ for $n>1$ then $\pi_1M$ is freely indecomposable.