[論文レビュー] Generalised Verma modules for the orthosymplectic Lie superalgebra osp(k|2)

Yucai Su, R. B. Zhang|arXiv (Cornell University)|Nov 4, 2009

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

ひとこと要約

本稿では、正規化されたVerma加群の組成因子とその重複度を特定し、有限次元的不可約加群の明示的特徴関数および次元公式を導出する。これらの結果を用いて、超代数の第一および第二コホモロジー群を、不可約加群およびKac加群を係数として計算し、このクラスの表現の完全な構造的およびコホモロジー的記述を提供する。

ABSTRACT

The composition factors and their multiplicities are determined for generalised Verma modules over the orthosymplectic Lie superalgebra osp(k|2). The results enable us to obtain explicit formulae for the formal characters and dimensions of the finite-dimensional irreducible modules. Applying these results, we also compute the first and second cohomology groups of the Lie superalgebra with coefficients in finite-dimensional Kac modules and irreducible modules.

研究の動機と目的

• 一般化されたVerma加群の組成因子およびその重複度を、𝔪𝔰𝔭(k|2)に対して特定すること。
• 有限次元的不可約加群の明示的特徴関数および次元公式を、𝔪𝔰𝔭(k|2)に対して導出すること。
• 有限次元的不可約加群およびKac加群を係数として、第一および第二のLie超代数コホモロジー群を計算すること。
• 有限次元的加群のカテゴリーを超えて、正交超シンプレクティックLie超代数の表現理論の理解を拡張すること。

提案手法

• 一般化されたVerma加群の構造を分析するために、原始的重みグラフおよびその双対を用いる。
• 最高重み加群および放物型誘導の技術を含む、Lie超代数表現理論の手法を適用する。
• H¹およびH²群の計算に、完全系列およびコホモロジー的議論を用いる。
• 唯一の奇数の単純根を除いた、特徴的なBorel部分代数および最大放物型部分代数を活用する。
• Kac加群が一般化されたVerma加群の最大有限次元的商としての構造を活用する。
• 特に[21, 26]に依拠し、Kac加群およびコホモロジーに関する先行研究の結果を用いて、コホモロジー的結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたVerma加群の組成因子およびその重複度は、𝔪𝔰𝔭(k|2)に対してどのように特定されるか？
• RQ2 有限次元的不可約𝔪ｓ𝔭(k|2)-加群に対して、明示的な特徴関数および次元公式を導出可能か？
• RQ3 不可約加群およびKac加群を係数として、𝔪ｓ𝔭(k|2)の第一および第二コホモロジー群は何か？
• RQ4 コホモロジー群は、Kac加群および一般化されたVerma加群の構造とどのように関係するか？

主な発見

• 一般化されたVerma加群の組成因子は、全て明示的に特定され、重複度は定理3.16で明示的に与えられる。
• 有限次元的不可約加群の明示的特徴関数および次元公式は、Weylの公式に類似した有限和として構成され、定理3.17に記述される。
• 第一コホモロジー群H¹(𝔤, K_λ)は、λ = Λ⁽²⁾およびλ = Λ⁽³⁾の場合にのみ非ゼロであり、H¹(𝔤, K_Λ⁽³⁾) ≅ ℂおよびH¹(𝔤, K_Λ⁽²⁾) = 0が成り立つ。
• 第二コホモロジー群H²(𝔤, L_λ)は、λ = Λ⁽⁰⁾, Λ⁽¹⁾, およびΛ⁽³⁾の場合にのみ非ゼロであり、H²(𝔤, L_Λ⁽¹⁾) ≅ ℂおよびH²(𝔤, L_Λ⁽⁰⁾) = 0が成り立つ。
• Kac加群に関しては、H²(𝔤, K_λ) ≠ 0はλ = Λ⁽¹⁾およびλ = Λ⁽⁴⁾の場合にのみ成り立ち、H²(𝔤, K_Λ⁽⁴⁾) ≅ ℂは、非分解可能加群の構成によって確立される。
• 第二コホモロジー群H²(𝔤, ℂ)は、完全系列の議論および中間コホモロジー群の消失を用いて、ゼロであることが示される。