On boundaries of hyperbolic Coxeter groups (Q5928493)

A Coxeter group \(\Gamma\) together with its presentation \(S\) is called a Coxeter system and is denoted as \((\Gamma,S)\). Every Coxeter system \((\Gamma,S)\) defines a convex geodesic space \(X={\mathcal A}(\Gamma,S)\) called the Davis-Vinberg complex [\textit{M. Davis}, Nonpositive curvature and reflection groups, in: Proc. 11-th Annual Workshop in Geometric Topology, Brigham Young University, Provo, UT (1994)]. The visual sphere at infinity \(S(\infty)\) of \(X\) is called the boundary of the Coxeter system \((\Gamma,S)\). Every Coxeter system defines an abstract simplicial complex \(N=N(\Gamma,S)=\{V\subset S\mid\Gamma_V\text{ is finite, }V\neq\emptyset\}\), called the nerve of \((\Gamma,S)\). Here \(\Gamma_V\subset\Gamma\) is the subgroup generated by \(V\subset S\). In this paper, the author proves when the nerve \(K\) of a hyperbolic Coxeter group \(\Gamma\) is \(n\)-connected and the complement \(K\setminus\Delta\) to every simplex is \(n\)-connected. Then the boundary \(\partial\Gamma\) is \(n\)-connected and locally \(n\)-connected.