[論文レビュー] Analytic Continuation of Hypergeometric Functions in the Resonant Case

Emanuel Scheidegger|arXiv (Cornell University)|Feb 3, 2016

Nonlinear Waves and Solitons参考文献 11被引用数 6

ひとこと要約

本稿では、超幾何関数の第3の正則特異点 $ z=1 $ における解析接続を、特に対数的解が生じる共鳴状態において、完全な解決策を提示する。メリン・バーンズ積分表現の再帰関係を用いて、鏡4次超曲面（$ n=3 $）および鏡5次超曲面（$ n=4 $）のピカール・フーチェ方程式に対する明示的な接続行列 $ M_{10} $ を導出し、ガンマ関数、超幾何級数、複素定数を含む正確な式を得る。

ABSTRACT

We perform the analytic continuation of solutions to the hypergeometric differential equation of order $n$ to the third regular singularity, usually denoted $z=1$, with the help of recurrences of their Mellin--Barnes integral representations. In the resonant case, there are necessarily logarithmic solutions. We apply the result to Picard-Fuchs equations of certain one--parameter families of Calabi--Yau manifolds, known as the mirror quartic and the mirror quintic.

研究の動機と目的

• 共鳴状態において対数的項が現れる $ z=1 $ における超幾何的解の解析接続という、長年の未解決問題を解くこと。
• 1パrameter族のカーバイ・ヤウ多様体から生じるピカール・フーチェ方程式に対する明示的な接続行列を提供すること。
• 標準的変換が失敗する $ n>2 $ の領域にまで既知の結果を拡張すること、特に共鳴状態において。
• 高階超幾何方程式の解析接続を簡略化するため、メリン・バーンズ積分表現と再帰関係を用いた体系的な手法を確立すること。

提案手法

• 著者らは、共鳴的指数に適した位相因子 $ \mathrm{e}^{i\pi(p-2)t} $ を用いたメリン・バーンズ積分による新しい解の基底 $ G_p(z) $ を定義する。
• $ n $ 階のメリン・バーンズ積分を低階に還元する再帰関係を導出し、解の帰納的構成を可能にする。
• この手法は、複素平面上の contour 積分とガンマ関数の積を含む積分表現に依存する。
• 解析接続 $ z=1 $ は、$ G_p(z) $ を $ (1-z) $ のべき級数に展開し、ネストされたメリン・バーンズ積分と留数計算を用いることで達成される。
• $ \Phi_0(z) $ の $ z=0 $ 近傍での展開と $ \Phi_1(1-z) $ の $ z=1 $ 近傍での級数を、新しい基底 $ G_p(z) $ を用いて一致させることで、接続行列 $ M_{10} $ を構成する。
• 特殊関数、特に一般化超幾何級数 $ {}_3F_2 $、ガンマ関数、ポッヒハマー記号を含む無限級数を用いて、行列成分の明示的表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 共鳴的特異点 $ z=1 $ における $ n $ 階超幾何関数の解析接続は、どのように達成できるか、特に対数的解が生じる状況において。
• RQ2 3つの正則特異点と最大ユニポテンシャルモノドロミーを持つカーバイ・ヤウ多様体のピカール・フーチェ方程式におけるモノドロミーおよび接続行列 $ M_{10} $ の構造は何か。
• RQ3 メリン・バーンズ積分表現を体系的に用いて、$ z=0 $ を超える解の解析接続を簡略化する再帰関係を導出できるか。
• RQ4 鏡4次超曲面および鏡5次超曲面族の $ M_{10} $ 行列成分の正確な値は何か、そして特殊関数を用いてどのように表現されるか。
• RQ5 行列成分に現れる無限級数に対して、閉形式の恒等式が存在するか、それとも数値的にしか評価できないか。

主な発見

• 鏡4次超曲面（$ n=3 $）では、$ A = \frac{\Gamma(1/8)\Gamma(3/8)}{\Gamma(5/8)\Gamma(7/8)} $ を含む成分を持つ接続行列 $ M_{10} $ が明示的に計算され、正確な変換 $ \Phi_0(z) = \Phi_1(1-z)M_{10} $ が得られる。
• 鏡5次超曲面（$ n=4 $）では、$ l_0, w_0, w_1, h_0, h_1, h_2, k_0, k_1, k_2 $ を含む複素成分を持つ行列 $ M_{10} $ が完全に導出され、それぞれが $ {}_3F_2 $ 超幾何級数の無限級数として表現される。
• $ h_m $、$ k_m $、$ w_m $ はポッヒハマー記号とガンマ関数の無限和として与えられ、$ \Im k_m = \pi i h_m $ が数値的に予想されている。
• $ G_3(z) $ の $ z=1 $ 近傍での展開は $ G_3(z) = k_0 + k_1(1-z) + k_2(1-z)^2 + O((1-z)^3) $ を与え、$ M_{10} $ の第3行の導出を可能にする。
• 位相依存積分と再帰関係を用いた基底 $ G_p(z) $ の構築により、共鳴状態を効果的に扱うことができた。
• 以前のモノドロミーに基づく導出（例：$ \Phi_{0,14}(z) = 2\pi i \cdot \Phi_{1,12}(y) $）を確認・拡張し、今や積分表現から導出可能であることが示された。