[論文レビュー] The primitive spectrum for gl(m|n)

Kevin Coulembier, Ian M. Musson|arXiv (Cornell University)|Sep 8, 2014

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

ひとこと要約

本稿は、$ℂ(m|n)$ における最高重みの新しい準順序 $⟛$ を導入し、リーレトロスープアリス代数への左カジミリッツ順序の一般化を行う。$⟛$ が原始的イデアルの包含関係を示すことを証明し、$⟛$ が原始的イデアルの集合に部分順序を誘導することを確立する。著者らは、単一的非典型的および典型的ブロック、および $ℂ(2|2)$ に対して、$⟛$ が完全な包含順序を与えるという予想を、カテゴリ $ℚ$ におけるクリスタル構造に基づく新しい翻訳原理を用いて検証する。$ℂ(m|1)$ の増分イデアル内の原始的イデアルのposetは明示的に記述されている。

ABSTRACT

We study inclusions between primitive ideals in the universal enveloping algebra of general linear superalgebras. For classical Lie superalgebras, any primitive ideal is the annihilator of a simple highest weight module. It therefore suffices to study the quasi-order on highest weights determined by the relation of inclusion between primitive ideals. For the specific case of reductive Lie algebras, this quasi-order is essentially the left Kazhdan-Lusztig quasi-order. For Lie superalgebras, the classification is unknown in general, safe from some low dimensional specific cases. We derive an alternative definition of the left Kazhdan-Lusztig quasi-order which extends to classical Lie superalgebras. We show that a relation in this preorder implies an inclusion between primitive ideals. For gl(m|n) the new quasi-order is defined explicitly in terms of Brundan's Kazhdan-Lusztig theory. We prove that the quasi-order induces an actual partial order on the set of primitive ideals. We conjecture that this is the inclusion order. By the above paragraph one direction of this conjecture is true. We prove several consistency results concerning the conjecture and prove it for singly atypical and typical blocks of gl(m|n) and in general for gl(2|2). An important tool is a new translation principle for primitive ideals, based on the crystal structure for category O. Finally we focus on an interesting explicit example; the poset of primitive ideals contained in the augmentation ideal for gl(m|1).

研究の動機と目的

• 標準的なワイル群に基づくアプローチが、ワイル群構造の欠如により失敗するため、古典的リーレトロスープアリス代数、特に $ℂ(m|n)$ における左カジミリッツ準順序を拡張すること。
• 再結合的リーレトロスープアリス代数の既知の順序を一般化し、$ℂ(m|n)$ の普遍包あらわし代数内の原始的イデアル間の包含関係を支配する新しい準順序 $⟛$ を定義すること。
• $⟛$ が原始的イデアルの集合に部分順序を誘導することを証明し、特に典型および単一的非典型的ブロックにおける実際の包含順序と一致することを検証すること。
• カテゴリ $ℚ$ におけるクリスタル構造に基づく新しい翻訳原理を構築し、異なるブロック間の原始的イデアルの関係を研究可能にする。
• $ℂ(m|1)$ の増分イデアルに含まれる原始的イデアルのposetを明示的に記述し、生成関数を用いてその階層構造と基数を特定すること。

提案手法

• Brundanの $ℂ(m|n)$ におけるカジミリッツ理論を用いて、ワイル群依存性を排除した最高重み上の新しい準順序 $⟛$ を定義する。
• もし $\alpha \unlhd \beta$ ならば $J(\alpha) \supseteq J(\beta)$ が成り立つことを証明し、$⟛$ が原始的イデアルの包含関係を予測できることを示す。
• 特に非典型および特異領域において、カテゴリ $ℚ$ におけるクリスタル構造に基づく新しい翻訳原理を用いて、異なるブロック間の原始的イデアルを関連付ける。
• Brundan理論および標準テーブルの理論を応用し、$ℂ(m|1)$ の増分イデアルに含まれる原始的イデアルの数を、$s_m$（$S_m$ 内の対合の数）を用いて計算する。
• 原始的イデアルのposetの基数 $t_m = |X^{(m)}|$ の指数型母関数 $G(x) = \frac{1}{2}(1+x+2x^2)F(x)$ を導出する。ここで $F(x) = \exp(x+x^2)$ である。
• 典型および単一的非典型的ブロック、および $ℂ(2|2)$ に対して、$⟛$ が完全な包含順序を与えるという予想を、明示的なposet解析および $m<6$ の場合における例外的被覆の不在を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 新しい準順序 $⟛$ は、古典的手法が失敗する非典型および特異ブロックにおいて、$ℂ(m|n)$ の原始的イデアルの包含順序を正しく記述するか？
• RQ2 カテゴリ $ℚ$ におけるクリスタル構造に基づく新しい翻訳原理は、異なるブロック間の原始的イデアルを関連付けることができ、$⟛$ 順序の一貫性を証明できるか？
• RQ3 $ℂ(m|1)$ の増分イデアルに含まれる原始的イデアルのposetの構造は何か？ その基数は $m$ と共にどのように増加するか？
• RQ4 準順序 $⟛$ は原始的イデアルの集合上で部分順序をなすか？ また、典型および単一的非典型的ブロックといった重要なケースで、実際の包含順序と一致するか？
• RQ5 $m<6$ の場合に $ℂ(m|1)$ の原始的イデアルのposetに例外的被覆が存在するか？ これは $⟛$ 順序の妥当性にどのような意味を持つのか？

主な発見

• 新しい準順序 $⟛$ は、Brundanのカジミリッツ理論を用いて $ℂ(m|n)$ に対して明示的に定義され、$\alpha \unlhd \beta \Rightarrow J(\alpha) \supseteq J(\beta)$ を満たす。
• 準順序 $⟛$ は $ℂ(m|n)$ の原始的イデアルの集合に部分順序を誘導し、完全な包含順序の候補を提供する。
• 典型および単一的非典型的ブロックのすべてにおいて、$⟛$ が正しい包含順序を与えるという予想が証明された。
• $ℂ(2|2)$ の特定のケースに対しても、原始的イデアルのposetが完全に記述され、$⟛$ と整合することが示された。
• $ℂ(m|1)$ に対して、増分イデアルに含まれる原始的イデアルのposetは明示的に記述されており、$|X^{(m)}| = t_m = \frac{m+1}{2} s_m$ が成り立つ。ここで $s_m$ は $S_m$ 内の対合の数である。
• $t_m$ の指数型母関数は $G(x) = \frac{1}{2}(1+x+2x^2)\exp(x+x^2)$ であり、$s_m$ の母関数 $F(x) = \exp(x+x^2)$ から導出される。