Dehn functions and complexes of groups
cancellation diagramscell complexescomplexes of groupsDehn functionsfundamental groupsgraphs of groupsgroup actionsHowie diagramspresentations
Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Generators, relations, and presentations of groups (20F05) Cancellation theory of groups; application of van Kampen diagrams (20F06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Geometric group theory (20F65) Topological methods in group theory (57M07)
The main result (Theorem 3) of this article relates the growth type of the Dehn function of the fundamental group of a complex of groups, under certain restrictions, to the Dehn functions of the vertex groups and to the Howie function of the complex of groups. It can be summarized as follows: Let \((X,{\mathcal G},\Phi)\), or short \(\mathcal G\), be a complex of groups over a finite cell complex \(X\) with finitely presented vertex groups and finite edge groups and let \(G\) be its fundamental group. Assume that \(\mathcal G\) is developable, that is, that it arises from a group action of \(G\) on a simply connected cell complex \(Y\) such that \(Y/G=X\) or, equivalently, that the vertex groups embed injectively into \(G\) under the standard maps. Then the growth type of the Dehn function \(\delta_G\) of \(G\) is bounded by the maximum \(\delta\) of the Dehn functions of the vertex groups composed with the Howie function \(h_{\mathcal G}\) of \(\mathcal G\). The relation is given, more precisely, by the formula \(\delta_{\mathcal G}\preceq\overline\delta\circ\overline{h_{\mathcal G}}\) (where ``\(\overline f\) denotes subnegative closure of a function \(f\)). The Howie function \(h_{\mathcal G}\) is essentially the Dehn function of the ``relative presentation that expresses \(G\) as the quotient of the fundamental group of the underlying graph of groups (over the 1-skeleton of \(X\)) by the normal closure \(N\) of the relations of \(G\) that correspond to the 2-cells of \(X\). The proof uses relative cancellation diagrams (called by the authors ``Howie diagrams) of this relative presentation of \(G\). These are essentially diagrams over the complex \(X\) where the corners of the 2-cells are labeled by elements of the corresponding vertex groups and the labels are given, up to a certain equivalence, by the corner-labeling-function \(\Phi\) of the complex of groups \((X,{\mathcal G},\Phi)\). In the last section an application to group actions is developed rendering results which are new in this generality, such as Corollary 4.4: If \(Y\) is a simply connected cell complex acted upon properly discontinuously and cocompactly by a group \(G\) then the Dehn functions of \(G\) and of \(Y\) are equivalent.
- Averaged Dehn functions for nilpotent groups.
- Dehn functions of groups and extensions of complexes
- Equivalence of geometric and combinatorial Dehn functions.
- The Dehn functions of Stallings-Bieri groups
- A Dehn function for Sp(2n, ℤ)
- Annular Dehn functions of groups
- Higher dimensional isoperimetric (or Dehn) functions of groups
- ON DEHN FUNCTIONS OF AMALGAMATIONS AND STRONGLY UNDISTORTED SUBGROUPS
- scientific article; zbMATH DE number 850244 (Why is no real title available?)
- ${\mathcal{B}$-BOUNDED COHOMOLOGY AND APPLICATIONS
- scientific article; zbMATH DE number 7624301 (Why is no real title available?)
- Dehn Functions
This page was built for publication: Dehn functions and complexes of groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4212564)
