[论文解读] Dualities and derived equivalences for category O

Kevin Coulembier, Volodymyr Mazorchuk|arXiv (Cornell University)|Jun 29, 2015

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

一句话总结

本文确定了半单李代数的抛物型范畴𝒪中所有块的Ringel对偶，表明尽管单个块不一定是自对偶的（与原始范畴𝒪相反），但抛物型范畴𝒪整体仍保持Ringel自对偶。通过广义的Ringel对偶函子，建立了块之间的可 gradable 的导出等价性，并利用Weyl群分解和稳定子子群，在类型A中对这些等价性进行了分类。

ABSTRACT

We determine the Ringel duals for all blocks in the parabolic versions of the BGG category O associated to a reductive finite dimensional Lie algebra. In particular we find that, contrary to the original category O and the specific previously known cases in the parabolic setting, the blocks are not necessarily Ringel self-dual. However, the parabolic category O as a whole is still Ringel self-dual. Furthermore, we use generalisations of the Ringel duality functor to obtain large classes of derived equivalences between blocks in parabolic and original category O. It seems that only some special cases were known thus far, where the proof relied purely on a geometric approach to category O. We subsequently classify all derived equivalence classes of blocks of category O in type A which preserve the Koszul grading.

研究动机与目标

• 确定半单李代数的抛物型范畴𝒪中所有块的Ringel对偶。
• 解决长期存在的问题：抛物型范畴𝒪中的单个块是否像原始范畴𝒪一样是Ringel自对偶的。
• 通过广义的Ringel对偶函子，为抛物型和原始范畴𝒪中的导出等价性建立系统性框架。
• 对保持Koszul分次的类型A范畴𝒪中块的可 gradable 的导出等价类进行分类。
• 比较在分次设定下Ringel对偶与Koszul对偶的行为，表明只有Ringel对偶能诱导出可 gradable 的导出等价性。

提出的方法

• 作者使用Ringel对偶函子计算抛物型范畴𝒪中块的对偶，表明每个块都与同一抛物型范畴中的另一个块对偶。
• 他们应用Ringel对偶函子的推广，构造了块的有界导出范畴之间的三角等价。
• 在类型A中对导出等价性的分类依赖于将Weyl群分解为不可约分量的乘积，并比较在点作用下的稳定子子群。
• 作者使用Koszul对偶函子进行比较，但表明它在无分次意义下无法提升为可 gradable 的导出等价性。
• 他们通过Bruhat序和对偶性性质分析块的Ext^1-Quiver，以证明某些块的非自对偶性。
• 通过在类型A中的显式计算，特别是𝔰𝔩(4)的情形，构造反例以证明块不一定是Ringel自对偶的。

实验结果

研究问题

• RQ1 抛物型范畴𝒪中的单个块是否像原始范畴𝒪一样是Ringel自对偶的？
• RQ2 能否将Ringel对偶推广到在分次设定下诱导出抛物型范畴𝒪中导出等价性的形式？
• RQ3 什么条件可以对保持Koszul分次的类型A范畴𝒪中块之间的可 gradable 导出等价性进行分类？
• RQ4 在分次范畴中，Ringel对偶与Koszul对偶在诱导导出等价性方面有何比较？
• RQ5 Weyl群分解与抛物型范畴𝒪中块的导出等价类之间的确切关系是什么？

主要发现

• 抛物型范畴𝒪中的块不一定是Ringel自对偶的，这与原始范畴𝒪中的行为相反，也与此前已知的情形相矛盾。
• 每个块都与同一抛物型范畴中的另一个块对偶，且这种对偶性在分次设定下诱导出可 gradable 的导出等价性。
• 尽管单个块不是自对偶的，但抛物型范畴𝒪整体仍保持Ringel自对偶。
• 在类型A中，保持Koszul分次的块的导出等价类通过在置换作用下匹配Weyl群分解和稳定子子群来分类。
• Ringel对偶函子能诱导出可 gradable 的导出等价性，而Koszul对偶函子即使在无分次设定下能诱导出导出等价性，也无法提升为可 gradable 的导出等价性。
• 在𝔰𝔩(4)中的显式反例表明，一个块可能具有非单射的投射覆盖，即使其唯一的单模仅有一个一阶扩张，从而证明其非自对偶性。