[論文レビュー] Localizations for quiver Hecke algebras

Masaki Kashiwara, Myungho Kim+2 more|arXiv (Cornell University)|Jan 27, 2019

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

ひとこと要約

本稿では、クイバーへック代数に対して、実数値の可換なブレイダーファミリーを定義することにより、一般化された局所化手続きを導入し、量子ユニポテンツ座標環の categorification から局所化されたモノイダル圏 $\widetilde{\mathscr{C}}_w$ を構成する。主な結果として、$\widetilde{\mathscr{C}}_w$ が左剛性を示すことが示され、完全剛性であるという予想が提示されており、これは量子クラスター代数とモノイダル categorification に関する先行研究を拡張するものである。

ABSTRACT

We provide the localization procedure for monoidal categories by a real commuting family of braiders. For an element $w$ of the Weyl group, $\mathscr{C}_w$ is a subcategory of modules over quiver Hecke algebra which categorifies the quantum unipotent coordinate algebra $A_q[\mathfrak{n}(w)]$. We construct the localization $\widetilde{\mathscr{C}_w}$ of $\mathscr{C}_w$ by adding the inverses of simple modules which correspond to the frozen variables in the quantum cluster algebra $A_q[\mathfrak{n}(w)]$. The localization $\widetilde{\mathscr{C}_w}$ is left rigid and we expect that it is rigid.

研究の動機と目的

• モノイダル圏の局所化手続きを、中心的対象に限らない設定から、ブレイダ構造を含む一般化を図ること。
• 量子クラスター代数における凍結変数に対応する単純加群を逆にすることで、$\widetilde{\mathscr{C}}_w$ を構成すること。
• 左剛性の確立を、完全剛性の証明に向けた一歩として、$\widetilde{\mathscr{C}}_w$ の左剛性を示すこと。
• 局所化を用いて、量子ユニポテンツ座標環のモノイダル categorification を凍結変数を含む形に一般化すること。
• モノイダル構造と双対性の性質を保つ関手的局所化の枠組みを提供すること。

提案手法

• クイバーへック代数の文脈において、実数値可換ブレイダーファミリーの概念を導入すること。
• $\mathscr{C}_w$ の局所化 $\widetilde{\mathscr{C}}_w$ を、凍結変数に対応する単純加群 $\mathsf{M}(w\Lambda_i, \Lambda_i)$ の逆数化によって定義すること。
• $R$-gmod 上の畳み込み積と次数付き構造を用いて、モノイダル圏の演算を定義すること。
• Tシステムと行列式的加群を活用し、Drinfeld トランスフォーム $\mathscr{D}^{-1}$ の逆数を用いて逆関手を構成すること。
• Drinfeld トランスフォーム $\mathscr{D}^{-1}$ を用いて、単純加群の挙動とその反復写像の性質を分析すること。
• $\widetilde{\mathscr{C}}_w$ の単純対象 $M$ に対して $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$ を示すことにより、左剛性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 モノイダル圏の局所化手続きを、中心的対象に限らない設定から、ブレード構造を含む形に一般化するにはどうすればよいか？
• RQ2 局所化された圏 $\widetilde{\mathscr{C}}_w$ が元の圏 $\mathscr{C}_w$ の剛性をどのように引き継ぐかを保証する条件は何か？
• RQ3 Drinfeld トランスフォーム $\mathscr{D}^{-1}$ を用いて、$\mathscr{C}_w$ の単純加群に対する逆を構成できるか？
• RQ4 $({\mathscr{D}^{-1}})^6$ の単純加群への作用が、量子クラスター代数の構造とどのように関係するか？
• RQ5 局所化 $\widetilde{\mathscr{C}}_w$ は剛性を示すか？また、同型 $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$ を $M \in \widetilde{\mathscr{C}}_{w_0}$ に対して関手的にできるか？

主な発見

• $\widetilde{\mathscr{C}}_w$ が左剛性を示すことが示され、任意の対象が左双対をもつ。
• Drinfeld トランスフォーム $\mathscr{D}^{-1}$ に対して、任意の単純 $R(\beta)$-加群 $M$ に対して $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$ が成り立つ。
• 同型 $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$ は、高さ $\mathrm{ht}(\beta)$ に関する帰納法と畳み込み積における準同型の一意性を用いて証明された。
• $\widetilde{\mathscr{C}}_w$ の構成は、実数値可換ブレイダーファミリーに依存しており、これにより、中心的対象のみを用いた先行研究を一般化している。
• 局所化プロセスは、量子クラスター代数 $A_q(\mathfrak{n}(w))$ の凍結変数に対応する単純加群 $\mathsf{M}(w\Lambda_i, \Lambda_i)$ を逆数化することで行われ、categorification を豊かにしている。
• 予想 5.15 では、同型 $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$ が $M \in \widetilde{\mathscr{C}}_{w_0}$ に対して関手的にできるとされている。