[論文レビュー] A geometric categorification of tensor products of $U_q(sl_2)$-modules

Hao Zheng|ArXiv.org|May 18, 2007

Algebraic structures and combinatorial models参考文献 26被引用数 8

ひとこと要約

本稿は、 perverse sheaves と Deligne の重み理論を用いて、有限次元 $U_q(sl_2)$-加群のテンソル積およびそれらの $R$-行列の幾何的圏化を提示する。分解定理と混合複体の純粋な分解を活用し、$G$-作用を備えた層関手を介して、$R$-行列の圏化を構成する。これにより、正確な函手的作用とホモトピー同値を伴う量子群の対称性の幾何的実現が得られ、Grothendieck 群において標準的な量子 $R$-行列が回復される。

ABSTRACT

We give a purely geometric categorification of tensor products of finite-dimensional simple $U_q(sl_2)$-modules and $R$-matrices on them. The work is developed in the framework of category of perverse sheaves and the categorification theorems are understood as consequences of Deligne's theory of weights.

研究の動機と目的

• 代数的幾何と層論を用いて、有限次元 $U_q(sl_2)$-加群のテンソル積の幾何的圏化を提供すること。
• 導来層の圏上の函手を通じて、これらのテンソル積に作用する $R$-行列の幾何的実現を構成すること。
• Deligne の重み理論を介して、表現論的量子群構造と幾何的不変量との間の関係を確立すること。
• 圏化された $R$-行列が Grothendieck 群において標準的な量子 $R$-行列を回復することを示すこと。
• Ext-代数と次数付き双加群を用いた枠組みを構築し、ホモトピー圏を介して加群構造を回復するアーベル的圏化を実現すること。

提案手法

• 部分旗多様体上の perverse sheaf の圏と $G$-軌道の分類を用いて、$U_q(sl_2)$-加群をモデル化する。
• Beilinson-Bernstein-Deligne-Gabber の分解定理を適用し、加群構造を圏的に持ち上げる。
• 混合複体の純粋な分解の概念を導入し、幾何的設定における重みフィルトレーションの一意性と制御を保証する。
• $G/P_{\mathbf{d}} \times X$ 上の畳み込み関手を用いて、層の複体 $\mathcal{R}^\bullet_+(\mathbf{d},\sigma)$ として圏化された $R$-行列を構成する。
• $R$-行列関手の合成の間のホモトピー同値を確立し、ブレッド関係と可逆性を検証する。
• 幾何的圏化を Ext-代数 $A^\bullet_{\mathbf{d}}$ を介してアーベル的設定に翻訳し、これらの代数上の次数付き双加群として加群を実現する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、幾何的層論的構成を用いて $U_q(sl_2)$-加群のテンソル積を圏化できるか？
• RQ2 Deligne の重み理論は、このような圏化の整合性と一意性を保証するために果たす役割は何か？
• RQ3 $U_q(sl_2)$-加群に作用する $R$-行列を、層の導来圏間の函手としてどのように幾何的に実現できるか？
• RQ4 圏化された $R$-行列は、Grothendieck 群において標準的な量子 $R$-行列を回復できるか？
• RQ5 幾何的 $R$-行列関手のアーベル的圏化とは何か？ そして、それらは次数付き加群圏とどのように関係するか？

主な発見

• 加群 $Q_{\mathbf{d}}$ は、圏 $\mathcal{Q}_{\mathbf{d}}$ の Grothendieck 群を介して回復され、$U_q(sl_2)$-加群の圏化が達成される。
• 幾何的関手 $\mathcal{R}^\bullet_+(\mathbf{d},\sigma)$ によって誘導される $R$-行列は、最高重量ベクトル $b_{(0,0)}$ に作用して $(-q^2)^{d_1d_2}$ を乗じる。これは量子 $R$-行列の作用と一致する。
• $R$-行列の明示的公式は $R_{d_1,d_2} = (-q^{3/2})^{d_1d_2} \cdot \tau \cdot q^{\frac{1}{2}H \otimes H} \sum_{n=0}^\infty q^{n(n-1)/2}(q-q^{-1})^n [n]_q! F^{(n)} \otimes E^{(n)}$ で与えられ、標準的な量子 $R$-行列が回復される。
• アーベル的圏化は Ext-代数 $A^\bullet_{\mathbf{d}} = \operatorname{Ext}^\bullet_{\mathcal{D}(G/P_{\mathbf{d}} \times X)}(L_{\mathbf{d}}, L_{\mathbf{d}})$ を介して実現され、次数付き加群の圏は幾何的層の圏と同値である。
• $R$-行列関手 $\mathcal{R}^{\bullet,\bullet}_\pm(\mathbf{d},\sigma)$ の系はホモトピー同値とブレッド型関係を満たし、圏化された $R$-行列としての整合性が確認される。
• 有界ホモトピー圏 $\mathcal{K}^b(A^\bullet_{\mathbf{d}}\text{-mof})$ の Grothendieck 群は $\mathbb{Q}(q) \otimes_{\mathcal{A}} Q_{\mathbf{d}}$ と同型であり、$R$-行列関手はこの加群上に標準的な $R$-行列を誘導する。