[論文レビュー] Spherical transform and Jacobi polynomials on root systems of type BC

Genkai Zhang|ArXiv.org|Mar 31, 2005

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

ひとこと要約

本稿は、$ \mathbb{R}^r $ 内の型BCの根系に対して、正準重み関数 $ f_{-2\nu}(t) $ を導入し、その球面変換を計算し、Bernstein-Sato型の公式を確立する。Jacobi型関数 $ H_{\nu,\eta}(t) = f_{-2\nu}(t)P_{\nu,\eta}(\tanh t) $ の球面変換が、$ \widetilde{f_{-2\nu}}(\lambda) \cdot q_{\nu,\eta}(\lambda) $ で与えられることを示し、ここで $ q_{\nu,\eta}(\lambda) $ はMacdonald-Koornwinder多項式である。これにより、Koornwinderのランク1結果が高ランクの根系へ一般化される。

ABSTRACT

Let $R$ be a root system of type BC in $\mathfrak a=\mathbb R^r$ of general positive multiplicity. We introduce certain canonical weight function on $\mathbb R^r$ which in the case of symmetric domains corresponds to the integral kernel of the Berezin transform. We compute its spherical transform and prove certain Bernstein-Sato type formula. This generalizes earlier work of Unterberger-Upmeier, van Dijk-Pevsner, Neretin and the author. Associated to the weight functions there are Heckman-Opdam orthogonal polynomials of Jacobi type on the compact torus, after a change of variables they form an orthogonal system on the non-compact space $\mathfrak a$. We consider their spherical transform and prove that they are the Macdonald-Koornwinder polynomials multiplied by the spherical transform of the canonical weight function. For rank one case this was proved earlier by Koornwinder.

研究の動機と目的

• 型BCの根系に対して、$ \mathfrak{a} = \mathbb{R}^r $ 上に正準重み関数 $ f_{-2\nu}(t) $ を構成し、対称領域上のBerezin変換カーネルを一般化すること。
• 正準重み関数 $ f_{-2\nu}(t) $ の球面変換を計算し、この重み関数に対してBernstein-Sato型の公式を確立すること。
• $ f_{-2\nu}(t) $ とHeckman-OpdamのJacobi多項式 $ P_{\nu,\eta}(\tanh t) $ の積の球面変換が、Macdonald-Koornwinder多項式に比例することを証明すること。
• 球面変換を通じて、コンパクトトーラス上のCherednik作用素のスペクトル理論と非コンパクト対称空間の理論を統一すること。
• ユークリッドフーリエ解析の枠組みを模倣し、Hermite型関数と直交多項式の役割を、型BCの非コンパクト対称空間へ拡張すること。

提案手法

• 有界対称領域上のBerezin変換カーネルに着想を得て、$ \mathfrak{a} = \mathbb{R}^r $ 上に正準重み関数 $ f_{-2\nu}(t) $ を導入する。
• Opdam-Cherednik変換とPlancherelの公式を用い、変数変換 $ x_j = \tanh t_j $ を通じて、$ \mathfrak{a} $ 上のスペクトル分解をコンパクトトーラス $ \mathbb{T} $ に結びつける。
• Heckman-Opdam理論に従い、コンパクトトーラス $ \mathbb{T} $ 上のJacobi多項式 $ P_{\nu,\eta} $ を用い、$ H_{\nu,\eta}(t) = f_{-2\nu}(t) P_{\nu,\eta}(\tanh t) $ により $ \mathfrak{a} $ 上の関数 $ H_{\nu,\eta}(t) $ に変換する。
• 正準重み関数の球面変換 $ \widetilde{f_{-2\nu}}(\lambda) $ を計算し、それに付随するBernstein-Sato型の恒等式を証明する。
• $ H_{\nu,\eta}(t) $ の球面変換が $ \widetilde{f_{-2\nu}}(\lambda) \cdot q_{\nu,\eta}(\lambda) $ で与えられることを確立し、ここで $ q_{\nu,\eta}(\lambda) $ は $ \widetilde{f_{-2\nu}}(\lambda)^2 |c(\lambda)|^{-2} d\lambda $ に関する $ W $-不変多項式である。
• Macdonald-Koornwinder多項式の一意性を用い、$ q_{\nu,\eta}(\lambda) $ が $ p^{MK}_{\eta}(\lambda) $ の定数倍に一致することを同定し、スペクトル対応を完成させる。

実験結果

リサーチクエスチョン

• RQ1 型BCの根系に対して、$ \mathfrak{a} = \mathbb{R}^r $ 上に正準重み関数 $ f_{-2\nu}(t) $ をどのように定義すれば、Berezin変換カーネルを一般化できるか。
• RQ2 この正準重み関数の球面変換 $ \widetilde{f_{-2\nu}}(\lambda) $ は何か。また、Bernstein-Sato型の恒等式を満たすか。
• RQ3 $ f_{-2\nu}(t) $ とHeckman-OpdamのJacobi多項式 $ P_{\nu,\eta}(\tanh t) $ の積の球面変換は、$ i\mathfrak{a}^* $ 上の既知の直交多項式とどのように関係するか。
• RQ4 $ L^2(\mathfrak{a})^W $ のスペクトル分解は、関数 $ H_{\nu,\eta}(t) = f_{-2\nu}(t) P_{\nu,\eta}(\tanh t) $ を用いて実現可能か。その球面変換の構造はいかなるものか。
• RQ5 得られる直交系 $ \mathfrak{a} $ 上およびその変換が、ユークリッドフーリエ解析におけるHermite関数と多項式の役割をどの程度一般化するか。

主な発見

• 正準重み関数 $ f_{-2\nu}(t) $ の球面変換を明示的に計算し、それに対してBernstein-Sato型の公式が成り立つことが示され、対称領域に関する先行結果が一般化された。
• $ H_{\nu,\eta}(t) = f_{-2\nu}(t) P_{\nu,\eta}(\tanh t) $ は、$ L^2(\mathfrak{a})^W $ の正規直交基底をなす。そのノルムは、トーラス上での対応するJacobi多項式の $ L^2 $ ノルムに等しい。
• $ H_{\nu,\eta}(t) $ の球面変換は $ \widetilde{f_{-2\nu}}(\lambda) \cdot q_{\nu,\eta}(\lambda) $ で与えられ、ここで $ q_{\nu,\eta}(\lambda) $ は $ W $-不変多項式である。
• $ q_{\nu,\eta}(\lambda) $ は、$ i\mathfrak{a}^* $ 上の測度 $ \widetilde{f_{-2\nu}}(\lambda)^2 |c(\lambda)|^{-2} d\lambda $ に関して直交し、その最高次項はMacdonald-Koornwinder多項式と一致する。
• 一意性より、$ q_{\nu,\eta}(\lambda) $ はMacdonald-Koornwinder多項式 $ p^{MK}_{\eta}(\lambda) $ の定数倍に一致する。これにより、スペクトル対応が確立された。
• 本構成により、Koornwinderのランク1結果が任意のランク $ r $ へ一般化され、$ \mathfrak{a} $ 上に明示的に計算可能な球面変換を持つ完全な直交系が得られた。