[论文解读] Proof of Varagnolo-Vasserot conjecture on cyclotomic categories O

Ivan Losev|arXiv (Cornell University)|May 21, 2013

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

一句话总结

本文證明了 Varagnolo-Vasserot 猜想的漸近版本，透過變形技巧與分類的 $\mathfrak{sl}_2$-作用，建立了迴圈型 Rational Cherednik 代數的 $\mathcal{O}$ 類與仿射拋物型 $\mathcal{O}$ 類的一種截斷之間的等價關係。此結果確認了 Rouquier 對分解數的猜測，並暗示了 Cherednik 類 $\mathcal{O}$ 的 Koszul對偶性。

ABSTRACT

We prove an asymptotic version of a conjecture by Varagnolo and Vasserot on an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a suitable truncation of an affine parabolic category O. We prove an asymptotic version of a conjecture by Varagnolo and Vasserot on an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a suitable truncation of an affine parabolic category O that, in particular, implies Rouquier's conjecture on the decomposition numbers in the former. Our proof uses two ingredients: an extension of Rouquier's deformation approach as well as categorical actions on highest weight categories and related combinatorics. This text replaces arXiv:1207.1299.

研究动机与目标

• 證明 Varagnolo-Vasserot 對迴圈型 Rational Cherednik 代數類 $\mathcal{O}$ 與仿射拋物型類 $\mathcal{O}$ 截斷之間等價關係的漸近版本。
• 建立此等價關係作為工具，以驗證迴圈型 Cherednik 代數類 $\mathcal{O}$ 中 Rouquier 對分解數的猜測。
• 延伸 Rouquier 的變形方法，並應用分類的 $\mathfrak{sl}_2$-作用於高權重類，以達成此等價關係。
• 展示在特定條件下，KZ 資料函子與到 Hecke 代數的商函子為全忠實，進而促成等價關係的建構。
• 顯示此結果所導出的等價關係暗示了 Chuang 與 Miyamoto 對迴圈型 Cherednik 類 $\mathcal{O}$ 的 Koszul 對偶性猜測。

提出的方法

• 使用 Rouquier 的變形方法，並擴展至包含高權重類上的分類 $\mathfrak{sl}_2$-作用。
• 應用分類 $\mathfrak{sl}_2$-作用以模擬類 $\mathcal{O}$ 的結構，並與仿射拋物型類關聯。
• 運用 GGOR 類 $\mathcal{O}$ 到迴圈型 Hecke 代數模類的 KZ 函子，並利用其在標準過濾物件上的全忠實性。
• 利用多分拆與晶體上的組合條件，以驗證變形框架中函子的 $(-1)$-忠實性與 $0$-忠實性。
• 應用定理 3.4 關於高權重類之間函子忠實性的條件，透過投射物件與分數域上的基變換來驗證。
• 建構並分析擴展的商函子 $Q^j_R(\nu)$，以連結迴圈型 Cherednik 類 $\mathcal{O}$ 與截斷的仿射拋物型類 $\mathcal{O}$。

实验结果

研究问题

• RQ1 是否存在迴圈型 Rational Cherednik 代數類 $\mathcal{O}$ 與仿射拋物型類 $\mathcal{O}$ 的某種截斷之間的等價關係，如 Varagnolo 與 Vasserot 所猜測？
• RQ2 能否透過此等價關係確認 Rouquier 對迴圈型 Cherednik 代數類 $\mathcal{O}$ 中分解數的猜測？
• RQ3 分類 $\mathfrak{sl}_2$-作用與變形技巧在高權重類脈絡下，能多大程度上延伸以建立此類等價關係？
• RQ4 多分拆與晶體上的組合條件如何與變形框架中函子的忠實性相關？
• RQ5 此等價關係是否暗示 Chuang 與 Miyamoto 對迴圈型 Cherednik 類 $\mathcal{O}$ 的 Koszul 對偶性猜測？

主要发现

• 本文建立了迴圈型 Cherednik 代數類 $\mathcal{O}$ 與仿射拋物型類 $\mathcal{O}$ 截斷之間的等價關係，證明了 Varagnolo-Vasserot 猜想的漸近版本。
• 此等價關係暗示 Rouquier 對迴圈型 Cherednik 代數類 $\mathcal{O}$ 中分解數的猜測，確認這些數由拋物型 Kazhdan-Lusztig 多項式給出。
• 證明依賴於 KZ 函子在標準過濾物件上的全忠實性，以及使用分類 $\mathfrak{sl}_2$-作用來控制類的結構。
• 作者透過投射物件與分數域上的基變換，驗證了定理 3.4 所需條件，從而確認截斷類之間的等價關係。
• 此結果亦暗示 Chuang 與 Miyamoto 的 Koszul 對偶性猜測，顯示迴圈型 Cherednik 類 $\mathcal{O}$ 為 Koszul 類，並描述其 Koszul 對偶。
• 對於特殊情況 $\ell=1$，本文提供了另一種證明等價關係的方法，利用 $q$-Schur 代數，並利用拋物型仿射類 $\mathcal{O}$ 與 $\mathfrak{gl}_m$ 的 Lusztig 形式量子群模類等價的事實。