[论文解读] $_3F_2$ hypergeometric series and periods of elliptic curves

Dermot McCarthy|arXiv (Cornell University)|Jun 24, 2009

Advanced Mathematical Identities参考文献 10被引用 3

一句话总结

本文建立了椭圆曲线族 $E_\lambda: y^2 = (x-1)(x^2 + \lambda)$ 的实周期与经典超几何级数 ${}_2F_1\left(\frac{1}{4}, \frac{3}{4}; 1; -\lambda\right)$ 之间的联系，将周期表示为 $\Omega(E_\lambda) = \pi \cdot {}_2F_1\left(\frac{1}{4}, \frac{3}{4}; 1; -\lambda\right)$。该结果与 Ono 将弗罗贝尼乌斯迹数与高斯超几何级数联系起来的工作相呼应，进一步强化了经典超几何函数与有限域超几何函数之间的深层类比。

ABSTRACT

We express the real period of a family of elliptic curves in terms of classical hypergeometric series. This expression is analogous to a result of Ono which relates the trace of Frobenius of the same family of elliptic curves to a Gaussian hypergeometric series. This analogy provides further evidence of the interplay between classical and Gaussian hypergeometric series.

研究动机与目标

• 探索椭圆曲线周期背景下经典超几何级数与高斯超几何级数之间的类比。
• 将特定椭圆曲线族的实周期用经典超几何级数表示。
• 通过聚焦于不同于勒让德形式的椭圆曲线族，拓展先前关于超几何周期的研究。
• 为普通超几何函数与有限域超几何函数之间更深层次的算术-几何对偶性提供证据。

提出的方法

• 椭圆曲线 $E_\lambda: y^2 = (x-1)(x^2 + \lambda)$ 的实周期 $\Omega(E_\lambda)$ 使用超几何函数 ${}_2F_1\left(\frac{1}{4}, \frac{3}{4}; 1; -\lambda\right)$ 表示。
• 推导过程利用了超几何函数的变换恒等式，特别是二次变换 (3.4)，将周期与标准超几何形式关联起来。
• 证明依赖于算术-几何平均 (AGM) 以及有限域上雅可比和与高斯和的性质。
• 通过恒等式 $a_p(E_\lambda) = -\sum_{x \in \mathbb{F}_p} \phi_p(f(x))$ 建立与弗罗贝尼乌斯迹的联系，将有限域行为与实周期关联。
• 论文使用特征和恒等式以及函数方程 $J(\chi, \psi) = \frac{G(\chi)G(\psi)}{G(\chi\psi)}$ 来计算雅可比和，并将其与实周期关联。
• 当 $\lambda = \frac{1}{3}$ 时，利用伽马函数恒等式显式计算周期，得到 $\Omega(E_{1/3}) = \pi \cdot \frac{3}{2\sqrt{2}} \cdot \frac{\Gamma(4/3)}{\Gamma(3/2)\Gamma(5/6)}$。

实验结果

研究问题

• RQ1 非勒让德形式的椭圆曲线族的实周期能否用经典超几何级数表示？
• RQ2 实周期与弗罗贝尼乌斯迹之间有何关系，后者已知可用高斯超几何级数表示？
• RQ3 在椭圆曲线背景下，经典超几何函数与有限域特征和之间精确的算术-几何结构是什么？
• RQ4 有理数中的二项式系数类比与乘法特征中的类比是否可延伸至周期公式？

主要发现

• 椭圆曲线 $E_\lambda: y^2 = (x-1)(x^2 + \lambda)$ 的实周期为 $\Omega(E_\lambda) = \pi \cdot {}_2F_1\left(\frac{1}{4}, \frac{3}{4}; 1; -\lambda\right)$，其中 $0 < \lambda < 1$。
• 当 $\lambda = \frac{1}{3}$ 时，周期显式计算为 $\Omega(E_{1/3}) = \pi \cdot \frac{3}{2\sqrt{2}} \cdot \frac{\Gamma(4/3)}{\Gamma(3/2)\Gamma(5/6)}$，将其与伽马函数的特殊值联系起来。
• 当模 $p$ 约化时，实周期等于 $\frac{1}{2} \cdot \phi_p(2) \cdot a_p(E_{1/3})$，从而与弗罗贝尼乌斯迹建立联系。
• 当 $p \equiv 1 \pmod{3}$ 时，雅可比和 $J(\chi_3, \phi_p)$ 的实部等于实周期的贡献，否则为零。
• 该结果证实了经典超几何级数与高斯超几何级数在椭圆曲线算术中的深层类比。
• 该公式对所有 $\lambda \in \mathbb{Q} \setminus \{0, -1\}$ 成立，且满足 $p \nmid \lambda(\lambda+1)$，确保在奇素数 $p$ 处具有良好的约化。