Welcome to MathOverflow

Question

3

4

Could somebody teach me about the relationship, if any, between hyperbolicity in groups (in Gromov sense) and hyperbolicity in 3-dimensional orbifolds? To be more specific, let Q be a 3-dimensional orbifold. If the orbifold fundamental group of Q is a hyperbolic group (in Gromov sense), then can we say that Q is a hyperbolic orbifold?

asked Feb 5 2012 at 6:09

scarlet

community wiki

2

Finite groups are Gromov hyperbolic, so $3$-manifolds like the $3$-sphere and lens spaces have hyperbolic fundamental groups but are not actually hyperbolic. If you want examples with infinite fundamental groups, take the connect sum of two lens spaces. – Andy Putman Feb 5 2012 at 6:20

If you want someone to teach you about the relationship, read Gromov's foundational paper. – Igor Rivin Feb 5 2012 at 19:56

To add to Andy's answer, you need to assume that the orbifold is irreducible and "good", so that there are no essential suborbifolds of Euler characteristic $>0$. – Agol Feb 5 2012 at 20:41

The orbifold theorem was proved before geometrization, but a unified proof is now available: front.math.ucdavis.edu/1101.3733 – Agol Feb 6 2012 at 5:49

Agol - I was playing it safe and allowing $Q$ to have empty orbifold locus. – Sam Nead Feb 6 2012 at 10:20

Sam Nead · Accepted Answer · 2012-02-05 23:37:19Z UTC

[See Peter Scott's Bulletin article for more information.] Typically, we say an orbifold $Q$ is hyperbolic if it comes to us as a quotient of hyperbolic space $H^n$ by the action of a discrete group $G$ of isometries. If the action $G$ is cocompact then $G$ will be a Gromov hyperbolic group. This is the "easy direction".

On the other hand, if $Q$ is an orbifold with enough topological hypotheses (for example, dimension three, irreducible, "good" as Agol says, perhaps more...) then, if the orbifold fundamental group of $Q$ is Gromov hyperbolic it follows from the geometrization theorem (Perelman and so on) that $Q$ is orbifold homeomorphic to a quotient as in the first paragraph.

So, roughly, the two notions are equivalent. However one direction is easy -- it follows from basic definitions in the field of coarse geometry -- and the other direction is one of the most famous recent results in mathematics.

Relationship between hyperbolicity in group theory and hyperbolicity in geometry

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.