[论文解读] 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

一句话总结

本文提出了一种新型的分圆有理 Cherednik 代数表述，明确地包含了 Dunkl-Opdam 子代数，从而实现了基于图示化与局部关系的分析方法。该研究直接给出了 KZ 赋函的代数构造，对 Dunkl-Opdam 模的简单模进行了分类，并建立了球面对称 Cherednik 代数与三维规范理论的 Coulomb 分支之间的自然同构——为 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.

研究动机与目标

• 提供一种新的、带有图示风格的分圆有理 Cherednik 代数表述，明确包含 Dunkl-Opdam 子代数。
• 在 Cherednik 代数中对 Dunkl-Opdam 子代数上的简单模进行分类，类比于 gl_n 中的 Gelfand-Tsetlin 模。
• 在任意特征为 0 的域上，通过代数方法直接构造 Knizhnik-Zamolodchikov (KZ) 赋函，避免使用分析方法。
• 在该框架下，建立球面对称 Cherednik 代数与三维 N=4 规范理论 Coulomb 分支之间的自然同构，阐明其几何与物理联系。
• 为将此框架推广至有理 Galois 有序代数，并研究正特征下的 Cherednik 代数奠定基础。

提出的方法

• 通过显式包含 Dunkl-Opdam 子代数的生成元与关系式，引入分圆 Cherednik 代数的新表述，关系式中涉及参数 $k$、$h_r$ 以及单位根 $\zeta$。
• 定义 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 代数与三维规范理论量子 Coulomb 代数之间的同构。
• 使用图示推理与陈类计算，验证 $e'He'$ 中移位元素的作用与 Coulomb 代数中施普伦格尔胞腔类的一致性。

实验结果

研究问题

• RQ1 如何重新表述分圆 Cherednik 代数，使其显式包含 Dunkl-Opdam 子代数，并与该子代数的结构相容？
• RQ2 在分圆 Cherednik 代数中，Dunkl-Opdam 子代数上的简单模如何分类？
• RQ3 能否利用此新表述，在任意特征为 0 的域上，以纯代数方式构造 Knizhnik-Zamolodchikov 赋函？
• RQ4 在此框架下，球面对称 Cherednik 代数与三维规范理论 Coulomb 代数之间是否存在自然同构？
• RQ5 该表述如何促进对代数表示理论及其与 Hilbert 算符簇和凝聚层联系的几何或图示化理解？

主要发现

• 新表述下的分圆 Cherednik 代数显式地展现了 Dunkl-Opdam 子代数，其生成元 $u_i$ 两两对易并构成一个多项式子代数。
• KZ 赋函被实现为 Dunkl-Opdam 子代数权空间的直和，从而在任意特征为 0 的域上实现了完全代数化的构造。
• Dunkl-Opdam 子代数上的简单模已被分类，其对应于 Cherednik 代数设定下的 Gelfand-Tsetlin 型模。
• 在该表述下，球面对称 Cherednik 代数与三维规范理论 Coulomb 代数之间的同构被证明是自然且显式的，从而解决了关键的几何猜想。
• $e'He'$ 中移位元素 $e'x_{\ell-1}^1 \sigma e'$ 的作用与仿射 Grassmannian 上典范丛的陈类一致，验证了其与量子 Coulomb 代数的同构性。
• 从 $e'He'$ 到量子 Coulomb 代数 $A'$ 的映射是满射，因为其通过单个反射的作用可生成所有 Schubert 胞腔的基本类。