Fractional distortion in hyperbolic groups

From MaRDI portal





This article studies the possible distortion functions of subgroups inside hyperbolic groups. Motivated by a question raised by \textit{M. Mitra} [Geom. Topol. Monogr. 1, 341--364 (1998; Zbl 0914.20034)], the authors construct new examples of hyperbolic groups containing subgroups whose distortion functions grow as fractional powers of iterated exponentials.\N\NThe central result (Theorem A) establishes that for any integers \(p > q > 0\) and \(k > 0\), there exists a hyperbolic group \(G\) and a free subgroup \(H \leq G\) whose distortion function satisfies \(\mathrm{Dist}^G_H(n) \simeq \exp_k(n^{p/q})\). The groups \(G\) are constructed via a variant of the Rips construction that integrates Wise's HNN extension version with new track-based techniques to control van Kampen diagrams. The construction ensures \(G\) is \(C'(1/6)\), CAT\((-1)\) and virtually special when \(k = 1\).\N\NA second main result (Theorem B) shows that any non-elementary torsion-free hyperbolic group \(H\) embeds in a hyperbolic group \(G\) with prescribed distortion \(\mathrm{Dist}^G_H \simeq f\), where \(f\) ranges over a class of rapidly growing functions, including \(\exp_k(n^{p/q})\) and functions with Ackermann-type growth.\N\NThese constructions are highly non-trivial: the authors introduce a rich combinatorial structure on van Kampen diagrams via tracks, generalizing corridors. A careful analysis of track behavior, especially \((a_2,b_q)\)-tracks, plays a crucial role in both the lower and upper bounds for distortion.\N\NA final application (Corollary C) uses these constructions to produce new groups with explicit Dehn functions equivalent to \(\exp_k(n^{p/q})\), by amalgamating or extending the original hyperbolic group \(G\) along the distorted subgroup \(H\).



Cites work









This page was built for publication: Fractional distortion in hyperbolic groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6931616)