[论文解读] From Double Hecke algebra to Fourier transform

Ivan Cherednik, Viktor Ostrik|ArXiv.org|Nov 12, 2001

Mathematical Analysis and Transform Methods参考文献 22被引用 5

一句话总结

本文在 A1 根系的双重仿射 Hecke 代数（DAHA）上建立了 q-Fourier 变换，证明了其自对偶性，并对有限维不可约表示进行了完整分类。通过解析延拓、移位算子和 q-测度上的高斯积分，统一了 q-特殊函数、Macdonald 多项式与 p-进调和分析，关键成果包括一种新的自对偶 q-Fourier 变换以及与 p-进理论极限相容的 Plancherel 公式。

ABSTRACT

The paper contains a systematic theory of the one-dimensional Double Hecke algebra, including applications to the difference Fourier transform, Macdonald's polynomials, Gaussian sums at roots of unity, and Verlinde algebras. The main result is the classification of finite-dimensional representations for generic q and at roots of unity.

研究动机与目标

• 在 A1 根系的双重仿射 Hecke 代数（DAHA）上建立一个自对偶的 q-Fourier 变换。
• 对 DAHA 的所有有限维不可约表示进行分类，包括在傅里叶变换下不变的表示。
• 通过解析延拓和 q-积分，将 q-类变换（Hankel、Mellin、Harish-Chandra）与 p-进球函数统一起来。
• 利用移位算子和常数项泛函，将 Macdonald–Matsumoto 逆公式推广到非对称、非共轭的情形。
• 证明 q-Fourier 变换与极限 q → ∞ 的相容性，恢复经典 p-进公式，并揭示在 p-进情形下不存在的新自对偶结构。

提出的方法

• 以非对称 Macdonald 多项式为基础，在 DAHA 上构造 q-Fourier 变换。
• 应用常数项泛函 ⟨⋅⟩ 和移位算子，推导解析延拓与函数方程。
• 采用 q-积分技术，包括 Jackson 型求和与虚轴积分，以定义和分析 q-Fourier 变换。
• 提出一种不涉及 q ↦ q⁻¹ 共轭的新 q-Fourier 变换，推广了 Opdam 的早期工作。
• 通过配对 ⟨f, g⟩_pol = ⟨f Tw₀w₀(g(X⁻¹)) μ₀⟩ 和 ⟨f, g⟩_del = ∑(μ₁(π_b))⁻¹ f_b g_b 定义酉结构。
• 应用 Etingof 关于 q-测度上高斯积分的定理，推导 Appell 函数，完善分析图像。

实验结果

研究问题

• RQ1 如何在不共轭 q 到 q⁻¹ 的情况下定义 DAHA 上的 q-Fourier 变换，其自对偶性质是什么？
• RQ2 双重仿射 Hecke 代数的有限维不可约表示的完整分类是什么，特别是那些在傅里叶变换下不变的表示？
• RQ3 在极限 q → ∞ 下，q-Fourier 变换如何与经典的 p-进 Macdonald–Matsumoto 理论相关联？
• RQ4 移位算子在推导 q-Mellin 变换及其逆公式中起什么作用？
• RQ5 为何 q-理论允许一种在经典 p-进理论中不存在的新自对偶结构（例如 ⟨ε_b*, ε_c*γ⟩_del）？

主要发现

• q-Fourier 变换是自对偶的：两次应用可恢复原函数，其逆公式为 fb = t^{l(w₀)/2}(μ₁(π_b))⁻¹⟨bf, ε*⟩_pol。
• 构造了一种不共轭 q ↦ q⁻¹ 的新 q-Fourier 变换，推广了 Opdam 的工作，并以 Tw₀ 替代 w₀。
• Plancherel 公式 ⟨f, g⟩_del = t^{l(w₀)/2}⟨bf, bg⟩_pol 成立，且在 t = q^k，q > 0，k > -1/h 时为正定。
• 通过移位算子和常数项泛函的作用，完成了 DAHA 有限维不可约表示的分类，包括傅里叶不变表示。
• 在极限 q → ∞ 下，q-Fourier 变换恢复经典 Macdonald–Matsumoto 逆公式，且配对 ⟨·, ·⟩_del 收敛于 δ_{mn} t^{1−m}（当 m > 0）和 t^m（当 m ≤ 0）。
• 恒等式 ⟨ε_b*, ε_c*γ⟩_del = γ(π₀)²γ(π_b)⁻¹γ(π_c)⁻¹ε_c*(π_b)⟨1, γ⟩_del 揭示了一种新的、非 p-进的自对偶结构，这是经典理论中所没有的。