Abstract:Let $G$ be an acylindrically hyperbolic group on a $\delta$-hyperbolic space $X$. Assume there exists $M$ such that for any finite generating set $S$ of $G$, the set $S^M$ contains a hyperbolic element on $X$. Suppose that $G$ is equationally Noetherian. Then we show the set of the growth rates of $G$ is well-ordered (Theorem 1.1). The conclusion was known for hyperbolic groups, and this is a generalization.
Our result applies to all lattices in simple Lie groups of rank-1 (Theorem 1.3), and more generally, some family of relatively hyperbolic groups (Theorem 1.2). It also applies to the fundamental group, of exponential growth, of a closed orientable $3$-manifold except for the case that the manifold has Sol-geometry (Theorem 5.7).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the properties of growth rates in acylindrically hyperbolic groups. Specifically, the author studies whether the set of growth rates of such groups forms a well - ordered set. A well - ordered set means that every non - empty subset has a least element. This is an important property in mathematics because it allows the use of proof techniques such as induction.
### Background and Motivation
1. **Definition and Background**:
- **Acylindrically Hyperbolic Group**: A group \(G\) is called an acylindrically hyperbolic group if \(G\) has a non - elementary acylindrical action on some \(\delta\)-hyperbolic space \(X\).
- **Growth Rate**: For a finitely generated group \(G\) and its generating set \(S\), define \(B_n(G, S)\) as the set of elements in \(G\) with length not exceeding \(n\). Then \(\beta_n(G, S)=\vert B_n(G, S)\vert\), and the exponential growth rate is \(e(G, S)=\lim_{n\rightarrow\infty}\beta_n(G, S)^{1 / n}\).
- **Uniform Exponential Growth**: If there exists a constant \(c > 1\) such that for any finitely generated set \(S\), \(e(G, S)\geq c\), then \(G\) is said to have uniform exponential growth.
2. **Known Results**:
- For non - elementary hyperbolic groups, the set of growth rates \(\xi(G)\) is known to be well - ordered.
- The goal of this paper is to generalize this result to the more general acylindrically hyperbolic groups.
### Main Results
- **Theorem 1.1**: Suppose that \(G\) has a non - elementary acylindrical action on a \(\delta\)-hyperbolic space \(X\), and there exists a constant \(M\) such that for any finitely generated set \(S\), the set \(S^M\) contains a hyperbolic element on \(X\). Suppose that \(G\) is equation Noetherian. Then \(\xi(G)\) is well - ordered. In particular, \(\inf\xi(G)\) can be realized by some generating set \(S\), that is, \(e(G)=e(G, S)\).
### Applications
- **Theorem 1.2**: For a relatively hyperbolic group \(G\), if \(G\) is not virtually cyclic and each relative subgroup \(P_i\) is finitely generated and equation Noetherian, then \(\xi(G)\) is well - ordered.
- **Theorem 1.3**: For rank - 1 lattice groups \(G\) of simple Lie groups and the fundamental groups \(G\) of complete Riemannian manifolds with negative curvature, \(\xi(G)\) is well - ordered.
- **Theorem 1.4**: For the fundamental group \(G\) of a closed oriented 3 - manifold \(M\), if \(M\) satisfies certain conditions (such as not being irreducible or having a non - trivial JSJ decomposition), then \(G\) has exponential growth and \(\xi(G)\) is well - ordered.
### Important Concepts
- **Acylindrical Action**: An action of a group \(G\) on a metric space \(X\) is called acylindrical if for any \(\epsilon> 0\), there exist \(R = R(\epsilon)>0\) and \(N = N(\epsilon)>0\) such that for all \(x, y\in X\) with \(d(x, y)\geq R\), the set \