EO: embedding graph manifold groups in products of trees

This post is based on this paper with David Hume.
As discussed here, it is a nice property for a group to be quasi-isometrically embeddable in a product of finitely many trees. Graph manifolds are certain 3-manifolds, and if you don’t know what they are just bear in mind the following example: Take two surfaces with boundary, take the product of each with S^1 and glue the resulting manifolds along the toric boundary switching the factors.

These manifolds are interesting, to me at least, because if you want to prove a property of  all 3-manifold groups invoking geometrization, graph manifolds are one of the cases you have to consider. They are somewhat less studied than the other cases so you can have a lot of fun with them.

Anyway, we showed:

Theorem: If M is a graph manifold, then there exists a quasi-isometric embedding of \pi_1(M) into a product of 3 trees.

And yes,  this can be used to study embeddability of 3-manifold groups in products of trees, as you’ll see (hopefully) next week on arxiv, joint with John MacKay 🙂 [EDIT: here it is]

3 is optimal for closed graph manifolds, and at first we suspected that it was the case for non-closed ones as well. But this is probably not the case, see below.

So, let’s construct a couple of trees given a graph-manifold M, for simplicity say the one depicted above. Start off with a bi-coloring of the Bass-Serre tree of M.

What you see above each vertex is a product of the universal cover of a compact surface with boundary and \mathbb{R}. The universal cover of the surface is a fattened tree, i.e. it looks like this:


Ok, so above each vertex we have, essentially, a product of a tree and \mathbb{R}. Now, we want to put together all the trees sitting above the red vertices of the Bass-Serre tree.
Take red vertices at distance 2. If you think about it, you see that the corresponding trees T_1,T_2 contain geodesics that can naturally be regarded as parallel. Let me try and help you to visualize this. Consider the “intermediate” vertex. Above it you can see a strip, i.e. an interval times \mathbb{R}, connecting the boundary components corresponding to the red vertices we are aconsidering. The boundary components of such strip naturally correspond to geodesics in T_1,T_2.

So, you can construct a tree T_{red} starting with a disjoint union of all trees lying above red vertices, and identifying corresponding geodesics. And of course, you can also construct similarly T_{blue}.

There is a natural coarsely lipshictz map \pi_1(M)\to T_{red} \times T_{blue}. The reason why this map might fail to be a quasi-isometric embedding is because it might fail to “see” some long geodesics that spend very little time above each vertex.
However, one can keep track of such geodesics in the Bass-Serre tree, and this actually is the third tree involved in the product.

I suspect that, at least for certain non-closed graph-manifolds, there is no need to “stabilize” taking the product with the Bass-Serre tree. One needs to arrange things in such a way that whenever a geodesic passes above a vertex, this gets recorded in either T_{red} or T_{blue}, or a similar weaker property.

Advertisements
This entry was posted in graph manifolds in products of trees. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s