In the last post, we saw how Rips constructed a short exact sequence
associated to any finitely presented group . was 2-generated and was small-cancellation ( for any desired ). In this post, we will see modifications due to Daniel Wise that impose further conditions on . First we will mention an application of the Rips construction relating to subgroup distortion.
1. Subgroup Distortion
If are finitely generated groups, then the length of an element in the word metric on may be much more than its length in the word metric on . One defines the subgroup distortion function
Zlil Sela observed that if one applies the Rips construction to a finitely presented group with unsolvable word problem, then is not bounded from above by any recursive function. Indeed, if such a bound existed, one could determine if a word in the generators of is equal in to any of the elements in of length at most . Equality can be tested since has solvable word problem. Hyperbolic groups can therefore have finitely generated subgroups with huge distortion. See Arzhantseva–-Osin for a discussion and the converse. Further, Olshanskii and Sapir show that the set of classes of distortion functions of finitely generated subgroups of a product of two free groups coincides with the set of classes of all Dehn functions of finitely presented groups.
2. Residually Finite Rips Construction
It is unknown whether all groups, or indeed all hyperbolic groups, are residually finite. (For Wise attributes the question to Schupp, and for hyperbolic to Gromov.) It seemed possible that the Rips construction could be used to construct a counterexample, by embedding into some obstruction to it being residually finite. Wise argued that this approach is unlikely to work, since he can modify the Rips construction in a way that makes residually finite (so no obstruction to being residually finite embeds in it).
Wise’s construction produces as an HNN–extension of a free group. It makes use of his earlier result that a graph of free groups is residually finite as long as the edge subgroups incident at each vertex group satisfy a malnormality condition: any intersection of conjugates of two edge subgroups incident at the same vertex subgroup is trivial, and intersects its own conjugate by trivially for every . This condition in turn is guaranteed by a small cancellation condition on the generators of the edge subgroups. If , then
is an HNN-extension of the free group with stable letter . As with the original Rips construction, each occurrence of in each relator is different noise in , chosen so that the small cancellation requirements are satisfied, making both small cancellation and residually finite. is finitely generated, but this time requiring 3 generators: .
Wise used his construction to produce a residually finite group whose outer automorphism group is not residually finite. Starting with a group
which Higman showed has no nontrivial finite subgroups, Wise applied the Rips construction to . The action of on by conjugation produces a map . This map is injective, since if conjugation by is the same as conjugation by , then is nontrivial and commutes with . Since is an HNN-extension of a free group, it is torsion free, so the abelian subgroups and are either or . Hyperbolicity of rules out the second case, so , for some integers . Then , contradicting the fact that the free group embeds in the HNN-extension . Since is a subgroup of , it follows that is not residually finite.
Recall that the profinite topology on has a basis of closed sets consisting of cosets of finite index normal subgroups. The rank of a group is the minimum number of generators, and its topological rank is the minimal number of elements needed to generate a group whose closure in the profinite topology is . So , and O.V. Mel’nikov asked if fixing bounds the rank of a residually finite group . Wise answered the question in the negative by applying the Rips construction to a free product of copies of Higman’s group mentioned in the previous paragraph. The rank of is at least the rank of , which is times the rank of by Grushko’s Theorem. But since any nontrivial finite index subgroup of containing would give rise to a proper finite quotient of and hence (by restriction on some factor) to a proper finite quotient of .
Wise also constructed a residually finite group with closed supgroups whose double coset is not residually finite.
4. Compact Negatively Curved 2-Complexes
Wise also modified the Rips construction to make the fundamental group of a locally 2-complex whose 2-cells are metrized as congruent right-angled hyperbolic pentagons. We will mostly follow the presentation in Bridson-Haefliger. Unlike the previous constructions, the number of generators for depends on the presentation but it is still finite. The construction does not use the number five significantly, so an analogous procedure with heptadecagons or such can be used to satisfy an arbitrary small cancellation condition.
Given a finite presentation , one forms the desired 2-complex as follows, and sets . Construct using a single vertex, and an edge (loop) for each old generator and each new generator from a set , where is to be chosen later. The 2-cells of will be right-angled pentagons and we label the sides of the pentagons with words of length that determine the attaching maps. We want the relators for to have and as substrings of words whose other letters are chosen from , so we take a pentagon labelled as follows (shown for the , the other relators get similar pentagons). The choice of is deferred.
Gromov showed that a complex formed from finitely many isometry classes of hyperbolic (or euclidean, or spherical) cells is locally (respectively or ) iff the link of each vertex is . For a 2-complex, where the link is a graph, this link condition has a particularly nice formulation: is locally iff no link of a vertex contains an embedded loop of length less than . Our complex satisfies this condition iff:
- For any two adjacent sides of any pentagon, the corresponding letters and are distinct, and
- No ordered pair of cyclically adjacent edge letters occurs twice among all pentagons (or in the same pentagon twice).
Call a subset of 5-letter words in an alphabet of letters admissible if it can be used to build pentagons satisfying the above criteria. If we show that largest size of an admissible set grows at least quadratically (hence superlinearly) with , then can be chosen to make the above construction work. (This can all be done effectively.) Here we depart from Bridson-Haefliger’s presentation, and observe that if each letter in a set is replaced by 5 letters and each word replaced by the 25 words with indices taken mod 5, then we obtain a new admissible set for the new alphabet. This shows the largest size of admissible sets grows at least quadratically with .