Abstract:Any finitely generated group $G$ acts on its asymptotic cones in natural ways. The purpose of this paper is to calculate the kernel of such actions. First, we show that when $G$ is acylindrically hyperbolic, the kernel of the natural action on every asymptotic cone coincides with the unique maximal finite normal subgroup $K(G)$ of $G$. Secondly, we use this equivalence to interpret the kernel of the actions on asymptotic cones as the kernel of the actions on many spaces at "infinity". For instance, if $G \curvearrowright M$ is a non-elementary convergence group, then we show that the kernel of actions on the limit set $L(G)$ coincides with the kernel of the action on asymptotic cones. Similar results can also be established for the non-trivial Floyd boundary and the $\mathrm{CAT}(0)$ groups with the visual boundary, contracting boundary, and sublinearly Morse boundary. Additionally, the results are extended to another action on asymptotic cones, called Paulin's construction. In the last section, we calculate the kernel on asymptotic cones for various groups, and as an application, we show that the cardinality of the kernel can determine whether the group admits non-elementary action under some mild assumptions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the kernel of the action of the group \(G\) on its asymptotic cone. Specifically, the main objective of the paper is to determine that when \(G\) is a finitely - generated quasi - circular hyperbolic group, the kernel of the natural action of \(G\) on each asymptotic cone is the same as the unique maximal finite normal subgroup \(K(G)\) of \(G\). In addition, the paper also explores the relationships between these action kernels and the action kernels at "infinity" on some other spaces, such as the limit set, the non - trivial Floyd boundary, and various boundaries of CAT(0) groups.
### Main Conclusions
1. **Kernel of Quasi - Circular Hyperbolic Groups**:
- If \(G\) is a finitely - generated quasi - circular hyperbolic group, then the kernel of the natural action on any asymptotic cone is equal to the unique maximal finite normal subgroup \(K(G)\) of \(G\).
- Expressed by the formula:
\[
\ker(G\curvearrowright \text{Cone}_\omega(G, d_n)) = K(G)
\]
for all ultrafilters \(\omega\) and sequences \(d_n\).
2. **Kernel of Convergent Group Actions**:
- If \(G\) is a finitely - generated group, and \(G\) has a convergent group action \(G\curvearrowright M\) where \(|L(G)|> 2\), then the kernel of the natural action on the asymptotic cone is equal to the kernel of the action on the limit set, and is also equal to \(K(G)\).
- Expressed by the formula:
\[
\ker(G\curvearrowright \text{Cone}_\omega(G, d_n))=\ker(G\curvearrowright L(G)) = K(G)
\]
3. **Kernel of Floyd Boundary**:
- If \(G\) is a finitely - generated group, and \(G\) has a non - trivial Floyd boundary \(\partial_F G\), then the kernel of the natural action on the asymptotic cone is equal to the kernel of the action on the Floyd boundary, and is also equal to \(K(G)\).
- Expressed by the formula:
\[
\ker(G\curvearrowright \text{Cone}_\omega(G, d_n))=\ker(G\curvearrowright \partial_F G)=K(G)
\]
4. **Kernel of CAT(0) Groups**:
- If \(G\) is a finitely - generated group, and \(G\) acts geometrically on a proper CAT(0) space \(X\), and \(G\) contains a rank - one isometry and \(G\) is not virtually cyclic, then the kernel of the natural action on the asymptotic cone is equal to the kernel of the action on the visual boundary, the contracting boundary, and the sub - linear Morse boundary, and is also equal to \(K(G)\).
- Expressed by the formula:
\[
\ker(G\curvearrowright \text{Cone}_\omega(G, d_n))=\ker(G\curvearrowright \partial_v X)=K(G)=\ker(G\curvearrowright \partial_\kappa X)=\ker(G\curvearrowright \partial^* X)
\]
5. **Kernel of Paulin Construction**:
- If \(G\) is a finitely - generated quasi - circular hyperbolic group, and its outer automorphism group \(\text{Out}(G)\) is infinite, then the kernel of the natural action on the asymptotic cone is the same as the kernel of the action of Paulin construction.