[論文レビュー] A categorification of finite-dimensional irreducible representations of quantum sl(2) and their tensor products

Igor Frenkel, Mikhail Khovanov+1 more|ArXiv.org|Nov 18, 2005

Algebraic structures and combinatorial models参考文献 30被引用数 32

ひとこと要約

本稿では、量子群 $U_q(\mathfrak{sl}_2)$ の有限次元既約表現およびそのテンソル積のカテゴライゼーションを、$\mathfrak{gl}_n$ のハリシュ・チャンドラ両側加群を用いて提示する。これにより、$\mathfrak{gl}_n$ のカテゴリカル $\mathcal{O}$ のブロックを通じてグレーディング付きカテゴライゼーションを確立し、フラッグ多様体およびシュタインベルク多様体を通じて幾何的実現と結びつける。主な貢献は、$V_{\mathbf{d}} = \bigotimes V_{d_i}$ における $U_q(\mathfrak{sl}_2)$-作用のカテゴリー的実現であり、射影的、ティルティング、単純な加群を通じて、標準的およびキャノニカル基底への明示的リンクを提供する。

ABSTRACT

The purpose of this paper is to study categorifications of tensor products of finite dimensional modules for the quantum group for sl(2). The main categorification is obtained using certain Harish-Chandra bimodules for the complex Lie algebra gl(n). For the special case of simple modules we naturally deduce a categorification via modules over the cohomology ring of certain flag varieties. Further geometric categorifications and the relation to Steinberg varieties are discussed. We also give a categorical version of the quantised Schur-Weyl duality and an interpretation of the (dual) canonical bases and the (dual) standard bases in terms of projective, tilting, standard and simple Harish-Chandra bimodules.

研究の動機と目的

• 任意の有限次元テンソル積 $U_q(\mathfrak{sl}_2)$-加群のカテゴライゼーションを $\mathfrak{gl}_n$ の表現論を用いて開発すること。
• ハリシュ・チャンドラ両側加群のカテゴリカル $\mathcal{O}(\mathfrak{gl}_n)$ のブロックを通じて、$V_{\mathbf{d}} = \bigotimes V_{d_i}$ のグレーディング付きカテゴライゼーションを確立すること。
• $\mathcal{O}(\mathfrak{gl}_n)$ を通じた代数的カテゴライゼーションを、グラスマン多様体および一般化されたシュタインベルク多様体のコホモロジー環を用いた幾何的実現と結びつけること。
• 量子化されたシュール＝ウェイユ双対性のカテゴリー的版を提供し、キャノニカル基底および標準基底をハリシュ・チャンドラ両側加群の観点から解釈すること。
• 一般化されたシュタインベルク多様体のボレル＝モアム homology を用いた $\overline{V}_{\mathbf{d}}$ の幾何的カテゴライゼーションの予想を提示し、それを裏付けること。

提案手法

• グレーディング付きのハリシュ・チャンドラ両側加群 $\mathcal{H}_\mu$ のカテゴリカル $\mathfrak{gl}_n$ のバージョンを用いてカテゴライゼーションを構成する。ここで $\mu$ は安定化部分群 $S_{\mathbf{d}} = \prod S_{d_i}$ を持つ支配的重みである。
• $\bigoplus_{i=0}^n {}_{\omega_i}\mathcal{H}_\mu$ のグロテンディーク群が $U_q(\mathfrak{sl}_2)$-加群 $V_{\mathbf{d}}$ をカテゴライズすることを示した。
• 関数 $X \mapsto X \otimes_{\mathcal{U}(\mathfrak{gl}_n)} M(\mu)$ を通じて、$\mathcal{H}_\mu$ と $\mathcal{O}(\mathfrak{gl}_n)$ のブロックとの関係を確立し、古典的 $\mathcal{U}(\mathfrak{sl}_2)$-カテゴライゼーションとの接続を図った。
• グラスマン多様体のコホモロジー環における不変量と一般化されたシュタインベルク多様体のボレル＝モアム homology との関連を特定することで、幾何的カテゴライゼーションを達成した。
• $U_q(\mathfrak{sl}_2)$ の作用は、射影的関手およびズッカーマン関手によって誘導される関手 $E^G$ および $F^G$ を通じてカテゴリー的に実現され、ゾーゲルの理論を用いたグレーディング付きの上昇が行われた。
• カズル双対性を用いて、特異的ブロックカテゴライゼーションとパラボリック部分カテゴリカルカテゴライゼーションとの関係を確立し、[BFK99] の予想を確認した。

実験結果

リサーチクエスチョン

• RQ1 有限次元既約 $U_q(\mathfrak{sl}_2)$-加群のテンソル積 $V_{\mathbf{d}} = \bigotimes V_{d_i}$ は、$\mathfrak{gl}_n$ の表現論を用いてどのようにカテゴライズ可能か？
• RQ2 ハリシュ・チャンドラ両側加群は、$V_{\mathbf{d}}$ 上の $U_q(\mathfrak{sl}_2)$-作用をカテゴリー的レベルでどのように実現するか？
• RQ3 $V_{\mathbf{d}}$ のキャノニカル基底、標準基底、双対キャノニカル基底は、カテゴライゼーションにおける射影的、ティルティング、標準的、単純加群とどのように対応するか？
• RQ4 一般化されたシュタインベルク多様体およびボレル＝モアム homology を用いて $\overline{V}_{\mathbf{d}}$ の幾何的カテゴライゼーションを構成可能か？
• RQ5 $\mathcal{O}(\mathfrak{gl}_n)$ を通じた代数的カテゴライゼーションと、シュタインベルク多様体のホモロジーを用いた幾何的カテゴライゼーションとの間に、概念的リンクは存在するか？

主な発見

• $\bigoplus_{i=0}^n {}_{\omega_i}\mathcal{H}_\mu$ のグロテンディーク群は $U_q(\mathfrak{sl}_2)$-加群 $V_{\mathbf{d}}$ に同型であり、テンソル積のカテゴライゼーションを確立した。
• ハリシュ・チャンドラ両側加群によるカテゴライゼーションは、関手 $E^G$ および $F^G$ を通じて $U_q(\mathfrak{sl}_2)$-作用を実現し、$V_{\mathbf{d}}$ 上の標準的 $\mathfrak{sl}_2$-作用を上昇させる。
• $V_{\mathbf{d}}$ のキャノニカル基底は、射影的およびティルティングなハリシュ・チャンドラ両側加群の類によってカテゴライズされた。
• 標準基底および双対標準基底は、カテゴライゼーションにおける標準的および単純加群の類として実現され、代数的基底とカテゴリー的基底との間の完全な辞書を提供した。
• $n=2,3$ の場合に、$E_{\text{geom}}$ および $F_{\text{geom}}$ 関手を含む予想的な幾何的カテゴライゼーションが、射影的加群の加法的カテゴリを保存し、代数的カテゴライゼーションと一致することを検証した。
• 一般化されたシュタインベルク多様体 $Z_{\mathbf{d}}^i$ のボレル＝モアム homology は、$H_*(Z)$ 内の $W_{\mathbf{d}} \otimes W_i$-不変量の部分代数に同型であり、幾何的および代数的構造を結びつける。