[论文解读] Hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions

Alyson Deines, Jenny G. Fuselier+3 more|arXiv (Cornell University)|Jan 15, 2015

Algebraic Geometry and Number Theory参考文献 25被引用 5

一句话总结

本文通过高维Legendre曲线的类比，建立了超几何级数、截断超几何级数与高斯超几何函数之间的深刻联系。研究证明，模 $ p^3 $ 或 $ p^2 $ 的截断超几何级数对应于 $ p $-进伽马函数值与雅克比和，揭示了统一周期、伽罗瓦表示与单位根的同余关系，存在于算术几何之中。

ABSTRACT

In this paper, we investigate the relationships among hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions through some families of `hypergeometric' algebraic varieties that are higher dimensional analogues of Legendre curves.

研究动机与目标

• 研究在高维Legendre曲线类比背景下，超几何级数、截断超几何级数与高斯超几何函数之间的相互作用。
• 通过算术几何与 $ p $-进分析，澄清 $ p $-进伽马函数值及其共轭性在参数 $ rac{1}{3} $ 与 $ rac{2}{3} $ 处的明显矛盾。
• 在模 $ p^3 $、$ p^4 $ 或 $ p^5 $ 下，建立截断超几何级数与 $ p $-进伽马函数值之间的超同余关系，将其与雅克比和及模形式联系起来。
• 将 [15] 的框架从 $ {}_2F_1 $ 推广至高维中的 $ {}_nF_{n-1} $ 超几何函数，连接周期、伽罗瓦表示与单位根。

提出的方法

• 利用有限域上的超几何函数（即高斯超几何函数）来计算 $ C_{n, ho} $ 上的有理点数，其中 $ C_{n, ho} $ 是Legendre曲线的高维类比。
• 应用Gross-Koblitz公式，将 $ p $-进伽马函数与高斯和、雅克比和联系起来，从而实现 $ p $-进同余关系。
• 采用Dwork的截断超几何级数的 $ p $-进解析延拓方法，推导出极限，从而得到 $ p $-进伽马函数值。
• 利用Greene的有限域超几何函数与特征和，将 $ F_q $ 上 $ C_{n, ho} $ 的点数表示为 $ {}_nF_{n-1} $ 级数。
• 应用Dougall公式与 $ p $-进伽马函数的性质，证明模 $ p^3 $、$ p^4 $ 与 $ p^5 $ 的超同余关系。
• 利用模形式与Hecke特征形式（例如 $ f_n(z) $），通过局部统一参数，将系数与截断超几何级数联系起来。

实验结果

研究问题

• RQ1 对于参数 $ rac{1}{3} $ 与 $ rac{2}{3} $，模 $ p^3 $ 或 $ p^2 $ 的截断超几何级数如何与 $ p $-进伽马函数值及雅克比和相关联？
• RQ2 能否通过高维簇的伽罗瓦表示与周期，解释 $ ilde{ au}(rac{1}{3})^6 $ 与 $ - ilde{ au}(rac{1}{3})^3 $ 之间的明显‘共轭’关系？
• RQ3 对于 $ n=3,4,5 $，$ {}_nF_{n-1} $ 截断超几何级数与 $ p $-进伽马函数值之间的确切算术关系为何？它们如何反映 $ C_{n,1} $ 的局部Zeta函数？
• RQ4 涉及 $ inom{-a}{k}^n $ 与 $ p^k $ 项的观察到的超同余关系是否在模 $ p^3 $、$ p^4 $ 或 $ p^5 $ 下成立？能否利用Gross-Koblitz公式与特征和恒等式加以证明？
• RQ5 能否像对 $ C_{3,1} $ 与 $ C_{4,1} $ 所做的那样，从 $ C_{5,1} $ 的 $ p $-进超几何与伽马函数数据重建其局部Zeta函数？

主要发现

• 对于 $ p ot\neq 3 $ 且 $ p ot\neq 5 $，截断超几何级数 $ {}_3F_2\big[\begin{smallmatrix}\frac{1}{3}&\frac{1}{3}&\frac{1}{3} \\ &1&1\end{smallmatrix}\big]_{p-1} \not\to \tilde{\tau}(\frac{1}{3})^6 \bmod p^3 $，确认了模 $ p^3 $ 下的超同余关系。
• 截断级数 $ {}_3F_2\big[\begin{smallmatrix}\frac{2}{3}&\frac{2}{3}&\frac{2}{3} \\ &1&1\end{smallmatrix}\big]_{p-1} \to -\tilde{\tau}(\frac{1}{3})^3 \bmod p^2 $，本文证明了该关系在模 $ p^2 $ 下成立，扩展了先前结果。
• 对于 $ p \not\neq 5 $，恒等式 $ {}_5F_4\big[\begin{smallmatrix}\frac{2}{5}&\frac{2}{5}&\frac{2}{5}&\frac{2}{5}&\frac{2}{5} \\ &1&1&1&1\end{smallmatrix}\big]_{p-1} \to -\tilde{\tau}(\frac{1}{5})^5 \tilde{\tau}(\frac{2}{5})^5 \bmod p^5 $ 在模 $ p^4 $ 下成立，且对 $ p^5 $ 提出一个猜想。
• 从 $ k=0 $ 到 $ p-1 $ 的和 $ \textstyle\binom{-\frac{1}{3}}{k}^3 (-1)^k $ 满足 $ \textstyle\frac{1}{p^3} \text{sum} \to \tilde{\tau}(\frac{1}{3})^6 \bmod p^3 $，将截断级数与 $ p $-进伽马函数值联系起来。
• 对于 $ n=3,4,6 $，若一个Beta函数的比值属于 $ \bar{\bQ} $，则雅克比 $ J_{\rho}^{\text{new}} $ 的新部分的自同态代数在 $ \bQ $ 上包含一个4维代数，从而将几何与特殊值联系起来。
• 由Eisenstein级数定义的权为3的尖形式 $ f_n(z) $ 的第 $ p $ 个系数，与截断超几何级数在模 $ p^2 $ 下一致，提示这些同余关系具有模形式起源。