[論文レビュー] Root systems and diagram calculus. I. Regular extensions of Carter diagrams and the uniqueness of conjugacy classes

Rafael Stekolshchik|arXiv (Cornell University)|May 16, 2010

Advanced Algebra and Geometry参考文献 11被引用数 7

ひとこと要約

本稿では、Carter図を用いて有限Weyl群における共軛類を分類するための枠組みを確立し、長さ l > 4 の巡回を含むすべてのCarter図が、4-巡回のみを含む同値な図に体系的に変換可能であることを証明する。これにより、分類から長周期が排除される。主な貢献は、D₄ または D₄(a₁) のパターンを含む連結Carter図が、鏡拡張と明示的な共軛写像を用いて一意な共軛類を定義することを示したことにある。

ABSTRACT

In 1972, R. Carter introduced admissible diagrams to classify conjugacy classes in a finite Weyl group W. We say that an admissible diagram Γis a Carter diagram if any edge {α, β} with inner product (α, β) > 0 (resp. (α, β) < 0) is drawn as dotted (resp. solid) edge. We construct an explicit transformation of any Carter diagram containing long cycles (with the number of vertices l > 4) into another Carter diagram containing only 4-cycles. Thus, all Carter diagrams containing long cycles can be eliminated from the classification list. There exist diagrams determining two conjugacy classes in W.It is shown that any connected Carter diagram Γcontaining a 4-vertex pattern D_4 or D_4(a_1) determines a single conjugacy class. The main approach is studying different extensions of Carter diagrams. Let ildeΓ be the Carter diagram obtained from a certain Carter diagram Γby adding a single vertex αconnected to Γat n points, n \leq 3. Let a socket be the set of vertices of Γconnected to α. If the number of sockets available for extensions is equal to 2, then there is a pair of extensions Γ< ildeΓ_L and Γ< ildeΓ_R, called mirror extensions and the pair elements w_L and w_R associated with ildeΓ_L and ildeΓ_R. We show that w_R = T^{-1}w_L{T} for some T \in W, where the map T is explicitly constructed for all mirror extensions. In Carter's description of the conjugacy classes in a Weyl group a key result (Carter's theorem) states that every element in a Weyl group is a product of two involutions. One of the goals of this paper and its sequels is to prepare the notions and framework in which we give the proof of this fact without appealing to the classification of conjugacy classes.

研究の動機と目的

• 図式計算を用いて、有限Weyl群における共軛類の分類から長周期 (l > 4) を排除すること。
• D₄ または D₄(a₁) のパターンを含むCarter図が、Weyl群において唯一の共軛類を定義することを証明すること。
• 特に鏡拡張を含む、Carter図の正則拡張のための枠組みを構築し、共軛類の一意性を分析すること。
• 共軛類の分類に依存せずに、Carterの定理（任意のWeyl群の元は2つの対合の積である）を証明する基盤を提供すること。

提案手法

• 長周期 (l > 4) を含むCarter図を、4-巡回のみを含む同値な図に変換する明示的な変換を構成する。
• 鏡拡張の概念を導入する：Carter図 Γ に対して、n ≤ 3 個の点に接続される頂点 α を追加し、左拡張 ˜Γ_L および右拡張 ˜Γ_R を得る。
• w_R = T⁻¹ w_L T を満たす共軛写像 T を定義し、鏡拡張に関連する群元が共軛であることを証明する。
• 部分Cartan行列 B_Γ 及びその逆行列を用いて、特に D_l、E_l、A_l 型における線形従属性と根系を分析する。
• 新しい頂点に接続される頂点の集合（ソケット）の概念を用いて、可能な拡張を分類および比較する。
• 単一トラック、鏡、三重の3種類の拡張について、帰納法とケース解析を用いて共軛類の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Carter図に長周期 (l > 4) が含まれる場合、Weyl群における共軛類の分類から体系的に排除可能か？
• RQ2 D₄ または D₄(a₁) のパターンを含む連結Carter図は、Weyl群において正確に1つの共軛類を定義するか？
• RQ3 鏡拡張 ˜Γ_L および ˜Γ_R に関連する群元は、Weyl群において共軛か？
• RQ4 共軛類の分類に依存せずに、図式計算によって共軛類の一意性を確立可能か？
• RQ5 部分Cartan行列 B_Γ 及びその逆行列は、根系の分析と拡張の同値性にどのような役割を果たすか？

主な発見

• 長周期 (l > 4) を含むすべてのCarter図は、4-巡回のみを含む同値な図に変換可能であり、分類リストから排除可能である。
• D₄ または D₄(a₁) のパターンを含む任意の連結Carter図は、Weyl群において唯一の共軛類を定義する。
• 各鏡拡張 Γ < ˜Γ_L および Γ < ˜Γ_R に対して、明示的に構成された T ∈ W を用いて w_R = T⁻¹ w_L T が成り立つ。これにより、関連する群元が共軛であることが証明される。
• E₈(b₃) ≃ E₈(a₃)、E₇(b₂) ≃ E₇(a₂)、D_l(b_{l/2−1}) ≃ D_l(a_{l/2−1}) の同値性が l = 4k および l = 4k−2 の場合に成立し、変換による図の同値性が示される。
• D₅、E₆、E₇、E₈、D₅(a₁)、E₆(a₂)、D₆(a₁) などの主要な図に対して、部分Cartan行列 B⁻¹_Γ が明示的に計算され、線形従属性および根構造の分析が可能になる。
• Carter図の部分順序における最小元が4-巡回のみを含むものであることが示され、長周期が非最小的であり、分類において冗長であることが確認される。