[논문 리뷰] The Birch and Swinnerton-Dyer Formula for Elliptic Curves of Analytic Rank One

Dimitar Jetchev, Christopher Skinner외 1명|arXiv (Cornell University)|2015. 12. 21.

Algebraic Geometry and Number Theory참고 문헌 32인용 수 16

한 줄 요약

이 논문은 $p$-부분의 Birch와 Swinnerton-Dyer 공식을 $\mathbb{Q}$ 위의 반안정 타원곡선에 대해 분석적 순서가 1인 경우에 대해 증명한다. 이는 반대칭 Iwasawa 이론과 제어 정리들을 사용하여 세일머 그룹을 비교함으로써 이루어지며, 핵심 결과는 모든 소수 $p \geq 5$ 및 $p=3$일 때 초승형의 경우 $a_p(E) = 0$ 조건 하에 $L$-함수의 중심 도함수의 $p$-진 값매김이 테이트-샤파레비치 그룹과 타마가와 수의 곱의 $p$-진 값매김과 일치함을 보여준다.

ABSTRACT

Let $E/\mathbb{Q}$ be a semistable elliptic curve such that $\mathrm{ord}_{s=1}L(E,s) = 1$. We prove the $p$-part of the Birch and Swinnerton-Dyer formula for $E/\mathbb{Q}$ for each prime $p \geq 5$ of good reduction such that $E[p]$ is irreducible: $$ \mathrm{ord}_p \left (\frac{L'(E,1)}{Ω_E\cdot\mathrm{Reg}(E/\mathbb{Q})} ight ) = \mathrm{ord}_p \left (\#\mathrm{Sha}(E/\mathbb{Q})\prod_{\ell\leq \infty} c_\ell(E/\mathbb{Q}) ight ). $$ This formula also holds for $p=3$ provided $a_p(E)=0$ if $E$ has supersingular reduction at $p$.

연구 동기 및 목표

• 분석적 순서가 1인 $\mathbb{Q}$ 위의 타원곡선에 대해 Birch와 Swinnerton-Dyer 공식의 $p$-부분을 확립하는 것.
• 이전 결과를 확장하여 타마가와 수에 대한 제약 조건을 제거하고, $p$에서의 일반형 및 초승형 감소를 모두 允허하는 것.
• 반대칭 Iwasawa 이론을 통해 일반형 및 초승형 경우를 통합적으로 다루는 것.
• 중심 도함수의 $p$-진 값매김과 테이트-샤파레비치 그룹 및 타마가와 수의 곱 사이의 등식을 검증하는 것.
• 이전 결과를 일반화하여 추가 조건이 필요한 경우, 예를 들어 $p$-비이상형 감소 또는 $p$-서로소 타마가와 인자 조건을 제거하는 것.

제안 방법

• 적절한 허수 정수환 $\mathcal{K}'$ 에 대해 반대칭 Iwasawa 이론을 활용하여 $p$-진 $L$-값과 세일머 그룹을 연결하는 것.
• 제어 정리(정리 3.3.1)를 적용하여 $\Lambda$-코터션 세일머 그룹과 $\mathbb{Z}_p$-코터션 세일머 그룹을 비교하는 것.
• Gross–Zagier 공식과 $p$-진 높이의 비영성 조건을 활용하여 $p$-주요 세일머 그룹의 크기를 유계화하는 것.
• 초승형 $p$-진 $L$-함수에 대한 Iwasawa 주요 추측에 관한 Wan의 작업과 $p$-진 Gross–Zagier 공식을 결합하는 것.
• Heegner 점의 $p$-진 높이의 비영성 조건을 활용하여 테이트-샤파레비치 그룹의 $p$-주요 부분에 대한 하한을 확립하는 것.
• Theorem 7.2.1을 통해 $p$-부분의 BSD 공식의 순서 0 경우를 응용하여 $E$의 휨에서의 $L$-함수 특별값을 제어하는 것.

실험 결과

연구 질문

• RQ1 분석적 순서가 1인 타원곡선에 대해 $p \geq 5$ 이고 $E[p]$ 가 기약일 경우, BSD 공식의 $p$-부분이 성립하는가?
• RQ2 타마가와 수가 $p$로 나누어지는 소수 $p$를 포함하여 공식을 확장할 수 있는가?
• RQ3 초승형 감소일 때 $p=3$ 이고 $a_p(E) = 0$ 조건 하에 공식이 성립하는가?
• RQ4 Iwasawa 이론의 맥락에서 일반형 및 초승형 경우를 통합적으로 다룰 수 있는가?
• RQ5 $p$-서로소 타마가와 인자 또는 비이상형 감소 조건을 가정하지 않고도 BSD 공식의 $p$-부분이 성립하는가?

주요 결과

• 모든 소수 $p \geq 5$ 에 대해 양호한 감소 조건을 만족하고 $E[p]$ 가 기약이며 $\mathrm{ord}_{s=1}L(E,s) = 1$ 이면 BSD 공식의 $p$-부분이 성립한다.
• 특히 $p = 3$ 일 때는 $E$ 가 초승형 감소를 보일 경우 $a_p(E) = 0$ 이면 공식이 성립한다.
• 특수값의 $p$-진 값매김에 대한 등식 $\mathrm{ord}_p\left(\frac{L'(E,1)}{\Omega_E \cdot \mathrm{Reg}(E/\mathbb{Q})}\right) = \mathrm{ord}_p\left(\#\cyr X(E/\mathbb{Q}) \cdot \prod_{\ell} c_\ell(E/\mathbb{Q})\right)$ 는 $\#\cyr X(E/\mathbb{Q})[p^\infty]$ 에 대한 상한과 하한을 통해 확립된다.
• 증명은 반대칭 Iwasawa 이론과 제어 정리를 기반으로 하는 단일 프레임워크를 통해 일반형 및 초승형 경우를 통합적으로 다룬다.
• 이전 결과를 확장하여 $p$-서로소 타마가와 인자 및 비이상형 감소 조건을 제거한 결과를 도출한다.
• 방법론은 Heegner 점의 $p$-진 높이의 비영성과 $p$-진 Gross–Zagier 공식에 기반하며, 이는 제시된 가정 하에 알려진 바와 같이 성립한다.