[논문 리뷰] On the 2-part of the Birch-Swinnerton-Dyer conjecture for elliptic curves with complex multiplication

John Coates, Minhyong Kim외 2명|arXiv (Cornell University)|2013. 03. 21.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 6

한 줄 요약

이 논문은 허수 정수환을 가진 허수 이차체 위에서 복소 곱승을 가진 타원곡선에 대해, 이차 타원곡선의 평균화 및 크로네커-에이젠스타인 급수를 이용하여 버치-스위너튼다이어 추측의 2-부분에 대한 약한 형태를 확립한다. 핵심 결과는 타원곡선의 타원곡선에 대한 중심 L-값이 에이젠스타인 급수의 합과 연결됨을 보여주며, 루트 번호가 $-1$인 곡선에 대한 응용을 가능하게 하고, 천이의 동류수 문제 연구를 확장한다.

ABSTRACT

Given an elliptic curve E over Q with complex multiplication having good reduction at 2, we investigate the 2-adic valuation of the algebraic part of the L-value at 1 for a family of quadratic twists. In particular, we prove a lower bound for this valuation in terms of the Tamagawa number in a form predicted by the conjecture of Birch and Swinnerton-Dyer.

연구 동기 및 목표

• 루트 번호 $-1$인 복소 곱승을 가진 타원곡선의 이차 타원곡선 무한족에 대해 천이의 동류수 문제에 대한 결과를 확장한다.
• 표준 이와사와 이론이 실패하는 $p=2$에서 복소 곱승을 가진 타원곡선에 대한 버치-스위너튼다이어 추측의 2-부분에 대한 약한 형태를 제공한다.
• 이와사와 이론의 전반적 필요 없이, 이차 타원곡선에 대한 평균화와 에이젠스타인 급수를 기반으로 한 원시적인 방법을 개발한다.
• 좋은 감마환원을 가지며, 클래스 수 1인 허수 이차체의 정수환에 대해 복소 곱승을 가진 곡선에 대해 이 방법이 특히 깔끔하게 적용됨을 보여준다.
• 이 약한 BSD 형태를 바탕으로 $L$-값과 해석적 랭크에 대한 깊은 산술 결과를 더 넓은 타원곡선 무한족으로 확장할 수 있는 기초를 마련한다.

제안 방법

• 복소 곱승을 가진 타원곡선의 복소 $L$-급수를 크로네커-에이젠스타인 급수 $H_1(z,s,\mathfrak{L})$ 의 합으로 표현하는 고전적 표현을 사용한다.
• 이차 타원곡선에 대한 평균화를 적용하여, 사면체군의 대표자를 통해 $H_1$을 합산함으로써 $L_S(\bar{\psi}_E,s)$ 와 중심 $L$-값을 연결한다.
• 전역 최소 웨이어스트라스 모델을 $\mathcal{O}_K$ 위에서 고정하고, 네론 미분형식 격자 $\mathfrak{L} = \Omega_\infty \mathcal{O}_K$ 가 되도록 주기 $\Omega_\infty$ 를 정의한다.
• 곡선 $E/K$ 의 그로센카라akter $\psi_E$ 와 그 복소 켤레를 이용하여, 비표준적 $L$-함수 $L_S(\bar{\psi}_E,s)$ 를 $\mathfrak{b} \in \mathcal{B}$ 에 대한 합으로 표현한다.
• 체 $K$ 가 클래스 수 1이며, $\mathfrak{g}$ 가 $\psi_E$ 의 도함수 $\mathfrak{f}$ 의 배수이므로, $K(E_g)$ 는 모듈로 $\mathfrak{g}$ 의 사면체체임을 이용한다.
• 공식 $L_S(\bar{\psi}_E,s) = \frac{|\Omega_\infty / g|^{2s}}{\overline{\Omega_\infty / g}} \sum_{\mathfrak{b} \in \mathcal{B}} H_1(\psi_E(\mathfrak{b})\Omega_\infty / g, s, \mathfrak{L})$ 을 적용하여 $L$-값과 에이젠스타인 급수를 연결한다.

실험 결과

연구 질문

• RQ1 이차 타원곡선에 대한 평균화와 원시적인 방법을 사용하여, $p=2$에서 복소 곱승을 가진 타원곡선에 대해 버치-스위너튼다이어 추측의 2-부분에 대한 약한 형태를 확립할 수 있는가?
• RQ2 이차 타원곡선에 대한 평균화가 루트 번호 $-1$인 경우의 2-진 $L$-값의 2-진 값매김에 효과적인 경계를 제공하는가?
• RQ3 이 방법을 복소 곱승 곡선의 이차 타원곡선의 무한족에 적용하여 $s=1$에서 $L$-값의 비영성을 증명할 수 있는가?
• RQ4 이러한 무한족에서 타마가와 인자와 2-진 값매김의 구조는 어떻게 행동하는가?
• RQ5 이 접근법은 버치-스위너튼다이어 추측의 2-부분 연구에서 발마르거의 공식과 같은 더 고급 도구를 대체하거나 보완할 수 있는가?

주요 결과

• 복소 곱승을 가진 타원곡선 $K = \mathbb{Q}(\sqrt{-1}), \mathbb{Q}(\sqrt{-2}), \mathbb{Q}(\sqrt{-3})$, 또는 $\mathbb{Q}(\sqrt{-q})$ ($q=7,11,19,43,67,163$) 의 정수환에 대해, 이 방법은 BSD 추측의 2-부분에 대한 약한 형태를 제공한다.
• 이차 타원곡선 $E^{(-M)}$ 의 중심 $L$-값 $L(E^{(-M)},1)$ 은 크로네커-에이젠스타인 급수의 합과 연결되며, 이는 그 2-진 값매김을 제어할 수 있게 한다.
• 표 1과 표 2에서 다양한 타원곡선에 대해 $\mathrm{ord}_2 |L^{(\text{alg})}(E^{(-M)},1)|$ 의 2-진 값매김이 계산되었으며, $M=307, 547, 787$ 등의 경우 값이 6에 이르러 2-primary 세일머 그룹의 비자명한 성장을 시사한다.
• 좋은 감마환원을 가지는 곡선의 경우, 방법이 단순화되고 깔끔하게 적용되며, 예를 들어 도함수 121인 곡선 $E: y^2 + y = x^3 - x^2 - 7x + 10$ 에서 이를 확인할 수 있다.
• 이 곡선의 11에서의 타마가와 인자는 항상 2이며, 모든 테스트된 $M$ 에 대해 2-진 값매김이 $\geq 2$ 이며, 이는 약한 BSD 예측과 일치한다.
• 정리 4.6은 이러한 CM 곡선의 모든 이차 타원곡선에 대해 2-진 값매김의 균일한 경계를 제공하며, 비영성 결과에의 응용을 가능하게 한다.