[论文解读] Rouquier's conjecture and diagrammatic algebra

Ben Webster|arXiv (Cornell University)|Jun 1, 2013

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

一句话总结

本文通過構造兩個圖示代數，實現了對循環有理 Cherednik 代數的 category O 的分類實現在，從而證明了 Rouquier 的猜想，建立了分解數與高階 Fock 空間中 Uglov 的規範基之間的直接聯繫。主要貢獻在於提出了一個完全顯式、分次的、圖示的 category O 模型，包含一個同調細胞基，以及交換底層組合學中 ℓ 和 e 角色的 Koszul對偶性。

ABSTRACT

We prove a conjecture of Rouquier relating the decomposition numbers in category $\mathcal{O}$ for a cyclotomic rational Cherednik algebra to Uglov's canonical basis of a higher level Fock space. Independent proofs of this conjecture have also recently been given by Rouquier, Shan, Varagnolo and Vasserot and by Losev, using different methods. Our approach is to develop two diagrammatic models for this category $\mathcal{O}$; while inspired by geometry, these are purely diagrammatic algebras, which we believe are of some intrinsic interest. In particular, we can quite explicitly describe the representations of the Hecke algebra that are hit by projectives under the $\mathsf{KZ}$-functor from the Cherednik category $\mathcal{O}$ in this case, with an explicit basis. This algebra has a number of beautiful structures including categorifications of many aspects of Fock space. It can be understood quite explicitly using a homogeneous cellular basis which generalizes such a basis given by Hu and Mathas for cyclotomic KLR algebras. Thus, we can transfer results proven in this diagrammatic formalism to category $\mathcal{O}$ for a cyclotomic rational Cherednik algebra, including the connection of decomposition numbers to canonical bases mentioned above, and an action of the affine braid group by derived equivalences between different blocks.

研究动机与目标

• 解決 Rouquier 的猜想，即循環 Cherednik 代數 category O 中的分解數與 Fock 空間中 Uglov 的規範基之間的聯繫。
• 構造顯式的圖示代數，以模擬循環有理 Cherednik 代數的 category O。
• 提供一個全新的、純粹組合學與圖示化的框架，以理解 KZ 賦值函子的像與投影模的結構。
• 在對應參數互為對偶的代數之間建立 Koszul 對偶性，揭示組合學中 ℓ 和 e 之間的對稱性。
• 提供與 Brundan-Kleshchev 的 Hecke 代數分次相容的 category O 的分次提升，從而實現分解數的 q-類比。

提出的方法

• 透過兩種陳述構造圖示代數 Ts：一種非齊次的「Hecke-類」形式，另一種分次的「KLR-類」形式，推廣了 Khovanov-Lauda-Rouquier 代數。
• 定義 Ts 的同調細胞基，其指標為相同形狀的廣義標準楊表對，從而實現模的顯式描述。
• 建立 Ts 的有限維表示與循環 Cherednik 代數 category O 之間的等價關係，從而證明定理 A。
• 利用 [Webe] 中的幾何輸入（如 perverse sheaves）證明：在 KZ 賦值函子下，投影模的像對應於 Uglov 的規範基。
• 證明當 s 和 s′ 是模 e 的排列時，導出範疇 Db(Ts -mod) 與 Db(Ts′ -mod) 在仿射 braid 群作用下等價，從而證明定理 B(3)。
• 透過轉置 abaci 上的 ℓ×e 現珠位置矩陣，實現 Ts 與其對偶代數之間的 Koszul 對偶性，此對偶性與仿射 Weyl 群的逆作用相匹配。

实验结果

研究问题

• RQ1 如何使用圖示方法顯式描述循環有理 Cherednik 代數的 category O？
• RQ2 此 category 中的分解數與高階 Fock 空間中 Uglov 的規範基之間的精確關係為何？
• RQ3 KZ 賦值函子下投影模的像能否以顯式基與分次結構來描述？
• RQ4 仿射 braid 群如何作用於這些代數的導出範疇？此作用的幾何來源為何？
• RQ5 在此設定中，Koszul 對偶性的組合結構為何？它與 abacus 矩陣轉置的關係為何？

主要发现

• 循環有理 Cherednik 代數的 category O 與圖示代數 Ts 的有限維表示範疇之間存在分類等價，這是在文獻中首次對此 category 提供顯式描述。
• 圖示代數 Ts 接受一個由相同形狀的廣義標準楊表對指標的同調細胞基，從而實現模的顯式構造。
• 分次 Grothendieck 群 K0_q(Ts) 與 Uglov 的 q-Fock 空間之間存在自然同構，其中標準模映射至純楔積，投影模映射至規範基，簡單模映射至其對偶。
• 當電荷 s 和 s′ 是模 e 的排列時，導出範疇 Db(Ts -mod) 與 Db(Ts′ -mod) 在仿射 braid 群作用下等價，此等價性提升自仿射 Weyl 群的作用。
• Ts 與其對偶代數之間的 Koszul 對偶性透過轉置 abacus 上的 ℓ×e 現珠位置矩陣來實現，對偶映射交換了 ℓ 和 e 的角色。
• Ts 上的分次是 Koszul，且該代數為平衡且標準 Koszul，此結論透過 [Webe] 和 [RSVV] 的幾何輸入所確立。