Simplicial volume - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T19:25:50Z http://mathoverflow.net/feeds/question/5277 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/5277/simplicial-volume Simplicial volume Danny Calegari 2009-11-12T23:01:31Z 2012-05-22T10:06:39Z <p>Is there a finite dimensional closed manifold $M$ which is a $K(\pi,1)$, whose fundamental group is not word-hyperbolic, but which has a positive simplicial volume (ie "Gromov norm")?</p> <p>(Added:) The answers of Jim and Richard are both excellent; another example is any closed, irreducible locally symmetric manifold (of non-positive curvature). But these examples are all CAT(0); I wonder if there is an example which is not CAT(0)? (of course then it is hard to see the example is a $K(\pi,1)$ . . .)</p> http://mathoverflow.net/questions/5277/simplicial-volume/5292#5292 Answer by Jim Fowler for Simplicial volume Jim Fowler 2009-11-13T00:32:21Z 2009-11-13T00:32:21Z <p>Yes: the product of 2 genus two surfaces is an example. Take a look at</p> <blockquote> <p>Bucher-Karlsson, Michelle. The simplicial volume of closed manifolds covered by H^2 x H^2. J. Topol. 1 (2008), no. 3, 584 - 602. <a href="http://www.ams.org/mathscinet-getitem?mr=2417444" rel="nofollow">MR2417444</a>.</p> </blockquote> http://mathoverflow.net/questions/5277/simplicial-volume/5294#5294 Answer by Richard Kent for Simplicial volume Richard Kent 2009-11-13T00:37:54Z 2009-11-13T00:44:48Z <p>You can just take the double of a hyperbolic knot complement.</p> <p>See Soma's paper The Gromov invariant of links, Invent. Math. 64 (1981) 445–454</p> http://mathoverflow.net/questions/5277/simplicial-volume/5387#5387 Answer by Richard Kent for Simplicial volume Richard Kent 2009-11-13T16:31:18Z 2009-11-13T16:31:18Z <p>Just some musings:</p> <p>If there were an atoroidal surface bundle over a surface whose group wasn't $\delta$-hyperbolic (so the fundamental group of the base would be a non-convex-cocompact purely pseudo-Anosov surface group in Mod(fiber)), then I'd expect the simplicial volume to be positive and that it wouldn't be CAT(0) (maybe my intuition is wrong about the CAT(0) thing).</p> <p>But of course,</p> <ol> <li><p>This is just vague intuition.</p></li> <li><p>We don't even know if there are purely pseudo-Anosov surface groups.</p></li> <li><p>We don't even know if there are f.g. pseudo-Anosov non-convex-cocompact groups.</p></li> </ol> http://mathoverflow.net/questions/5277/simplicial-volume/5398#5398 Answer by Igor Belegradek for Simplicial volume Igor Belegradek 2009-11-13T17:19:48Z 2009-11-13T21:57:32Z <p>To get an example that is not CAT(0) you just double a finite volume complex hyperbolic manifold with cusps chopped off. The cusp cross section is pi_1-incompressible and its fundamental group is not virtually abelian (it is virtually nilpotent), and hence it cannot be CAT(0).</p> <p>Actually, as I show in arXiv:math/0509504v3 ANY closed aspherical manifold can be realized as a codimension one incompressible submanifold of a closed aspherical manifold with nonzero simplicial volume. So there are tons of the kind of examples you ask for.</p> <p>For some reason I cannot add a comment to DC's reply below, so I put it here. DC, you did not sound sure that you complex hyperbolic example works. :) Incidentally, for such a double there are two ways to show that its simplicial volume is nonzero. One is to use Gromov's result on gluing along amenable subsets (if my memory serves me this was proved in some detail by Kuessner but I could be wrong). What seems to me a better way is to note that the fundamental group of the double is hyperbolic rel cusp cross-section, and that apply recent paper of Mineyev-Yaman that in this case relative hyperbolicity implies nonvanishing of simplicial volume. Neither way is elementary. Examples in my paper mentioned above is more elementary.</p> http://mathoverflow.net/questions/5277/simplicial-volume/97649#97649 Answer by thku for Simplicial volume thku 2012-05-22T10:06:39Z 2012-05-22T10:06:39Z <p>Just Take an irreduzible, but not atorial, 3-manifold with the property that all (or at least One) of the pieces in the JSJ-decomposition are hyperbolic.</p> <p>This is nonpositively curved by Leeb's thesis, but the fundamental Group is Not hyperbolic because of the abelian subgroups coming from incompressible tori. The simplicial Volume is the sum of the simplicial Volumina of the hyperbolic pieces.</p>