[论文解读] Rigidity of Right-Angled Coxeter Groups

David Radcliffe|ArXiv.org|Jan 12, 1999

Advanced Combinatorial Mathematics参考文献 4被引用 17

一句话总结

本文证明，对于一个直角双曲 Coxeter 群，任意两组 Coxeter 生成元在群同构下等价，意味着群的表示由其抽象结构唯一确定。证明使用了 Coxeter 系的单纯复形（nerve）、Davis-Vinberg 复形以及有限抛物子群和交换化映射的性质，建立了不同生成集中极大有限标准子群之间的典范双射，最终证明 Coxeter 矩阵在生成元改变下保持不变。

ABSTRACT

If S and S' are two finite sets of Coxeter generators for a right-angled Coxeter group W, then the Coxeter systems (W,S) and (W,S') are equivalent.

研究动机与目标

• 建立直角双曲 Coxeter 群的 Coxeter 生成元集合在同构下唯一确定。
• 解决同一直角双曲 Coxeter 群的不同生成集是否产生等价 Coxeter 系统的问题。
• 证明在直角双曲 Coxeter 群中，Coxeter 矩阵在生成集改变下保持不变。
• 刻画有限子群及其在交换化映射下的像的结构，以实现不同生成集之间的比较。

提出的方法

• 将单纯复形 $ N(W,S) $ 定义为所有满足 $ W_A $ 有限的非空子集 $ A \neq \nul $ 的集合，$ N^*(W,S) $ 定义为其极大元集合。
• 使用 Davis-Vinberg 复形 $ \Sigma(W,S) $ 及其几何实现 $ X $ 来分析群作用和有限子群。
• 证明 $ W $ 的每个有限子群都共轭于一个有限抛物子群，因此同构于 $ (\mathbb{Z}/2\mathbb{Z})^k $（对某个 $ k $）。
• 利用交换化映射 $ q: W \to W/W' \cong (\mathbb{Z}/2\mathbb{Z})^S $，构造 $ N^*(W,S) $ 与 $ N^*(W,S') $ 之间的典范双射 $ A \mapsto A^* $。
• 证明对任意有限集合 $ A_i \in N^*(W,S) $，有 $ |\bigcap A_i| = |\bigcap A_i^*| $，即在不同生成集中保持交集大小不变。
• 建立双射 $ \phi: S \to S' $，使得对所有 $ A \in N^*(W,S) $，有 $ s \in A \iff \phi(s) \in A^* $，从而保证 Coxeter 关系被保持。

实验结果

研究问题

• RQ1 直角双曲 Coxeter 群的所有生成集是否在群同构下等价？
• RQ2 在直角双曲 Coxeter 群中，从一组 Coxeter 生成元变为另一组时，Coxeter 矩阵是否保持不变？
• RQ3 极大有限抛物子群的结构是否能唯一确定生成集（在同构意义下）？
• RQ4 同一直角双曲 Coxeter 群的两组不同生成集中，极大有限标准子群之间是否存在典范对应？
• RQ5 交换化映射能否用于区分或关联直角双曲 Coxeter 群中的不同生成集？

主要发现

• 对任意直角双曲 Coxeter 群 $ W $，任意两组 Coxeter 生成元 $ S $ 和 $ S' $ 生成等价的 Coxeter 系统，即存在群同构 $ \phi: W \to W $，使得 $ \phi(S) = S' $。
• 极大有限标准子群 $ A \in N^*(W,S) $ 与 $ A^* \in N^*(W,S') $ 之间的对应关系是双射，且由交换化映射 $ q $ 导出，满足 $ q(W_A) = q(W_{A^*}) $。
• 在 $ N^*(W,S) $ 中子集交集的基数在对应关系下保持不变：$ |\bigcap A_i| = |\bigcap A_i^*| $，确保结构一致性。
• 双射 $ \phi: S \to S' $ 满足对所有 $ A \in N^*(W,S) $，有 $ s \in A \iff \phi(s) \in A^* $，这意味着 Coxeter 关系 $ m(s,t) \in \{2, \infty\} $ 被保持。
• 证明表明 $ m(s,t) = 2 $ 当且仅当存在某个 $ A \in N^*(W,S) $ 使得 $ \{s,t\} \subseteq A $，对 $ S' $ 同样成立，因此 Coxeter 矩阵在同构下保持不变。
• 由 $ \phi $ 导出的 $ W $ 的自同构保持所有关系，确认 $ (W,S) $ 与 $ (W,S') $ 是等价的 Coxeter 系统。