[论文解读] 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

一句话总结

本文通过扭（co）同调群与交点理论，建立了广义超几何函数 ${}_{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$.

研究动机与目标

• 通过扭（co）同调中的交点理论，建立广义超几何函数 ${}_{m+1}F_m$ 的扭周期关系。
• 通过逐步的爆破与组合除子结构，解析化欧拉型积分表示中非横截相交的奇点支集。
• 构造显式扭循环，代表 ${}_{m+1}E_m$ 微分方程的 $m+1$ 个基本解。
• 计算这些循环及其对偶的交点数，推导出 ${}_{m+1}F_m$ 级数之间的二次关系。

提出的方法

• 使用在 $\mathbb{C}^m$ 减去奇点除子上定义的多值被积函数 $u$ 的 ${}_{m+1}F_m$ 欧拉型积分表示。
• 应用系数在局部系统 $\nabla_\omega$ 上的扭（co）同调理论，重点关注对数1-形式的 $m$ 阶外积。
• 通过系统化的爆破过程解析被积函数的奇点支集，利用完全解析化中除子的组合结构。
• 利用有界胞腔与非标准正规化方法，构造对应于 ${}_{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$ 函数的乘积之和。
• 通过坐标变换 $p: (t_1,\ldots,t_m) \mapsto (1/t_1,\ldots,1/t_m)$，明确给出了本文中循环 $\Delta_k$ 与文献[10]中循环之间的对应关系，表明其在符号与因子修正后具有标量等价性。