Combination theorems for Wise's power alternative
Mark Hagen, Alexandre Martin, Giovanni Sartori
TL;DR
This work develops a unified framework of Wise's power alternative for groups acting on tree-like objects, showing WPA can be transferred from stabilisers to the whole group under a stabilisation property. It then applies this to Artin groups via visual splittings, reducing WPA to conjectural parabolic properties and proving a uniform WPA for a substantial class of (2,2)-free triangle-free Artin groups, with explicit uniform exponents and consequences such as uniform exponential growth. A parallel theory for relatively hyperbolic groups shows WPA (and uniform WPA under torsion bounds) passes from peripheral subgroups to the ambient group, with implications for acylindrical hyperbolicity and HHGs. The paper also develops a detailed set of tools (ultimate translation length, law-based variants, and mapping-tori arguments) to carry WPA through combination constructions, yielding broad new instances and several natural questions about the scope and limits of uniformity and hierarchical hyperbolicity.
Abstract
We show that Wise's power alternative is stable under certain group constructions, use this to prove the power alternative for new classes of groups, and recover known results from a unified perspective. For groups acting on trees, we introduce a dynamical condition that allows us to deduce the power alternative for the group from the power alternative for its stabilisers of points. As an application, we reduce the power alternative for Artin groups to the power alternative for free-of-infinity Artin groups, under some conditions on their parabolic subgroups. We also introduce a uniform version of the power alternative and prove it, among other things, for a large family of two-dimensional Artin groups. As a corollary, we deduce that these Artin groups have uniform exponential growth. Finally, we prove that the power alternative is stable under taking relatively hyperbolic groups. We apply this to show that various examples, including all free-by-$\mathbb{Z}$ groups and a natural subclass of hierarchically hyperbolic groups, satisfy the uniform power alternative.
