[論文レビュー] Root systems and diagram calculus. III. Semi-Coxeter orbits of linkage diagrams and the Carter theorem

Rafael Stekolshchik|arXiv (Cornell University)|May 14, 2011

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

ひとこと要約

本稿は、Weyl群の任意の元が2つの対合の積として表現可能であることを示すCarter定理の新しい証明を提供する。双対部分Weyl群を用いて、連結図、連結系、および半Coxeter軌道を導入することで、いくつかの例外を除き、各半Coxeter軌道に一色の連結図が存在することを示した。これにより、Carter図の図式計算によって、2つの対合への自明な分解が可能となり、証明が完成する。この証明は、C4およびDE4クラスのCarter図に基づく。

ABSTRACT

A diagram obtained from the Carter diagram $Γ$ by adding one root together with its bonds such that the resulting subset of roots is linearly independent is said to be the {\it linkage diagram}. Given a linkage diagram, we associate the linkage labels vector, which is introduced like the vector of Dynkin labels. Similarly to the dual Weyl group, we introduce the group $W^{\vee}_L$ associated with $Γ$, and we call it the dual partial Weyl group. The linkage labels vectors connected under the action of $W^{\vee}_L$ constitute the linkage system $\mathscr{L}(Γ)$, which is similar to the weight system arising in the representation theory of the semisimple Lie algebras. The Carter theorem states that every element of a Weyl group $W$ is expressible as the product of two involutions. We give the proof of this theorem based on the description of the linkage system $\mathscr{L}(Γ)$ and semi-Coxeter orbits of linkage labels vectors for any Carter diagram $Γ$. The main idea of the proof is based on the fact that, with a few exceptions, in each semi-Coxeter orbit there is a special linkage diagram -- called {\it unicolored}, for which the decomposition into the product of two involutions is trivial.

研究の動機と目的

• Weyl群の元が2つの対合の積として分解可能であるCarter定理に対して、図式的かつ代数的な構造に基づく新しい証明を提供すること。
• C4およびDE4クラスのCarter図における連結系と半Coxeter軌道を定義し、分類すること。
• ほとんどの半Coxeter軌道に一色の連結図が存在することを確立し、これにより2つの対合への自明な分解が可能になること。
• D₇およびE₇系列における連結系と軌道の分類を完成させることで、すべてのWeyl群にこのアプローチを一般化すること。

提案手法

• 線形独立な根とその結合を追加することで、Carter図を拡張した連結図の概念を導入する。
• Dynkinラベルに類似した連結ラベルベクトルを定義し、双対部分Weyl群W∨Lの作用の下で連結系L(Γ)を構成する。
• 双対半Coxeter元c*による作用の下で、連結ラベルベクトルの軌道として半Coxeter軌道を構成する。
• Carter図（C4およびDE4）の分類を用いて、すべての可能な半Coxeter軌道を分析し、一色の図を特定する。
• 直交する根に対応する鏡映の積への二色分解を適用する。
• 対合iについての共轭関係w = i w i⁻¹を用い、軌道構造とこのような分解の存在を結びつける。

実験結果

リサーチクエスチョン

• RQ1 Carter定理は、連結系と半Coxeter軌道に基づく図式的かつ代数的構造を用いて証明可能か？
• RQ2 どのCarter図において、半Coxeter軌道が2つの対合への自明な分解を可能にする一色の連結図を含むか？
• RQ3 D₇およびE₇系列、特にD₇(a_i)およびE₇(a_i)の場合において、連結系と半Coxeter軌道はどのように振る舞うか？
• RQ4 C4およびDE4クラスのすべてのCarter図について、半Coxeter軌道の完全な分類は何か？
• RQ5 例外的なケース（例：D₄(a₁)、D₆(a₁)、E₆(a₂)）は、軌道構造と分解行動においてどのように異なるか？

主な発見

• C4およびDE4クラスのすべてのCarter図について、半Coxeter軌道の完全な分類が提供され、D₇(a₂)、D₇、およびE₇系列の詳細な軌道構造が含まれる。
• D₇(a₂)では10個の半Coxeter軌道が特定された：1つ目のE型成分に4つ、反対側の成分に4つ、2つの自己反対軌道。軌道1〜4および7〜10はペアを形成する。
• D₇では14個の半Coxeter軌道が得られた：1つ目のE型成分に6つ（長さ12のものが5つ、長さ4のものが1つ）、反対側の成分に6つ、2つの自己反対軌道。
• D₇の軌道1、3、9、11には一色の連結図が存在しないため、非自明な分解であることが示唆される。
• D₇(a₂)において、軌道5および6は自己反対であり、一色の図を含むため、直接的な対合分解が可能である。
• Carter定理の証明は、いくつかの例外を除き、すべての半Coxeter軌道が少なくとも1つの一色の連結図を含むことにより完了する。これにより、2つの対合への自明な分解が可能になる。