[論文レビュー] Classification of simple finite dimensional modular Lie superalgebras with Cartan matrix

Sofiane Bouarroudj, Pavel Grozman+1 more|arXiv (Cornell University)|Oct 26, 2007

Advanced Topics in Algebra被引用数 10

ひとこと要約

この論文は、代数的に閉じた体上の有限次元モジュラー・リー超代数の、非分解可能カルタン行列をもつものについて、やや弱い技術的仮定の下で分類を行う。11個の新しい例外的単純モジュラー・リー超代数を同定し、特に対称性2における特徴的な現象を明らかにする。例えば、可解な偶数部をもつ単純リー超代数や、奇数化されたチェバレー生成子から構成されるリー代数からの構成がその例である。

ABSTRACT

Finite dimensional modular Lie superalgebras over algebraically closed fields with indecomposable Cartan matrices are classified under some technical, most probably inessential, hypotheses. If the Cartan matrix is invertible, the corresponding Lie superalgebra is simple otherwise the quotient of the derived Lie superalgebra modulo center is simple (if its rank is greater than 1). Eleven new exceptional simple modular Lie superalgebras are discovered. Several features of classic notions, or notions themselves, are clarified or introduced, e.g., Cartan matrix, several versions of restrictedness in characteristic 2, Dynkin diagram, Chevalley generators, and even the notion of Lie superalgebra if the characteristic is equal to 2. Interesting phenomena in characteristic 2: (1) all simple Lie superalgebras with Cartan matrix are obtained from simple Lie algebras with Cartan matrix by declaring several (any) of its Chevalley generators odd; (2) there exist simple Lie superalgebras whose even parts are solvable. The Lie superalgebras of fixed points of automorphisms corresponding to the symmetries of Dynkin diagrams are also listed and their simple subquotients described.

研究の動機と目的

• 代数的に閉じた体上の有限次元モジュラー・リー超代数の、非分解可能カルタン行列をもつものについての分類。
• 正の特性、特に特性2における、カルタン行列、制限性、ディンキン図、チェバレー生成子といった基礎的概念の明確化。
• カルタン行列が可逆または非可逆である場合のリー超代数の構造の調査、特に中心をmoduloした導来代数の単純性。
• 図の自己同型の固定点として得られるリー超代数の特定と記述、ならびにそれらの単純商代数の同定。
• 特性2における例外的かつ非古典的な振る舞いの探求、例えば、可解な偶数部をもつ単純リー超代数の存在。

提案手法

• 非分解可能行列とそれに関連するルート系に注目した、カルタン行列をもつリー超代数の構造理論を用いる。
• 特性2における制限性の概念を適用し、超代数に適した複数のバージョンの制限性を区別する。
• チェバレー生成子に奇数次元を割り当てることで、リー代数からリー超代数を構成する。
• カルタン行列が非可逆である場合、中心をmoduloした導来代数の単純性を決定する。
• ディンキン図の対称性から誘導される自己同型の下での固定点リー超代数を構成し、それらの単純商代数を分類する。
• 正の特性、特に特性2におけるリー超代数に対して、ディンキン図やカルタン行列といった重要な構造的概念を形式化し、明確化する。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた体上で、やや弱い技術的仮定の下で、非分解可能カルタン行列をもつ有限次元モジュラー・リー超代数は、どのようなものがあるか？
• RQ2 カルタン行列の可逆性が、リー超代数自身または中心をmoduloした商の単純性にどのように影響するか？
• RQ3 特性2で作業する場合の構造的および表現論的結果は何か。特に、制限性やチェバレー生成子の振る舞いに関して。
• RQ4 特性2におけるカルタン行列をもつすべての単純リー超代数は、単純リー代数のチェバレー生成子の一部に奇数次元を割り当てることによって得られるか？
• RQ5 偶数部が可解である単純リー超代数は存在するか。もしあるならば、どのように構成されるか？

主な発見

• 正の特性における既知の分類を拡張する11個の新しい例外的単純モジュラー・リー超代数が発見された。
• 特性2では、すべてのカルタン行列をもつ単純リー超代数が、単純リー代数のチェバレー生成子の任意の部分集合に奇数次元を割り当てることによって得られる。
• 特性2では、偶数部が可解である単純リー超代数が存在する。これは特性0では不可能な現象である。
• カルタン行列が非可逆である場合、中心をmoduloした導来代数の商は、ランクが1より大きい限り単純である。
• 図の自己同型の下での固定点リー超代数は完全に列挙され、それらの単純商代数は明示的に記述された。
• 制限性、ディンキン図、チェバレー生成子といった基礎的概念が、特性2におけるリー超代数に対して明確化され、適応された。