[论文解读] Monoidality of Kato's Reflection Functors

Peter J. McNamara|arXiv (Cornell University)|Dec 1, 2017

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

一句话总结

本文证明了ADE型KLR代数的Kato反射函子是张量的，确立了一个关键的结构性质，解决了[KKOP]中的一个问题，并纠正了[K1]中的一个错误。作者使用几何方法和特征零下KLR代数的平凡性，通过导出范畴与Morita等价性，证明这些函子通过导出范畴保持张量积，从而对量子群上的 braid 群作用进行了 categorification。

ABSTRACT

Kato has constructed reflection functors for KLR algebras which categorify the braid group action on a quantum group by algebra automorphisms. We prove that these reflection functors are monoidal.

研究动机与目标

• 确立KLR代数上Kato反射函子的张量性，这一性质对对量子群上的 braid 群作用进行 categorification 至关重要。
• 解决[KKOP]中关于这些函子张量结构的遗留问题。
• 通过使用导出范畴与平凡性的几何严格证明，纠正[K1]中引理4.2(2)的错误。
• 证明反射函子通过KLR代数模范畴之间的Morita等价性保持张量积。
• 表明KLR代数在特征零下的平凡性，源自纯性，是张量性结果的基础。

提出的方法

• 将KLR代数几何实现为奎夫格拉斯曼ian上 perverse 她夫的自同态代数。
• 应用KLR代数的平凡性，该性质由有限域上 $\ell$-adic 设置中上同调的纯性推导而来。
• 使用导出范畴与dg增强，将KLR代数模范畴的关系与奎夫表示模堆栈上的构造性她夫联系起来。
• 利用基变换与恰当基变换定理，关联涉及开浸入与闭浸入的拉回图中的上推与下拉。
• 构建一个堆栈与态射的交换图，以关联函子的卷积积与反射函子的作用。
• 应用去分解论证，表明从 sheaf $\mathcal{L}_\lambda$ 导出的 Hom 函子在三角范畴之间诱导出等价，从而可使用标准导出技巧。

实验结果

研究问题

• RQ1 KLR代数上的Kato反射函子是否是张量的，即它们是否在模范畴上保持张量积结构？
• RQ2 通过Kato函子实现的量子群正部上的 braid 群作用，是否能提升为在 categorified 层次上的张量函子？
• RQ3 能否通过KLR代数的几何与形式方法纠正[K1, 引理4.2(2)]中的错误？
• RQ4 KLR代数在特征零下的平凡性是否足以保证反射函子的张量性？
• RQ5 该张量性结果能否用于证明[KKOP]中的猜想5.5？

主要发现

• Kato的反射函子是张量的，意味着它们在KLR代数模的导出范畴上保持函子的卷积积。
• 该张量性通过利用KLR代数平凡性（源自 $\ell$-adic 设置中上同调的纯性）的几何构造得以确立。
• 该证明通过显示反射函子在基变换与卷积下表现良好，纠正了[K1, 引理4.2(2)]中的错误。
• 通过反射函子诱导的Morita等价，$R(\nu)/\langle e_i \rangle$ 上的模范畴与 $R(s_i\nu)/\langle {}_i e \rangle$ 上的模范畴等价。
• 两个函子 $M$ 与 $N$ 的卷积积在反射函子 $\mathcal{T}_i$ 下被保持，通过基变换与图表追踪比较 $\mathcal{T}_i(M \circ N)$ 与 $\mathcal{T}_i(M) \circ \mathcal{T}_i(N)$ 的像得以证明。
• 由纯性与Frobenius作用的提升所导出的 $R(\lambda)$ 的平凡性，确保了 $\mathcal{L}_\lambda$ 的导出范畴与KLR代数模的导出范畴等价。