[论文解读] Lectures on Dunkl operators

Eric Opdam|ArXiv.org|Dec 1, 1998

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

一句话总结

本文系统地研究了三角型Dunkl算子及其在根系相关对称空间上的调和分析中的作用。通过超几何函数，结合互联系算子、留数计算与单位抛物型诱导方法，建立了Dunkl变换的Plancherel定理，证明该变换在对称空间上的 $ L^2 $-空间与残余子空间上配备正测度的 $ L^2 $-空间直和之间，构成等距同构。

ABSTRACT

These are the lecture notes of a series of lectures on Dunkl operators. We discuss the underlying algebraic structure of the degenerate double affine Hecke algebra, intertwiners and shift operators. We apply this to Macdonald theory. We also discuss the ``compact'' and ``noncompact'' spectral decomposition of these operators. In the attractive noncompact situation we classify the discrete eigenfunctions and compute their square norms.

研究动机与目标

• 通过三角型Dunkl算子研究根系相关超几何函数的调和分析。
• 通过残余子空间的谱分解分析，建立Dunkl变换的Plancherel定理。
• 阐明退化双仿射Hecke代数与互联系算子在构造超几何函数中的作用。
• 在参数 $ heta $ 满足特定条件时，证明超几何函数 $ F( heta,k;a) $ 是温和的或尖形式的。
• 利用单位抛物型诱导方法，证明在温和的残余子空间上，相对Plancherel测度为正且实解析。

提出的方法

• 使用保持 $ W $-不变性的三角型Dunkl算子作为交换的微分差分算子。
• 通过互联系算子 $ au $ 与平移原理构造超几何函数 $ ilde{ heta} o ilde{ heta} $。
• 应用Knizhnik-Zamolodchikov (KZ)联络，将非对称超几何函数与单值表示联系起来。
• 利用留数计算与平移根超平面的排列，分析谱测度的支撑与结构。
• 利用退化双仿射Hecke代数推导互联系元，并证明Macdonald的猜想。
• 通过特殊点与固定子群作用，对残余子空间上的正Plancherel测度进行归纳构造。

实验结果

研究问题

• RQ1 如何利用Dunkl算子与互联系算子构造根系的超几何函数？
• RQ2 在何种条件下，超几何函数 $ F( heta,k;a) $ 是温和的或尖形式的？
• RQ3 Plancherel测度在残余子空间上如何分解？为何其为正且实解析？
• RQ4 KZ联络在Dunkl算子谱理论与单值性、超几何函数之间的关系中起什么作用？
• RQ5 通过残余子空间的单位抛物型诱导，如何实现Plancherel测度的归纳构造？

主要发现

• 当 $ heta otin ext{supp}(Y_c) $ 时，超几何函数 $ F( heta,k;a) $ 在 $ A $ 上是温和的；当 $ heta = c $ 且 $ Y_c eq 0 $ 时，其为尖形式（指数衰减）。
• Plancherel测度 $ u_L( heta,k) $ 是 $ L^{ ext{temp}} $ 上的正实解析测度，表达式为 $ u_L( heta,k) = (c''( heta,k)c''(- heta,k))^{-1} u_L'( heta,k) $，前提是 $ ext{codim}(L) = \text{number of } \theta(\beta^\flat) = k_\beta - \text{number of } \theta(\beta^\flat) = 0 $。
• Dunkl变换的谱分解为等距同构：$ \tilde{\theta}: L^2(A, \theta_k da)^W \to \bigoplus_{L \text{ spherically tempered}} L^2(L^{\text{temp}}, \nu_L(k))^W $，其逆为 $ \tilde{\theta}^{-1} = \tilde{\theta} $。
• $ (c''(\theta,k)c''(-\theta,k))^{-1} $ 在 $ c_L + i\frak{a}^{*L} $ 上为正、有界且实解析，从而保证了Plancherel测度的正性。
• 残余子空间 $ L $ 由不等式中的等式关系刻画：$ \text{number of } \theta(\beta^\flat) = k_\beta \text{ 等于 } \text{number of } \theta(\beta^\flat) = 0 + \text{codim}(L) $，这确保了局部谱分布为零阶测度。
• 残余子空间的中心 $ c_L $ 是抛物子系统 $ R_L $ 的特殊点，且 $ -c_L \notin W(R_L)c_L $，这对Plancherel测度的正性至关重要。