[論文レビュー] \vS{a}povalov elements and the Jantzen sum formula for contragredient Lie superalgebras

Ian M. Musson|arXiv (Cornell University)|Oct 28, 2017

Algebraic structures and combinatorial models参考文献 25被引用数 7

ひとこと要約

本稿は、対対称的リーハイパーアルゲブラの根に対して、ˇSapovalov 要素の存在と一意性を確立し、係数の次数の上限を提示。それらを用いて、指定された特性を持つ新しい最高重みモジュールを構成する。型 A に対しては、Jantzen の和公式と ˇSapovalov 要素の閉形式表現を証明し、category 同値性と gl(2,1)、gl(2,2) の低次元的解析を通じて、Carter と Lusztig の結果を一般化する。

ABSTRACT

If $\mathfrak{g}$ is a contragredient Lie superalgebra and $γ$ is a root of $\mathfrak{g},$ we prove the existence and uniqueness of Šapovalov elements for $γ$ and give upper bounds on the degrees of their coefficients. Then we use Šapovalov elements to define some new highest weight modules. If $X$ is a set of orthogonal isotropic roots and $λ\in \mathfrak{h}^*$ is such that $λ+ρ$ is orthogonal to all roots in $X$, we construct a highest weight module $M^X(λ)$ with character $ε^λ{p}_X$. Here $p_X$ is a function that counts partitions not involving roots in $X$. Examples of such modules can be constructed via parabolic induction provided $X$ is contained in the set of simple roots of some Borel subalgebra. However our construction works without this condition and provides a highest weight module for the distinguished Borel subalgebra. The main results are analogs of the Šapovalov determinant and the Jantzen sum formula for $M^X(λ)$ when $\mathfrak{g}$ has type A.For the proof it is enough to study the behavior for certain "relatively general" highest weights. Using an equivalence of categories due to Cheng, Mazorchuk and Wang, the information we require is deduced from the behavior of the modules $M^X(λ)$ when $\mathfrak{g}=\mathfrak{gl}(2,1)$ or $\mathfrak{gl}(2,2)$. These low dimensional cases are studied in detail in an appendix.

研究の動機と目的

• 対対称的リーハイパーアルゲブラの根に対して、ˇSapovalov 要素の存在と一意性を示し、係数の次数の上限を付与する。
• X が直交する純虚根の集合であるとき、λ + ρ が X のすべての根に直交するならば、特性 e^λp_X を持つ新しい最高重みモジュール M^X(λ) を定義する。ここで p_X は、X に含まれる純虚根を避ける分割を数える。
• 対対称的リーハイパーアルゲブラへの ˇSapovalov 行列式と Jantzen の和公式を一般化し、特に型 A に対して行う。
• ˇSapovalov 要素がボレル部分代数の変更や Verma モジュールの因子モジュールにおいてどのように振る舞うかを調べる。
• 非可換行列式と category 同値性を用いて、Carter と Lusztig [CL74] の結果を新たな方法で再構築・拡張する。

提案手法

• Universal 包絡代数内の特別な要素である ˇSapovalov 要素を用いて、Verma モジュール間の準同型を構成する。
• λ + ρ が直交する純虚根の集合 X に直交するとき、ˇSapovalov 要素を用いて最高重みモジュール M^X(λ) を構成する。
• Cheng, Mazorchuk, Wang [CMW13] による category 同値性を活用し、研究を gl(2,1) および gl(2,2) の低次元ケースに還元する。
• 付録では、sl(2) 理論と g0-モジュール分解を用いて、部分モジュール構造と特性の詳細な解析を行う。
• 型 A において、非可換行列式を応用して ˇSapovalov 要素を明示的に表現し、閉形式の公式を可能にする。
• ˇSapovalov 要素が因子モジュールでどのように振る舞うかに依存する特性計算とモジュール分解を通じて、Jantzen の和公式を証明する。

実験結果

リサーチクエスチョン

• RQ1 対対称的リーハイパーアルゲブラの与えられた根に対して、ˇSapovalov 要素が存在し、かつ一意となる条件は何か？
• RQ2 根系が純虚根を含むボレル部分代数を含まない場合でも、ˇSapovalov 要素を用いて、指定された特性を持つ最高重みモジュールをどのように構成できるか？
• RQ3 最高重みモジュールの超代数的設定における Jantzen の和公式の構造は何か、特に型 A においては？
• RQ4 ˇSapovalov 要素はボレル部分代数の変更や Verma モジュールの因子モジュールにおいてどのように振る舞うか？
• RQ5 Carter と Lusztig [CL74] が得た行列式と準同型に関する結果は、ˇSapovalov 要素を用いて超代数的文脈に再構築・拡張可能か？

主な発見

• 任意の対対称的リーハイパーアルゲブラの根 γ に対して、γ に関連する一意な ˇSapovalov 要素が存在し、その係数の次数は上限を持つ。
• X が直交する純虚根の集合であり、λ + ρ が X のすべての根に直交するとき、特性 e^λp_X を持つモジュール M^X(λ) が、X が単純根系に含まれない場合でも最高重みモジュールとして構成可能である。
• 型 A において、非可換行列式を用いて ˇSapovalov 要素の閉形式の公式が与えられ、Carter と Lusztig の先行結果を一般化する。
• 型 A において、M^X(λ) に対して Jantzen の和公式が証明され、真の部分モジュールの和の特性は、M^X(λ) の特性とその最大部分モジュールの特性を用いて表現される。
• MY(0) の唯一の最大部分モジュールは単純であり、MX(0) に同型であり、MY(0) は長さ 2 であるが、同じ特性を持つにもかかわらず RY(0) に同型ではない。
• gl(2,1) および gl(2,2) に対して、詳細な分解定理（例えば、定理 B.38、定理 B.40）により、ˇSapovalov 要素を用いて構成されたモジュール N は、特性 e^κ(1 + e^α+β)(1 + e^{-β-γ})/∏_{σ∈Δ⁺₀}(1 - e^{-σ}) を持つ単純な最高重みモジュールであることが示される。