[論文レビュー] Proof of Varagnolo-Vasserot conjecture on cyclotomic categories O

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

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

ひとこと要約

この論文は、変形技術とカテゴリカルな $\mathfrak{sl}_2$-作用を用いて、巡回的 Rational Cherednik代数の $\mathcal{O}$ とアフィンパラボリック $\mathcal{O}$ の切断との間の同値性を示す、Varagnolo-Vasserot予想の漸近的版を証明する。この結果は、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.

研究の動機と目的

• 巡回的 Rational Cherednik代数の $\mathcal{O}$ とアフィンパラボリック $\mathcal{O}$ の適切な切断との間の同値性に関する Varagnolo-Vasserot 予想の漸近的版を証明すること。
• この同値性を、巡回的 Cherednik代数の $\mathcal{O}$ における分解数に関する Rouquier 予想を検証するための道具として確立すること。
• Rouquierの変形アプローチを拡張し、最高ウェイトカテゴリにカテゴリカルな $\mathfrak{sl}_2$-作用を適用して同値性を達成すること。
• KZ関手とヘッケ代数への商関手が特定の条件下で全忠実であることを示し、同値性の構成を可能にすること。
• 得られた同値性が、ChuangとMiyamotoによる巡回的 Cherednik $\mathcal{O}$ のKoszul双対性予想を示すこと。

提案手法

• 最高ウェイトカテゴリにカテゴリカルな $\mathfrak{sl}_2$-作用を含めたRouquierの変形アプローチを用いる。
• カテゴリカルな $\mathfrak{sl}_2$-作用を用いて $\mathcal{O}$ の構造をモデル化し、アフィンパラボリックカテゴリと関連付ける。
• GGORの $\mathcal{O}$ から巡回的ヘッケ代数の加群のカテゴリへのKZ関手を用い、標準的フィルター付き対象上で全忠実であることを活用する。
• 変形枠組みにおける関手の $(-1)$-忠実性および $0$-忠実性を確認するため、多重分割とクリスタルに関する組合せ的条件を用いる。
• 最高ウェイトカテゴリ間の関手の忠実性に関する定理3.4を適用し、射影的対象と分数体への基底変換を用いて条件を検証する。
• 拡張された商 $Q^j_R(\nu)$ を構成・分析し、巡回的 Cherednik $\mathcal{O}$ と切断されたアフィンパラボリック $\mathcal{O}$ を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 VaragnoloとVasserotが予想したように、巡回的 Rational Cherednik代数の $\mathcal{O}$ とアフィンパラボリック $\mathcal{O}$ の適切な切断との間に同値性が存在するか？
• RQ2 このような同値性を用いて、巡回的 Cherednik代数の $\mathcal{O}$ における Rouquier の分解数に関する予想を確認できるか？
• RQ3 カテゴリカルな $\mathfrak{sl}_2$-作用と変形技術は、最高ウェイトカテゴリの文脈で、このような同値性を確立するためにどの程度拡張可能か？
• RQ4 多重分割とクリスタルに関する組合せ的条件は、変形枠組みにおける関手の忠実性とどのように関係するか？
• RQ5 この同値性は、ChuangとMiyamotoによる巡回的 Cherednik $\mathcal{O}$ のKoszul双対性予想を示すか？

主な発見

• 論文は、巡回的 Cherednik代数の $\mathcal{O}$ とアフィンパラボリック $\mathcal{O}$ の切断との間の同値性を確立し、Varagnolo-Vasserot 予想の漸近的版を証明する。
• この同値性は、巡回的 Cherednik代数の $\mathcal{O}$ における Rouquier の分解数に関する予想を示し、これらの数がパラボリック Kazhdan-Lusztig 多項式によって与えられることを確認する。
• 証明は、標準的フィルター付き対象上で全忠実であるKZ関手と、カテゴリカルな $\mathfrak{sl}_2$-作用によるカテゴリの構造の制御に依存する。
• 射影的対象と分数体への基底変換を用いて、定理3.4に必要な条件を検証し、切断されたカテゴリの同値性を確認する。
• この結果は、ChuangとMiyamotoのKoszul双対性予想を示し、巡回的 Cherednik $\mathcal{O}$ がKoszulであることを示し、そのKoszul双対を特定する。
• 特別な場合 $\ell=1$ において、$q$-シュール代数と、Lusztigの $\mathfrak{gl}_m$ の量子群の形式によるモジュールのカテゴリと、パラボリックアフィンカテゴリ $\mathcal{O}$ が同値であるという事実を用いて、同値性の別証明を提供する。