[論文レビュー] Rouquier's conjecture and diagrammatic algebra

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

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

ひとこと要約

この論文は、2つの図式的代数を構成することでルーカイエの予想を証明し、巡回的有理チェレドニク代数のカテゴリカルOを図式的に実現する。これにより、分解数と高レベルのフォック空間におけるウグロフの自己双対基の間に直接的な関係を確立する。主な貢献は、同次的で、セルラーベースを備え、ℓとeの組み合わせ的役割を交換するコーゾール双対性を持つ、完全に明示的で、階数付きの図式的モデルをカテゴリカルOに提供することである。

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.

研究の動機と目的

• 巡回的チェレドニク代数のカテゴリカルOにおける分解数とフォック空間におけるウグロフの自己双対基を結ぶルーカイエの予想を解決すること。
• 巡回的有理チェレドニク代数のカテゴリカルOをモデル化する明示的な図式的代数を構成すること。
• KZ関手の像と射影的加群の構造を理解するための、新たな純粋な組合せ論的および図式的枠組みを提供すること。
• 双対パラメータに関連する代数の間のコーゾール双対性を確立し、組合せ論においてℓとeの対称性を明らかにすること。
• ブルンダン＝クレシュチェフのヘッケ代数の階数付けと整合する階数付きのカテゴリカルOの上昇を提供し、分解数のqアナローグを可能にすること。

提案手法

• 2つの提示形（非同次的「ヘッケ風」形と階数付き「KLR風」形）を用いて、図式的代数Tsを構成し、ケーヴァン＝ロウダ＝ルーカイエ代数を一般化する。
• 同じ形を持つ一般化された標準ヤング盤のペアによってインデックス付けされた同次的セルラーベースを定義し、明示的な加群記述を可能にする。
• Tsの有限次元表現のカテゴリと、巡回的チェレドニク代数のカテゴリカルOとの同値性を確立し、定理Aを証明する。
• Webeの perverse sheaves からの幾何的入力を用いて、KZ関手による射影的加群の像がウグロフの自己双対基に対応することを証明する。
• sとs′がeを法として置換であるとき、導来カテゴリ Db(Ts -mod) と Db(Ts′ -mod) がアフィンブレード群作用によって同値であることを示し、定理B(3)を証明する。
• アバクス上のビーズ位置のℓ×e行列を転置することで、Tsとその双対代数の間のコーゾール双対性を実現し、アフィンワイル群の逆作用を通じて双対性を一致させる。

実験結果

リサーチクエスチョン

• RQ1 巡回的有理チェレドニク代数のカテゴリカルOは、図式的手法を用いてどのように明示的に記述できるか？
• RQ2 このカテゴリにおける分解数と、高レベルフォック空間におけるウグロフの自己双対基との正確な関係は何か？
• RQ3 KZ関手による射影的加群の像は、明示的な基底と階数付けを用いて記述可能か？
• RQ4 アフィンブレード群は、これらの代数の導来カテゴリにどのように作用するのか？その幾何的起源は何か？
• RQ5 この文脈におけるコーゾール双対性の組合せ論的構造は何か？また、アバクス行列の転置とはどのように関係するか？

主な発見

• 巡回的有理チェレドニク代数のカテゴリカルOは、図式的代数Tsの有限次元表現のカテゴリとカテゴリカル同値であり、文献上初の明示的記述を提供する。
• 図式的代数Tsは、同じ形を持つ一般化された標準ヤング盤のペアによってインデックス付けされた同次的セルラーベースを備えており、明示的な加群構成を可能にする。
• Tsの階数付きグロテンディーク群 K0_q(Ts) は、ウグロフのqフォック空間と自然に同型であり、標準加群は純粋なウェッジへ、射影的加群は自己双対基へ、単純加群はその双対へ写像される。
• 電荷sとs′がeを法として置換であるとき、導来カテゴリ Db(Ts -mod) と Db(Ts′ -mod) はアフィンブレード群作用によって同値であり、アフィンワイル群の作用を上昇させる。
• Tsとその双対代数の間のコーゾール双対性は、アバクス上のビーズ位置のℓ×e行列を転置することで組合せ論的に実現され、双対性写像はℓとeの役割を入れ替える。
• Tsの階数付けはコーゾール的であり、代数はバランス型で標準的コーゾール的であることが、[Webe]および[RSVV]からの幾何的入力によって確立された。