[論文レビュー] Intersection numbers and twisted period relations for the generalized hypergeometric function ${}_{m+1} F_m$

Yoshiaki Gotō|arXiv (Cornell University)|Jun 29, 2014

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

ひとこと要約

本稿では、一般化超幾何関数 ${}_{m+1}F_m$ のねじれた周期関係を、ねじれた（同）ホモロジー群と交差理論を用いて確立する。基本的解に対応するねじれたサイクルを構成し、特異的領域の解消を用いてそれらの交差数を計算することで、${}_{m+1}F_m$ 級数間の明示的な二次関係が導かれる。対角的交差行列により、関係は閉形式の超幾何関数およびガンマ係数の積に簡略化される。

ABSTRACT

We study the generalized hypergeometric function ${}_{m+1} F_m$ and the differential equation ${}_{m+1}E_m$ satisfied by it. We use the twisted (co)homology groups associated with an integral representation of Euler type. We evaluate the intersection numbers of some twisted cocycles which are defined as $m$-th exterior products of logarithmic $1$-forms. We also give twisted cycles corresponding to the series solutions to ${}_{m+1}E_m$, and evaluate the intersection numbers of them. These intersection numbers of the twisted (co)cycles lead twisted period relations which give relations for two fundamental systems of solutions to ${}_{m+1}E_m$.

研究の動機と目的

• ねじれた（同）ホモロジーにおける交差理論を用いて、一般化超幾何関数 ${}_{m+1}F_m$ のねじれた周期関係を確立すること。
• Euler型積分表現の非正規交差的特異的領域を段階的ブロー・アップと組合せ的除数構造を用いて解消すること。
• ${}_{m+1}E_m$ 微分方程式の $m+1$ 個の基本的解に対応する明示的ねじれたサイクルを構成すること。
• これらのサイクルおよびその双対の交差数を計算し、${}_{m+1}F_m$ 級数間の二次関係を導出すること。

提案手法

• 多価関数 $u$ が $\mathbb{C}^m$ から特異的除数を除いた領域で定義される ${}_{m+1}F_m$ のEuler型積分表現を用いる。
• 対数微分形式の $m$ 重外積に係数をとったねじれた（同）ホモロジー理論を適用し、局所系統 $\nabla_\omega$ を焦点とする。
• 完全な解消における除数の組合せ的構造を活用し、被積分関数の特異的領域を体系的なブロー・アップ過程で解消する。
• 有界な部屋と非標準的正則化を用いて、${}_{m+1}E_m$ の $m+1$ 個の解に対応するねじれたサイクル $\Delta_k$ 及びその双対 $\Delta_k^\vee$ を構成する。
• 文献[12]の公式を用いて交差数 $I_h(\Delta_k, \Delta_l^\vee)$ を計算し、非対角項が消えること、対角項が $\alpha_j = e^{2\pi i a_j}$, $\beta_j = e^{2\pi i b_j}$ の関数として明示的に与えられることを示す。
• 交差形式と積分ペアリングを組み合わせることでねじれた周期関係を導出し、それらを ${}_{m+1}F_m$ 級数間の二次恒等式に還元する。

実験結果

リサーチクエスチョン

• RQ1 特異的領域が正規交差でない場合、一般化超幾何関数 ${}_{m+1}F_m$ のねじれたコキュールの交差数をどのように計算できるか。
• RQ2 ${}_{m+1}E_m$ 微分方程式の $m+1$ 個の基本的解に対応するねじれたサイクルの交差数の明示的形は何か。
• RQ3 ${}_{m+1}F_m$ のねじれた周期関係は、どのように超幾何級数間の二次関係に還元されるか。
• RQ4 ねじれたサイクルの交差行列は、周期関係を簡略化する形で対角化可能か。
• RQ5 本稿におけるねじれたサイクルと、先行研究における実的部屋を用いた手法で構成されたサイクルとの正確な対応関係は何か。

主な発見

• 交差数 $I_h(\Delta_k, \Delta_l^\vee)$ は $k \neq l$ のとき消え、自己交差数は $\alpha_j = e^{2\pi i a_j}$ および $\beta_j = e^{2\pi i b_j}$ を含むガンマ関数に類似した因子の積として明示的に計算される。
• $\Delta_0$ の自己交差数は $\prod_{i=1}^m \frac{\alpha_i(1 - \beta_i)}{(1 - \alpha_i)(\alpha_i - \beta_i)}$ であり、$\Delta_r$ ($1 \leq r \leq m$) のそれは $\prod_{j \neq r} \frac{\alpha_j(\beta_r - \beta_j)}{(\beta_r - \alpha_j)(\alpha_j - \beta_j)} \cdot \frac{\alpha_0 - \beta_r}{(1 - \beta_r)(\alpha_0 - 1)}$ である。
• ねじれたサイクル $\Delta_0, \ldots, \Delta_m$ は、交差行列の行列式が非ゼロであるため、ねじれたホモロジー群 $H_m(\mathcal{C}_\bullet(M, u))$ の基底をなす。
• ねじれた周期関係 (20) は二次恒等式に簡略化される：${}_{m+1}F_m$ とその双対の積が、$x^2$、$a_0$、$b_r$、$a_l - b_r$ を含む係数付きのシフトされた ${}_{m+1}F_m$ 級数の和の積として表現される。
• 補題 5.2 では、$\prod_{l=1}^m \frac{b_l - b_0}{a_l - b_0}$ が、パラメータ $\boldsymbol{a}^{r,\pm}, \boldsymbol{b}^{r,\pm}$ をシフトした ${ }_{m+1}F_m$ 関数の積の和に等しい特定の二次関係が与えられる。
• サイクル $\Delta_k$ と [10] におけるものとの間の対応は、座標変換 $p: (t_1,\ldots,t_m) \mapsto (1/t_1,\ldots,1/t_m)$ を用いて明示的に与えられ、符号および係数補正を経てスカラー的に同等であることが示される。