[论文解读] Koszul duality of affine Kac-Moody algebras and cyclotomic rational DAHA

Peng Shan, Michela Varagnolo+1 more|arXiv (Cornell University)|Jul 1, 2011

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

一句话总结

本文通过引入一个支持倾覆与投射对象的仿射 Kac-Moody 代数的 O 类别的截断版本，建立了仿射 Kac-Moody 代数的 O 类别的抛物/奇异 Koszul 对偶性。通过引入一个形变的 O 类别，并利用权图将之与有限余维数仿射 Schubert 簇上的等变 perverse 丛联系起来，作者证明了 O 类别的 Koszul 对偶性，并将其应用于证明 Chuang-Miyachi 关于余维数为正的有理双 affine Hecke 代数（CRDAHA）中层级-秩对偶性与 Ringel-Koszul 对偶性之间相互作用的猜想。

ABSTRACT

We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac-Moody algebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to q-Schur algebras and to cyclotomic rational double affine Hecke algebras.

研究动机与目标

• 建立仿射 Kac-Moody 代数的 O 类别的抛物/奇异 Koszul 对偶性。
• 通过引入 O 类别的截断版本，克服在正或负级别下倾覆或投射模的缺失问题。
• 利用权图与有限余维数仿射 Schubert 簇上的等变 perverse 丛之间的关系，实现几何控制。
• 将对偶性应用于 $q$-Schur 代数与余维数为正的有理双 affine Hecke 代数（CRDAHA）。
• 通过 Koszul 对偶性框架，证明 Chuang-Miyachi 关于 CRDAHA 中层级-秩对偶性与 Ringel-Koszul 对偶性关系的猜想。

提出的方法

• 引入非临界级别下抛物 O 类别的截断版本，该版本构成一个具有倾覆与投射对象的有限最高权范畴。
• 通过在多项式环的局部化上构造形变 O 类别，建立一个支持 Koszul 对偶函子的最高权范畴。
• 利用权图及其上的层作为有限余维数仿射 Schubert 簇上等变 perverse 丛的代数模型。
• 通过附录 A 中的新几何工具，建立权图上的层与 Kashiwara 的仿射旗流形上等变 perverse 丛之间的关系。
• 应用标准 Koszul 对偶性与 Ringel 对偶性，关联正负级别下的范畴，从而规避正级别下缺乏局部化定理的问题。
• 利用 Fiebig 的函子将形变 O 类别映射到权图层，从而代数化实现 Koszul 对偶函子。

实验结果

研究问题

• RQ1 尽管在正或负级别下倾覆或投射模缺失，是否仍可为仿射 Kac-Moody 代数的 O 类别建立抛物/奇异 Koszul 对偶性？
• RQ2 如何利用权图对有限余维数仿射 Schubert 簇上的等变 perverse 丛进行建模，以支持 Koszul 对偶性？
• RQ3 O 类别的 Koszul 对偶性与余维数为正的有理双 affine Hecke 代数的 Fock 空间中层级-秩对偶性之间有何关系？
• RQ4 O 类别的 Koszul 对偶性是否意味着 $q$-Schur 代数及其对偶的 Koszul 性？
• RQ5 能否利用该框架证明 Chuang-Miyachi 关于 CRDAHA 中层级-秩对偶性与 Ringel-Koszul 对偶性关系的猜想？

主要发现

• 在非临界级别下的截断抛物 O 类别是一个有限最高权范畴，其同时包含倾覆与投射对象。
• 该截断范畴是 Koszul 的，且其 Koszul 对偶与同一范畴的 Ringel 对偶等价。
• 证明了 $q$-Schur 代数与一个 Koszul 代数 Morita 同构，其 Koszul 对偶通过该对偶框架被显式描述。
• 余维数为正的有理双 affine Hecke 代数（CRDAHA）的 O 类别被证明是 Koszul 的，且 Koszul 同构与层级-秩对偶性相容。
• 通过所发展的 Koszul 对偶理论，验证了 Chuang-Miyachi 关于 CRDAHA 中层级-秩对偶性与 Ringel-Koszul 对偶性关系的猜想。
• 建立了一项新的几何工具：权图上的层与有限余维数仿射 Schubert 簇上的等变 perverse 丛之间存在对应关系，该结果本身具有独立兴趣。