Cubulated hyperbolic groups admit Anosov representations (Q6866355)

The paper under review proves 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\) (Theorem~1.3). The main technical statement is Theorem~1.5: for a right-angled Coxeter system \((C,S)\), a quasiconvex embedding of a hyperbolic group \(\Gamma\) into \(C\) and a simplicial representation \(\rho:C\to \mathrm{SL}^{\pm}(|S|,\mathbb{R})\) with fully non-degenerate Cartan matrix, the restriction \(\rho|_{\Gamma}\) is \(1\)-Anosov. The notion of \(k\)-Anosov used in the introduction is formulated via singular value gaps, requiring uniform linear growth of \(\log(\sigma_k(\rho(\gamma))/\sigma_{k+1}(\rho(\gamma)))\) in the word length of \(\gamma\in \Gamma\).\N\NThe proof relates the projective geometry of the Vinberg domain associated to reflection representations of \(C\) to the combinatorial geometry of the Davis complex \(D(C,S)\). The authors introduce half-cones in projective space corresponding to half-spaces in \(D(C,S)\) and use their nesting properties to control singular value gaps along geodesics; the argument proceeds by induction on \(|S|\) and uses a transversality analysis of stable/unstable subspaces together with a higher-rank Morse lemma and a local-to-global principle to glue estimates along subgeodesics lying in standard subgroups.