[論文レビュー] The primitive spectrum and category O for the periplectic Lie superalgebra

Chih-Whi Chen, Kevin Coulembier|arXiv (Cornell University)|May 22, 2018

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

ひとこと要約

この論文は、periplectic Lie 超代数 𝔭𝔢(n) の表現論における2つの主要な問題を解決する。まず、category 𝒪 と左 𝔭𝔢(n)-作用と右 𝔤0-作用を持つ Harish-Chandra 双代数の圏の間の新しい同値性を確立し、ねじれ関手を用いた単純加群の annihilator 理想の記述を可能にする。第二に、BGG 係数性定理を証明し、category 𝒪 の完全なブロック分解を導く。主な結果は、ねじれ関手と Weyl 群作用の組み合わせ論を用いて 𝔭𝔢(2) の原始的スペクトルを完全に分類することである。

ABSTRACT

We solve two problems in representation theory for the periplectic Lie superalgebra pe(n), namely the description of the primitive spectrum in terms of functorial realisations of the braid group and the decomposition of category O into indecomposable blocks. To solve the first problem we establish a new type of equivalence between category O for all (not just simple or basic) classical Lie superalgebras and a category of Harish-Chandra bimodules. The latter bimodules have a left action of the Lie superalgebra but a right action of the underlying Lie algebra. To solve the second problem we establish a BGG reciprocity result for the periplectic Lie superalgebra.

研究の動機と目的

• braid 群の関手的実現を用いて、typical なモジュールが存在せず、非基本的構造を持つ periplectic Lie 超代数 𝔭𝔢(n) の原始的スペクトルを記述すること。
• category 𝒪 を非分解的ブロックに分解すること。
• 任意の古典的 Lie 超代数（特に非基本的である 𝔭𝔢(n) を含む）に対して、category 𝒪 と Harish-Chandra 双代数の圏との間の新しい同値性を確立すること。
• 𝔭𝔢(n) に対して BGG 係数性定理を証明し、category 𝒪 のブロック分解を可能にする。

提案手法

• Lie 超代数への左作用と基礎となる Lie 代数 𝔤0 への右作用を持つ、新しいタイプの Harish-Chandra 双代数を導入すること。
• すべての古典的 Lie 超代数に対して、category 𝒪 とこの双代数の圏との間の同値性を確立し、基本的または単純な場合に限らない既知の結果を拡張すること。
• category 𝒪 における完成化関手とねじれ関手を用い、原始的スペクトルを支配する。これらの関手の組み合わせ論が単純モジュールの annihilator 理想を記述することを示すこと。
• 双対性を持つタイプ I Lie 超代数に対して、ねじれ関手と完成化関手が、共役を除いて同型であることを証明し、既知の結果を一般化すること。
• 非典型的な Verma モジュールに対しても、Kostant 問題の一般化を適用し、𝔭𝔢(n) において双代数同値を構成すること。
• 「偽 Casimir 演算子」を用いて、移動関手を分解し、BGG 係数性を証明することで、category 𝒪 のブロック分解を可能にする。

実験結果

リサーチクエスチョン

• RQ1 typical なモジュールがなく、非基本的構造を持つ periplectic Lie 超代数 𝔭𝔢(n) において、その原始的スペクトルを関手的作用の観点からどのように記述できるか？
• RQ2 非基本的古典的 Lie 超代数（例：𝔭𝔢(n)）に対して、category 𝒪 と同値となる適切な Harish-Chandra 双代数の一般化は何か？
• RQ3 category 𝒪 における完成化関手とねじれ関手は、𝔭𝔢(n) の原始的スペクトルをどのように支配するのか？また、Weyl 群や braid 群作用とどのような関係にあるか？
• RQ4 𝔭𝔢(n) に対して BGG 係数性を確立できるか？また、それが category 𝒪 のブロック分解をどのように促進するか？
• RQ5 具体的な例 𝔭𝔢(2) に対して、原始的スペクトルとブロック分解の明示的構造（特性式とハッセ図を含む）は何か？

主な発見

• 𝔭𝔢(2) の原始的スペクトルは、単純最高重量モジュール上のねじれ関手 T の作用によって完全に記述される。重み差 λ₁−λ₂ に応じて、異なる振る舞いを示す：非整数の場合、T(Lλ) = Ls·λ である。非負整数の場合、T(Lλ) = 0 である。λ₂ = λ₁+1 の場合、T(Lλ) = Lλ である。λ₂ = λ₁+2 の場合、ch(TLλ) = chLλ + chLs·λ + chLs·λ−ω である。
• λ₂ > λ₁+2 の場合、TLλ の特性は chLλ + chLs·λ に等しく、ねじれ関手が非整数および非特異的重みに非自明に作用することを示している。
• 𝔭𝔢(2) の原始的スペクトルは4つの連結成分からなる：(i) 非整数重み差を持つペア、(ii) λ₁ = λ₂ である単体、(iii) 整数 i ∈ ℤ で添え字付けられた鎖（重み (a+i, a+i) および (a+i, a+i+2) に対応）、(iv) k > 0 のとき J(a−1,a+k+1) ⊂ J(a+k,a) の真包含関係。
• 𝔭𝔢(2) の category 𝒪 のブロック分解は、BGG 係数性と偽 Casimir 演算子を用いて決定され、一般ブロックが Koszul であり、非整数ブロックが 𝔭𝔢(1)⊕𝔭𝔢(1) の category 𝒪 における整数ブロックと同型であることが示された。
• 双対性を用いた共役を除いて、タイプ I Lie 超代数においてねじれ関手と完成化関手が同型であることが確立され、既知の結果を拡張し、ねじれ関手を用いた原始的スペクトルの記述が可能になった。
• 非典型的な Verma モジュールに対しても Kostant 問題を一般化することで、すべての古典的 Lie 超代数（非基本的を含む）に対して、category 𝒪 と Harish-Chandra 双代数の圏との間の新しい同値性が構成された。