3-manifolds with solvable fundamental group - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T12:09:53Z http://mathoverflow.net/feeds/question/85918 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/85918/3-manifolds-with-solvable-fundamental-group 3-manifolds with solvable fundamental group Andy Hammerlindl 2012-01-17T17:43:34Z 2013-03-25T11:17:54Z <p>Is there a nice reference for the classification of closed 3-manifolds with solvable (nilpotent, abelian, etc.) fundamental group, assuming the Geometrization Conjecture?</p> http://mathoverflow.net/questions/85918/3-manifolds-with-solvable-fundamental-group/85919#85919 Answer by Richard Kent for 3-manifolds with solvable fundamental group Richard Kent 2012-01-17T17:47:48Z 2012-01-17T17:47:48Z <p><a href="http://www.math.lsa.umich.edu/~pscott/8geoms.pdf" rel="nofollow">Peter Scott, The geometries of 3-manifolds, Bull. London Math. Soc., 15 (1983), 401-487.</a></p> http://mathoverflow.net/questions/85918/3-manifolds-with-solvable-fundamental-group/85955#85955 Answer by Alex Suciu for 3-manifolds with solvable fundamental group Alex Suciu 2012-01-18T04:14:56Z 2012-01-18T04:37:07Z <p>Here are some references that may help answer your question:</p> <p><li> Charles B. Thomas, <a href="http://dx.doi.org/10.1017/S0305004100042857" rel="nofollow"><em>Nilpotent groups and compact $3$-manifolds</em></a>, Proc. Cambridge Philos. Soc. <strong>64</strong> (1968), 303-306; <a href="http://www.ams.org/mathscinet-getitem?mr=0233359" rel="nofollow">MR0233359</a>. <li> Benny Evans and Louise Moser, <a href="http://www.ams.org/journals/tran/1972-168-00/S0002-9947-1972-0301742-6/" rel="nofollow"><em>Solvable fundamental groups of compact $3$-manifolds</em></a>, Trans. Amer. Math. Soc. <strong>168</strong> (1972), 189–210; <a href="http://www.ams.org/mathscinet-getitem?mr=0301742" rel="nofollow">MR0301742</a>. <li> Peter Teichner, <a href="http://www.mrlonline.org/mrl/1997-004-002/1997-004-002-009.html" rel="nofollow"><em>Maximal nilpotent quotients of $3$-manifold groups</em></a>, Math. Res. Lett. <strong>4</strong> (1997), no. 2-3, 283-293; <a href="http://www.ams.org/mathscinet-getitem?mr=1453060" rel="nofollow">MR1453060</a>.</p> <p>A little nugget (due to John Milnor): among the Brieskorn manifolds $\Sigma(p,q,r)$, the only nilmanifolds are $\Sigma(2,3,6)$, $\Sigma(2,4,4)$, and $\Sigma(3,3,3)$, which are circle bundles over the torus with Euler number $1$, $2$, and $3$, respectively. </p> http://mathoverflow.net/questions/85918/3-manifolds-with-solvable-fundamental-group/125522#125522 Answer by Neil Hoffman for 3-manifolds with solvable fundamental group Neil Hoffman 2013-03-25T11:05:31Z 2013-03-25T11:17:54Z <p>Although I am late to answer this question, I wanted to put in a sales pitch for the flow charts at the end of <a href="http://press.princeton.edu/titles/6086.html" rel="nofollow">Thurston's book</a> (Figures 4.22 and 4.23). They do a great job for dealing with your questions for oriented manifolds.</p> <p>In the first chart, Thurston uses "almost" to mean virtually, i.e. has a finite index subgroup with some property. Considering compact manifolds with abelian fundamental group, we have the following classification. (The references are to Thurston's book although older references exist for nearly all of these statements.) If $\pi_1(M)$ is finite, then $M$ is a lens space with finite cyclic fundamental group (see Theorem 4.4.14). If $\pi_1(M)$ is not finite and abelian, then $\pi_1(M)= Z, Z\times Z\times Z$ . The first case implies that $M\cong S^1\times S^2$ (see Exercise 4.7.1) and the second implies that $M \cong T^3$ (see Theorem 4.3.4). </p> <p>As Richard Kent points out the paper of Peter Scott is a wonderful reference and these last two facts are discussed in greater detail there. </p> <p>Finally to finish our classification for oriented manifolds, we also have to worry about the cusped manifolds. In general, the second chart has this information. The one caveat is that the unknot and Hopf link complements ($S^1\times D^2$ and $T^2 \times I$) might not neatly fit on this list, because they do not admit a cofinite $H^3$, $\widetilde{PSL(2,R)}$ or $H^2 \times R$ structures. However, unknot and Hopf link complements should be added to our list of manifolds having abelian fundamental groups as well since their fundamental groups are $Z$ and $Z\times Z$, respectively. I believe they are not considered in this chart because they would not show up in a decomposition prescribed by the Geometrization. For example, if you attach a Hopf link complement to the boundary of geometric piece via a boundary identification the resulting manifold remains geometric.</p> <p>The non-orientable case, includes $S^1 \times P^2$, which has fundamental group $Z \times Z/2Z$ (see Epstein's <a href="http://plms.oxfordjournals.org/content/s3-11/1/469.full.pdf" rel="nofollow">paper</a> Theorem 9.1). </p>