[论文解读] Irreducible Coxeter groups

Luis Paris|arXiv (Cornell University)|Dec 10, 2004

Advanced Combinatorial Mathematics参考文献 18被引用 21

一句话总结

本文证明非球面对称不可约考克斯eter群是直接不可约的，非球面且非仿射的群则是强不可约的——即其所有有限指数子群也都是不可约的。本文还证明了考克斯eter群在不可约因子上的普通分解与虚拟分解均唯一，唯一性在置换与中心自同构下成立。

ABSTRACT

We prove that a non-spherical irreducible Coxeter group is (directly) indecomposable and that a non-spherical and non-affine Coxeter group is strongly indecomposable in the sense that all its finite index subgroups are (directly) indecomposable. We prove that a Coxeter group has a decomposition as a direct product of indecomposable groups, and that such a decomposition is unique up to a central automorphism and a permutation of the factors. We prove that a Coxeter group has a virtual decomposition as a direct product of strongly indecomposable groups, and that such a decomposition is unique up to commensurability and a permutation of the factors.

研究动机与目标

• 研究不可约考克斯eter群的结构不可约性，特别区分球面型、仿射型与非球面/非仿射型。
• 确定非球面对称不可约考克斯eter群是否可分解为直积，若可分解，则在何种条件下成立。
• 建立非球面且非仿射考克斯eter群的强不可约性——即其所有有限指数子群均为不可约。
• 证明考克斯eter群在不可约因子上的普通分解与虚拟分解均唯一，唯一性在置换与中心自同构下成立。
• 通过分析其直积分解结构，将克鲁尔-雷马克-施密特定理推广至考克斯eter群。

提出的方法

• 利用考克斯eter群在实向量空间上的典范表示，其对称双线性形式由考克斯eter矩阵定义。
• 根据典范形式的定性，将考克斯eter群分为三类：球面型（正定）、仿射型（半正定但非定性）与非球面/非仿射型（不定）。
• 将克鲁尔-雷马克-施密特定理应用于群分解的有限部分，确保有限考克斯eter群因子可唯一分解为不可约分量。
• 分析有限指数子群的结构，特别利用仿射考克斯eter群包含一个同构于 $\mathbb{Z}^d$ 的有限指数子群的事实，并通过 $\mathbb{Z}$ 的副本构造虚拟分解。
• 使用群论工具，如中心化子、正规生成与满同态（例如 $\mu: W \to C_2$），分析可能的直积因子分解。
• 应用引理 5.6 关于中心化子，证明若中心化子可分解为直积，则其因子必位于某个直因子 $A$ 或 $B$ 中，从而在特定考克斯eter型上建立归纳论证。

实验结果

研究问题

• RQ1 非球面对称不可约考克斯eter群是否为直接不可约？
• RQ2 非球面且非仿射考克斯eter群是否为强不可约，即其所有有限指数子群是否均为不可约？
• RQ3 考克斯eter群在不可约直因子上的分解是否唯一，唯一性在置换与中心自同构下成立？
• RQ4 是否存在考克斯eter群在强不可约子群（如 $\mathbb{Z}^d$）上的虚拟分解，且该分解是否在共轭意义与置换下唯一？
• RQ5 典范形式与考克斯eter群的表示理论如何影响其可约性性质？

主要发现

• 非球面对称不可约考克斯eter群是直接不可约的，即其不能表示为非平凡子群的直积。
• 非球面且非仿射考克斯eter群是强不可约的，因为其所有有限指数子群也均为直接不可约。
• 考克斯eter群 $W = W_{X_1} \times \cdots \times W_{X_b} \times H_1 \times \cdots \times H_q$ 的普通分解，其中 $W_{X_i}$ 为非球面对称不可约，$H_j$ 为不可约有限群，其唯一性在因子置换与中心自同构下成立。
• 对于考克斯eter群 $W = W_{X_1} \times \cdots \times W_{X_a} \times W_{Z_2} \times W_{Z_3}$，其中 $W_{Z_2}$ 为具有无限不可约分量的仿射群，$W_{Z_3}$ 为有限群，存在一个虚拟分解 $G = W_{X_1} \times \cdots \times W_{X_a} \times R_1 \times \cdots \times R_d$，其中 $R \cong \mathbb{Z}^d$，且该分解在共轭意义与因子置换下唯一。
• 唯一性结果通过经典考克斯eter型（$A_n, B_n, D_n, E_6, E_7, E_8, F_4, H_3, H_4, I_2(p)$）的逐类分析建立，结合中心化子论证与到 $C_2$ 的满同态。
• 对于 $H_4$、$F_4$ 与 $E_8$ 等特定类型，证明依赖于特定子集的中心化子同构于 $W_{I_2(6)}$，并应用 $I_2(6)$ 的唯一性结果，推导出某一因子必为整个群。