[논문 리뷰] Supercongruences and Complex Multiplication

Jonas Kibelbek, Линг Лонг외 3명|arXiv (Cornell University)|2012. 10. 16.

Advanced Mathematical Identities참고 문헌 14인용 수 3

한 줄 요약

이 논문은 복소 곱승(CM)을 가진 타원곡선과 K3 곡면의 산술과 연관된 초함수 급수 $_3F_2\left(\begin{smallmatrix}1/2,1/2,1/2\\1,1\end{smallmatrix};\lambda\right)_{(p-1)/2}$의 $p^2$ 모듈로 초합동식(supercongruences)을 확립한다. $\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$-진 성질 사이의 연결 고리를 설정하기 위해.

제안 방법

• 모듈로 $p^s$와 $p^2$에서 단절 초함수 급수 $F_3(\lambda)_{(mp^s-1)/2} = \sum_{k=0}^{(mp^s-1)/2} \left( \frac{(1/2)_k}{k!} \right)^3 \lambda^k$를 분석한다.
• Dwork의 $p$-진 이론과 $p$-진 감마 함수를 적용하여 조화합수 $H_k$와 $p$-진 전개를 포함하는 합동식을 유도한다.
• 타원곡선 $E_\lambda$의 프로베니우스 다항식의 단위근 $\alpha_{p,\lambda}$를 사용하여 $p^2$ 모듈로 초합동식을 표현한다.
• 텔레스코핑 합 기법과 이항계수 항등식(예: Wolstenholme의 합동식 $H_{p-1} \equiv 0 \pmod{p}$)을 $p^2$ 모듈로에서 활용한다.
• 문제를 형태 $\sum_{i=0}^{(p-1)/2} \binom{2i}{i}^3 (\lambda/64)^i$의 계수와 그 $p$-진 행동 분석으로 환원한다.
• 핵심 보조정리에 의거해 정리 2와 추론 3가 동치임을 증명한다. 이 보조정리는 $T_{k,n} = a_{k+pn} - a_k a_n$에 관한 것이다.

실험 결과

연구 질문

• RQ1 타원곡선 $E_\lambda$가 복소 곱승(CM)을 가질 경우, 단절 초함수 급수 $F_3(\lambda)_{(p-1)/2}$에 대한 초합동식이 $p^2$ 모듈로 증명될 수 있는가?
• RQ2 복소 곱승(CM)은 형식군 이론이 예측하는 것보다 합동식을 어떻게 강화하는가?
• 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$가 복소 곱승(CM)을 가질 경우, 단절 초함수 합이 $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$-진 로그 항과 연결한다.