[論文レビュー] Finite dimensional special odd contact superalgebras over a field of prime characteristic

Wende Liu, Jixia Yuan|ArXiv.org|Nov 18, 2009

Advanced Topics in Algebra参考文献 9被引用数 8

ひとこと要約

本稿は、3より大きい素数 p を法とする体上の有限次元特殊奇接触超代数を調査し、その生成集合、単純性、次元公式、超微分作用素代数、および第一コホモロジー群を特定する。主な貢献は、これらの超代数がCartan型の既知のモジュラーリー超代数と同型でないことを示し、コホモロジー的および微分作用素代数的不変量を用いて、独自の構造を確立することにある。

ABSTRACT

This paper considers a family of finite dimensional simple Lie superalgebras of Cartan type over a field of characteristic $p>3$, the so-called special odd contact superalgebras. First, the spanning sets are determined for the Lie superalgebras and their relatives. Second, the spanning sets are used to characterize the simplicity and to compute the dimension formulas. Third, we determine the superderivation algebras and the first cohomology groups. Finally, the dimension formulas and the first cohomology groups are used to make a comparison between the special odd contact superalgebras and the other simple Lie superalgebras of Cartan type.

研究の動機と目的

• 3より大きい素数 p を法とする体上の有限次元特殊奇接触超代数を特徴付ける。
• これらの超代数の生成集合、単純性の条件、および次元公式を特定する。
• 超微分作用素代数および第一コホモロジー群を計算する。
• コホモロジー的および構造的不変量を用いて、これらの超代数を他のCartan型モジュラーリー超代数と比較する。

提案手法

• 除法冪代数および外的代数を用いて、一般化されたWitt超代数の部分代数として超代数を構成する。
• ハミルトニアンに類似した作用素と接触形式を含む特定の微分作用素写像を用いて、奇接触超代数を定義する。
• 除法冪およびグレースマン変数における単項式から得られる生成集合を用いて、代数的構造を分析する。
• コホモロジー的技法を適用し、第一コホモロジー群を計算し、外部微分作用素を特定する。
• 交換関係および偶奇の考察を用いて、外部微分作用素の線形独立性を確立する。
• 他のモジュラーリー超代数（例：S、HO、K）の超微分作用素代数および第一コホモロジー群と比較し、同型ではないことを検出する。

実験結果

リサーチクエスチョン

• RQ1 素数の特性 p > 3 における有限次元特殊奇接触超代数の次元公式は何か？
• RQ2 これらの超代数の超微分作用素代数は、他のCartan型モジュラーリー超代数のそれらとどのように比較できるか？
• RQ3 これらの超代数の第一コホモロジー群の構造は何か？
• RQ4 特殊奇接触超代数は、S、HO、K などの既知のモジュラーリー超代数の族と同型であるか？
• RQ5 どのような不変量が特殊奇接触超代数を他のモジュラーリー超代数から区別するか？

主な発見

• 特殊奇接触超代数の外部微分作用素代数の次元は、二項係数の和と δ′_{nλ,−1} を含む補正項からなる。具体的には dim Der_out(g) = Σ_{k∈S₀(λ,n)} (n choose k) + Σ_{k∈S₂(λ,n)} (n choose k) + |t| − n + 1 + δ′_{nλ,−1} である。
• 第一コホモロジー群が計算され、他のモジュラーリー超代数と区別する不変量として用いられる。
• 超微分作用素代数がLie超代数 L に同型であることが示され、交換関係の恒等式から明示的な生成元と関係式が導出される。
• 超代数 SKO(p+2,p+3; (p−1)/2, r) は、任意の m,n > 2、r ∈ ℕ^{p+2}、t ∈ ℕ^m に対して、S(m,n;t)、HO(m,m;t)、K(m,n;t) と同型でないことが証明された。
• 生成集合は除法冪およびグレースマン変数における単項式を用いて明示的に構成され、単純性および次元公式の導出が可能になる。
• 特殊奇接触超代数の構造は、非モジュラーの場合よりも複雑であり、Cartan型の有限次元モジュラーリー代数には類似物がない。