[论文解读] Monoidal categories associated with strata of flag manifolds

Masaki Kashiwara, Myungho Kim+2 more|arXiv (Cornell University)|Aug 15, 2017

Algebraic structures and combinatorial models参考文献 14被引用 3

一句话总结

该论文构建了一个幺半范畴 $\mathscr{C}_{w,v}$，作为 quiver Hecke 代数的分次模范畴的子范畴，该范畴对双重不变代数 ${}^{N'(w)}\mathbb{C}[N]^{N(v)}$ 实现了 categorification，并在局部化后得到开 Richardson 簇 $\mathcal{R}_{w,v}$ 的坐标代数 $\mathbb{C}[\mathcal{R}_{w,v}]$。关键结果是 $\mathscr{C}_{w,v}$ 对 $\mathbb{C}[\mathcal{R}_{w,v}]$ 上的量子簇代数结构提供了幺半范畴化，其中行列式模构成一个量子幺半种子。

ABSTRACT

We construct a monoidal category $\mathscr{C}_{w,v}$ which categorifies the doubly-invariant algebra $^{N'(w)}\mathbb{C}[N]^{N(v)}$ associated with Weyl group elements $w$ and $v$. It gives, after a localization, the coordinate algebra $\mathbb{C}[\mathcal{R}_{w,v}]$ of the open Richardson variety associated with $w$ and $v$. The category $\mathscr{C}_{w,v}$ is realized as a subcategory of the graded module category of a quiver Hecke algebra $R$. When $v= \mathrm{id}$, $\mathscr{C}_{w,v}$ is the same as the monoidal category which provides a monoidal categorification of the quantum unipotent coordinate algebra $A_q(\mathfrak{n}(w))_{\mathbb{Z}[q,q^{-1}]}$ given by Kang-Kashiwara-Kim-Oh. We show that the category $\mathscr{C}_{w,v}$ contains special determinantial modules $\mathsf{M}(w_{\le k}Λ, v_{\le k}Λ)$ for $k=1, \ldots, \ell(w)$, which commute with each other. When the quiver Hecke algebra $R$ is symmetric, we find a formula of the degree of $R$-matrices between the determinantial modules $\mathsf{M}(w_{\le k}Λ, v_{\le k}Λ)$. When it is of finite $ADE$ type, we further prove that there is an equivalence of categories between $\mathscr{C}_{w,v}$ and $\mathscr{C}_u$ for $w,u,v \in \mathsf{W}$ with $w = vu$ and $\ell(w) = \ell(v) + \ell(u)$.

研究动机与目标

• 构建一个幺半范畴 $\mathscr{C}_{w,v}$，以对与 Weyl 群元素 $w$ 和 $v$ 相关的双重不变代数 ${ }^{N'(w)}\mathbb{C}[N]^{N(v)}$ 实现 categorification。
• 证明 $\mathscr{C}_{w,v}$ 在局部化后，实现开 Richardson 簇 $\mathcal{R}_{w,v}$ 的坐标代数 $\mathbb{C}[\mathcal{R}_{w,v}]$。
• 确立 $\mathscr{C}_{w,v}$ 包含特殊的行列式模 $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$，这些模彼此对易并构成一个量子幺半种子。
• 证明当 quiver Hecke 代数为对称且属于有限 $ADE$ 类型时，若 $w = vu$ 且 $\ell(w) = \ell(v) + \ell(u)$，则 $\mathscr{C}_{w,v}$ 与 $\mathscr{C}_u$ 等价。

提出的方法

• 通过 [24] 中的 cuspidal 分解和凸预序，将范畴 $\mathscr{C}_{w,v}$ 实现为 quiver Hecke 代数 $R$ 的分次模范畴的全子范畴。
• 行列式模 $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$ 作为函子 $\mathbb{W}$ 的像被构造，该函子 intertwines Weyl 群在权重上的作用。
• 在对称 quiver Hecke 代数假设下，利用归一化的 $R$-矩阵公式分析行列式模之间的 $R$-矩阵，并推导出度数公式。
• 通过卷积积和与量子簇代数结构的相容性建立幺半结构，依赖于初始种子的可适性。
• 利用条件 $\ell(w) = \ell(v) + \ell(u)$ 和 quiver Hecke 代数的对称 $ADE$ 类型，证明 $\mathscr{C}_{w,v}$ 与 $\mathscr{C}_u$ 的等价性。
• 通过证明初始种子在 $\mathbb{W}$ 下的像满足量子簇代数的可适性条件，验证了 categorification，从而确保了幺半范畴化。

实验结果

研究问题

• RQ1 如何构建一个幺半范畴，以对 Weyl 群元素 $w$ 和 $v$ 对应的双重不变代数 ${ }^{N'(w)}\mathbb{C}[N]^{N(v)}$ 实现 categorification？
• RQ2 $\mathscr{C}_{w,v}$ 与开 Richardson 簇 $\mathcal{R}_{w,v}$ 的坐标代数 $\mathbb{C}[\mathcal{R}_{w,v}]$ 之间有何关系？
• RQ3 $\mathscr{C}_{w,v}$ 中的行列式模 $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$ 是否彼此对易并构成一个量子幺半种子？
• RQ4 在何种条件下，当 $w = vu$ 且 $\ell(w) = \ell(v) + \ell(u)$ 时，$\mathscr{C}_{w,v}$ 与 $\mathscr{C}_u$ 等价？
• RQ5 $\mathscr{C}_{w,v}$ 是否能为 $\mathbb{C}[\mathcal{R}_{w,v}]$ 上的量子簇代数结构提供幺半范畴化？

主要发现

• 范畴 $\mathscr{C}_{w,v}$ 被构造为 quiver Hecke 代数 $R$ 的分次模范畴的子范畴，并对双重不变代数 ${ }^{N'(w)}\mathbb{C}[N]^{N(v)}$ 实现了 categorification。
• 在局部化后，$\mathscr{C}_{w,v}$ 实现了开 Richardson 簇 $\mathcal{R}_{w,v}$ 的坐标代数 $\mathbb{C}[\mathcal{R}_{w,v}]$，从而将几何与代数结构联系起来。
• $\mathscr{C}_{w,v}$ 包含特殊的行列式模 $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$（$k=1,\dots,\ell(w)$），它们在卷积积下两两对易。
• 当 quiver Hecke 代数 $R$ 为对称时，推导出行列式模之间 $R$-矩阵的度数公式，从而可显式计算量子 $R$-矩阵的作用。
• 对于有限 $ADE$ 类型的 quiver Hecke 代数，当 $w = vu$ 且 $\ell(w) = \ell(v) + \ell(u)$ 时，建立了范畴等价 $\mathscr{C}_{w,v} \simeq \mathscr{C}_u$，反映了 Weyl 群元素的分解。
• 对 $\bigl{(}\{\mathsf{M}(w_{\leq p+k}\Lambda_{i_{p+k}}, v_{\leq p+k}\Lambda_{i_{p+k}})\}_{1\leq k\leq q}, \widetilde{B}\bigr{)}$ 构成一个可适的初始种子，确认 $\mathscr{C}_{w,v}$ 是量子簇代数 $A_{w,v}$ 的幺半范畴化。