[論文レビュー] Roots of asymmetric geometric representations of Coxeter groups

Robert G. Donnelly|arXiv (Cornell University)|Jul 23, 2007

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

ひとこと要約

この論文は、コクセター群の非対称幾何的表現を調査し、標準的表現を一般化してカク＝ムーディ Weyl 群を含むものとする。非自明な根の倍数が根である条件、および群の元によって正の根が負の根に写される数が有限である条件を、コクセター図に関連するグラフに基づいた組合せ的特徴づけとして与える。

ABSTRACT

Results are obtained concerning the roots of asymmetric geometric representations of Coxeter groups. These representations were independently introduced by Vinberg and Eriksson, and generalize the standard geometric representation of a Coxeter group in such a way as to include all Kac–Moody Weyl groups. In particular, a characterization of when a non-trivial multiple of a root may also be a root is given in the general context. Characterizations of when the number of such multiples of a root is finite and when the number of positive roots sent to negative roots by a group element is finite are also given. These characterizations are stated in terms of combinatorial conditions on a graph closely related to the Coxeter graph for the group.

研究の動機と目的

• コクセター群の幾何的表現を標準的ケースを超えて、カク＝ムーディ Weyl 群を含む形に拡張すること。
• 非対称幾何的表現において、根の非自明な倍数が再び根である条件を特定すること。
• 群の元によって正の根が負の根に写される数が有限である条件を特徴づけること。
• これらの特徴づけを、コクセター群に関連するグラフ上の組合せ的条件として表現すること。

提案手法

• ヴィンバーグとエリクソンによって独立的に導入された、コクセター群の非対称幾何的表現を用いる。
• コクセター図に密接に関連するグラフを用いて、これらの表現における根系を分析する。
• グラフ上の組合せ的条件を適用し、根の倍数性と符号変化の性質を同定する。
• 根の重複度と符号反転の有限性が、グラフの構造的特徴と同値であることを確立する。
• コクセター群論と根系幾何学の技術を用いて、必要十分条件を導出する。
• 群の元、根系、および関連するグラフの構造の間の相互作用に依拠して、特徴づけを導出する。

実験結果

リサーチクエスチョン

• RQ1 非対称幾何的表現において、根の非自明な倍数が再び根であるのはどのような条件下か？
• RQ2 群の元によって正の根が負の根に写される数が有限であるのはいつか？
• RQ3 このような根の符号反転の有限性をどのように組合せ的に特徴づけられるか？
• RQ4 コクセター群に関連するグラフは、根の重複度を決定する上で果たす役割は何か？
• RQ5 根の多重性に対応するグラフの組合せ的性質は何か？

主な発見

• 根の非自明な倍数が再び根であるのは、関連するグラフ上の特定の組合せ的条件を満たす場合に限りそうなる。
• 群の元によって正の根が負の根に写される数が有限であるのは、ある特定の部分グラフ条件が成立する場合に限りそうなる。
• 根の倍数の有限性は、グラフ構造に無限鎖が存在しないことによって特徴づけられる。
• 特徴づけに用いられるグラフはコクセター図に密接に関連しているが、非対称表現に関連する追加の情報を符号化している。
• 本結果は、標準的幾何的表現の既知の性質を、カク＝ムーディ Weyl 群のより広いクラスに一般化する。
• 特徴づけは必要十分であり、研究対象の現象を完全に組合せ的基準で特徴づけるものである。