[論文レビュー] Rational Cherednik algebras of $G(\ell,p,n)$ from the Coulomb perspective

Elise LePage, Ben Webster|arXiv (Cornell University)|Nov 29, 2019

Algebraic structures and combinatorial models参考文献 7被引用数 4

ひとこと要約

本稿は、非単純な複素反射群 $G(\ell,p,n)$ に対する有理 Cherednik 代数のクーロンブランチ解釈を確立し、その球面的部分代数が線状欠損を伴う3次元 $\mathcal{N}=4$ ゲージ理論におけるクーロンブランチとして実現されることを証明する。さらに、球面的代数が主ガロア順序であることを示し、双対自己双対基底を有する階数付きの $\mathcal{O}$ 類の上げを構成し、Clifford理論と幾何的表現論を用いて $G(\ell,1,n)$ の場合に拡張された結果を用いて $G(\ell,p,n)$ の簡約なDunkl-Opdamモジュールを分類する。

ABSTRACT

We prove a number of results on the structure and representation theory of the rational Cherednik algebra of the imprimitive reflection group $G(\ell,p,n)$. In particular, we: (1) show a relationship to the Coulomb branch construction of Braverman, Finkelberg and Nakajima, and 3-dimensional quantum field theory; (2) show that the spherical Cherednik algebra carries the structure of a principal Galois order; (3) construct a graded lift of category $\mathcal{O}$ and the larger category of Dunkl-Opdam modules, whose simple modules have the properties of a dual canonical basis and (4) give the first classification of simple Dunkl-Opdam modules for the rational Cherednik algebra of the imprimitive reflection group $G(\ell,p,n)$.

研究の動機と目的

• 有理 Cherednik 代数の表現論を $G(\ell,1,n)$ から $p \mid \ell$ を満たす非単純群 $G(\ell,p,n)$ に拡張すること。
• 球面的 Cherednik 代数 $H^{\text{sph}}_p$ が線状欠損を伴う3次元 $\mathcal{N}=4$ ゲージ理論におけるクーロンブランチとして物理的実現されることを確立すること。
• $G(\ell,p,n)$ の球面的 Cherednik 代数が主ガロア順序であることを証明すること。
• 双対自己双対基底を有する階数付き $\mathcal{O}$ 類およびDunkl-Opdamモジュールの類の上げを構成すること。
• $G(\ell,p,n)$ の有理 Cherednik 代数に対する簡約なDunkl-Opdamモジュールの分類を初めて与えること。

提案手法

• Braverman, Finkelberg, Nakajima のクーロンブランチ構成を用い、球面的 Cherednik 代数を3次元 $\mathcal{N}=4$ スーパー対称ゲージ理論におけるクーロンブランチとして解釈する。
• $G(\ell,1,n)$ の結果を $G(\ell,p,n)$ に拡張するため、特にDunkl-Opdamモジュールの分類に関してClifford理論を適用する。
• アフィングラスマンニアンの幾何と $G((t))$-バンドルのモジュライ空間を用いて、Ext群を計算し、球面的代数が線型演算子間のExt群の直和として特定されることを同定する。
• $t^{\ell/p}(\ell)$ が商 $V[[t]]/G[[t]]$ 上に作用する方法を用い、$\mathbb{Z}/p\mathbb{Z}$-作用を定義し、これにより定理5.5における同型写像を構成する。
• 主ガロア順序の理論を用いて、球面的 Cherednik 代数 $H^{\text{sph}}_p$ が主ガロア順序であることを示し、$G(\ell,1,n)$ の場合の結果を一般化する。
• 混合性とKoszul性を有する $\mathcal{O}$ 類の階数付き上げを活用し、分解数を自己双対基底の係数として解釈する。この構造を $G(\ell,p,n)$ に拡張する。

実験結果

リサーチクエスチョン

• RQ1 球面的 Cherednik 代数 $H^{\text{sph}}_p$ は、線状欠損を伴う3次元 $\mathcal{N}=4$ ゲージ理論においてどのようにクーロンブランチとして現れるか？
• RQ2 $H^{\text{sph}}_p$ は主ガロア順序であるか？また、$G(\ell,1,n)$ の場合への一般化はどのように行われるか？
• RQ3 $G(\ell,p,n)$ に対して、双対自己双対基底を有する階数付き $\mathcal{O}$ 類およびDunkl-Opdamモジュール類の上げを構成できるか？
• RQ4 有理 Cherednik 代数 $H_p$ の $G(\ell,p,n)$ に対する簡約なDunkl-Opdamモジュールの分類は何か？
• RQ5 Ext群 $\operatorname{Ext}^\bullet_\hbar(\mathfrak{p}_k, \mathfrak{p}_m)$ は、球面的 Cherednik 代数 $H^{\text{sph}}_p$ を直和として実現する方法は何か？

主な発見

• 球面的 Cherednik 代数 $H^{\text{sph}}_p$ は、非自明な線状欠損を伴う3次元 $\mathcal{N}=4$ ゲージ理論におけるクーロンブランチとして実現され、$G(\ell,1,n)$ の場合に一般化される。
• $H^{\text{sph}}_p$ は主ガロア順序であることが示され、$G(\ell,1,n)$ の場合の結果が拡張される。
• $G(\ell,p,n)$ に対して、$\mathcal{O}$ 類およびDunkl-Opdamモジュール類の階数付き上げが構成され、単純モジュールは双対自己双対基底の性質を示す。
• $G(\ell,p,n)$ の $\mathcal{O}$ 類における分解数は、階数付き上げの混合性とKoszul性のおかげで自己双対基底の係数として解釈される。
• Suzuki らおよびRouquier らの結果を拡張し、$G(\ell,p,n)$ の有理 Cherednik 代数に対する簡約なDunkl-Opdamモジュールの分類が初めて達成された。
• $\operatorname{Ext}^\bullet_\hbar(\mathfrak{p}_k, \mathfrak{p}_m)$ は $H^{\text{sph}}_p$ の $m-k$-次グレーディング成分と同型であり、全代数は $\bigoplus_{i=0}^{p-1} \operatorname{Ext}^\bullet_\hbar(\mathfrak{p}_0, \mathfrak{p}_i)$ と同型であり、乗法は引き戻し後の合成によって与えられる。