Rigidity of Right-Angled Coxeter Groups

For each s\in S, define the membership pattern of s to be

By inclusion–exclusion, the number of elements s\in S whose membership pattern is exactly \mathcal U is

The corresponding number for S', with membership pattern \mathcal U^*=\{A^*:A\in\mathcal U\}, is

These two sums are equal term by term by Theorem 4. Hence the two systems have the same number of generators of each membership pattern.

It follows that there is a bijection \phi\colon S\to S' such that, for every A\in\mathcal N^{\max}(W,S) and every s\in S,

Now let s,t\in S with s\ne t. Since (W,S) is right-angled, m(s,t)=2 exactly when \{s,t\} is contained in some maximal simplex A\in\mathcal N^{\max}(W,S). By the defining property of \phi, this occurs exactly when \{\phi(s),\phi(t)\} is contained in the corresponding maximal simplex A^*\in\mathcal N^{\max}(W,S'), which is exactly the condition that m(\phi(s),\phi(t))=2. Otherwise both exponents are \infty.

Thus

for all s,t\in S. Therefore \phi respects the Coxeter matrices and extends to an automorphism of W carrying S onto S'. Hence (W,S) and (W,S') are equivalent.

Let G be a finite subgroup of W. By the fixed-point theorem quoted above, G fixes a point of X. The action of W on \Sigma(W,S) is without inversions: if an element stabilizes a simplex, then it fixes each vertex of that simplex. Hence G fixes a vertex of \Sigma(W,S).

The vertices of \Sigma(W,S) are precisely the cosets wW_A with A\in\mathcal N(W,S)\cup\{\varnothing\}. If G fixes the vertex wW_A, then G is contained in its stabilizer, namely wW_Aw^{-1}. This is a finite parabolic subgroup. Maximal finite subgroups are therefore the maximal finite parabolic subgroups, which are exactly the conjugates wW_Aw^{-1} with A\in\mathcal N^{\max}(W,S).

Let A\in\mathcal N^{\max}(W,S). Then W_A is a maximal finite subgroup of W. Applying Lemma 2 to the Coxeter system (W,S'), there are w\in W and A^*\in\mathcal N^{\max}(W,S') such that

Since W_{\mathrm{ab}} is abelian, conjugate subgroups have the same image under q. Thus q(W_A)=q(W_{A^*}).

The set A^* is unique because q is injective on the union V_{S'} of the finite standard parabolic subgroups for (W,S'). The same argument with S and S' interchanged gives an inverse correspondence, so A\mapsto A^* is a bijection.

Using the standard parabolic intersection formula and the injectivity of q on V_S, we have

By Theorem 3, q(W_{A_i})=q(W_{A_i^*}) for every i, and therefore

Since all relevant standard parabolic subgroups are elementary abelian 2-groups, |W_B|=2^{|B|} for every simplex B of either nerve. The result follows.