[論文レビュー] Rigidity of Right-Angled Coxeter Groups

David Radcliffe|ArXiv.org|Jan 12, 1999

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

ひとこと要約

この論文は、直角コクセター群に対して、任意の二つのコクセター生成系が群の同型のもとで同値であることを証明しており、群の提示がその抽象的構造によって一意に定まることを意味する。証明は、コクセター系の神経、デイビス＝ビナーベルグ複体、および有限パラボリック部分群とアーベル化写像の性質を用い、異なる生成系における最大有限標準部分群の間の標準的双対写像を確立する。最終的に、コクセター行列が生成系の変更に対して不変であることが示される。

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.

研究の動機と目的

• 直角コクセター群のコクセター生成系が同型を除いて一意に定まることを確立すること。
• 同じ直角コクセター群に対して異なる生成系が与えられたとき、それらが同値なコクセター系を定めるかどうかを解明すること。
• 直角コクセター群において、生成系の変更に対してコクセター行列が不変であることを証明すること。
• 有限部分群の構造とアーベル化写像による像を特徴づけ、異なる生成系間での比較を可能にする。

提案手法

• 神経 $ N(W,S) $ を、$ W_A $ が有限であるような空でない部分集合 $ A $ の集合として定義し、$ N^*(W,S) $ をその極大元の集合とする。
• デイビス＝ビナーベルグ複体 $ \Sigma(W,S) $ 及びその幾何的実現 $ X $ を用いて、群の作用と有限部分群を分析する。
• 群 $ W $ のすべての有限部分群が、ある有限パラボリック部分群に共役であり、したがって $ (\mathbb{Z}/2\mathbb{Z})^k $ に同型であることを示す。
• アーベル化写像 $ q: W \to W/W' \cong (\mathbb{Z}/2\mathbb{Z})^S $ を用いて、$ N^*(W,S) $ と $ N^*(W,S') $ 間の標準的双対写像 $ A \mapsto A^* $ を構成する。
• $ N^*(W,S) $ の任意の有限集合 $ A_i $ に対して、$ |\bigcap A_i| = |\bigcap A_i^*| $ が成り立つことを証明し、生成系間で交差の大きさが保存されることを示す。
• $ s \in A \iff \phi(s) \in A^* $ をすべての $ A \in N^*(W,S) $ に対して満たすような $ \phi: S \to S' $ の双対写像を確立し、コクセター関係が保存されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 直角コクセター群のすべての生成系は、群の同型を除いて同値であるか？
• RQ2 直角コクセター群において、生成系を一つのコクセター生成系から別のものに変更しても、コクセター行列は不変のままであるか？
• RQ3 最大有限パラボリック部分群の構造は、同型を除いて生成系を一意に定めるか？
• RQ4 同じ直角コクセター群の二つの異なる生成系における最大有限標準部分群の間に、標準的対応関係が存在するか？
• RQ5 アーベル化写像は、直角コクセター群の異なる生成系を区別または関連付けるのに用いることができるか？

主な発見

• 任意の直角コクセター群 $ W $ に対して、任意の二つのコクセター生成系 $ S $ と $ S' $ は同値なコクセター系を定める。つまり、$ \phi(S) = S' $ を満たす群の同型 $ \phi: W \to W $ が存在する。
• $ N^*(W,S) $ の最大有限標準部分群 $ A $ と $ N^*(W,S') $ の $ A^* $ 間の対応は、双対的かつアーベル化写像 $ 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^* $ を満たし、これによりコクセター関係 $ m(s,t) \in \{2, \infty\} $ が保存される。
• 証明により、$ m(s,t) = 2 $ であることは、ある $ A \in N^*(W,S) $ に対して $ \{s,t\} \subseteq A $ が成り立つことと同値であり、同様に $ S' $ に対しても成り立つ。これにより、コクセター行列が同型のもとで不変であることが示される。
• $ \phi $ によって誘導される $ W $ の自己同型はすべての関係を保存するため、$ (W,S) $ と $ (W,S') $ が同値なコクセター系であることが確認される。