[论文解读] A categorification of a cyclotomic Hecke algebra

Alexei Oblomkov, Lev Rozansky|arXiv (Cornell University)|Jan 18, 2018

Advanced Topics in Algebra参考文献 5被引用 3

一句话总结

本文通过框架化矩阵因子化与等变K-理论，对环型赫克代数进行了范畴化，推广了对有限赫克代数的早期工作。该构造提供了该代数的忠实实现，并通过旗型希尔伯特概形上的层，给出了朱科斯-墨菲元素的几何解释。

ABSTRACT

We propose a categorification of the cyclotomic Hecke algebra in terms of the equivariant K-theory of the framed matrix factorizations. The construction generalizes the earlier construction of the authors for a categorification of the finite Hecke algebra of type A. We also explain why our construction provides a faithful realization of the Hecke algebras and discuss a geometric realization of the Jucys-Murphy subalgebra.

研究动机与目标

• 通过框架化矩阵因子化，将有限赫克代数的范畴化推广至环型赫克代数。
• 在几何与范畴论框架内，为环型赫克代数提供忠实表示。
• 通过旗型希尔伯特概形上的层论构造，实现朱科斯-墨菲子代数的几何化。
• 通过科祖尔对偶，建立矩阵因子化范畴与交换概形的导出范畴之间的联系。
• 通过无穷小邻域，探索矩阵因子化设定中线性与非线性势能之间的关系。

提出的方法

• 通过在中心元素 $\Delta_n$ 上施加环型关系，将仿射赫克代数商化为环型赫克代数。
• 在空间 $\bar{\mathcal{X}}_{r,n}$ 上使用框架化矩阵因子化，势能为 $\bar{W}$，以定义范畴化代数。
• 利用环 $\hat{T}$ 上的等变K-理论，定义矩阵因子化范畴 $\mathbf{MF}^{\hat{T}}_{n,r}$。
• 利用开嵌入 $u: \bar{\mathcal{X}}^{0}_{r,n} \to \bar{\mathcal{X}}_{r,n}$，将完整范畴与局部化版本 $\mathbf{MF}^{\hat{T}}_{n,r,\circ}$ 关联起来。
• 应用科祖尔对偶，将矩阵因子化范畴与交换概形的导出范畴联系起来。
• 通过变量替换 $Y \mapsto Y - \frac{1}{2}[Y,Z]_{++}$，在 $\mathfrak{m}(Z)^2$ 阶别内比较非线性势能 $\bar{W}$ 与线性化势能 $\bar{W}^{\mathrm{lin}}$，在第二阶无穷小邻域上建立同构。

实验结果

研究问题

• RQ1 能否通过等变矩阵因子化对环型赫克代数实现范畴化？
• RQ2 在范畴化设定中，朱科斯-墨菲子代数如何几何显现？
• RQ3 在矩阵因子化语境下，非线性势能 $\bar{W}$ 与线性化势能 $\bar{W}^{\mathrm{lin}}$ 之间的精确关系为何？
• RQ4 对于更高的 $k$，范畴 $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim k}, \bar{W})$ 与 $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim k}, \bar{W}^{\mathrm{lin}})$ 在多大程度上一致？
• RQ5 矩阵因子化范畴与交换概形的导出范畴之间是否存在导出等价？

主要发现

• 作者通过 $\bar{\mathcal{X}}_{r,n}$ 上框架化矩阵因子化的等变K-理论，构建了环型赫克代数 $\mathfrak{H}^{\mathrm{ct}}_{n,r}$ 的忠实范畴化。
• 朱科斯-墨菲元素通过旗型希尔伯特概形上的层，经由诱导函子，几何地实现为算子。
• 建立了矩阵因子化范畴 $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim 2}, \bar{W}^{\mathrm{lin}})$ 与 $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim 2}, \bar{W})$ 之间的自然同构。
• 变量替换 $Y \mapsto Y - \frac{1}{2}[Y,Z]_{++}$ 将 $\bar{W}$ 变换为与 $\bar{W}^{\mathrm{lin}}$ 在模 $\mathfrak{m}(Z)^2$ 意义下一致的形式，从而在第二阶无穷小邻域上实现同构。
• 作者猜想该同构可推广至所有更高阶的无穷小邻域，暗示非线性势能与线性化势能之间存在更深层次的等价性。
• 该框架暗示 $\mathbf{MF}^{\hat{T}}_{n,r,\circ}$ 与导出范畴 $D^b(FM_{n,r})$ 之间存在密切关系，尽管精确等价性仍有待进一步发展。