[論文レビュー] Type C blocks of super category O

Jonathan Brundan, Nicholas Davidson|arXiv (Cornell University)|Feb 16, 2017

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

ひとこと要約

本論文は、複素数体上のリー超代数 𝔮ₙ(ℂ) の category 𝒪 の半整数重みにおけるブロックが、無限ランクの C∞ 型 Kac-Moody代数のテンソル積カテゴライゼーションであることを確立し、 Cheng, Kwon, Wang の2つの予想を証明する。さらに、有限次元表現の部分圏が最高重量カテゴリーであることを示し、そのブロックは一般化された Khovanov アーク代数と Morita 同値であることを示し、これらのブロックの図式的カテゴライゼーションを提供する。

ABSTRACT

We show that the blocks of category O for the Lie superalgebra q_n associated to half-integral weights carry the structure of a tensor product categorification for the infinite rank Kac-Moody algebra of type C. This allows us to prove two conjectures formulated by Cheng, Kwon and Lam. We then focus on the full subcategory consisting of finite-dimensional representations, which we show is a highest weight category with blocks that are Morita equivalent to certain generalized Khovanov arc algebras.

研究の動機と目的

• Cheng, Kwon, Wang が提起した、𝔮ₙ(ℂ) の BGG カテゴリー 𝒪 におけるタイプ C ブロックの組合せ論に関する2つの予想を証明すること。
• この文脈における有限次元表現のカテゴリーが最高重量カテゴリーであることを確立すること。
• この有限次元カテゴリーのブロックが一般化された Khovanov アーク代数と Morita 同値であることを示すこと。
• アーキ・代数と切断技術を用いて、有限次元表現の図式的・カテゴリー的記述を提供すること。

提案手法

• Losev と Webster の意味における高次表現理論およびテンソル積カテゴライゼーションを用いる。
• Kang-Kashiwara-Tsuchioka 同型を用いて、category 𝒪 の構造を C∞ 型量子群と関連付ける。
• 𝔰𝔭₂∞ から 𝔰𝔭₂ₖ および 𝔰𝔩₊∞ への切断を適用し、テンソル積カテゴライゼーションの既知の一意性結果に問題を還元する。
• 重み辞書を用いて、Grothendieck 群内の組合せ的基底を数直線上の図式と特定する。
• Brundan と Stroppel (2012) の主要定理を適用し、有限次元モジュールの商カテゴリーが一般化された Khovanov アーク代数上のモジュールと同値であることを示す。
• 奇数 n の場合の Clifford のねじれを構成することで、偶数および奇数の場合を統一的に扱い、結果を強化する。

実験結果

リサーチクエスチョン

• RQ1 𝔮ₙ(ℂ) の半整数重みにおけるタイプ C ブロックは、C∞ 型量子群のテンソル積カテゴライゼーション構造を有するか？
• RQ2 この文脈における有限次元表現の部分カテゴリーは最高重量カテゴリーか？
• RQ3 この有限次元部分カテゴリーのブロックは、一般化された Khovanov アーク代数と Morita 同値か？
• RQ4 ブロックの組合せ論は、Webster の正統基底を用いて記述可能であり、量子群における自己同型基底と関連づけられるか？
• RQ5 有限次元表現のカテゴリーの構造は、(n₀|n₁) でインデックス付けされたブロックに分解され、各ブロックが GLₙ₀|ₙ₁(ℂ) の有理的表現の商と同値か？

主な発見

• 𝔮ₙ(ℂ) の半整数重みにおける category 𝒪 のブロックは、𝔰𝔪₂∞-加群 V⊗ⁿ のテンソル積カテゴライゼーションである。
• 第一の予想は、𝔰𝔪₂ₖ への切断とテンソル積カテゴライゼーションの一意性を用いて証明された。
• 第二の予想は、𝔰𝔩₊∞ への切断を用い、category 𝒪 が 𝔰𝔩₊∞-テンソル積カテゴライゼーションによるフィルトレーションを持つことを示すことによって確立された。
• 有限次元表現の部分カテゴリー 𝒩 は最高重量カテゴリーであり、一般化された Khovanov アーク代数 K₊∞ʳ の有限次元モジュールと同値なブロックを持つ。
• 非典型的性のランク r の各ブロックは代数 K₊∞ʳ と Morita 同値であり、この代数が表現論において初めて自然に現れる例である。
• カテゴリー 𝒩 は n₀ + n₁ = n における直和として分解され、各 𝒩ₙ₀|ₙ₁ は GLₙ₀|ₙ₁(ℂ) の有理的表現の商と同値である。