Coxeter群に関連するグラフの離散性を特徴付ける

Graphical discreteness is not preserved under quasi-isometry in general. We prove that, for every finite thick generalized $m$-gon $\Gamma$ with $m\geq 3$, graphical discreteness is nevertheless constant on the class of finitely generated groups quasi-isometric to the right-angled Coxeter group $W_\Gamma$: such a group $\Lambda$ is graphically discrete if and only if $\Gamma$ is nonflexible, meaning that no nontrivial graph automorphism of $\Gamma$ fixes a closed star pointwise. The proof combines quasi-isometric rigidity of Fuchsian buildings with a metric-strata argument that recovers the standard Coxeter Cayley graph from the building metric. For finite-rank Coxeter systems, we also show that the automorphism group of the standard Cayley graph is compact-by-discrete if and only if it is discrete, equivalently, if and only if the defining diagram is nonflexible. We further obtain obstructions to graphical discreteness from one-vertex doublings, classify compact-by-discreteness for standard chamber graphs of graph products of finite groups, and derive applications to finite projective planes and to right-angled Coxeter groups with Menger curve boundary. Our methods do not settle whether nonflexible finite thick generalized polygons exist.

21 pages