[論文レビュー] Categorification of level two representations of quantum sl(N) via generalized arc rings

Yanfeng Chen|ArXiv.org|Nov 1, 2006

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

ひとこと要約

この論文は、量子群 $U_q(\mathfrak{sl}_N)$ のレベル2表現をカテゴライズ化するための、2つのプラットフォームを備えた一般化されたアークリング $A_{n}^{k,l}$ を導入する。$A^{k,0}_{m(\mu)}$ 上の加群の圏 $\mathcal{C}$ を構成することで、グローテンディック群が最高ウェイト $\omega_k + \omega_{k+s}$ の既約表現に同型なレベル2 $U_q(\mathfrak{sl}_N)$-加群として実現され、正確な関手が量子群作用をカテゴライズ化する。

ABSTRACT

We build extensions of the arc rings, relate their centers to the cohomology rings of the Springer varieties, and categorify all level two representations of quantum sl(N).

研究の動機と目的

• ケーファンのアークリング構成を2つのプラットフォームを有する環へと拡張し、$U_q(\mathfrak{sl}_N)$ のレベル2表現のカテゴライズ化を可能にする。
• 適切な重み $\mu$ に対応する一般化されたアークリング $A^{k,0}_{m(\mu)}$ 上の加群の圏 $\mathcal{C}$ を定義する。
• 圏 $\mathcal{C}$ 上に、$U_q(\mathfrak{sl}_N)$ の生成子をカテゴライズ化する正確な関手 $\mathcal{E}_i$, $\mathcal{F}_i$, および $\mathcal{K}_i$ を構成する。
• 圏 $\mathcal{C}$ のグローテンディック群が、最高ウェイト $\omega_k + \omega_{k+s}$ の既約レベル2表現に同型であることを確立する。

提案手法

• 元の構成から得られる次数と乗法を保ちつつ、サイズ $k$ と $l$ の2つのプラットフォームを導入することで、アークリング $A^{n-k,k}$ を $A_{n}^{k,l}$ に一般化する。
• $A_{n}^{k,l}$ を部分環 $\widetilde{A}^{n-k,k}$ のイデアル $I^{n-k,k}$ による商として定義し、タイプIIIの円がプラットフォームを1回より多く交差するのを排除する。
• 平坦なトゥーリングコーボリズムを用いたトゥーリング不変量を構成し、$A_{n}^{k,l}$ 上のバイモジュールを定義し、トゥーリングコーボリズムに関して関手的であるようにする。
• $A_{n}^{k,l}$ の中心を計算し、同型 $Z(A_{n}^{k,l}) \cong H^*(\mathrm{Fl}_{k,l,n})$ を通じてスプリンガー多様体のコホモロジー環と関係づける。
• 適切な重み $\mu$ に対して、$A^{k,0}_{m(\mu)}$ 上の加群の圏の直和として圏 $\mathcal{C}$ を定義し、トゥーリングコーボリズムから得られるバイモジュールを用いて関手 $\mathcal{E}_i^\mu$, $\mathcal{F}_i^\mu$, および $\mathcal{K}_i$ を定義する。
• グローテンディック群 $K(\mathcal{C})$ を用いて $U_q(\mathfrak{sl}_N)$-加群構造を実現し、$q$-乗法に対応する次数シフトを用いる。

実験結果

リサーチクエスチョン

• RQ1 アークリング構成をどのように一般化すれば、2つのプラットフォームを備え、より高いレベルの量子群表現のカテゴライズ化を可能にするか？
• RQ2 一般化されたアークリング $A_{n}^{k,l}$ の中心の構造は何か？ そして、既知のコホモロジー環とどのように関係するか？
• RQ3 $A^{k,0}_{m(\mu)}$ 上の加群の圏は、レベル2 $U_q(\mathfrak{sl}_N)$-表現の重み空間分解を実現できるか？
• RQ4 圏 $\mathcal{C}$ 上の正確な関手 $\mathcal{E}_i$, $\mathcal{F}_i$, および $\mathcal{K}_i$ は、$U_q(\mathfrak{sl}_N)$ の量子群作用をカテゴライズ化するか？
• RQ5 圏 $\mathcal{C}$ のグローテンディック群は、最高ウェイト $\omega_k + \omega_{k+s}$ の既約レベル2表現に同型か？

主な発見

• 一般化されたアークリング $A_{n}^{k,l}$ は、$H^n$ の部分環の商として定義され、元の構成から得られる乗法と次数が保たれる。
• $A_{n}^{k,l}$ の中心は、フラッグ多様体 $\mathrm{Fl}_{k,l,n}$ のコホモロジー環に同型であり、すなわち $Z(A_{n}^{k,l}) \cong H^*(\mathrm{Fl}_{k,l,n})$ である。
• $A^{k,0}_{m(\mu)}$ 上の加群の圏 $\mathcal{C}$ のグローテンディック群は、最高ウェイト $\omega_k + \omega_{k+s}$ の既約 $U_q(\mathfrak{sl}_N)$-加群に同型である。
• 圏 $\mathcal{C}$ 上の正確な関手 $\mathcal{E}_i$, $\mathcal{F}_i$, および $\mathcal{K}_i$ は、量子群生成子 $E_i$, $F_i$, および $K_i$ をカテゴライズ化し、$U_q(\mathfrak{sl}_N)$ の定義関係を満たす。
• グローテンディック群 $K(\mathcal{C})$ は、$\mathbb{C}$ への基底変換を行った後、既約レベル2表現 $V$ に同型である。すなわち $K(\mathcal{C}) \otimes_{\mathbb{Z}[q,q^{-1}]} \mathbb{C} \cong V$ である。
• $\mathcal{C}$ 内の関手の同型と随伴関係は、量子群の関係と一致しており、カテゴライズ化された作用が正しい $U_q(\mathfrak{sl}_N)$-加群構造を実現していることが確認される。