[論文レビュー] Root systems and diagram calculus. II. Quadratic forms for the Carter diagrams

Rafael Stekolshchik|arXiv (Cornell University)|Oct 27, 2010

Algebraic structures and combinatorial models参考文献 8被引用数 3

ひとこと要約

本稿では、4-サイクルを含むカーター図に対して、部分的カルタン行列と双対的部分ウェイル群を導入し、線形独立なルート拡張を用いて連結系を定義する。$E_6(a_i)$、$E_7(a_i)$、$D_n(a_i)$ の連結系はそれぞれ2、1、1つの成分をもち、サイズは27、56、$2n$ であり、$E_6$、$E_7$、$D_n$ の基本表現の次元と一致する。ロクテット（8要素の部分系）が構造的中心的役割を果たす。

ABSTRACT

For any Carter diagram $Γ$ containing 4-cycle, we introduce the partial Cartan matrix $B_L$, which is similar to the Cartan matrix associated with a Dynkin diagram. A linkage diagram is obtained from $Γ$ by adding one root together with its bonds such that the resulting subset of roots is linearly independent. The linkage diagrams connected under the action of dual partial Weyl group (associated with $B_L$) constitute the linkage system, which is similar to the weight system arising in the representation theory of the semisimple Lie algebras. For Carter diagrams $E_6(a_i)$ and $E_6$ (resp. $E_7(a_i)$ and $E_7$; resp. $D_n(a_i)$ and $D_n$), the linkage system has, respectively, 2, 1, 1 components, each of which contains, respectively, 27, 56, $2n$ elements. Numbers 27, 56 and $2n$ are well-known dimensions of the smallest fundamental representations of semisimple Lie algebras, respectively, for $E_6$, $E_7$ and $D_n$. The 8-cell "spindle-like" linkage subsystems called loctets play the essential role in describing the linkage systems. It turns that weight systems also can be described by means of loctets.

研究の動機と目的

• 4-サイクルを含むカーター図に対して、部分的カルタン行列と双対的部分ウェイル群を用いた図式計算の構築。
• 線形独立性を保つルート拡張から生じる連結系の分類。
• $E_6(a_i)$、$E_7(a_i)$、$D_n(a_i)$ の連結系に現れる次元27、56、$2n$ が、それぞれの基本表現次元の類似であることを説明。
• ロクテット（8セルのサブスパーン型部分系）が連結系および重み系を整理する役割を果たすことを確立。
• $l > 7$ の高ランク図 $D_l(a_k)$ および $D_l$ にまでこの枠組みを拡張し、一貫した構造的パターンを示す。

提案手法

• 4-サイクルを含むカーター図 $Γ$ に関連する部分的カルタン行列 $B_L$ を、ルート部分集合から導出。
• 連結図の生成に作用する双対的部分ウェイル群 $W_L^\bullet$ を導入。
• 有効な連結図を不等式 $\mathscr{B}_L^\vee(\gamma^\vee) < 2$ を用いて特徴付けるために、逆二次形式 $\mathscr{B}_L^\vee$ を使用。
• ルート $\gamma$ を $\Gamma$ に加えることで連結図を構成し、拡張されたルート系が線形独立のままであるようにする。
• $\beta$-一色の連結図とロクテット（タイプ $ij \in \{12,13,23\}$）を用いて、成分と部分系を数える。
• 投影定理を用いて、低ランク図（$D_4, D_5, D_6$）から得られた結果を高ランクケース（$l > 7$）に拡張。

実験結果

リサーチクエスチョン

• RQ1 4-サイクルを含むカーター図に対して、部分的カルタン行列と双対的部分ウェイル群をどのように定義できるか。
• RQ2 線形独立なルートで拡張されたカーター図から生成される連結系の構造はいかなるものか。
• RQ3 $E_6(a_i)$、$E_7(a_i)$、$D_n(a_i)$ の連結系がそれぞれ27、56、$2n$ のサイズを持つのはなぜか。
• RQ4 ロクテット（8要素の部分系）がどのように連結系および重み系を整理しているか。
• RQ5 $l > 7$ の高ランク図 $D_l(a_k)$ および $D_l$ にまで、連結系の構造を射影し一般化できるか。

主な発見

• $E_6(a_i)$ の連結系は2つの成分を持ち、それぞれ27要素を含み、$E_6$ の基本表現の次元と一致する。
• $E_7(a_i)$ の連結系は1つの成分を持ち、56要素を含み、$E_7$ の基本表現の次元と一致する。
• $D_n(a_i)$ の連結系は1つの成分を持ち、$2n$ 要素を含み、$D_n$ の基本表現の次元と一致する。
• ロクテット（8セルのサブスパーン型部分系）は、$E_6(a_i)$、$E_7(a_i)$、$D_n(a_i)$ の各成分において中心的役割を果たす。
• $l > 7$ の $D_l(a_k)$ および $D_l$ に対しては、連結系は1つの成分に $2l$ 要素と1つのロクテットを持ち、$D_n$ のパターンと一貫している。
• 逆二次形式 $\mathscr{B}_L^\vee$ は、$\mathscr{B}_L^\vee(\gamma^\vee) < 2$ という基準を提供し、有効な連結図を特定する。これにより、体系的な列挙が可能になる。