Rationality of the Gromov Boundary of Hyperbolic Groups

Davide Perego
2023-03-17
Abstract:In [BBM21], Belk, Bleak and Matucci proved that hyperbolic groups can be seen as subgroups of the rational group. In order to do so, they associated a tree of atoms to each hyperbolic group. Not so many connections between this tree and the literature on hyperbolic groups were known. In this paper, we prove an atom-version of the fellow traveler property and exponential divergence, together with other similar results. These leads to several consequences: a bound from above of the topological dimension of the Gromov boundary, the definition of an augmented tree which is quasi-isometric to the Cayley graph and a synchronous recognizer which described the equivalence relation given by the quotient map defined from the end of the tree onto the Gromov boundary.
Group Theory,Metric Geometry
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly revolve around the relationship between the Gromov boundary of hyperbolic groups and atomic trees. Specifically, the paper explores the following points: 1. **Atomic - version fellow traveler property and exponential divergence**: The paper proves the atomic - version fellow traveler property and exponential divergence. These properties have been studied in hyperbolic graphs, but the author extends them to the context of atomic trees. 2. **Upper bound of the topological dimension of the Gromov boundary**: By studying the properties of atomic trees, the paper provides an upper - bound estimate of the topological dimension of the Gromov boundary. 3. **Construction of augmented trees**: The paper defines an augmented tree, which is quasi - isometric to the Cayley graph, thus providing a new way to understand the geometric structure of hyperbolic groups. 4. **Synchronous recognizer**: The paper describes a synchronous recognizer, which is used to describe the equivalence relation given by the quotient mapping from the endpoints of atomic trees to the Gromov boundary. 5. **Rational relation of projections**: The paper proves that the projection from the boundary of atomic trees to the Gromov boundary defines a rational equivalence relation, which is a core result of the paper. ### Formula display - **Fellow traveler property**: \[ d_{\Gamma_k}(u_k, v_k)\leq C\quad\text{for all}\quad k\geq1 \] where \(u = (u_k)_{k = 1}^{\infty}\) and \(v=(v_k)_{k = 1}^{\infty}\) are two elements in \(\partial A(\Gamma)\), and \(d_{\Gamma_k}\) is the distance function on the \(k\)-th level of the tree. - **Exponential divergence**: \[ \ell(c)>E_1e^{E_2t} \] where \(c\) is a measurable path completely contained in \(\Gamma - B_{\tilde{t}+t}(z)\) connecting \([z, x](\tilde{t}+t)\) and \([z, y](\tilde{t}+t)\). - **Gromov product**: \[ (x_\infty|y_\infty):=\inf\liminf_{k\rightarrow\infty}(x_k|y_k) \] where \(\{x_k\}_{k = 1}^{\infty}\) and \(\{y_k\}_{k = 1}^{\infty}\) are Gromov sequences converging to \(x_\infty\) and \(y_\infty\) respectively. ### Summary By introducing the concept of atomic trees, the paper conducts in - depth research on the Gromov boundary of hyperbolic groups and proves a series of important properties and results. These results not only deepen our understanding of hyperbolic groups but also provide new tools and methods for future related research.