[论文解读] Highest weight sl_2-categorifications II: structure theory

Ivan Losev|arXiv (Cornell University)|Mar 25, 2012

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

一句话总结

本文通过在偏序集中引入层次结构，细化了最高权 $σλ_2$-范畴化的定义，证明了任意此类范畴化均允许一个滤子，其逐层商为基本最高权 $σλ_2$-范畴化。本文建立了基本范畴化中标准对象的极小投射化解析，利用此结果描述了倾斜对象与 Ringel 对偶性，通过 Rickard 复形实现，并将这些结果应用于循环型有理 Cherednik 代数。

ABSTRACT

This paper continues the study of highest weight categorical sl_2-actions started in part I. We start by refining the definition given there and showing that all examples considered in part I are also highest weight categorifications in the refined sense. Then we prove that any highest weight sl_2-categorification can be filtered in such a way that the successive quotients are so called basic highest weight sl_2-categorifications. For a basic highest weight categorification we determine minimal projective resolutions of standard objects. We use this, in particular, to examine the structure of tilting objects in basic categorifications and to show that the Ringel duality is given by the Rickard complex. We finish by discussing open problems.

研究动机与目标

• 通过在偏序集中引入层次结构，细化最高权 $σλ_2$-范畴化的定义，确保其与标准对象及排序关系相容。
• 证明任意最高权 $σλ_2$-范畴化均允许一个滤子，其逐层商为基本最高权 $σλ_2$-范畴化。
• 确定基本范畴化中标准对象的极小投射化解析，从而实现对倾斜对象与 Ringel 对偶性的结构分析。
• 将结构结果应用于循环型有理 Cherednik 代数的范畴 $Ω$，特别是计算 $Ω(ρεζαιγερεδερεδ)$ 并分析其块结构。
• 建立与后续发展的联系，包括张量积范畴化的唯一性定理，以及 Varagnolo-Vasserot 关于 Fock 空间范畴化猜想的证明。

提出的方法

• 在偏序集中引入层次结构，以细化 $σλ_2$-范畴化作用与最高权结构之间的相容性。
• 构造范畴 $Χ$ 的滤子 $0 ⊂ Χ_{\leq 0} ⊂ Χ_{\leq 1} ⊂ \cdots = Χ$，使得每个商 $Χ_{\leq i}/Χ_{\leq i-1}$ 均为基本最高权 $σλ_2$-范畴化。
• 在 $q$-进分拆上使用方块移动算法分析权值与剩余类，证明在特定条件下该算法不会循环。
• 利用 $EL(t)$ 复形的结构，推导出基本范畴化中标准对象的极小投射化解析。
• 通过 Rickard 复形实现 Ringel 对偶性，表明对偶范畴化由 duality 函子作用于 Rickard 复形所给出。
• 通过计算 $Ω(Δ(ρεζαιγερεδερεδ))$ 并利用层次结构分析块分解，将结果应用于循环型有理 Cherednik 代数。

实验结果

研究问题

• RQ1 能否通过层次结构细化最高权 $σλ_2$-范畴化的定义，使其同时兼容标准对象与偏序集的排序？
• RQ2 任意最高权 $σλ_2$-范畴化是否可被滤子化，使得其逐层商为基本最高权 $σλ_2$-范畴化？
• RQ3 基本最高权 $σλ_2$-范畴化中标准对象的极小投射化解析是什么？
• RQ4 在此背景下，Ringel 对偶性如何体现？是否可通过 Rickard 复形实现？
• RQ5 利用所发展的框架，可对循环型有理 Cherednik 代数的范畴 $Ω$ 得到哪些结构洞见？

主要发现

• 任意最高权 $σλ_2$-范畴化均允许一个滤子，其逐层商为基本最高权 $σλ_2$-范畴化，推广了 Chuang 与 Rouquier 的结果。
• 基本范畴化中标准对象的极小投射化解析被明确描述，其解析结构与本文中的例子一致。
• 命题 6.9 完全确定了形如 $E\Delta(\lambda)$ 的对象的头，推广了早期在特例中的结果。
• 基本范畴化中的倾斜对象具有由标准对象投射化解析导出的特定结构。
• Ringel 对偶性通过 Rickard 复形实现，提供了以双模复形形式实现对偶性的范畴化实现。
• 结果被应用于循环型有理 Cherednik 代数，其中计算了 $Ω(\Delta(\operatorname{refl}), \Delta(\operatorname{triv}))$，并利用层次结构分析了其块分解。