[论文解读] Affinizations and R-matrices for quiver Hecke algebras

Masaki Kashiwara, Euiyong Park|arXiv (Cornell University)|May 13, 2015

Algebraic structures and combinatorial models参考文献 11被引用 5

一句话总结

本文将对称情形下的仿射化与R-矩阵构造推广至任意 quiver Hecke 代数。它构造了一个在分次模范畴之间的对偶函子 $ \mathfrak{F}^{\mathcal{D}} $，该函子保持有限维性，并在目标代数为有限型时将单模映射为单模或零，从而对量子群之间的单射同态进行范畴化。

ABSTRACT

We introduce the notion of affinizations and R-matrices for arbitrary quiver Hekcke algebras. We show that they enjoy similar properties to those for symmetric quiver Hecke algebras. We next define the notion of a duality datum and construct a tensor functor between graded module categories of two quiver Hecke algebras. We give several examples of such functors .

研究动机与目标

• 将对称 quiver Hecke 代数中的仿射化与 R-矩阵概念推广至任意 quiver Hecke 代数。
• 定义一个对偶数据 $ \mathcal{D} $，由仿射化的实单模及其 R-矩阵构成。
• 在 quiver Hecke 代数 $ R^\mathcal{D} $ 与 $ R $ 的分次模范畴之间构造一个张量函子 $ \mathfrak{F}^{\mathcal{D}} $。
• 证明当 $ R^\mathcal{D} $ 为有限型时，$ \mathfrak{F}^{\mathcal{D}} $ 将有限维模映射为有限维模，且是正合的。
• 证明函子 $ \mathfrak{F}^{\mathcal{D}} $ 对应于量子群负半部分之间的单射同态的范畴化。

提出的方法

• 将一个简单 $ R(\beta) $-模 $ \bar{M} $ 的仿射化 $ (\mathsf{M}, z_\mathsf{M}) $ 定义为一个分次 $ R(\beta) $-模，配备一个齐次自同态 $ z_\mathsf{M} $，使得 $ \mathsf{M}/z_\mathsf{M}\mathsf{M} \simeq \bar{M} $，并满足定义 2.2 中的特定条件。
• 构造归一化的 R-矩阵 $ R^{\mathrm{norm}}_{\mathsf{M},N} = z_\mathsf{M}^{-s} R_{\mathsf{M},N} $，其中 $ s $ 为互变算子 $ R_{\mathsf{M},N} $ 的零点阶数，以确保与谱参数的相容性。
• 将对偶数据 $ \mathcal{D} $ 定义为一组仿射化的实单模 $ \Delta(\beta_j) $、其谱参数 $ z_j $ 及其归一化 R-矩阵 $ \mathsf{R}_{j,k} $ 的集合，满足 braid 关系与交换关系。
• 通过卷积与互变算子结构，利用对偶数据 $ \mathcal{D} $ 构造函子 $ \mathfrak{F}^{\mathcal{D}}: \operatorname{Mod}_{\mathrm{gr}}(R^\mathcal{D}) \to \operatorname{Mod}_{\mathrm{gr}}(R) $。
• 证明当 $ R^\mathcal{D} $ 为有限型时，$ \mathfrak{F}^{\mathcal{D}} $ 是正合的，并保持有限维性。
• 验证由 $ \mathcal{D} $ 导出的矩阵 $ \mathsf{A}^\mathcal{D} $ 与某有限型李代数的 Cartan 矩阵一致，从而确保对量子群同态的范畴化。

实验结果

研究问题

• RQ1 能否将对称 quiver Hecke 代数中的仿射化与 R-矩阵推广至任意 quiver Hecke 代数？
• RQ2 是否存在一个对偶函子 $ \mathfrak{F}^{\mathcal{D}} $，它将有限维模映射为有限维模，并保持单性？
• RQ3 能否由仿射化实单模的 R-矩阵构成一个对偶数据 $ \mathcal{D} $，从而诱导出分次模范畴之间的张量函子？
• RQ4 函子 $ \mathfrak{F}^{\mathcal{D}} $ 是否对量子群负半部分之间的一个单射同态进行了范畴化？
• RQ5 当 $ R^\mathcal{D} $ 为有限型时，$ \mathfrak{F}^{\mathcal{D}} $ 对单模的作用具体是什么？

主要发现

• 对偶函子 $ \mathfrak{F}^{\mathcal{D}} $ 将有限维 $ R^\mathcal{D} $-模映射为有限维 $ R $-模。
• 当 $ R^\mathcal{D} $ 为有限型时，函子 $ \mathfrak{F}^{\mathcal{D}} $ 是正合的。
• 函子 $ \mathfrak{F}^{\mathcal{D}} $ 将单 $ R^\mathcal{D} $-模映射为 $ R $-模的单模或零。
• 对于由仿射化实单模及其 R-矩阵构造的对偶数据 $ \mathcal{D} $，函子 $ \mathfrak{F}^{\mathcal{D}} $ 对应于一个单射同态 $ U^{-}(\overline{\mathfrak{g}}) \to U^{-}(\mathfrak{g}) $ 的范畴化。
• 在 $ R^\mathcal{D} $ 为 $ A_{\ell-1} $ 型、$ R $ 为 $ B_\ell $ 型的示例中，若 $ j=1 $，则 $ \mathfrak{F}^{\mathcal{D}}(L^\mathcal{D}(j)) \simeq L(1,1,2) $；否则 $ \mathfrak{F}^{\mathcal{D}}(L^\mathcal{D}(j)) \simeq L(j+1) $。
• 函子 $ \mathfrak{F}^{\mathcal{D}} $ 对卷积积的作用为：当 $ j \neq 1 $ 时，有 $ \mathfrak{F}^{\mathcal{D}}(N \diamond L^\mathcal{D}(j)) \simeq \mathfrak{F}^{\mathcal{D}}(N) \diamond L(j+1) $；当 $ j=1 $ 时，有 $ \mathfrak{F}^{\mathcal{D}}(N \diamond L^\mathcal{D}(j)) \simeq \mathfrak{F}^{\mathcal{D}}(N) \diamond L(1,1,2) $。