[論文レビュー] Highest weight categories arising from Khovanov's diagram algebra IV: the general linear supergroup

Jonathan Brundan, Catharina Stroppel|arXiv (Cornell University)|Jul 15, 2009

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

ひとこと要約

本稿では、typicalityが r である一般線形超群 GL(m|n) のブロックと、Khovanovの図式代数の極限版 $H^{\flat}_{r}$ の間でモラータ同値性を確立する。この同値性により、これらのブロックがコーゼル的であることが示され、GL(m|n)の表現理論の図式的モデルが得られ、Khovanovの代数的枠組みを通じて分類化量子群およびリンクホモロジーと結びつく。

ABSTRACT

We prove that blocks of the general linear supergroup are Morita equivalent to a limiting version of Khovanov's diagram algebra. We deduce that blocks of the general linear supergroup are Koszul.

研究の動機と目的

• 一般線形超群 GL(m|n) のブロックとKhovanovの図式代数の極限版との間でモラータ同値性を確立すること。
• これらのブロックがコーゼル的であることを示し、これによりGL(m|n)の表現理論の図式的モデルを提供すること。
• Khovanovの図式代数の枠組みを超群設定に拡張し、サイクロトミックヘッケ代数およびKLR代数と結びつけること。
• 同値性の両側における特別な射影的関手を同定し、超群と図式代数のカテゴリカル構造を一致させること。

提案手法

• サイクロトミックヘッケ代数に関連する有限次元代数の直和極限として構成された、Khovanovの図式代数 $H^{lat}_{r}$ の極限版の使用。
• GL(m|n)の有限次元表現のカテゴリと $H^{lat}_{r}$ 上のモジュールのカテゴリとの間のモラータ同値性の構成。これは、標準的な最小射影的生成子 $P = \text{colim}\thinspace P^{p,q}$ を用いて行われる。
• 重みの順序集合 $X^+(T)$ を、シフトされた内積 $(\lambda + \rho, \varepsilon_i)$ を含む重み辞書を通じて図式的集合 $\Lambda(m|n)$ に同一視する。
• レベル2のシュール＝ウェイル双対性の応用により、自然表現 $V$ のテンソル積とサイクロトミックヘッケ代数 $H_d^{p,q}$ の作用とを関連付ける。
• 代数 $R^{p,q}$（$\text{End}_G(T_d^{p,q})^{\text{op}}$ に同型）と一般化されたKhovanov代数 $K^{p,q}$ を結ぶモラータ双モジュール $A^{p,q}$ と $B^{p,q}$ の使用。
• ホモロジー空間と関手の間の自然同型を通じて関手の同値性を確立し、$E_i \cong \text{Hom}_G(P,?) \circ \mathcal{E}_i \circ P \otimes_K ?$ を示す。

実験結果

リサーチクエスチョン

• RQ1 一般線形超群 GL(m|n) の表現理論は、どのように図式的代数を用いて記述できるか？
• RQ2 与えられたtypicality r における GL(m|n) のブロックの構造は何か？ そして Khovanov の図式代数とどのように関係するか？
• RQ3 GL(m|n) のブロックとKhovanovの図式代数の極限版との間にモラータ同値性が存在するか？
• RQ4 GL(m|n) のブロックはコーゼル的構造を備えているか？ もしそうなら、図式的代数ではどのように現れるか？
• RQ5 超群側の特別な射影的関手は、図式代数側のそれらとどのように対応するか？

主な発見

• typicalityが r である一般線形超群 GL(m|n) のブロックは、極限図式代数 $H^{lat}_{r}$ とモラータ同値であり、表現カテゴリのカテゴリカル同値性を確立する。
• モラータ同値性により、GL(m|n) の各ブロックがコーゼル的であることが示され、超群設定におけるコーゼル双対性の図式的実現が得られる。
• 同値性は、標準的な最小射影的生成子 $P = \varinjlim P^{p,q}$ を通じて実現され、カテゴリの同値性を誘導する。
• 図式代数側の特別な射影的関手 $E_i$ と $F_i$ は、モラータ同値性を介した引き戻しと押し出し関手の合成と同型である。
• 同値性はサイクロトミックヘッケ代数およびKLR代数の作用と整合的であり、超群表現理論と分類化量子群を結びつける。
• 重みの順序集合 $X^+(T)$ は、数直線上のラベルによる組合せ的記述を可能にする図式的集合 $\Lambda(m|n)$ に同一視される。