This is a post based on a guest lecture by Pallavi Dani.
In this post, we will discuss Dehn functions of subgroups of non-positively curved groups. Let be a finitely presented group and let be a presentation complex for some presentation of . If is a loop in , we define the filling area of to be
Furthermore, we define the Dehn function of a finite presentation for by
In these definitions length and area are defined combinatorially, that is, by counting cells.
- is hyperbolic if and only if , or equivalently if and only if is subquadratic. This result is due to Gromov; the absence of Dehn functions between linear and quadratic is called the “Gromov Gap”.
- If is CAT(0) then . (On account of the Gromov gap, this means that or .)
Thus, the possibilities for Dehn functions of hyperbolic and CAT(0) groups are very limited, and it is natural to ask whether subgroups of such groups inherit this property. More specifically:
- Which functions arise as Dehn functions of subgroups of CAT(0) groups?
- Are there gaps in the corresponding isoperimetric spectrum?
- If so, do they correspond to something algebraic/geometric?
Subgroups of CAT(0) groups with large Dehn functions
It is possible to construct subgroups of CAT(0) groups with “large” Dehn functions. Here, by “large” we mean strictly greater than quadratic. We will discuss a 3-step scheme for constructing such subgroups, called the Bieri doubling trick. This idea originated in the work of Bieri, and it was explored extensively by Baumslag-Bridson-Miller-Short in the context of automatic groups.
The construction involves first finding distorted subgroups of CAT(0) groups. We denote the distortion of a subgroup in by .
Step 1. Find such that is a short exact sequence, is CAT(0), and is distorted, with .
Example. Here is an example of such a pair constructed by N. Brady (for details, see section 2.3.3 of The Geometry of the Word Problem for Finitely Generated Groups). The group is isomorphic to and is defined by . The automorphism is given by and . Let be , the free group generated by and . You can see that by considering the family of words (with length on the order of in ) and noting that
The final word has ‘s in between every pair of consecutive ‘s, giving a total of about letters, and it is clearly reduced in . Hence, the distortion is at least .
To see that is CAT(0), note that is isomorphic to , where . The corresponding presentation complex built out of squares can be shown to satisfy the link condition.
Step 2. Form the double of along by amalgamating two copies of along . So .
Example. In fact, for and in Brady’s example above, we can do better than Bridson’s lower bound: we have , for a proof see Theorem 6.20 in Bridson-Haefliger.
To see this, write . Now consider the following family of embedded disks in :
These disks have boundary length on the order of , and Area . Moreover, the boundary loops of these disks do not admit fillings with smaller area, since is -dimensional and aspherical. (In such spaces the embedded filling is the most efficient among the fillings of any loop.) This shows that is a lower bound on the Dehn function.
Step 3. The double embeds in . Since and are CAT(0), so is .
Example. We illustrate this for our example. Write as . Then the subgroup of is isomorphic to . (It is easy to see that the relations and , and the corresponding relations involving , are satisfied, since and commute with the other generators. Further, one can show that there are no additional relations among these generators — see Baumslag-Bridson-Miller-Short.)
Our example shows that occurs as the Dehn function of a subgroup of a CAT(0) group. By varying the pair in Step 1, one can construct other examples.
Sources for Step 1 and results.
1. Brady constructed a family of pairs , where is a CAT(0) group, and . (The example above is the case n=2.) Then the double embeds in , and . Thus, occurs as the Dehn function of a subgroup of a CAT(0) group for all integers .
2. Let be a hyperbolic surface bundle over a circle. Then one has a short exact sequence , and is a CAT(0) group. Bridson and Haefliger prove that if is a finitely generated, infinite index subgroup of a hyperbolic group then . Hence, and . In fact it is . Thus, occurs as the Dehn function of a subgroup of a CAT(0) groups.
There are other sources of examples of to use in Step 1, for example due to Barnard-Brady and Samuelson. However, these do not appear to lead to additional examples of Dehn functions. For example, it remains unknown whether for or functions growing faster than can occur.
Dehn functions of kernels
The Bestvina-Brady groups, discussed in previous posts, have been a good source of counterexamples, and so one might expect them to be candidates for subgroups of CAT(0) groups with large Dehn functions. It turns out that their Dehn functions are relatively well-behaved:
- W. Dison showed that if is a Bestvina-Brady group then .
- N. Brady constructed a Bestvina-Brady group with . The lower bound was proved in a manner similar to the example above, by constructing a sequence of embedded diagrams in the level set for , which is -dimensional and contractible. Abrams-Brady-Dani-Duchin-Young generalized this example to produce a large class of Bestvina-Brady groups whose Dehn functions attain the general upper bound of .
- For a while it was thought that Stallings group might have Dehn function of the form , where is not an integer, but Dison-Elder-Riley-Young showed that its Dehn function is in fact quadratic.
One can also consider other kernels of particular classes of homomorphisms from particular classes of CAT(0) groups. For instance, Dison studies kernels of maps from direct products of free groups to free abelian groups. He shows, for example, that the kernel of a certain surjective homomorphism has Dehn function .
Brady-Guralnik-Lee define a new class of CAT(0) groups, which they call perturbed right-angled Artin groups, and consider kernels of homomorphisms to . Using these in Step 1 of the Bieri doubling trick, they produce a class of examples of subgroups of CAT(0) groups with Dehn functions of the form , where is an integer. The kernels are of type but not , unlike the original Bieri doubles, which all have finite -dimensional ‘s. Another interesting direction is to study higher dimensional Dehn functions of CAT(0) groups and their subgroups. We won’t go into the technicalities here, but just say that the -dimensional Dehn function measures the difficulty of filling -cycles with -chains (or -spheres with -balls) in a suitable model space for .
By a result of Gromov, if is a CAT(0) group, then . (As in the case , the group attains this general upper bound.) Abrams-Brady-Dani-Duchin-Young generalized Dison’s result above and showed that for a Bestvina-Brady group , one has
Moreover, these inequalities are sharp.
In all the examples above, the ambient CAT(0) groups are not hyperbolic. In fact hardly anything is known about Dehn functions of subgroups of hyperbolic groups. The problem is that there is essentially only one example (due to N. Brady) of a finitely presented subgroup of a hyperbolic group which is not itself hyperbolic. (A variant of this example with infinitely many conjugacy classes of finite order elements with was discussed in this post.) The Dehn function of Brady’s example is not linear, since the group is not hyperbolic. It follows from a result of Gersten-Short that its Dehn function is bounded above by a polynomial. However, the Dehn function is not known explicitly.