[論文レビュー] Cohomology of Lie superalgebras $sl_{m|n}$ and $osp_{2|2n}$

Yucai Su, R. B. Zhang|ArXiv.org|Feb 26, 2004

Algebraic structures and combinatorial models参考文献 20被引用数 3

ひとこと要約

本稿は、有限次元的不可約加群およびKac加群を係数とするLie超代数 $\mathfrak{sl}_{m|n}$ と $\mathfrak{osp}_{2|2n}$ の第一および第二コホモロジー群を計算する。また、随伴作用の下での普遍包あらゆる代数の第二コホモロジー群が消えることを証明し、$\mathrm{U}(\mathfrak{sl}_{m|n})$ および $\mathrm{U}(\mathfrak{osp}_{2|2n})$ が非自明なGerstenhaber型変形を許さない formally rigid であることを示す。

ABSTRACT

We explicitly compute the first and second cohomology groups of the classical Lie superalgebras $sl_{m|n}$ and $osp_{2|2n}$ with coefficients in the finite dimensional irreducible modules and the Kac modules. We also show that the second cohomology groups of these Lie superalgebras with coefficients in the respective universal enveloping algebras (under the adjoint action) vanish. The latter result in particular implies that the universal enveloping algebras $U(sl_{m|n})$ and $U(osp_{2|2n})$ do not admit any non-trivial formal deformations of Gerstenhaber type.

研究の動機と目的

• $\mathfrak{sl}_{m|n}$ および $\mathfrak{osp}_{2|2n}$ の第一および第二Lie超代数コホモロジー群を、有限次元的不可約加群およびKac加群を係数として計算すること。
• 基本的古典的Lie超代数の不可約係数に関するKacの未解決問題、第一コホモロジーに関する問題を解くこと。
• コホモロジー不変量を用いて、普遍包あらゆる代数 $\mathrm{U}(\mathfrak{sl}_{m|n})$ および $\mathrm{U}(\mathfrak{osp}_{2|2n})$ の形式的変形理論を特定すること。
• これらの普遍包あらゆる代数が形式的に剛性である、つまりGerstenhaber型の非自明な変形を許さないことを確立すること。
• 重み図およびルート系の技法を用いて、明示的な計算を通じてコホモロジー群を包括的かつ初等的に計算すること。

提案手法

• 著者たちは、重み図およびルート系解析を用いて特異的重みを分類し、Kac加群および不可約加群上で明示的な計算によりコホモロジー群を計算する。
• 彼らはネストチェーン $NE_\mu$ および原始的重みグラフを定義し、コホモロジー類の構造を分析する。
• 計算は、正の奇数ルートの作用を通じて非自明なコホモロジー類を特定することに依存し、重みシフトを追跡するためにDynkinラベルを用いる。
• 著者たちは、普遍包あらゆる代数上の随伴作用を用いて $H^2(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ を計算し、代数の構造的制約によりそれが消えることを示す。
• 特異的ルートに関する技術的補題および $nqc(\mu)$ と $A(\mu)$ 行列を用いて、状況を分類し、コホモロジー次元を決定する。
• 証明は、最高重み $\mu$ における場合分けに基づき、特異的性およびルートチェーン構造に基づいて状況を区別する。

実験結果

リサーチクエスチョン

• RQ1 $\mathfrak{sl}_{m|n}$ および $\mathfrak{osp}_{2|2n}$ の第一および第二コホモロジー群は、有限次元的不可約加群およびKac加群を係数としてそれぞれどのように計算されるか？
• RQ2 $\mathfrak{g} = \mathfrak{sl}_{m|n}$ および $\mathfrak{g} = \mathfrak{osp}_{2|2n}$ に対して、第二コホモロジー群 $H^2(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ は消えるか？ その結果、普遍包あらゆる代数 $\mathrm{U}(\mathfrak{g})$ が形式的に剛性を示すか？
• RQ3 不可約加群における最高重み $\mu$ の特異的性に応じて、コホモロジー群はどのように依存するか？
• RQ4 これらのLie超代数に対して、$H^1(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ および $H^2(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ の構造はどのようなものか？
• RQ5 重み図およびルート系データを用いて、コホモロジー群を明示的に計算できるか？

主な発見

• 不可約加群 $V$ を係数とする $H^1(\mathfrak{sl}_{m|n}, V)$ および $H^1(\mathfrak{osp}_{2|2n}, V)$ の第一コホモロジー群は、最高重みの特異的性に依存する非自明な結果を明示的に計算した。
• 不可約加群を係数とする第二コホモロジー群 $H^2(\mathfrak{sl}_{m|n}, V)$ および $H^2(\mathfrak{osp}_{2|2n}, V)$ は、すべての重み $\mu$ に対して消えるが、特定の特異的状況を除く。これらの状況は完全に分類されている。
• $\mathfrak{g} = \mathfrak{sl}_{m|n}$ および $\mathfrak{g} = \mathfrak{osp}_{2|2n}$ に対して、第二コホモロジー群 $H^2(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ は消える。これは、$\mathrm{U}(\mathfrak{g})$ が非自明なGerstenhaber型の形式的変形を許さないことを示唆する。
• $\mathfrak{g} = \mathfrak{sl}_{m|n}$ および $\mathfrak{g} = \mathfrak{osp}_{2|2n}$ に対して、第一コホモロジー群 $H^1(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ は非自明である。これは、$\mathrm{U}(\mathfrak{g})$ の余代数構造に非自明な変形が存在することを示している。
• コホモロジー計算は、$A(\mu)$ および $NE_\mu$ 行列を用いて完全に分類されており、重みデータおよび特異的ルートを用いたコホモロジー群の次元に対する明示的公式が得られている。
• 結果として、$\mathfrak{sl}_{m|n}$ および $\mathfrak{osp}_{2|2n}$ に対して、不可約係数に関するKacの問題が解決され、非自明な係数を持つ基本的古典的Lie超代数における、これらの群の最初の完全な計算が得られた。