[論文レビュー] A limit transition from the Heckman-Opdam hypergeometric functions to the Whittaker functions associated with root systems

Nobukazu Shimeno|arXiv (Cornell University)|Dec 19, 2008

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

ひとこと要約

本稿は、分岐半単純リー群上の径数Whittaker関数へのHeckman-Opdam超幾何関数の極限遷移を、多重度パラメータのスケーリングと大規模パラメータ極限によって確立する。特定のパrameter空間のスケーリングの下で、径数部分の1次Whittaker関数が、Heckman-Opdam超幾何関数の漸近的極限として現れることを証明し、超幾何関数からマクドナルド関数への既知のランク1極限を、より高ランクの分岐半単純リー群へ一般化する。

ABSTRACT

We prove that the radial part of the class one Whittaker function on a split semisimple Lie group can be obtained as an appropriate limit of the Heckman-Opdam hypergeometric function.

研究の動機と目的

• 根系に関連するWhittaker関数へのHeckman-Opdam超幾何関数からの厳密な極限遷移を確立すること。
• 既知のランク1極限遷移（例えば、ガウス超幾何関数からマクドナルド関数への極限）を、より高ランクの分岐半単純リー群へ一般化すること。
• 分岐半単純リー群上の1次Whittaker関数の径数部分が、適切なパラメータスケーリングの下でHeckman-Opdam超幾何関数の極限として現れることを示すこと。
• 極限遷移を通じて、有理型Calogero-Moser模型の固有関数とToda格子の固有関数の関係を統一的に理解する枠組みを提供すること。

提案手法

• 本稿は、すべての $ \beta \notin \text{supp}(l) $ に対して $ k_{ ext{M}}(\beta) = M $ とし、$ M \to \infty $ の極限で、Heckman-Opdam超幾何関数を変形するパラメータスケーリングを用いる。
• 群変数に $ a = a_M $ の変数変換を適用し、$ \log a_M = M \cdot \log a $ とすることで、超幾何関数内の群変数をスケーリングする。
• 超幾何関数の漸近的挙動は、$ F(\lambda, k_M; a_M) $ の級数展開と係数 $ \Gamma_\mu(\lambda, k_M) $ を用いて分析され、ガンマ関数の漸近挙動を用いてこれらの係数の成長度を推定する。
• 正規化およびWhittaker関数の構造を符号化する $ \tilde{c} $-関数と $ \tilde{\mathbf{c}} $-関数を用いることで、極限がWhittaker関数に収束することを示す。
• 証明は、Whittaker関数が中程度成長性を満たす解として一意に特徴付けられることに依拠しており、極限関数も同様の性質を継承する。
• 重要なステップは、スケーリングされた超幾何関数の極限が、$ \Psi_T(w\lambda; a) $ の展開において、$ f(\lambda) $ とWhittaker関数の正規化 $ \tilde{\mathbf{c}}(\lambda) $ を含む係数と一致することを示すことである。

実験結果

リサーチクエスチョン

• RQ1 分岐半単純リー群上の1次Whittaker関数の径数部分は、Heckman-Opdam超幾何関数の極限として得られるか？
• RQ2 この極限遷移を実現するための、多重度パラメータおよび群変数の正確な漸近的スケーリングは何か？
• RQ3 有理型Calogero-Moser模型（Heckman-Opdam）からToda模型（Whittaker）への極限遷移は、ランク1を越えてどのように一般化されるか？
• RQ4 $ \tilde{c} $-関数およびその漸近的挙動がこの極限プロセスにおいて果たす役割は何か？
• RQ5 得られるWhittaker関数は、極限において中程度成長性を満たす唯一の解であるか？ そして、元の超幾何関数の一意性とどのように関係するか？

主な発見

• 分岐半単純リー群上の1次Whittaker関数の径数部分は、多重度パラメータおよび群変数の適切なスケーリングの下で、$ M \to \infty $ の極限において、Heckman-Opdam超幾何関数の極限として得られる。
• 極限遷移は明示的に $ \lim_{M\to\infty} \delta(k;a_M)^{1/2} \tilde{c}(\rho(k),k) \prod_{\alpha\in R_+} \Gamma(k_M(\alpha)) \, F(\lambda,k_M;a_M) = \tilde{\mathbf{c}}(\rho) f(\lambda) a^{-\rho} W(\lambda,\psi;a) $ で与えられ、ここで $ f(\lambda) $ はガンマ関数の積、$ W $ はWhittaker関数である。
• 極限における $ \tilde{c} $-関数の漸近的挙動は、$ \tilde{c}(\lambda,k_M) \sim f(\lambda) \tilde{\mathbf{c}}(\lambda) \prod_{\alpha\in R_+} \frac{e^{-(\lambda,\alpha^\vee)M}}{\Gamma(k_M(\alpha))} $ と表され、収束性にとって不可欠である。
• 極限関数は $ \lambda $ に関して $ W $-不変であり、極限における $ \Psi_T(w\lambda;a) $ の係数はWhittaker関数の展開と一致し、同定が確認される。
• ランク1の場合、この結果は既知の極限に還元される：$ \lim_{k\to\infty} k^{-1/2} 2^{-k} \sinh^k(-t+M) F(\lambda,k;a_{-t+M}) = \frac{1}{\sqrt{\pi}} K_\lambda(e^t/2) $、ここで $ K_\lambda $ はマクドナルド関数である。
• 本稿は、Whittaker関数が極限において中程度成長性を満たす唯一の解であることを確認し、極限遷移がこの一意性の性質を保つことを示している。