It is still an open question whether or not all non-virtually-free hyperbolic groups contain a surface group. This is actually related to (and AFAIK inspired by) an important open problem in hyperbolic geometry, the virtually Haken conjecture: is it true that all closed hyperbolic 3-manifolds have a finite-sheeted cover that contains an embedded surface? If this turns out to be true (I don’t know of anyone who’s convinced that it is not) then work of Dani Wise (in advanced preparation) would imply the virtual fibering conjecture: all closed hyperbolic 3-manifolds have a finite sheeted cover which fibers over . And this is pretty awesome IMHO.
Well, I’m digressing, sorry about that, but I really like 3-manifolds.
Anyway, Bonk and Kleiner have a paper where they prove the “geometric analogue” of the open question I mentioned at the beginning:
Thereom: All non-virtually-free hyperbolic groups contain a quasi-isometrically embedded copy of .
The scheme of the proof is as follows. First, using some deep results on splittings of hyperbolic groups you reduce to the case of a one-ended hyperbolic group .
Now you notice that if you have a quasi-isometric embedding of a “quadrant” in , that is to say the subspace pictured below in the disc model, into then you have quasi-isometric embeddings of balls in of arbitrarily large radius. By an Arzela-Ascoli-type argument you see that this is enough to have a quasi-isometric embedding of .
Now, the key point is the following: if you have an arc in the boundary of which is linearly connected (see below), you can use it to construct a quasi-isometric embedding of a quadrant in into .
After all this, the problem is reduced to finding an arc with the following geometric property in :
A metric space (e.g. an arc) is said to be linearly connected if there exists so that for each pair of points in there is an arc of diameter at most connecting them.
Notice that this is a quantitative version of being locally path-connected.
It not that hard to show that is linearly connected, using the group action and the deep result that if is connected then it is locally path-connected. Also, is doubling, meaning that there exists so that each ball of radius can be covered by at most balls of radius .
We are done, because of the following:
Theorem: any linearly connected, doubling (and complete) metric space contains a non-trivial linearly connected arc.
The theorem follows from a result of Assouad combined with a result of Tukia, but actually John found a much simpler proof.
Ok, it’s time to state our result. Call a relatively hyperbolic group silly if it splits as the fundamental group of a graph of groups where edge groups are finite and vertex groups are either finite or parabolic (e.g.: ).
Theorem: Suppose that is hyperbolic relative to virtually nilpotent subgroups. Then contains a quasi-isometrically embedded copy of if and only if it’s not silly.
Idea of the proof: plagiarize what has been done for hyperbolic groups. You might wish to take a look at this post if you’re not familiar with the idea that any relatively hyperbolic group acts properly and with some other properties on a certain hyperbolic space .
We needed the hypothesis that the peripheral subgroups are virtually nilpotent because this guarantees that is doubling (this is essentially due to Dahmani and Yaman). More on this later…
Also, boundaries of relatively hyperbolic groups with finitely presented one-ended peripherals are linearly connected. So, the exact same proof as above gives you an embedding of into . This is not good enough, but it’s pretty close. We need the following new ingredient: if the image of the embedding avoids the horoballs (more precisely: its intersections with the horoballs have uniformly bounded diameter) then one can actually pass from the embedding in to an embedding in . So, we would like to translate this condition on avoiding horoballs into a condition on the boundary. Here’s the picture that allows us to do it:
(The picture is a tree approximating an analogous configuration in .) Points in the horoball are in red. As you can see, a ray from a basepoint to “does not interfere much” with the horoball if , where is the parabolic point in corresponding to and is the Gromov product.
As the metric on the boundary is up to multiplicative error , this translates into . So we want all points in the arc we are trying to construct to satisfy this property, for all and some constant.
In the paper we could not quote the result on existence of quasi-arcs directly, due to this extra condition we want, but indeed we could use essentially the same proof. I’m trying to convince John to write a post about his proof, I’ll keep you posted (lame pun intended).
Anyway the idea is as follows: you start with an arc, you modify it improving its geometric properties at a certain scale, repeat at smaller and smaller scales (a geometric sequence of scales) and take the limit.
So, in order to obtain the required extra property, it’s enough at each scale to “detour” the arc around the parabolic points so that is approximately the scale we are working at.
This detour operation is made possible by the very nice fact that the geometry of the peripheral subgroups control the local geometry of the boundary around parabolic points. Maybe I’ll give more details in another post, this one is getting long…
Anyway, a statement like:
Lemma: Let be finitely presented. Then for each far enough from the identity there exists a path connecting them contained in , where and .
can be turned into a statement on “avoidability” of parabolic points described the following picture, where the central point is and is small compared to :
Final note: the hypothesis that the peripherals are virtually nilpotent is very annoying. It seems too strong. In fact, it’s only used to get doubling boundaries, but boundaries are always “doubling far from parabolic points”, and you only work far from parabolic points. However, we were not able to implement this idea…