Fundamental group of a compact space form. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T15:49:26Z http://mathoverflow.net/feeds/question/19348 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/19348/fundamental-group-of-a-compact-space-form Fundamental group of a compact space form. engelbrekt 2010-03-25T20:07:29Z 2010-03-26T12:23:11Z <p>Space forms are complete (connected) Riemannian manifolds of constant sectional curvature. These fall into three classes: Euclidean, with universal covering isometric to $\mathbb{R}^n$, spherical, with universal covering isometric to $S^n$, and hyperbolic, with universal covering isometric to $\mathbb{H}^n$.</p> <p>Does there exist compact space forms of the same dimension from two different classes having isomorphic fundamental groups?</p> <p>This cannot happen for $n = 2$, since the Gauss-Bonnet theorem </p> <p>$$\int_M K{ \ }\mathrm{vol}_M = 2{\pi}\chi(M)$$</p> <p>shows that the Euler characteristic $\chi(M)$ is positive, zero, or negative when the space form $M$ is Euclidean, spherical or hyperbolic respectively. But for (closed) surfaces the fundamental group determines the Euler characteristic.</p> <p>It is essential for the question to require compactness, otherwise there are trivial examples. Dividing out $\mathbb{R}^2$ by the group of isometries generated by $(x,y) \mapsto (x+1,y)$ yields a Euclidean space form with fundamental group isomorphic to $\mathbb{Z}$, while dividing out $\mathbb{H}^2$ by the group of isometries generated by the hyperbolic isometry $(x,y) \mapsto (x+1,y)$ yields a hyperbolic space form also with fundamental group isomorphic to $\mathbb{Z}$.</p> <p>The standard reference on space forms is Spaces of Constant Curvature by Joseph A. Wolf. The classification of Euclidean space forms is given in Chapter 3, and of spherical ones in Chapter 7. Wolf does not treat hyperbolic space forms, possibly because not much was known about them in 1967. Unfortunately, the fundamental groups are infinite for the compact Euclidean space forms, and finite for the spherical space forms (which are necessarily compact, being quotients of $S^n$). So a hypothetical example has to involve a hyperbolic space form.</p> <p>An example might drop out of the theory of three-manifolds. In dimension three the space forms belong to three of the eight Thurston model geometries. A pair yielding an example would have to be one Euclidean and one hyperbolic, since it follows from Perelman's geometrization theorem that the spherical ones are precisely those with finite fundamental group.</p> http://mathoverflow.net/questions/19348/fundamental-group-of-a-compact-space-form/19351#19351 Answer by Matthew Stover for Fundamental group of a compact space form. Matthew Stover 2010-03-25T20:19:23Z 2010-03-26T12:23:11Z <p>No, they are always different. Mostow Rigidity tells you that complete, finite-volume hyperbolic manifolds are determined by their fundamental groups. These groups never contain a $\mathbb Z \oplus \mathbb Z$, and any group acting on $\mathbb E^2$ contains this as a subgroup of finite index. Groups acting on the three-sphere are finite. This generalizes to all $n$: Mostow Rigidity remains true (and these fundamental groups never contain $\mathbb Z^n$; they are Gromov hyperbolic groups), Bieberbach Theorems say that the groups acting on $\mathbb E^n$ are virtually abelian, and the groups acting on the $n$-sphere are finite.</p> <p>EDIT: I forgot to say compact above. Peripheral subgroups of a nonuniform lattice acting on $\mathbb H^n$ are abelian of rank $n-1$, so they aren't Gromov hyperbolic. However, they contain nonabelian free subgroups, so they still don't act nicely on $\mathbb E^n$ or the sphere.</p> http://mathoverflow.net/questions/19348/fundamental-group-of-a-compact-space-form/19352#19352 Answer by Mariano Suárez-Alvarez for Fundamental group of a compact space form. Mariano Suárez-Alvarez 2010-03-25T20:19:48Z 2010-03-25T20:29:01Z <p>The fundamental group of a compact hyperbolic space form has exponential growth, according to a well-known theorem of Milnor [Milnor, J. A note on curvature and fundamental group. J. Differential Geometry 2 1968 1--7. <a href="http://www.ams.org/mathscinet-getitem?mr=MR0232311" rel="nofollow">MR0232311</a>]. Bieberbach groups are, on the other hand, polynomial: indeed, their translations subgroups have finite index, so by Gromov's theorem they have polynomial growth.</p> http://mathoverflow.net/questions/19348/fundamental-group-of-a-compact-space-form/19353#19353 Answer by Sergei Ivanov for Fundamental group of a compact space form. Sergei Ivanov 2010-03-25T20:46:29Z 2010-03-25T20:46:29Z <p>These groups are not even quasi-isometric. (Two metric spaces are said to be quasi-isometric if they contain bi-Lipschitz equivalent nets. In the case of finitely generated groups, word metrics are assumed.)</p> <p>Indeed, it is well-known (and easy to prove) that the fundamental group of a compact Riemannian manifold $M$ is quasi-isometric to the universal cover $\tilde M$ (with the lifted metric). And $S^n$, $R^n$ and $H^n$ are not quasi-isometric by a simple volume growth argument.</p> http://mathoverflow.net/questions/19348/fundamental-group-of-a-compact-space-form/19380#19380 Answer by Tom Church for Fundamental group of a compact space form. Tom Church 2010-03-26T01:46:38Z 2010-03-26T01:46:38Z <p>For the record, no compact 3-manifold can ever admit two different geometries; this isn't just for space forms. You should be able to show this using quasi-isometric techniques, as in Sergei Ivanov's answer above (although I haven't thought about this in a while). One nice corollary is that you can determine the geometry just from the fundamental group without a lot of technical conditions (this is copied from Wikipedia with minimal editing, since it is laid out so nicely there).</p> <p>Assume $M$ is a compact 3-manifold which admits one of the 8 geometries. Then:</p> <ul> <li>If $\pi_1(M)$ is finite then the geometry on $M$ is spherical.</li> <li>If $\pi_1(M)$ is virtually cyclic but not finite then the geometry on $M$ is $S^2×\mathbb{R}$.</li> <li>If $\pi_1(M)$ is virtually abelian but not virtually cyclic then the geometry on $M$ is Euclidean.</li> <li>If $\pi_1(M)$ is virtually nilpotent but not virtually abelian then the geometry on $M$ is Nil geometry.</li> <li>If $\pi_1(M)$ is virtually solvable but not virtually nilpotent then the geometry on $M$ is Sol geometry.</li> <li>If $\pi_1(M)$ virtually splits as a semidirect product with $\mathbb{Z}$ but is not virtually solvable then the geometry on $M$ is the universal cover of $SL_2(\mathbb{R})$.</li> <li>If $\pi_1(M)$ has an infinite normal cyclic subgroup but not of the above form and is not virtually solvable then the geometry on $M$ is $\mathbb{H}^2\times\mathbb{R}$.</li> <li>If $\pi_1(M)$ has no infinite normal cyclic subgroup and is not virtually solvable then the geometry on $M$ is hyperbolic.</li> </ul> <p>This is false for finite-volume non-compact manifolds, for example the complement of a trefoil knot, which admits both $\widetilde{SL_2(\mathbb{R})}$ and $\mathbb{H}^2\times\mathbb{R}$ geometries.</p>