Abstract:We prove that any hyperbolic group acting properly discontinuously and cocompactly on a $\mathrm{CAT}(0)$ cube complex admits a projective Anosov representation into $\mathrm{SL}(d, \mathbb{R})$ for some $d$. More specifically, we show that if $\Gamma$ is a hyperbolic quasiconvex subgroup of a right-angled Coxeter group $C$, then a generic representation of $C$ by reflections restricts to a projective Anosov representation of $\Gamma$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to prove that any hyperbolic group acting properly discontinuously and cocompactly on a CAT(0) cube complex admits a projective Anosov representation into $\text{SL}(d, \mathbb{R})$. More specifically, if $\Gamma$ is a hyperbolic quasi - convex subgroup of some right - angled Coxeter group $C$, then the general representation of $C$ generated by reflections, when restricted to $\Gamma$, gives a projective Anosov representation.
### Main Contributions
1. **Expanding the Applicable Range of Anosov Representations**: The paper proves that every cubulated hyperbolic group admits an Anosov representation, which significantly extends the class of groups known to admit Anosov representations.
2. **A New Construction Method**: Even for groups already known to admit Anosov representations, the main theorem (Theorem 1.5) provided by the paper can also provide different Anosov representations, depending on different cubulation methods of the group.
### Key Concepts
- **Anosov Representation**: An Anosov representation is a special group representation with good dynamical properties. Specifically, a representation $\rho: \Gamma \to \text{GL}(d, \mathbb{R})$ is called $k$-Anosov if there exist constants $A, B>0$ such that for all $\gamma \in \Gamma$, the following is satisfied:
\[
\log \left( \frac{\sigma_k(\rho(\gamma))}{\sigma_{k + 1}(\rho(\gamma))} \right) \geq A|\gamma|-B
\]
where $\sigma_k(\rho(\gamma))$ represents the $k$-th largest singular value of the matrix $\rho(\gamma)$.
- **Cube Complex**: A CAT(0) cube complex is a class of geometric objects with non - positive curvature, where each cell is a cube. The action of hyperbolic groups on these complexes is an important aspect of research.
- **Right - Angled Coxeter Group**: A right - angled Coxeter group is a special class of Coxeter groups, and the relations between its generators are determined by an acyclic graph. These groups have rich properties in geometry and combinatorial structure.
### Proof Idea
The paper proves the main results by studying the action of right - angled Coxeter groups in projective space and the associated combinatorial geometric structures (such as Davis complexes). Specifically, by analyzing the nesting properties of half - cones, the author proves that if a geodesic does not get "stuck" in a standard subgroup in an irreducible right - angled Coxeter group, then the corresponding singular value gap will grow at a uniform rate. This directly verifies the defining conditions of Anosov representations.
### Applications
- **Random Groups**: In Gromov's density model, a random finitely presented group is hyperbolic and cubulated when the density is less than $\frac{1}{6}$. Therefore, according to the results of the paper, these random groups also admit Anosov representations.
- **Strict Hyperbolization**: Through the strict hyperbolization process, Anosov subgroups with various "singular" properties can be constructed, such as the fundamental group of a closed negative - curvature manifold.
### Conclusion
The paper not only extends the applicable range of Anosov representations but also provides a new construction method, providing an important tool and perspective for understanding the representation theory of hyperbolic groups.