[論文レビュー] Lectures on Dunkl operators

Eric Opdam|ArXiv.org|Dec 1, 1998

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

ひとこと要約

本稿は、根系に付随する対称空間における調和解析における三角関数的Dunkl作用素とその役割について包括的な取り扱いを提供する。超幾何関数を用いて、相互作用作用素、留数計算、ユニタリ放物的誘導を用いて、Dunkl変換のプランシュレ定理を確立し、対称空間上の$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変換のプランシュレ定理を確立すること。
• 退化した二重アフィンヘッケ代数と相互作用作用素が超幾何関数を構成する上で果たす役割を明確化すること。
• パラメータ$ \theta $の特定の条件下で、超幾何関数$ F(\theta,k;a) $がテンパードまたはカスピダルであることを証明すること。
• ユニタリ放物的誘導を用いて、テンパード残渣部分空間上で相対プランシュレ測度が正で実解析的であることを示すこと。

提案手法

• W-不変性を保つ可換な微分差分作用素としての三角関数的Dunkl作用素の使用。
• 相互作用作用素$ \tau $とシフト原理を用いた超幾何関数$ \tilde{\theta} \to \tilde{\theta} $の構成。
• Knizhnik-Zamolodchikov (KZ)接続を用いて、非対称超幾何関数とモノドロミー表現を関連付ける。
• 留数計算とシフトされた根超平面の配置を用いて、スペクトル測度の台と構造を分析する。
• 退化した二重アフィンヘッケ代数を用いて、相互作用要素を導出し、Macdonaldの予想を証明する。
• 特徴的な点と固定子群作用を用いた、残渣部分空間上の正のプランシュレ測度の帰納的構成。

実験結果

リサーチクエスチョン

• RQ1 どのようにDunkl作用素と相互作用作用素を用いて、根系のための超幾何関数を構成できるか？
• RQ2 超幾何関数$ F(\theta,k;a) $がテンパードまたはカスピダルであることを保証する条件は何か？
• RQ3 プランシュレ測度は残渣部分空間上でどのように分解され、なぜ正で実解析的であるのか？
• RQ4 KZ接続は、Dunkl作用素のスペクトル理論がモノドロミーと超幾何関数とどのように関連するかを示すか？
• RQ5 残渣部分空間を介したユニタリ放物的誘導は、プランシュレ測度の帰納的構成をどのように可能にするか？

主な発見

• 超幾何関数$ F(\theta,k;a) $は、$ \theta \notin \text{supp}(Y_c) $のとき$ A $上でテンパードであり、$ \theta = c $かつ$ Y_c \neq 0 $のときカスピダル（指数的減衰）である。
• プランシュレ測度$ \nu_L(\theta,k) $は、$ L^{\text{temp}} $上で正で実解析的であり、$ \nu_L(\theta,k) = (c''(\theta,k)c''(-\theta,k))^{-1} \nu_L'(\theta,k) $で与えられる。ただし、$ \text{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} $上で正で有界かつ実解析的であり、プランシュレ測度の正性を保証する。
• 残渣部分空間$ L $は、不等式$ \text{number of } \theta(\beta^\flat) = k_\beta \text{ equals } \text{number of } \theta(\beta^\flat) = 0 + \text{codim}(L) $における等号成立によって特徴づけられ、これにより局所的スペクトル分布が0次測度であることが保証される。
• 残渣部分空間の中心$ c_L $は、部分系$ R_L $の特徴的な点であり、$ -c_L \notin W(R_L)c_L $を満たす。これはプランシュレ測度の正性にとって不可欠である。