[论文解读] Non-semisimple Macdonald polynomials

Ivan Cherednik|ArXiv.org|Sep 12, 2007

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

一句话总结

本文利用双 affine Hecke 代数（DAHA）技巧，发展了一套非半单的 Macdonald 多项式理论，聚焦于通用 q 情况下多项式表示的不可约性与半单性。通过引入广义互换算子与仿射指数，分析了赋值配对的根（radical），证明了当且仅当某些仿射指数为零时，该表示是半单的，并基于根系数据与分圆参数，推导出 t 与 q 的显式条件。

ABSTRACT

The paper is mainly devoted to the irreducibility of the polynomial representation of the double affine Hecke algebra for an arbitrary reduced root systems and generic "central charge" q. The technique of intertwiners in the non-semisimple variant is the main tool. We introduce Macdonald's non-semisimple polynomials and use them to analyze the reducibility of the polynomial representation in terms of the affine exponents, counterparts of the classical Coxeter exponents. The focus is on the principal aspects of the technique of intertwiners, including related problems in the theory of reduced decompositions on affine Weyl groups.

研究动机与目标

• 通过 DAHA 构建适用于任意约化根系的非半单 Macdonald 多项式构造理论。
• 确定在通用 q 情况下，DAHA 的多项式表示何时可约或半单的条件。
• 通过引入广义互换算子与特征空间，推广 DAHA 中最高权向量的理论。
• 基于仿射指数与根系数据，提供一个半单性的组合准则。
• 为与几何方法互补的非半单模理论奠定基础，作为 DAHA 表示理论中几何方法的补充。

提出的方法

• 利用 DAHA 在 Q[q±1/m, t±1/2] 上的多项式表示 V，其生成元 X 与 Y 通过平移算子实现作用。
• 通过 τ+ 自同态与仿射 Weyl 群 cW 的结构，定义广义互换算子 Ψb 与 Ψi。
• 应用约化解与 Coxeter 变换理论，定义 λ(bw) 与集合 eR0，该集合控制赋值配对的根。
• 采用平移算子与有理极限技术，计算非对称 Macdonald 多项式的主值。
• 通过集合 eR−1+[−] 分析 V 的根，该集合决定了表示是否可约。
• 利用仿射对偶性与 q↔q′-对偶性，将 Poincaré 多项式 ΠbR 表示为对称形式，从而与局部化函子建立联系。

实验结果

研究问题

• RQ1 在 t 与 q 满足何种条件时，DAHA 的多项式表示 V 在通用 q 情况下是半单的？
• RQ2 如何利用仿射指数与根系数据表征 V 上赋值配对的根？
• RQ3 广义互换算子与互换算子链在确定 V 及其子模结构方面起什么作用？
• RQ4 是否可以在不依赖几何或局部化方法的前提下，确立 V/Rad 的不可约性？
• RQ5 仿射指数 eR0、eR1 与 eR−1 如何与 DAHA 模的解析类型及谱性质相关联？

主要发现

• 当且仅当 eR−1+[−] = ∅ 时，多项式表示 V 是半单的，这恰好发生在 tm_sht ∉ q−1−Z+ 对所有 1 < m ≤ n 成立时。
• 对于 eG2 情况，V 是半单的当且仅当 t2g_sht = q−2s 对所有 1 ≤ g < n 与 s ∈ Z+ 成立，且当 Rad = {0} 时，(j, 2g) = 1 且 j 为奇数是可约性的必要且充分条件。
• 在 n = 3, g = 2, s = 0, j = 1 的情况下，表示 V 是可约的，且根非平凡，验证了通用准则。
• Poincaré 多项式 ΠbR 具有 q ↔ exp(2πi) 对称形式（12.41），暗示可将局部化函子推广至一般 q, t 理论。
• 当且仅当集合 eR1+[−] 为空时，V 的根为平凡（即 V 是半单的），这等价于 Poincaré 公式分母中某些 t 的幂次非零。
• 广义互换算子 Ψb 与互换算子链为不可约性提供了构造性方法，避免了对几何或单值性方法的依赖。