[論文レビュー] Representation theory of the cyclotomic Cherednik algebra via the Dunkl-Opdam subalgebra

Ben Webster|arXiv (Cornell University)|Sep 18, 2016

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

ひとこと要約

本稿は、Dunkl-Opdam部分代数を明示的に組み込んだ、巡回的有理Cherednik代数の別表現を提示する。これにより、図式的で局所関係に基づくアプローチが可能になる。KZ関手の直接的な代数的構成がなされ、Dunkl-Opdamモジュールの単純モジュールが分類され、球面的Cherednik代数と3次元ゲージ理論のクーロン枝との自然同型が確立される。これは、Cherednik代数と幾何的表現論・数学的物理の間の新しい枠組みを提供する。

ABSTRACT

We give an alternate presentation of the cyclotomic rational Cherednik algebra, which has the useful feature of compatibility with the Opdam-Dunkl subalgebra. This presentation has a diagrammatic flavor, and it provides a simple explanation of several surprising facts about this algebra. It allows direct proof of the connection of category $\mathcal{O}$ to weighted KLR algebras, allows us to classify the simple Dunkl-Opdam modules over the Cherednik algebra and provides an algebraic construction of the KZ functor. Furthermore, one of prime motivations for considering this approach is to provide a better framework for connecting Cherednik algebras to Coulomb branches of 3-d gauge theories.

研究の動機と目的

• Dunkl-Opdam部分代数を明示的に含む、巡回的有理Cherednik代数の新しい図式的フレーバーの表現を提供すること。
• Cherednik代数内でのDunkl-Opdam部分代数上の単純モジュールを分類すること。これはgl_nにおけるGelfand-Tsetlinモジュールに類似する。
• 任意の特性0の体上で、解析的手法を避けて、Knizhnik-Zamolodchikov (KZ) 関手の直接的な代数的構成を提供すること。
• このフレームワークにおいて、球面的Cherednik代数と3次元N=4ゲージ理論のクーロン枝との自然同型を確立することにより、幾何的・物理的関係を明確にすること。
• このフレームワークを有理ガロア順序へ一般化し、正標数におけるCherednik代数の研究へと発展させる基盤を築くこと。

提案手法

• パrameter $k$, $h_r$, および単位根 $\zeta$ を含む関係式を用いて、Dunkl-Opdam部分代数が明示的に現れるように、生成子と関係式による巡回的Cherednik代数の新しい表現を導入する。
• Dunkl-Opdam作用素 $u_i = y_i x_i + k \sum_{j>i} \sum_p t_i^p t_j^{-p} (ij) + p(t_i)$ を定義する。これらは可換であり、多項式部分代数を生成する。
• Dunkl-Opdam部分代数の重み空間を用いてCherednik代数の表現論を分析し、カテゴリOの直接的解釈と重み付きKLR代数との関係を可能にする。
• KZ関手をDunkl-Opdam部分代数の重み空間の直和として構成し、任意の特性0の体上で有効である。
• Iwahori-Hecke代数の実現を通じて、球面的Cherednik代数と3次元ゲージ理論の量子クーロン枝との同型を確立する。
• 図式的推論とチャーン類の計算を用いて、$e'He'$におけるシフト作用素の作用がクーロン枝におけるシューベルト胞体類と一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 巡回的Cherednik代数をどのように再表現すれば、Dunkl-Opdam部分代数が明示的かつその構造と整合的になるか？
• RQ2 巡回的Cherednik代数内でのDunkl-Opdam部分代数上の単純モジュールはどのように分類されるか？
• RQ3 この新しい表現を用いて、任意の特性0の体上でKZ関手を代数的に構成できるか？
• RQ4 このフレームワークにおいて、球面的Cherednik代数と3次元ゲージ理論のクーロン枝との間に自然な同型が存在するか？
• RQ5 この表現は、代数の表現論およびヒルベルト多様体や一貫性層への接続を、幾何的または図式的理解へどのように促進するか？

主な発見

• 新しい巡回的Cherednik代数の表現では、可換で多項式部分代数をなす生成子 $u_i$ を用いてDunkl-Opdam部分代数が明示的に現れる。
• KZ関手はDunkl-Opdam部分代数の重み空間の直和として実現され、任意の特性0の体上で有効な完全な代数的構成が得られる。
• Dunkl-Opdam部分代数上の単純モジュールは分類され、Cherednik代数の文脈においてGelfand-Tsetlinに類似したモジュールに対応する。
• 球面的Cherednik代数と3次元ゲージ理論のクーロン枝との同型は、この表現において自然かつ明示的であることが示され、重要な幾何的予想が解決される。
• $e'He'$におけるシフト作用素 $e'x_{\ell-1}^1 \sigma e'$ の作用が、アフィングラスマンニアン上の標準的バンドルのチャーン類と一致し、量子クーロン枝への同型が検証される。
• $e'He'$から量子クーロン枝 $A'$ への写像は全射であり、単純な反転の作用によってすべてのシューベルト胞体の基本類を生成する。