[論文レビュー] Inner derivations of exceptional Lie algebras in prime characteristic

Pablo Alberca-Bjerregaard, Dolores Martín-Barquero+1 more|arXiv (Cornell University)|Feb 10, 2014

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

ひとこと要約

この論文は、素数の特徴を持つ例外型のチェヴァリィ Lie 代数の内部導分について調査している。GAP を用いた計算的手法と構造的解析により、導分が内部でないのは、特徴 2 の G₂、特徴 3 の E₆、特徴 2 の E₇ の 3 つの場合に限ることが示されている。これは、非自明な中心または次元の不一致のためである。

ABSTRACT

It is well-known that every derivation of a semisimple Lie algebra $L$ over an algebraically closed field $F$ with characteristic zero is inner. The aim of this paper is to show what happens if the characteristic of $F$ is prime with $L$ an exceptional Lie algebra. We prove that if $L$ is a Chevalley Lie algebra of type $\{G_2,F_4,E_6,E_7,E_8\}$ over a field of characteristic $p$ then the derivations of $L$ are inner except in the cases $G_2$ with $p=2$, $E_6$ with $p=3$ and $E_7$ with $p=2$.

研究の動機と目的

• 例外型のチェヴァリィ Lie 代数の導分が素数の特徴を持つとき、いつ内部であるかを特定すること。
• 従来の定理では十分にカバーされていなかった小規模な素数特徴（2, 3, 5）のケースを分析することで、先行研究の空白を解消すること。
• 低ランクの例外型代数において、特徴 ≥5 のときすべての導分が内部であるという既知の結果を拡張すること。
• 導分代数の次元をアドジョイント表現と比較して、外部導分の存在を検出すること。
• GAP を用いた計算的検証により、特定の例外型 Lie 代数における外部導分の存在を確認すること。

提案手法

• 著者らは、任意の導分が、内部導分と、固定されたカルタン部分代数を中心へ写像する導分の和であるという一般化された公式を用いる。
• 固定されたカルタン部分代数を中心へ写像する導分の空間の次元を計算し、問題をベクトル空間 V の次元の計算に還元する。
• 低ランク代数（G₂, F₄）については、計算代数システム（GAP）を用いて直接的に導分代数の次元を計算する。
• 高ランク代数（E₆, E₇, E₈）については、理論的還元と、特定の特徴に対する GAP を用いた計算的検証に依存する。
• dim(ad(L)) と dim(Der(L)) を比較して外部導分を検出する：dim(Der(L)) > dim(ad(L)) ならば、外部導分が存在する。
• LieCenter(L) などの GAP コマンドを用いて、代数の中心が自明か非自明かを検証する。

実験結果

リサーチクエスチョン

• RQ1 基底体が素数の特徴を持つとき、例外型のチェヴァリィ Lie 代数のすべての導分は内部であるか？
• RQ2 従来の結果が適用されない小規模な素数特徴（2, 3, 5）における例外型 Lie 代数の導分代数はどのように振る舞うか？
• RQ3 どの場合に導分代数がアドジョイント表現を厳密に含み、外部導分の存在を示唆するか？
• RQ4 中心が正の特徴における導分代数の構造にどのように影響を与えるか？
• RQ5 GAP などの計算ツールは、高ランクの例外型 Lie 代数の導分代数の次元を信頼性を持って特定するのに有効か？

主な発見

• 特徴 2 の G₂ において、dim(Der(G₂)) = 21 かつ dim(ad(G₂)) = 14 であるため、Der(G₂) は ad(G₂) よりも厳密に大きく、外部導分の存在が示唆される。
• 特徴 3 の E₆ において、dim(Der(E₆)) = 78 かつ dim(ad(E₆)) = 77 であり、次元が 1 の非自明な中心を持つため、外部導分が確認される。
• 特徴 2 の E₇ において、dim(Der(E₇)) = 133 かつ dim(ad(E₇)) = 132 であり、中心が次元 1 であるため、外部導分が存在する。
• G₂(p=3)、F₄(p=2,3)、E₆(p=2)、E₇(p=3)、E₈(p=2,3,5) のすべての他の場合において、dim(Der(L)) = dim(ad(L)) であるため、すべての導分が内部である。
• 特徴 3 の E₆ の中心は 1 次元であり、特徴 2 の E₇ の中心も 1 次元である。これは外部導分の存在に寄与している。
• 結果として、素数の特徴における例外型チェヴァリィ代数において、内部導分でない唯一の例外は、p=2 の G₂、p=3 の E₆、p=2 の E₇ であると確認された。