[論文レビュー] Symmetrizable intersection matrices and their root systems

Liangang Peng, Mang Xu|ArXiv.org|Dec 5, 2009

Advanced Topics in Algebra参考文献 5被引用数 3

ひとこと要約

この論文は、d重アフィニゼーション行列を用いて、正定値半定値対称可能交差行列をブレッド同値性の下で分類する。d重アフィニゼーション行列は、単一および二重のルートを組み込んだ標準的アフィニゼーションの一般化である。すべてのこのような行列がブレッド同値性においてd重アフィニゼーション行列に同値であることを確立し、基底となるカタン行列のルート系と特別なゼロルートを用いてウェイルルート系の明示的構成を与える。

ABSTRACT

In this paper we study symmetrizable intersection matrices, namely generalized intersection matrices introduced by P. Slodowy such that they are symmetrizable. Every such matrix can be naturally associated with a root basis and a Weyl root system. Using $d$-fold affinization matrices we give a classification, up to braid-equivalence, for all positive semi-definite symmetrizable intersection matrices. We also give an explicit structure of the Weyl root system for each $d$-fold affinization matrix in terms of the root system of the corresponding Cartan matrix and some special null roots.

研究の動機と目的

• 正定値半定値対称可能交差行列をブレッド同値性の下ですべて分類すること。
• d重アフィニゼーション行列の概念を、単一ルートの追加を超えて二重ルートを含むように一般化すること。
• 各d重アフィニゼーション行列に対してウェイルルート系の明示的構造を提供すること。
• 任意のこのような行列がd重アフィニゼーション行列にブレッド同値であることを示すこと。これは、階数 ≤1 の既知の結果を拡張するものである。
• d重アフィニゼーション行列の型不変量を用いて、完全な分類を確立すること。

提案手法

• カタン行列に単一および二重ルートを追加することでd重アフィニゼーション行列を導入し、以前の構成を一般化する。
• 表現論におけるAuslander-Platzeck-Reitenティルトにインspiredされたブレッド変換の合成としてAPR変換を定義する。
• ブレッド同値性を用いて、任意の正定値半定値対称可能交差行列をd重アフィニゼーション行列に関連付ける。
• ウェイルルート系を、基本カタン行列のルート系と、アフィニゼーションから生じる追加のゼロルートの和集合として構成する。
• 反射群とルートストリング解析を用いて、ウェイル群作用の下でのルート系の包含および閉包性を証明する。
• 線形結合における係数で測った追加ルート数に関する帰納法を用いて、完全なルート系の包含を示す。

実験結果

リサーチクエスチョン

• RQ1 正定値半定値対称可能交差行列は、どのようにブレッド同値性の下で分類可能か？
• RQ2 d重アフィニゼーション行列に関連するウェイルルート系の構造は何か？
• RQ3 任意の正定値半定値対称可能交差行列が、ブレッド同値性においてd重アフィニゼーション行列に同値であるか？
• RQ4 アフィニゼーションプロセスから生じるゼロルートは、元のカタン行列のルート系とどのように相互作用するか？
• RQ5 APR変換は、異なるルート基底を関連付ける役割を果たし、分類を可能にするか？

主な発見

• 階数 ≤1 の正定値半定値対称可能交差行列は、すべて有限またはアフィン一般化カタン行列にブレッド同値である。
• このような行列に付随する交差行列リー代数は、半単純またはアフィンカック＝ムーディリー代数に同型である。
• すべての正定値半定値対称可能交差行列は、あるd重アフィニゼーション行列にブレッド同値である。
• d重アフィニゼーション行列のウェイルルート系は、対応するカタン行列のルート系と、アフィニゼーションプロセスから生じる特定のゼロルートの和集合として明示的に記述される。
• ブレッド同値性の下でのこのような行列の分類は完全であり、d重アフィニゼーション行列の型によってパrameter化されている。
• ルート系はウェイル群の反射に関して閉じており、すべてのルートは基本ルートと追加されたゼロルートの反射によって生成され、係数は偶奇条件によって制約される。