[論文レビュー] Irreducible Coxeter groups

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

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

ひとこと要約

この論文は、非球面的非可約コックスター群は直接的非分解的であり、非球面的で非アフィンな群は強く非分解的であることを確立している。つまり、それらのすべての有限指数部分群も非分解的である。また、コックスター群の通常および仮想的非分解的因子への分解が、置換および中心自己同型に関して一意的であることを証明している。

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.

研究の動機と目的

• 非可約コックスター群の構造的非分解性を調査し、特に球面的、アフィン的、非球面的／非アフィン的タイプの区別を行う。
• 非球面的非可約コックスター群が非自明な直積として分解可能かどうかを特定し、その条件を同定する。
• 非球面的かつ非アフィンなコックスター群が強く非分解的であることを確立する。すなわち、それらのすべての有限指数部分群が非分解的であることを示す。
• コックスター群の非分解的因子への通常的および仮想的分解の一意性を、置換および中心自己同型に関して証明する。
• コックスター群の直積分解の構造を分析することで、クルール＝レマク＝シュマイドの定理をコックスター群へ拡張する。

提案手法

• コックスター行列によって定義される対称的双線形形式を持つ実ベクトル空間へのコックスター群の標準的表現を利用する。
• 標準形式の定性的性質に基づいて、コックスター群を三つのタイプに分類する：球面的（正定値）、アフィン的（半正定値だが定値でない）、非球面的／非アフィン的（不定値）。
• 有限部分群の分解におけるクルール＝レマク＝シュマイドの定理を適用し、有限コックスター群因子の非分解的成分への一意的分解を保証する。
• 特に、アフィンコックスター群が $\mathbb{Z}^d$ に同型な有限指数部分群を含むという事実を用いて、$\mathbb{Z}$ のコピーを用いた仮想的分解を構成する。
• 中心化群、正規生成、およびエピモルフィズム（例：$\mu: W \to C_2$）などの群論的道具を用いて、可能な直積因子分解を分析する。
• 補題5.6（中心化群に関するもの）を適用し、中心化群が直積に分解できる場合、その因子は必ず一つの直積因子 $A$ または $B$ に含まれることを示し、特定のコックスター型についての帰納的議論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非球面的非可約コックスター群は直接的非分解的か？
• RQ2 非球面的かつ非アフィンなコックスター群は強く非分解的か？ すなわち、それらのすべての有限指数部分群が非分解的か？
• RQ3 コックスター群の非分解的直積因子への分解は、置換および中心自己同型に関して一意的か？
• RQ4 コックスター群が強く非分解的部分群（例：$\mathbb{Z}^d$）に仮想的分解可能であり、かつその分解が共役性および置換に関して一意的か？
• RQ5 コックスター群の標準形式および表現論が、その分解可能性にどのように影響するか？

主な発見

• 非球面的非可約コックスター群は直接的非分解的であり、非自明な部分群の直積として書くことはできない。
• 非球面的かつ非アフィンなコックスター群は強く非分解的であり、それらのすべての有限指数部分群も直接的非分解的である。
• コックスター群 $W = W_{X_1} \times \cdots \times W_{X_b} \times H_1 \times \cdots \times H_q$ の通常的分解（$W_{X_i}$ は非球面的非可約、$H_j$ は非分解的有限群）は、因子の置換および中心自己同型に関して一意的である。
• コックスター群 $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$）という仮想的分解が存在し、この分解は共役性および因子の置換に関して一意的である。
• 一意性の結果は、古典的コックスター型（$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)$ に対する一意性結果を適用することで、一つの因子が全体の群に一致することを示している。