Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Which free abelian groups can be realized as the fundamental group of a closed 3-manifold? The only one I can come up with is $\mathbb{Z}$, which is the fundamental group of $S^1 \times S^2$. For the application I have in mind, the key case is $\mathbb{Z}^2$. Here it is easy if you allow boundary (just take $T^2 \times [0,1]$), but I don't see how to do it without the boundary.

share|improve this question
add comment

3 Answers

up vote 12 down vote accepted

(I assume all occuring 3-manifolds to be orientable and closed)

A manifold with a free abelian fundamental group cannot be a connected sum of non-trivial 3-manifolds since its fundamental group is not a free product. A prime manifold is either $S^1\times S^2$ or irreducible (Hatcher's notes on 3-manifolds, 1.4). By 3.9 in the same source, an irreducible 3-manifold $M$ with infinite fundamental group is a $K(\pi,1)$. If $\pi = \mathbb{Z}^n$, then $M$ needs therefore to be homotopy equivalent to $(S^1)^n$. This can only be if $n=3$.

share|improve this answer
    
I suppose one could point out that if $M$ is non-orientable, one can apply the argument to the 2-fold orientable cover (to rule out a non-orientable 3-manifold with $\pi_1=\mathbb{Z}^2$). In the case of $\mathbb{Z}$, there is also the non-orientable $S^2$-bundle over $S^1$. One also needs the Poincare conjecture to conclude that $M$ is irreducible. Of course, one can make the argument independent of the Poincare conjecture, since a connect sum with a homotopy 3-sphere does not affect the homotopy groups $\pi_k$. –  Ian Agol Jul 14 '10 at 21:39
    
Your first sentence depends on the Poincare conjecture. –  Richard Kent Jul 14 '10 at 21:42
2  
Surely Lennart avoided the Poincare conjecture by defining a 3-manifold to be "trivial" if it is simply connected. –  Ben Wieland Jul 15 '10 at 2:26
add comment

Only $\mathbb Z$ and $\mathbb Z^3$ (for $T^3$) are free abelian groups that appear as fundamental groups of $3$-manifolds. Hopefully the following is an approximative proof.

The manifold must be prime (otherwise the $\pi_1$ is not ableian), hence it is $K(\pi,1)$. Hence its cohomology are just cohomology of the group $\mathbb Z^n$. So the can not get $\mathbb Z^2$ since $H^3(\mathbb Z^2)=0$, and we can not get $\mathbb Z^n$ with $n>3$ since $H^n(\mathbb Z^n)=\mathbb Z$.

share|improve this answer
2  
Thanks! You and Lennart gave the same nice proofs. Though he gave his 3 minutes after you, the references he gave make his easier to follow. I thus choose to accept his answer. Again, thanks! –  user7621 Jul 14 '10 at 21:30
add comment

John Hempel, in his book $3$-manifolds, shows that if $G$ is a finitely generated abelian group which is a subgroup of the fundamental group of a closed $3$-manifold, then $G$ is one of $\mathbb Z$, $\mathbb Z\oplus\mathbb Z$, $\mathbb Z\oplus\mathbb Z \oplus\mathbb Z$, $\mathbb Z_p$ or $\mathbb Z\oplus\mathbb Z_2$. This is theorem 9.13 in the book.

He also proves, in theorem 9.14, that an abelian group which is not finitely generated and a subgroup of the fundamental group of a $3$-manifold, then it is isomorphic to a subgroup of $\mathbb Q$ (and proposes, as an exercise, to show that all such groups in fact occur)

share|improve this answer
    
typo in your list, I think (a comma needs to be removed) –  Yemon Choi Jul 14 '10 at 21:25
    
Thanks Yemon. Fixed. –  Mariano Suárez-Alvarez Jul 14 '10 at 21:26
    
I can't find that statement in Hempel, but in any case something must be wrong since Dmitri and Lennart gave nice proofs that Z^2 can't occur. –  user7621 Jul 14 '10 at 21:29
5  
@EL The statement is not that these occur as fundamental groups of a closed 3-manifold, but that they occur as subgroups of the fundamental group of a closed 3-manifold. The group $Z^2$ is a subgroup of $Z^3 = \pi_1(T^3)$. –  Jason DeVito Jul 14 '10 at 21:33
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.