This post is about a remarkable construction due to Bestvina-Bromberg-Fujiwara. It has been first used to show that the asymptotic dimension of Mapping Class Groups is finite, and it is quite useful, for example, in this great paper by Dahmani-Guirardel-Osin (and I used it here, here and here, after all this is my blog 😉 ).
The tl;dr description is: The input of the construction is a family of geodesic metric spaces and “projection maps” between them, and the output is a metric space that contains all the metric spaces you started with. Such space is hyperbolic if you started with (uniformly) hyperbolic spaces. More in general, it is relatively hyperbolic, and actually even quasi-isometric to a tree-graded space with pieces your original metric spaces (this is due to David Hume).
Let me start by describing a simple example that you might wish to keep in mind. Consider this curve on the surface :
Now consider all its lifts to , the universal cover of . Schematically, the picture looks like this:
Now, consider the closest-point projections onto the lines in picture. As it turns out, the projection of one line onto another one has uniformly bounded diameter. Also, if two lines project far away onto another line, then any geodesic connecting them behaves like the blue curve in this picture:
That is to say, such geodesics pass close to the projection sets. What the BBF construction does in this case is roughly the following. You define a line to be projection-between two other lines if the projections of and onto are far away, as in the picture above. (This is highly *un*related to being “topologically” between.) Then, you form a path metric space in the following way: You consider the disjoint union of all lines, then you add paths of length 1 connecting all points in to all points in whenever there is no line projection-between and . (This is not entirely correct, but close enough.) The construction is natural in the sense that the fundamental group of the surface we started with acts on the metric space we constructed. Also, as it turns out, such space is a quasi-tree, i.e. it is quasi-isometric to a tree.
As an aside, if we start from a loop in a (say, closed) hyperbolic 3-manifold instead, then we again end up with an action of the fundamental group of on a quasi-tree . It is easy to see that there are elements of acting loxodromically on : The element of corresponding to the original geodesic has an invariant line, i.e. the same invariant line it has in . This is quite interesting, because there are ‘s so that every action of on a genuine tree fixes a point…
Ok, time to state the BBF axioms. I’ll mostly keep the same notation they use in their paper, which is motivated by curve complexes and subsurface projections. Let be a collection of geodesic metric spaces and for each let be a map assigning to each a bounded subset of . The axioms are as follows (all axioms start with “There exists ” and assume that all projections involved are well-defined).
1. The diameter of is bounded by for each .
Ok, that was easy.
Let’s set for convenience (i.e. “the distance between and from the point of view of “), where is the diameter.
2. Given , there exist only finitely many ‘s so that .
Another way of saying this: There are finitely many ‘s that are projection-between and . In the example of the lines in , this axiom is true because any geodesic from one line to another line fellow-travels for a bit all lines projection-between and . The length of any such geodesic is finite, so…
Ok, last axiom!
3. At most one of can be larger than .
A more compact way of formulating it is: . I formulated it in the other way because it makes it clearer what this axiom is useful for, i.e., ensuring that “being projection-between” behaves like the relation “being between” in a partial order. What I mean is that if is between and then, say, is not between and .
Exercise: Show that the third axiom holds in the example, using the picture about far-away projections.
Finally, as mentioned earlier, the construction spits out a metric space constructed from the union of the ‘s and some paths of length 1. The “right” statement about this metric space is that it is quasi-isometric to a tree-graded space whose pieces are copies of the ‘s (proven by David Hume). In particular, if the ‘s are (uniformly) hyperbolic, then is hyperbolic, and if the ‘s are (uniformly) quasi-trees, then is a quasi-tree (proven by BBF). Also, is hyperbolic relative to the copies of the ‘s that it contains. Just to wrap this all up, the BBF construction allows to construct interesting actions on hyperbolic and relatively hyperbolic spaces whenever projections with good properties can be defined. And if you’re not convinced that good actions on hyperbolic metric spaces are useful you can take a look at the paper by Dahmani-Guirardel-Osin, or wait for a future post about it. 😉