[論文レビュー] Lie Superalgebras Graded by the Root System $A(m,n)$

Georgia Benkart, Alberto Elduque|ArXiv.org|Feb 26, 2002

Advanced Topics in Algebra参考文献 2被引用数 5

ひとこと要約

この論文は、$m \neq n$ の場合の根系 $A(m,n)$ による Lie 超代数を分類し、それらが単位的結合的超代数 $A$ と超歪対称な双線形形式によって決定されることを示している。乗法は Lie ブラケットとコサイクル条件によって定義される。$A(n,n)$ の場合、重複完全可約性を満たす Lie 超代数に限定して分類され、$g \otimes A \oplus D$ の構造が得られ、$D$ にコサイクル条件が課される。主な貢献は、完全可約性の下での $A(m,n)$-重み付き Lie 超代数の完全な構造的記述である。

ABSTRACT

We determine the Lie superalgebras that are graded by the root systems of the basic classical simple Lie superalgebras of type A$(m,n)$.

研究の動機と目的

• 他の根系に対する既存の研究を拡張して、根系 $A(m,n)$ による Lie 超代数を分類すること。
• 重み付き部分超代数 $g$ が全代数に対して完全可約である場合に、$A(m,n)$-重み付き Lie 超代数の構造を特定すること。
• $A(n,n)$-重み付き Lie 超代数の例外的ケースを、代数が $g$-加群として完全可約である場合に限定することで解消すること。
• このような Lie 超代数と単位的結合的超代数 $A$ および超歪対称形式 $\langle \cdot | \cdot \rangle$ の間の対応関係を確立すること。
• $m \neq n$ の場合に、すべての such Lie 超代数が単位的結合的超代数 $A$ に対して $\mathfrak{sl}_{m+1,n+1}(A)$ に中心的同型であることを示すこと。

提案手法

• 重み系 $\Delta = A(m,n)$ を持つ $g = \mathfrak{psl}_{m+1,n+1}$ の既約 $g$-加群を分類するために表現論を用いる。
• $m \neq n$ の場合に、任意の $A(m,n)$-重み付き Lie 超代数が $g$-加群として完全可約であり、$L = (g \otimes A) \oplus D$ の形に分解されることを証明する。ここで $A$ と $D$ はベクトル超空間である。
• $L$ の乗法を $g \otimes A$ 上の Lie ブラケットと、二重コサイクル条件を満たす双線形形式 $\langle \cdot | \cdot \rangle: A \times A \to D$ を用いて特徴付ける。
• $L$ の乗法から $A$ が結合的超代数として誘導され、$D$ が超歪対称な偶数次双線形形式を持つことを見る。
• $m \neq n$ の場合、$\operatorname{Hom}_g(g \otimes g, g)$ が2次元であることを用いて、Lie ブラケットを超える非自明なコサイクル拡張が可能であることを示す。
• $A(n,n)$ の場合、$L$ が $g$-加群として完全可約である場合に限定し、[BE2] の結果を応用して、$g \otimes A \oplus D$ の構造が得られ、$\langle \cdot | \cdot \rangle$ にコサイクル条件が課される。

実験結果

リサーチクエスチョン

• RQ1 $m \neq n$ の場合に、根系 $A(m,n)$ による Lie 超代数の完全な構造は何か？
• RQ2 $A(n,n)$-重み付き Lie 超代数の構造は、$m \neq n$ の場合とどのように異なり、特に完全可約性の観点からどう異なるか？
• RQ3 $\operatorname{Hom}_g(g \otimes g, g)$ は $A(m,n)$-重み付き Lie 超代数の分類においてどのような役割を果たし、$m$ と $n$ に依存してどのように変化するか？
• RQ4 $A(m,n)$-重み付き Lie 超代数は結合的超代数と双線形形式を用いて記述可能か？その場合、満たすべき条件は何か？
• RQ5 $A(m,n)$-重み付き Lie 超代数と単位的結合的超代数 $A$ に対する Lie 超代数 $\mathfrak{sl}_{m+1,n+1}(A)$ の関係は何か？

主な発見

• $m \neq n$ の場合、任意の $A(m,n)$-重み付き Lie 超代数 $L$ は重み付き部分超代数 $g$ に関して完全可約であり、$L = (g \otimes A) \oplus D$ の形に分解される。ここで $A$ と $D$ は超代数である。
• $L$ の乗法は $g \otimes A$ 上の Lie ブラケットと、二重コサイクル条件 $\sum_{cyc} (-1)^{\bar{a}_1 \bar{a}_3} \langle a_1 a_2, a_3 \rangle = 0$ を満たす超歪対称双線形形式 $\langle \cdot | \cdot \rangle: A \times A \to D$ によって決定される。
• 座標超代数 $A$ は単位的結合的超代数であり、$D$ は超歪対称な偶数次双線形形式を持つ超空間である。
• $m \neq n$ の場合、すべての $A(m,n)$-重み付き Lie 超代数は、ある単位的結合的超代数 $A$ に対して $\mathfrak{sl}_{m+1,n+1}(A)$ に中心的同型である。これは補題 3.12 に述べられている。
• $A(n,n)$ の場合、完全可約性が成り立つと、構造は $L = (g \otimes A) \oplus D$ で同じ乗法則を有するが、$\dim \operatorname{Hom}_g(g \otimes g, g) = 1$ であり、Lie ブラケットのみが生成するため、分類がより制限される。
• $m \neq n$ かつ $m+n \geq 3$ の場合、$\mathfrak{sl}_{m+1,n+1}(A)$ の普遍中心拡大は Steinberg Lie 超代数 $\operatorname{st}_{m+1,n+1}(A)$ であり、これは分類における重要な例である。