[論文レビュー] Gradings on symmetric composition algebras

Alberto Elduque|ArXiv.org|Sep 11, 2008

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

ひとこと要約

本稿は任意の体上の対称結合代数の群被分類を分類し、擬代数的オクタニオン代数（スプリット・オクブォ代数）の細被分類が、カルタン部分代数からのℤ²被分類またはオクブォ代数固有のℤ₃²被分類であることを明らかにする。これらの被分類は、例外的リー代数の細被分類の構成に応用され、デムポルフ分解を介してE₈にℤ₂⁵被分類が得られる。

ABSTRACT

The group gradings on the symmetric composition algebras over arbitrary fields are classified. Applications of this result to gradings on the exceptional simple Lie algebras are considered too.

研究の動機と目的

• 任意の体上の対称結合代数のすべての群被分類を分類すること。
• 特にオクブォ代数における対称結合代数の被分類が、例外的リー代数に新たな被分類をどのように導くかを理解すること。
• 対称結合代数の構造を用いて、例外的単純リー代数の細被分類を構成し、特徴づけること。
• 結合代数の被分類と既知の被分類（例：E₈のデムポルフ分解）との関係を確立すること。

提案手法

• 同値性の下での被分類を分類するため、普遍被分類群の構成を用い、アーベル群被分類に還元する。
• Elduque（1998）によるオクタニオン代数の被分類を基盤的ツールとして適用する。
• 対称結合代数をパラ・ハーヴェイツ型とオクブォ型に区別し、それぞれの異なる被分類行動を分析する。
• 対称結合代数の導分リー代数の三重性構造を活用し、例外的リー代数への被分類を構成する。
• ℤ₂³被分類の結合代数のテンソル積を用いてE₈への被分類を構成し、同次成分への随伴写像の作用によって被分類を定義する。
• その結果得られるE₈上のℤ₂⁵被分類が、同次部分空間がトロナルかつアーベル的であることを示すことにより、デムポルフ分解であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 任意の体上の対称結合代数の完全な群被分類は何か？ また、パラ・ハーヴェイツ型とオクブォ型の間でどのように異なるか？
• RQ2 オクブォ代数のℤ₃²被分類は、例外的リー代数の構造にどのように寄与するか？
• RQ3 E₈のような例外的リー代数の細被分類を、対称結合代数の被分類から構成できるか？
• RQ4 普遍被分類群は、これらの代数における同値被分類を分類する上で果たす役割は何か？
• RQ5 E₈に得られる被分類は、既知の構造（例：デムポルフ分解）とどのように関係するか？

主な発見

• 特性 ≠ 3 の代数的閉体上、擬代数的オクタニオン代数のすべての細被分類は、カルタン部分代数からのℤ²被分類またはオクブォ代数固有のℤ₃²被分類のいずれかである。
• スプリット・オクブォ代数は、非単位的構造に起因して、パラ・ハーヴェイツ代数に存在しない自然なℤ₃²被分類を有する。
• E₈の細被分類は、ℤ₂³被分類の結合代数のテンソル積を用いて構成可能であり、その結果としてデムポルフ分解であるℤ₂⁵被分類が得られる。
• E₈上のℤ₂⁵被分類が、同次部分空間がアーベル的かつトロナルであることを示すことにより、デムポルフ分解であることが確認された。
• 同次成分への随伴作用は半単純であるため、被分類成分がトロナルであることが確認された。
• この構成により、E₈上のℤ₂⁵被分類はℤ₂⁸被分類の粗分類として自然に実現され、かつその被分類は細被分類であることが示された。