[论文解读] Reducibility of the polynomial representation of the degenerate double affine Hecke algebra

Pavel Etingof|ArXiv.org|Jun 28, 2007

Advanced Algebra and Geometry参考文献 6被引用 7

一句话总结

本文确定了参数 $ c $ 的取值，使得退化双 affine Hecke 代数（DAHA）或三角 Cherednik 代数的多项式表示是可约的。通过 Cherednik 代数的几何方法，证明了可约性恰好发生在 $ c $ 是与相同秩的根系子系统 $ R' \subset R $ 相关联的有理 Cherednik 代数的可约性点时，这一分类由 Borel-de Siebenthal 算法给出。该结果完全解决了三角情形下的可约性结构，并解释了此前在类型 $ B_n $、$ F_4 $ 和 $ G_2 $ 中令人费解的额外可约性线。该结果可推广至任意光滑代数簇上具有有限群作用的情形，并为有限维表示提供了范畴等价。

ABSTRACT

In this note we determine the values of parameters c for which the polynomial representation of the degenerate double affine Hecke algebra (DAHA), i.e. the trigonometric Cherednik algebra, is reducible. Namely, we show that c is a reducibility point for the polynomial representation of the trigonometric Cherednik algebra for a root system R if and only if it is a reducibility point for the rational Cherednik algebra for the Weyl group of some root subsystem R' of R of the same rank; such subsystems for any R are given by the well known Borel-de Siebenthal algorithm. This result has been proved by Cherednik using a case-by-case method.

研究动机与目标

• 确定退化 DAHA（即三角 Cherednik 代数）的多项式表示可约的全部参数 $ c $ 的集合。
• 澄清在非单连通根系（如 $ B_n $、$ F_4 $ 和 $ G_2 $）中出现的额外可约性点的来源，这些点在有理 Cherednik 代数设定中并不存在。
• 建立一个几何框架，将退化 DAHA 中的可约性与较小根系的有理 Cherednik 代数表示理论联系起来。
• 将可约性判别准则推广至任意光滑代数簇上具有有限群作用的情形，从而将结果的适用范围从环面扩展至更广的范畴。

提出的方法

• 本文采用 [E2] 中发展的 Cherednik 代数的几何方法，该方法从具有有限群作用的光滑簇构造 Cherednik 代数。
• 识别出集合 $ \Sigma \subset H $，即具有最大稳定子群的点（即群作用的中心化子的秩与李代数相同），这些点是有限的，并对应于等秩根系子系统。
• 对每个 $ x \in \Sigma $，稳定子群 $ G_x \subset G $ 作用于切空间 $ T_xX $，且从原始参数 $ c $ 导出反射上的参数函数 $ c_x $。
• 证明了多项式表示的可约性等价于 $ c_x $ 是有理 Cherednik 代数 $ H_{c_x}(G_x, T_xX) $ 的奇异参数，利用了 [DJO] 中已知的分类结果。
• 证明利用了这样一个事实：在单位根之外，退化与非退化 DAHA 的可约性问题等价，且几何构造使得所有情形可统一处理。
• 通过定义 Cherednik 代数的层 $ H_{1,c,0,X,G} $ 并分析表示的支集，实现了向任意光滑簇的推广。

实验结果

研究问题

• RQ1 对于哪些参数 $ c $ 值，退化 DAHA 的多项式表示是可约的？
• RQ2 为何在 $ B_n $、$ F_4 $ 和 $ G_2 $ 类型的三角设定中会出现额外的可约性线，而在 $ C_n $ 中不会？其根系理论根源是什么？
• RQ3 退化 DAHA 中多项式表示的可约性能否归约为较小根系的有理 Cherednik 代数表示理论？
• RQ4 [E2] 中的几何框架是否允许将可约性判别准则推广至环面和 Weyl 群之外？
• RQ5 退化 DAHA 的有限维表示与稳定子群 $ G_x $ 的有理 Cherednik 代数的有限维表示之间有何关系？

主要发现

• 退化 DAHA 的多项式表示可约当且仅当参数 $ c $ 是与相同秩的根系子系统 $ R' \subset R $ 相关联的有理 Cherednik 代数的可约性点。
• 三角情形下的可约性点完全由 Borel-de Siebenthal 算法分类，该算法对根系的等秩嵌入进行分类。
• 在类型 $ B_n $（$ n \geq 3 $）、$ F_4 $ 和 $ G_2 $ 中出现额外可约性线，而在 $ C_n $ 中不出现，原因在于特定的等秩根系子系统：$ D_n \subset B_n $、$ B_4, A_3 \times A_1 \subset F_4 $ 和 $ A_2 \subset G_2 $。
• 可约性条件等价于 $ c \in \bigcup_{x \in \Sigma} \text{Sing}_x(G,X) $，其中 $ \Sigma $ 是具有最大稳定子群的有限点集，$ \text{Sing}_x $ 表示在点 $ x $ 处局部有理 Cherednik 代数的奇异参数。
• 该结果可推广至任意光滑代数簇 $ X $ 上具有有限群作用 $ G $ 的情形，其中多项式表示的可约性等价于在点 $ x $ 处局部参数 $ c_x $ 是有理 Cherednik 代数的奇异参数。
• 退化 DAHA 的有限维表示与稳定子群 $ G_x $ 在点 $ x \in \Sigma $ 处的有理 Cherednik 代数的有限维表示的直和之间存在范畴等价，且该等价保持球对称性。