[论文解读] Localizations for quiver Hecke algebras

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

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

一句话总结

本文通过定义一个实交换的辫子族，提出了一种广义的奎佛赫克代数局部化程序，从而实现了从量子未幂零坐标环的范畴化构造局部化张量范畴 $χ⁢_w$。关键结果是 $χ⁢_w$ 是左刚性的，且存在一个猜想认为其为完全刚性，该结果扩展了先前关于量子丛代数和张量范畴化的工作。

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$ 的左刚性，作为证明完全刚性的关键步骤。
• 通过局部化将量子未幂零坐标环的张量范畴化推广至包含冻结变量的情形。
• 提供一个保持张量结构与对偶性质的函子性局部化框架。

提出的方法

• 在奎佛赫克代数的背景下，引入实交换辫子族的概念。
• 通过在冻结变量对应的简单模 $\mathsf{M}(w\Lambda_i, \Lambda_i)$ 上进行局部化，定义 $\mathscr{C}_w$ 的局部化 $\widetilde{\mathscr{C}}_w$。
• 利用 $R$-gmod 上的卷积积与分次结构，定义张量范畴的运算。
• 通过 Drinfeld 变换 $\mathscr{D}^{-1}$ 的逆，结合 $T$-系统与行列式模，构造逆函子。
• 应用 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}$。
• 该同构通过高度 $\mathrm{ht}(\beta)$ 的归纳法以及卷积积中态射的唯一性得以证明。
• 局部化范畴 $\widetilde{\mathscr{C}}_w$ 的构造依赖于一个实交换的辫子族，从而推广了以往仅使用中心对象的研究。
• 局部化过程通过反转简单模 $\mathsf{M}(w\Lambda_i, \Lambda_i)$ 实现，这些模对应于量子丛代数 $A_q(\mathfrak{n}(w))$ 中的冻结变量，从而丰富了范畴化结构。
• 猜想 5.15 提出，同构 $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$ 可在 $M \in \widetilde{\mathscr{C}}_{w_0}$ 上函子化。