[論文レビュー] Rarefied elliptic hypergeometric functions

V. P. Spiridonov|arXiv (Cornell University)|Sep 2, 2016

Mathematical functions and polynomials被引用数 5

ひとこと要約

本稿は、レンズ空間 $L(r,-1)$ に関連する複数のレアフィード・楕円型ベータ積分の正確な評価公式を証明し、タイプ I および II の $C_n$ 楕円型ベータ積分を一般化する。$p\to 0$ 限界を用いて、新たな $q$-超幾何恒等式のクラスを導出し、Euler-Gauss 超幾何関数のレアフィード・楕円型類似物の対称性変換を構築し、その構造を $C_n$ および $A_n$ ルート系へ拡張する。

ABSTRACT

Two exact evaluation formulae for multiple rarefied elliptic beta integrals related to the simplest lens space are proved. They generalize evaluations of the type I and II elliptic beta integrals attached to the root system $C_n$. In a special $n=1$ case, the simplest $p o 0$ limit is shown to lead to a new class of $q$-hypergeometric identities. Symmetries of a rarefied elliptic analogue of the Euler-Gauss hypergeometric function are described and the respective generalization of the hypergeometric equation is constructed. Some extensions of the latter function to $C_n$ and $A_n$ root systems and corresponding symmetry transformations are considered. An application of the rarefied type II $C_n$ elliptic hypergeometric function to some eigenvalue problems is briefly discussed.

研究の動機と目的

• レンズ空間 $L(r,-1)$ に関連するレアフィード・楕円型超幾何積分の正確な評価公式を確立すること。
• レアフィード構造を介して離散的パラメータを導入することにより、タイプ I および II の $C_n$ 楕円型ベータ積分を一般化すること。
• これらの積分の $p\to 0$ 限界を検討し、新たな $q$-超幾何恒等式を導出すること。
• Euler-Gauss 超幾何関数のレアフィード・楕円型類似物を構築し、その対称性構造を明らかにすること。
• $C_n$ および $A_n$ ルート系へ対称性フレームワークを拡張し、固有値問題を調査すること。

提案手法

• 留数計算と代数的還元を用いて、レアフィード・楕円型ベータ積分の正確な評価公式を証明する。
• 標準的 $\Gamma(z;p,q)$ の一般化として、レアフィード・楕円型ガンマ関数 $\Gamma^{(r)}(z,m;p,q)$ を導入する。
• レアフィード積分の $p\to 0$ 限界を適用し、新たな $q$-超幾何恒等式を導出する。
• Euler-Gauss 超幾何関数のレアフィード版を構築し、その対称性変換を導出する。
• $W(E_7)$ リーマン群作用を用いて、離散的パラメータ空間における対称性を定義する。
• 対称性変換と積分恒等式を用いて、$C_n$ および $A_n$ ルート系へフレームワークを拡張する。

実験結果

リサーチクエスチョン

• RQ1 タイプ I および II の $C_n$ 楕円型ベータ積分は、どのようにレンズ空間 $L(r,-1)$ 上のレアフィード構造へ一般化可能か？
• RQ2 $p\to 0$ 限界におけるレアフィード・楕円型超幾何関数の結果として、どのような新たな $q$-超幾何恒等式が得られるか？
• RQ3 Euler-Gauss 超幾何関数の対称性変換は、$C_n$ および $A_n$ ルート系上でのレアフィード・楕円型設定へどのように一般化可能か？
• RQ4 離散変数 $\epsilon$ は、レンズ空間上での楕円型超幾何積分の対称性を変形する役割を果たすか？
• RQ5 レアフィード・楕円型超幾何関数フレームワークは、一般のレンズ空間 $L(r,k)$ へ拡張可能であり、$3d$ 分割関数への応用は可能か？

主な発見

• レンズ空間 $L(r,-1)$ 上でのタイプ I および II のレアフィード・楕円型ベータ積分について、正確な評価公式が証明され、標準的 $C_n$ 楕円型ベータ積分が一般化された。
• $p\to 0$ 限界におけるレアフィード・タイプ II $C_n$ 積分から、従来未知であった新たなクラスの $q$-超幾何恒等式が得られた。
• Euler-Gauss 超幾何関数のレアフィード・楕円型類似物が構築され、その対称性群が $W(E_7)$ リーマン群と同型であることが示された。
• 一般化された積分変換を用いて、レアフィード超幾何関数の対称性構造が $C_n$ および $A_n$ ルート系へ拡張された。
• レアフィード・楕円型超幾何関数が微分作用素 $\mathcal{D}$ の固有関数であり、特定の固有値条件を満たすことが示された。
• フレームワークは、一般のレンズ空間 $L(r,k)$ および退化限界による $3d$ スーパーコンフォーマルインデックスへの自然な拡張を示唆している。