[論文レビュー] Limit transition between hypergeometric functions of type BC and type A

Margit Rösler, Tom H. Koornwinder+1 more|arXiv (Cornell University)|Jul 2, 2012

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

ひとこと要約

本稿は、重みパラメータ $k_1 + k_2 \to \infty$ および $k_1/k_2 \to \infty$ の下で、型BCのヘックマン＝オプダム超幾何関数から型Aのものへの極限遷移を確立し、無限次元のグラスマン多様体の球関数へ収束することを示している。この結果は、ジャック多項式展開とフラーゲン＝リンデルーフの原理を用いて導出され、オルシャンスキーの球関数対および $52, 43, 48$ 上の対称空間への応用を含む。

ABSTRACT

Let $F_{BC}(λ,k;t)$ be the Heckman-Opdam hypergeometric function of type BC with multiplicities $k=(k_1,k_2,k_3)$ and weighted half sum $ρ(k)$ of positive roots. We prove that $F_{BC}(λ+ρ(k),k;t)$ converges for $k_1+k_2 o\infty$ and $k_1/k_2 o \infty$ to a function of type A for $t\in\b R^n$ and $λ\in\b C^n$. This limit is obtained from a corresponding result for Jacobi polynomials of type BC, which is proven for a slightly more general limit behavior of the multiplicities, using an explicit representation of Jacobi polynomials in terms of Jack polynomials. Our limits include limit transitions for the spherical functions of non-compact Grassmann manifolds over one of the fields $\mathbb F= \mathbb R, \mathbb C, \mathbb H$ when the rank is fixed and the dimension tends to infinity. The limit functions turn out to be exactly the spherical functions of the corresponding infinite dimensional Grassmann manifold in the sense of Olshanski.

研究の動機と目的

• 特定の重みパラメータの漸近的挙動の下で、型BCのヘックマン＝オプダム超幾何関数から型Aへの厳密な極限遷移を確立すること。
• この極限をスペクトルパラメータ $\lambda$ に拡張し、全超幾何関数 $F_{BC}(\lambda + \rho(k), k; t)$ に対する収束結果を導出すること。
• 極限関数がオルシャンスキーの意味での無限次元グラスマン多様体の球関数とどのように関係するかを特定すること。
• ヤコビ多項式に関する既知の結果を一般化し、明示的な多項式表現を用いて超幾何関数のレベルへ拡張すること。
• 特に、次元が増大し、ランクが固定される対称空間に対する根系超幾何理論における極限遷移を統一的に扱う枠組みを提供すること。

提案手法

• スキーとハのアイデアに基づき、型BCヤコビ多項式をジャック多項式の形で明示的に表現すること。
• フラーゲン＝リンデルーフの原理を応用し、$\lambda$ における点ごとの収束を $\mathbb{C}^n$ 上の局所一様収束に拡張すること。
• 超幾何関数に対する鋭い漸近的推定値を用い、オプダムとシャピラによる以前の境界を改善すること。
• 極限を、$n \to \infty$ のとき原点におけるディラック測度に弱収束する単位球板 $B_q$ 上の確率測度の弱収束に還元すること。
• 対称空間上の球関数の積分公式を用い、対角行列への制限によってオルシャンスキーの球関数を同定すること。
• 文献[R]の命題2.2を応用し、行列積分を書き直し、球関数の極限積分公式を導出すること。

実験結果

リサーチクエスチョン

• RQ1 重みパラメータ $k_1 + k_2 \to \infty$ および $k_1/k_2 \to \infty$ の下で、型BCのヘックマン＝オプダム超幾何関数はどのように型Aの関数に収束するか？
• RQ2 この極限下で、スペクトルパラメータ $\lambda$ における $F_{BC}(\lambda + \rho(k), k; t)$ の正確な極限形は何か？
• RQ3 極限関数は無限次元グラスマン多様体上の球関数とどのように関係するか？
• RQ4 ヤコビ多項式の極限遷移を、解析接続および関数的推定を用いて全超幾何関数へ拡張できるか？
• RQ5 ジャック多項式展開は、型BC超幾何関数の漸近的解析を可能にする役割を果たすか？

主な発見

• 局所一様収束が $\lambda \in \mathbb{C}^n$ 上で成り立つ：$$\lim_{k_1 + k_2 \to \infty,\, k_1/k_2 \to \infty} F_{BC}(\lambda + \rho(k), k; t) = \prod_{i=1}^n \left(\cosh^2 \frac{t_i}{2}\right)^{\sum_{i=1}^n \lambda_i / n} \cdot F_A\left(\pi(\lambda) + \rho_A(k_3), k_3; \pi(\log \cosh^2 \frac{t}{2})\right)$$
• 極限関数は、$52, 43, 48$ に対応する無限次元グラスマン多様体 $GL(n,\mathbb{F})/U(n,\mathbb{F})$ の球関数として特定され、オルシャンスキーの枠組みと整合的である。
• 重みパラメータ $k_1 + k_2 \to \infty$、$k_1/k_2 \to a \in [0, \infty]$ の下で、ヤコビ多項式の極限は、$$P_\lambda^{BC}(k; t) \to 4^{| one|} \cdot j_\lambda^{k_3}(x(t))$$ に収束し、ここで $x_i(t) = \gamma_a + \sinh^2(t_i/2)$ および $\gamma_a = (a+1)/(a+2)$ である。
• 有限ランクのグラスマン多様体 $G_n/K_n$ 上の球関数が、$G_\infty/K_\infty$ 上の球関数に収束することが確立され、すべてのオルシャンスキー球関数がこのような極限として得られる。
• 極限挙動は、$n \to \infty$ のとき、$c_n^{-1} \Delta(I - w^*w)^{(n+q)d/2 - \gamma} dw$ が単位球板 $B_q$ 上で $\delta_0$ に弱収束することと同値であることが示された。
• $GL(n,\mathbb{F})/U(n,\mathbb{F})$ の球関数が、無限次元極限空間のオルシャンスキー球関数と一対一対応することを示した。