[論文レビュー] On cycle decompositions in Coxeter groups

Thomas Gobet|arXiv (Cornell University)|Nov 10, 2016

Advanced Combinatorial Mathematics参考文献 6被引用数 8

ひとこと要約

この論文は、双対コクセター理論の枠組みを用いて、対称群における置換のサイクル分解を有限コクセター群へ一般化する。パラボリック準コクセター元——反射長が加法的で、可換な積分解に分解可能な、非可約かつ分解不能な因子からなる——を導入し、このような元が一意的な一般化されたサイクル分解を持つことを証明する。これは、古典的なサイクル分解をより広いクラスのコクセター群の元へ拡張するものである。

ABSTRACT

The aim of this note is to show that the cycle decomposition of elements of the symmetric group admits a quite natural formulation in the framework of dual Coxeter theory, yielding a generalization of it to the family of so-called parabolic quasi-Coxeter elements of Coxeter groups (in the symmetric group every element is a parabolic quasi-Coxeter element). We show that such an element admits an analogue of the cycle decomposition. Elements which are not in this family still admit a generalized cycle decomposition, but it is not unique in general.

研究の動機と目的

• 双対コクセター理論を用いて、対称群における置換の古典的サイクル分解を有限コクセター群へ一般化すること。
• コクセター群において、サイクル分解に類似した分解を許容する自然な元のクラスを同定すること。
• 反射長が加法的で、可換な分解を許容する元として、パラボリック準コクセター元を定義し、特徴づけること。
• このような元が、因子の順序を除いて一意的な一般化されたサイクル分解を持つことを示し、古典的結果を有限コクセター群へ拡張すること。
• パラボリック準コクセター類に属さない元に対して、一般化されたサイクル分解が一意でない理由を明確にすること。

提案手法

• コクセター群 W のすべての反射からなる集合 T に関する反射長関数 ℓ_T を定義する。
• 条件 1.1 を用いてパラボリック準コクセター元を定義する：T-短縮表現がパラボリック部分群を生成することの存在。
• このような元のパラボリック閉包 P(w) が一意的であることを確立し、整合的な分解枠組みを可能にする。
• 有限コクセター群において、パラボリック準コクセター元が、反射長が加法的で、可換かつ非可約な因子への一意的分解を持つことを証明する。
• コクセター群における w が準コクセター元である反射部分群と、T-短縮表現上のハーツィット軌道との対応（補題 3.11）を用いて、分解の非一意性を分析する。
• 補題 3.10 を活用し、反射部分群において反射長が保存されることを示し、部分群間での ℓ_T の一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 双対コクセター理論を用いて、対称群における置換の古典的サイクル分解を有限コクセター群へ一般化できるか？
• RQ2 反射長が加法的で、可換な因子を持つ分解を許容するコクセター群のどのクラスの元が、サイクル分解に類似した分解を持つのか？
• RQ3 パラボリック準コクセター類に属さない元に対して、なぜ一般化されたサイクル分解が一意でないのか？
• RQ4 反射部分群とハーツィット軌道は、このような分解の存在と一意性とどのように関係しているか？
• RQ5 コクセター群の元が、非可約で可換かつ反射長が加法的な因子への一意的分解を持つための条件は何か？

主な発見

• 有限コクセター群におけるパラボリック準コクセター元は、可換かつ非可約な因子への一意的な一般化されたサイクル分解を持つ。その反射長は加法的である。
• 分解は因子の順序を除いて一意的であり、これは対称群におけるサイクル分解の一意性の一般化である。
• パラボリック準コクセター類に属さない元に対しても、一般化されたサイクル分解は存在するが、一意でない。そのような分解の数は、T-短縮表現上のハーツィット軌道の数に一致する。
• パラボリック準コクセター元 w のパラボリック閉包 P(w) は一意に定まり、その分解に現れる非可約反射部分群の積に等しい。
• 反射長は、補題 3.10 により反射部分群においても保存されるため、異なる部分群埋め込み間で ℓ_T が一貫している。
• D₄ 型における例は、準コクセター元が完全な群においてコクセター元でない場合でも、一般化されたサイクル分解が自明である一方で、より大きな群では非自明に非パラボリック部分群のコクセター元に分解される可能性があることを示している。