[論文レビュー] Supercongruences and Complex Multiplication

Jonas Kibelbek, Линг Лонг+3 more|arXiv (Cornell University)|Oct 16, 2012

Advanced Mathematical Identities参考文献 14被引用数 3

ひとこと要約

本稿は、K3曲面および複素乗乗法（CM）をもつ楕円曲線の算術と関連づけることにより、$p^2$ を法として、$_3F_2\left(\begin{smallmatrix}1/2,1/2,1/2\\1,1\end{smallmatrix};\lambda\right)_{(p-1)/2}$ の切り捨て超幾何級数に対する超合同式を確立する。$\lambda=1$ の場合にRodriguez-Villegasの予想を、$\lambda=64$ の場合にSunの予想を確認し、$E_\lambda$ がCMをもつとき、重さ3の尖点形式の $p$-次フーリエ係数と合同となることを示している。

ABSTRACT

We study congruences involving truncated hypergeometric series of the form_rF_{r-1}(1/2,...,1/2;1,...,1;λ)_{(mp^s-1)/2} = \sum_{k=0}^{(mp^s-1)/2} ((1/2)_k/k!)^r λ^k where p is a prime and m, s, r are positive integers. These truncated hypergeometric series are related to the arithmetic of a family of algebraic varieties and exhibit Atkin and Swinnerton-Dyer type congruences. In particular, when r=3, they are related to K3 surfaces. For special values of λ, with s=1 and r=3, our congruences are stronger than what can be predicted by the theory of formal groups because of the presence of elliptic curves with complex multiplications. They generalize a conjecture made by Rodriguez-Villegas for the λ=1 case and confirm some other supercongruence conjectures at special values of λ.

研究の動機と目的

• 代数的多様体に関連する切り捨て超幾何級数に対する、標準的な形式的群の法則を越えたより深い合同式、すなわち超合同式を調査すること。
• 形式的群理論が予測するよりも、複素乗乗法（CM）が合同式を強化する仕組みを理解すること。
• 特定の $\lambda$ 値について、Rodriguez-VillegasおよびSunの超合同式予想を確認し、一般化すること。
• CM楕円曲線を通じて、K3曲面の算術と超幾何周期の $p$-進性質との間の関係を確立すること。

提案手法

• $F_3(\lambda)_{(mp^s-1)/2} = \sum_{k=0}^{(mp^s-1)/2} \left( \frac{(1/2)_k}{k!} \right)^3 \lambda^k$ の切り捨て超幾何級数を $p^s$ および $p^2$ を法として分析する。
• Dworkの $p$-進理論および $p$-進ガンマ関数を用いて、調和級数 $H_k$ および $p$-進展開を含む合同式を導出する。
• 楕円曲線 $E_\lambda$ のフロベニウス多項式の単位根 $\alpha_{p,\lambda}$ を用いて、$p^2$ を法とする超合同式を表現する。
• テレスコーピング和の技法および $p^2$ を法とする二項係数の恒等式（Wolstenholmeの合同式 $H_{p-1} \equiv 0 \pmod{p}$ を含む）を用いる。
• 問題を形 $\sum_{i=0}^{(p-1)/2} \binom{2i}{i}^3 (\lambda/64)^i$ の係数およびその $p$-進的性質の分析に還元する。
• キーとなる補題（$T_{k,n} = a_{k+pn} - a_k a_n$）を用いて、定理2と推論3の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線 $E_\lambda$ が複素乗乗法をもつとき、切り捨て超幾何級数 $F_3(\lambda)_{(p-1)/2}$ に対して $p^2$ を法とする超合同式を証明できるか？
• RQ2 形式的群理論の予測を超えて、複素乗乗法が合同式をどのように強化するか？
• RQ3 $\lambda \neq 1$ の場合に、$E_\lambda$ の $p$-進単位根 $\alpha_{p,\lambda}$ が超合同式構造を支配するか？
• RQ4 Rodriguez-Villegasの $\lambda=1$ に対する予想およびSunの $\lambda=64$ に対する予想が $p^2$ を法として成立するか？
• RQ5 CM条件下で、$\sum_{k=0}^{(p-1)/2} \binom{2k}{k}^3 (\lambda/64)^k$ の合同式が $p$ を法として 0 に等しくなるかを示せるか？

主な発見

• 本稿は、$\lambda \neq 1$ かつ $E_\lambda$ が複素乗乗法をもつ場合に、切り捨て超幾何級数が $F_3(\lambda)_{(p-1)/2} \equiv \left(\frac{\lambda-1}{p}\right) \alpha_{p,\lambda}^2 \pmod{p^2}$ を満たすことを証明する。ここで $\alpha_{p,\lambda}$ はフロベニウス多項式の単位根である。
• この結果により、$\lambda=1$ の場合にRodriguez-Villegasの予想が $p^2$ を法として確認され、$F_3(1)_{(p-1)/2} \equiv b_p \pmod{p^2}$ が成り立つ。ここで $b_p$ は尖点形式 $\eta(4z)^6$ の $p$-次係数である。
• 本稿は、$\lambda=64$ の場合にSunの予想を確認し、$F_3(64)_{(p-1)/2} \equiv a_p \pmod{p^2}$ を示している。ここで $a_p = 4x^2 - 2p$（$p = x^2 + 7y^2$ のとき）、それ以外は $a_p = 0$ である。
• CM楕円曲線に対して、合同式 $T_{(p-1)/2,1} \equiv 0 \pmod{p^2}$ が成り立ち、CM条件下で $\sum_{i=0}^{(p-1)/2} \binom{2i}{i}^3 (\lambda/64)^i \equiv 0 \pmod{p}$ が成り立つことを示唆する。
• 著者らは、$E_\lambda$ がCMをもつとき、定理1が $p^{2s}$ を法として成り立つと予想しており、$p^s$ の合同式をより高いべきに拡張する。
• キーレイマは、$T_{k,n} \equiv pn \binom{2n}{n}^3 (\lambda/64)^n b_k \pmod{p^2}$ を示しており、これはテレスコーピング和を調和級数および $p$-進対数項と結びつける。