A combination theorem for relatively hyperbolic groups and finite relative height of splitting

Ravi Tomar

DOI: https://doi.org/10.48550/arXiv.2207.03167

2022-07-07

Abstract:In this paper, we prove a combination theorem for a relatively acylindrical graph of relatively hyperbolic groups (Theorem 1.1). Here, we are extending the technique of [Tom21] and constructing Bowditch boundary of the fundamental group of graph of groups. Suppose G(Y) is a graph of relatively hyperbolic groups such that edge groups are relatively quasi-convex in adjacent vertex groups. Also, assume that the fundamental group of G(Y) is relatively hyperbolic. Then we show that the edge groups of G(Y) have finite relative height (Definition 1.5) if and only if they are relatively quasi-convex (Theorem 1.6). In the last section, we give an application.

Group Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to prove the combination theorem in a more general situation in the graph structure of relatively hyperbolic groups, and to study the finite relative height of edge groups in the fundamental group. Specifically, the author attempts to prove a combination theorem about relatively hyperbolic groups by introducing the concept of relatively cylindrical action without assuming that the edge groups are fully quasi - convex. In addition, the paper also explores the conditions for edge groups to have a finite relative height, that is, whether they are relatively quasi - convex in the fundamental group.

### Main contributions of the paper
1. **Combination theorem**:
- The author proves a new combination theorem (Theorem 1.1), which is applicable to the graph structure of relatively hyperbolic groups, where the vertex groups are relatively hyperbolic and the edge groups are relatively quasi - convex in the adjacent vertex groups.
- Compared with previous work, the author removes the assumption that the edge groups must be fully quasi - convex and introduces the concept of relatively cylindrical action.

2. **Finite relative height**:
- The author proves that the necessary and sufficient condition for edge groups to have a finite relative height in the fundamental group is that they are relatively quasi - convex in the fundamental group (Theorem 1.6).
- This result is a generalization of previous work, especially in the setting of relatively hyperbolic groups.

### Main theorems
- **Theorem 1.1**:
- Let \( G(Y) \) be a finite graph group satisfying the following conditions:
1. The vertex groups are relatively hyperbolic, and the edge groups are relatively quasi - convex in the adjacent vertex groups.
2. The parabolic structure induced by each edge group from the adjacent vertex groups is the same.
3. The action of \( G=\pi_1(G(Y)) \) on the Bass - Serre tree of \( G(Y) \) is relatively cylindrical.
4. For a fixed natural number \( k \), if \( \bigcap_{i = 1}^n G_{e_i} \) is finite, then \( \bigcap_{i = 1}^n\Lambda(G_{e_i})=\varnothing \); if \( \bigcap_{i = 1}^n G_{e_i} \) is infinite, then \( \bigcap_{i = 1}^n\Lambda(G_{e_i}) \) is a singleton.
- Then \( G \) is relatively hyperbolic with respect to the subgroups of the natural conical sites, and the vertex groups are relatively quasi - convex in \( G \).

- **Theorem 1.6**:
- Let \( G(Y) \) be a finite graph group satisfying the following conditions:
1. The vertex groups are relatively hyperbolic, and the edge groups are relatively quasi - convex in the adjacent vertex groups.
2. The parabolic structure induced by each edge group from the adjacent vertex groups is the same.
3. \( G = \pi_1(G(Y)) \) is relatively hyperbolic with respect to the subgroups of the natural conical sites.
4. For a fixed natural number \( k \), if \( \bigcap_{i = 1}^n G_{e_i} \) is finite, then \( \bigcap_{i = 1}^n\Lambda(G_{e_i})=\varnothing \); if \( \bigcap_{i = 1}^n G_{e_i} \) is infinite, then \( \bigcap_{i = 1}^n\Lambda(G_{e_i}) \) is a singleton.
- Then the edge groups have a finite relative height in \( G \) if and only if they are relatively quasi - convex in \( G \).

### Conclusion
By introducing the concept of relatively cylindrical action, the paper successfully proves the combination theorem of relatively hyperbolic groups in a more general situation, and gives the necessary and sufficient conditions for edge groups to have a finite relative height. These results not only generalize the previous theories, but also provide new tools and methods for the study of relatively hyperbolic groups.