[论文解读] Diagonal Coinvariants and Double Affine Hecke Algebras

Ivan Cherednik|ArXiv.org|May 16, 2003

Advanced Algebra and Geometry参考文献 11被引用 4

一句话总结

该论文建立了根系的对角余不变量空间与双重仿射 Hecke 代数（DAHA）之间的直接代数联系，通过 q-DAHA 的有理极限，证明了秩为 n 的对角余不变量空间的维数为 (1 + h)^n。利用 Lusztig 型同构以及在单位根处 Weyl 代数的唯一不可约表示，该文为 Gordon 定理提供了新的代数证明，统一了 Verlinde 代数的推广与 k = -1 - 1/h 时 DAHA 表示理论。

ABSTRACT

We establish a q-generalization of Gordon's theorem that the space of diagonal coinvariants has a quotient identified with a perfect representation of the rational double affine Hecke algebra. It leads to a simple proof of his theorem and relates it to the Weyl algebras at roots of unity. The universal double affine Hecke algebra and the corresponding universal double Dunkl operators acting in noncommutative polynomials in terms of two sets of variables are introduced.

研究动机与目标

• 建立对根系秩为 n 的对角余不变量维数的直接代数证明，即 Haiman 猜想。
• 将 Gordon 对对角余不变量空间的构造从有理情形推广至 q-变形 DAHA 设置。
• 证明维数 (1 + h)^n 自然地源于在单位根处 Weyl 代数的唯一不可约表示。
• 引入并研究普遍双重仿射 Hecke 代数及其相关的普遍 Dunkl 算子。
• 阐明 Lusztig 型同构在联系 DAHA 的有限维表示及其有理退化形式之间的作用。

提出的方法

• 利用 Lusztig 型同构将 q-变形 DAHA 与其有理退化形式联系起来，从而实现表示论结果的转移。
• 应用如下事实：当 q 为 (1 + h) 次单位根时，秩为 n 的 Weyl 代数具有唯一的不可约表示，其维数为 (1 + h)^n。
• 将对角余不变量空间构造为双变量多项式代数 C[x, y] 关于由非仿射 Weyl 群的符号特征诱导的有理 DAHA 作用的商空间。
• 引入普遍 DAHA 及其在两组变量 X 和 Y 的非交换多项式上的作用的普遍 Dunkl 算子。
• 利用对合 ε 和 τ-自同构 τ±^x、τ±^y 探索 DAHA 结构中的对称性与对偶性。
• 利用 q 情形下的关系式 (4.5) 和 (4.6)，推导出生成元 Ti 和 πr 在双变量多项式上的显式作用公式。

实验结果

研究问题

• RQ1 如何利用 DAHA 表示理论证明 Haiman 关于对角余不变量维数的猜想？
• RQ2 在单位根处 Weyl 代数的唯一不可约表示与对角余不变量空间之间的确切联系是什么？
• RQ3 Lusztig 型同构如何在 q-DAHA 及其有理退化形式的表示理论之间建立桥梁？
• RQ4 普遍 DAHA 及其普遍 Dunkl 算子在实现对角余不变量空间中的作用是什么？
• RQ5 PSL3(Z) 的作用如何从双重仿射 braid 群的自同构群中导出，并与 KZB 方程相关联？

主要发现

• 对根系秩为 n 的对角余不变量空间的维数为 (1 + h)^n，从而证实了 Haiman 的猜想。
• 该空间作为双变量多项式代数 C[x, y] 关于有理 DAHA 作用的商空间而出现，其核对应于不含常数项的 W-不变多项式理想。
• 当 q 为 (1 + h) 次本原单位根时，秩为 n 的 Weyl 代数的唯一不可约表示的维数为 (1 + h)^n，与 Haiman 的数值完全一致。
• Lusztig 型同构通过将 q-DAHA 与有理退化形式联系起来，为 Gordon 定理提供了直接的代数证明。
• 普遍 DAHA 满足 PBW 型定理，并支持 X ↔ Y 对偶性的对称作用，从而推广了 DAHA 对偶性。
• 在双变量多项式设置下的普遍 Dunkl 算子为实现对角余不变量模及其自对偶性提供了自然框架。