In this post I’ll define finite decomposition complexity (FDC) for you, tell you what it’s good for (Stable Borel Conjecture!) and point out that an argument by Osin shows that it is preserved by relative hyperbolicity.
First, the motivation. Here is a very cool conjecture.
Borel Conjecture: If two closed aspherical manifolds have isomorphic fundamental groups, then they are homeomorphic.
A manifold is aspherical if its universal cover is contractible, so that determines the homotopy type of . In case you don’t see the point, let me tell you that the Borel Conjecture for implies the Poincaré Conjecture.
The conjecture has been established for high dimensional manifolds of non-positive curvature by Farrell and Jones, and several people have worked on it since then, most notably showing that the conjecture holds if the fundamental groups involved are hyperbolic or CAT(0).
There are several conjectures related to the Borel Conjecture, for example the Novikov Conjecture, and here is another one.
Stable Borel Conjecture (SBC): If the closed aspherical manifolds have isomorphic fundamental groups, then there exists so that is homeomorphic to .
Stabilisation procedures appear all over topology. For example, there are many contractible 3-manifolds (without boundary) that are not homeomorphic to . However, when taking the product of such a manifold with one actually gets . Just to say that the SBC is a natural weaker version of the full Borel Conjecture. Of course, is said to satisfy the SBC if the statement holds for the given .
And here’s the motivation for being interested in FDC.
Theorem (Guentner, Tessera, Yu): If has finite decomposition complexity, then satisfies the Stable Borel Conjecture.
(Guoliang Yu told me that one can take in statement of the SBC.)
Time for the definition of FDC. We say that is an -decomposition of the metric space if for each . Let us consider the following decomposition game. Fix a metric space . Bob’s aim is to find a nice decomposition of , and Alice’s aim is to prevent this.
Step 0: Alice gives Bob a huge real number . Bob finds an -decomposition of .
Inductive step: A family of subspaces , coming from the previous step, is given. Alice gives Bob a real number and Bob finds an -decomposition of each . is the union of all subspaces appearing in each decomposition.
Definition: has FDC if Bob has a strategy to end up with a collection of uniformly bounded subspaces of .
Having FDC is a quasi-isometry invariant, and actually a coarse invariant.
If you know what asymptotic dimension is, it’s a nice exercise to show that it implies FDC. Otherwise, try to do it for . Hint: find a nice coloured covering with finitely many subsets of diameter , for each .
In particular, say, hyperbolic groups have FDC.
Not all groups with FDC have finite asymptotic dimension. Indeed, GTY showed that linear groups have FDC, but some of them contain an infinite sum of copies of and hence have infinite asymptotic dimension.
Another nice fact is that the class of groups with FDC is closed under extensions. Indeed, GTY observed that the following holds in the context of metric spaces. In order to state it, notice that it makes sense to play the decomposition game starting from a family of metric spaces, rather than one metric space.
Fibering Theorem: Suppose that is Lipschitz and that as well as have FDC, for each family of uniformly bounded subsets of . Then has FDC.
A similar statement for asymptotic dimension is usually called Hurewicz Theorem (as it is inspired by an actual theorem of Hurewicz about topological dimension).
The proof is simple. Bob first pretends he’s playing the decomposition game on , and when he as won in he’s left with preimages of bounded sets of in , where he also knows how to win.
Let me state another permanence result. It is not true that if a metric space is an infinite union of subspaces with FDC then the ambient space has FDC. However, the following result tells us that this is true if the subspaces can be “separated”. You may think of as obtained gluing metric spaces to some , and then you can let be the -neighborhood of .
Infinite Union Theorem: Suppose that and that has FDC. Also, suppose that for every there exists with FDC so that are pairwise -disjoint. Then has FDC.
Finally, as promised, I’ll tell you how one can show the following.
Theorem: A relatively hyperbolic group has FDC if and only if the peripherals do.
The only if part follows from the fact that having FDC is stable under taking subgroups.
For the if part, we can use arguments used by Denis Osin to show the analogue statement for finite asymptotic dimension.
What he did is considering the (Lipschitz) map from the relatively hyperbolic group to its coned off graph, , and showing that the hypothesis of Fibering/Hurewicz Theorem for asymptotic dimension apply to such map. In particular, he showed that has finite asymptotic dimension, and so in particular it has FDC. To show that the Fibering Theorem applies we now have to look at preimages of balls in , and proceed by induction. Let be the preimage of the ball of radius in . Then is obtained as a union of and some cosets of peripheral subgroups (almost true). This is the perfect setting for using the Infinite Union Theorem, with being suitable neighborhoods of , and indeed Osin showed that the result applies. It shouldn’t be too hard to convince yourself of this fact in the case of a free product.
This was the proof outline, and one can actually check that Denis only used the Fibering Theorem and the Infinite Union Theorem (and properties of relatively hyperbolic groups), and hence his proof also gives permanence of FDC.