[論文レビュー] PBW bases and KLR algebras

Syu Kato|arXiv (Cornell University)|Mar 23, 2012

Algebraic structures and combinatorial models参考文献 27被引用数 31

ひとこと要約

本稿は、KLR代数の枠組みを用いて、A型・D型・E型有限量子群のPBW基底のLusztigの幾何的構成を一般化し、任意のPBW基底がKLR代数の加群圏において半直交的集合をなすことを証明する。主な結果として、Lusztigの下位グローバル基底の下位PBW基底に関する展開係数が $\mathbb{N}[t]$ に属することを示し、これによりLusztigの正値性予想を裏付ける。さらに、KashiwaraのKLR代数のグローバル次元の有限性予想をも確認する。

ABSTRACT

We generalize Lusztig's geometric construction of the PBW bases of finite quantum groups of type $\mathsf{ADE}$ under the framework of [Varagnolo-Vasserot, J. reine angew. Math. 659 (2011)]. In particular, every PBW basis of such quantum groups is proven to yield a semi-orthogonal collection in the module category of the KLR-algebras. This enables us to prove Lusztig's conjecture on the positivity of the canonical (lower global) bases in terms of the (lower) PBW bases in the $\mathsf{ADE}$ case. In addition, we verify Kashiwara's problem on the finiteness of the global dimensions of the KLR-algebras of type $\mathsf{ADE}$.

研究の動機と目的

• KLR代数の枠組みを用いて、A型・D型・E型量子群のPBW基底のLusztigの幾何的構成を一般化すること。
• PBW基底とKLR代数の加群圏との間の関係を確立し、それらが半直交的集合をなすことの証明。
• 下位グローバル基底の下位PBW基底に関する展開係数が $\mathbb{N}[t]$ に属することを示すLusztigの予想の証明。
• KLR代数のA型・D型・E型におけるグローバル次元の有限性に関するKashiwaraの予想の検証。

提案手法

• KLR代数 $R_\beta$ の射影的・単純加群から、最長ワイル群元 $w_0$ の簡約表現 $\mathbf{i}$ を用いてPBW基底 $\{E^\mathbf{i}_b\}$ と $\{\widetilde{E}^\mathbf{i}_b\}$ を構成する。
• 加群間のホモロジー的ペアリングを測るため、$\langle M,N\rangle_{\mathsf{gEP}} = \sum_{i\geq 0} (-1)^i \mathsf{gdim}\,\mathrm{ext}^i_{R_\beta}(M,N)$ として、重み付きエーラー形式を定義する。
• バー対合と特性の比較を用いて、$[P_b : \widetilde{E}^\mathbf{i}_{b'}]$ と $[E^\mathbf{i}_{b'} : L_b]$ を関連づけ、重み付き特性展開を通じて双対性を確立する。
• 加群 $R_\beta$ 上の誘導関手 $\star$ を用いて、$\widetilde{E}^\mathbf{i}_b$ と $E^\mathbf{i}_b$ を射影的・単純加群の反復畳み込みとして実現する。
• 同型 $\mathrm{K}(R_\beta\text{-gmod}) \cong \mathbb{Q}(t) \otimes_\mathcal{A} U^+_\beta$ を用いて、加群圏と量子群構造との関係を結ぶ。
• 行列 $[P:L]_\beta$ の行列式を、積公式 $\prod_{\alpha \in R^+} \mathrm{ep}_t(\alpha)$ で計算する。ここで $\mathrm{ep}_t(q^\beta) = \sum_{n \geq 0} \frac{q^{n\beta}}{(1-t^2)(1-t^4)\cdots(1-t^{2n})}$ である。

実験結果

リサーチクエスチョン

• RQ1 A型・D型・E型量子群の任意のPBW基底は、対応するKLR代数の加群圏における半直交的集合から生じるか？
• RQ2 KLR代数の手法を用いて、Lusztigの下位グローバル基底の下位PBW基底に関する展開係数の正値性予想を証明できるか？
• RQ3 Kashiwaraの予想に従い、A型・D型・E型のKLR代数のグローバル次元は有限か？
• RQ4 PBW基底の重み付き特性は、KLR代数上の射影的・単純加群の構造とどのように関係するか？
• RQ5 KLR代数の設定において、拡張乗法係数行列 $[P_b : L_{b'}]$ の行列式は何か？

主な発見

• 本稿は、$w_0$ の任意の簡約表現 $\mathbf{i}$ に対して、PBW基底 $\{E^\mathbf{i}_b\}$ と $\{\widetilde{E}^\mathbf{i}_b\}$ が、重み付き $R_\beta$-加群の圏において半直交的集合をなすことを証明した。
• Lusztigの予想を確立した：下位グローバル基底の下位PBW基底に関する展開係数は $\mathbb{N}[t]$ に属し、$[P_b : \widetilde{E}^\mathbf{i}_{b'}] = [E^\mathbf{i}_{b'} : L_b]$ が成り立つ。
• $R_\beta$ のグローバル次元はすべての $\beta \in Q^+$ に対して有限であり、Kashiwaraの予想が確認された。
• 行列 $[P:L]_\beta$ の行列式は $\prod_{\alpha \in R^+} \mathrm{ep}_t(\alpha)$ で与えられ、ここで $\mathrm{ep}_t(q^\beta) = \sum_{n \geq 0} \frac{q^{n\beta}}{(1-t^2)(1-t^4)\cdots(1-t^{2n})}$ である。
• $\widetilde{E}^\mathbf{i}_\mathbf{c} \cong P_{c_1i_1} \star (\mathbb{T}_{i_1}P_{c_2i_2}) \star \cdots \star (\mathbb{T}_{i_1}\cdots\mathbb{T}_{i_{\ell-1}}P_{c_\ell i_\ell})$ は、重み付き $R_{\mathsf{wt}(\mathbf{i},\mathbf{c})}$-加群として成り立つ。
• 行列 $[P:L]_\beta$ の行列式 $D_\beta$ は $D_\beta = \prod_{b \in B(\infty)_\beta} [\widetilde{E}^\mathbf{i}_b : E^\mathbf{i}_b]$ を満たし、これは $\prod_{j=1}^\ell \frac{1}{(1-t^2)\cdots(1-t^{2c_j})}$ に等しい。