[論文レビュー] The Tits construction and some simple Lie superalgebras in characteristic 3

Alberto Elduque|ArXiv.org|Mar 27, 2007

Algebraic structures and combinatorial models参考文献 16被引用数 5

ひとこと要約

本稿は、特徴的3の代数的閉体上におけるティーツ構成と特定の単純リー超代数の間の関係を確立する。特に、ボアールルージュとルーテスによって導入されたリー超代数 Bj(1;N|7) が、単純リー代数 𝔭𝔰𝔩₃(k) と、除法冪から導かれる可換代数的超代数 B を用いたティーツ構成として得られることを示している。主な結果は、この方法で構成されたリー超代数と Bj(1;N|7) の間に同型が存在することであり、これは階数構造と普遍包あくり代数の埋め込みを用いて証明される。

ABSTRACT

Some simple Lie superalgebras, specific of characteristic 3, defined by S. Bouarroudj and D. Leites, are shown to be related to the simple alternative and commutative superalgebras discovered by I.P. Shestakov.

研究の動機と目的

• 特徴的3に特化した単純リー超代数とティーツ構成を関連付けること。
• ボアールルージュとルーテスのリー超代数 Bj(1;N|7) とティーツ構成フレームワークとの構造的関係を確立すること。
• Bj(1;N|7) が、𝔭𝔰𝔩₃(k) と可換代数的超代数 B を用いたティーツ構成として生じることを示すこと。
• ティーツ法により構成されたリー超代数が、階数成分と普遍包あくり代数の埋め込みを比較することによって、Bj(1;N|7) と同型であることを証明すること。

提案手法

• ティーツ構成は、リー代数として 𝔭𝔰𝔩₃(k) と、除法冪代数 𝒪(1;N) と導分 D から導かれる可換代数的超代数 B を用いて適用される。
• 構成により、リー超代数 𝔤 = (𝔭𝔰𝔩₃(k) ⊗ B) ⊕ 𝔡_B,B が得られ、これは除法冪代数からの階数構造を引き継ぐ。
• 階数は明示的に計算され、𝔤₋₂ = kD、𝔤₋₁ = 𝔭𝔰𝔩₃(k) ⊗ u、𝔤₀ = (𝔭𝔰𝔩₃(k) ⊗ 1) ⊕ k(t^(1)D) であり、より高い成分は随伴表現および自明表現の直和である。
• 証明は、特殊導分の代数 𝒪(1) ⊗ Λ(7) のリー代数に埋め込まれた普遍階数リー代数 U(𝔤₋) を用い、𝔤 と Bj(1;N|7) が両方とも同じ普遍的対象に埋め込まれることを示す。
• 負の部分と零次の成分が負の部分に作用する方法を比較することで、𝔤₀ ≅ Bj(1;N|7)₀ が示される。
• 括弧条件と次元数え上げを用いた帰納的比較により、すべての i に対して 𝔤_i = Bj(1;N|7)_i が得られ、同型が得られる。

実験結果

リサーチクエスチョン

• RQ1 ティーツ構成を特徴的3における単純リー超代数 Bj(1;N|7) を生成するように拡張できるか？
• RQ2 Bj(1;N|7) の構造は、𝔭𝔰𝔩₃(k) と可換代数的超代数を用いたティーツ構成とどのように関係するか？
• RQ3 除法冪代数と導分は、Bj(1;N|7) をティーツ構成として実現するために果たす役割は何か？
• RQ4 構成されたリー超代数の階数成分は、Bj(1;N|7) のそれらとどのように一致するか？
• RQ5 ティーツ法により構成されたリー超代数は、Bj(1;N|7) と同型であるか？

主な発見

• 𝔭𝔰𝔩₃(k) と超代数 B を用いたティーツ法により構成されたリー超代数は、Bj(1;N|7) と同型である。
• 構成されたリー超代数の負の部分 𝔤₋ = 𝔤₋₂ ⊕ 𝔤₋₁ は、Bj(1;N|7) の負の部分と一致する。
• 構成されたリー超代数の零次の成分は、Bj(1;N|7) の零次の成分と同型であり、両者とも 𝔭𝔰𝔩₃(k) に対して随伴表現と1次元中心拡大を介して作用する。
• 0 < i < 2·3^N - 2 を満たすすべての i に対して、階数成分 𝔤_i は、𝔭𝔰𝔩₃(k) のモジュールとして Bj(1;N|7)_i と同型であり、随伴表現と自明表現の直和である。
• 最高階数成分 𝔤_{2·3^N - 2} と 𝔤_{2·3^N - 1} は、それぞれ Bj(1;N|7)_{2·3^N - 2} と Bj(1;N|7)_{2·3^N - 1} と同型であり、前者は随伴表現、後者は自明表現である。
• 同型は、両方のリー超代数を普遍階数リー代数 U(𝔤₋) に埋め込み、次元とモジュール構造による成分ごとの一致を確認することで確立される。