[논문 리뷰] Iwasawa Main Conjecture for Supersingular Elliptic Curves

Xin Wan|arXiv (Cornell University)|2014. 11. 24.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 28

한 줄 요약

이 논문은 Beilinson-Flach 원소에 대한 명시적 상호작용 법칙을 활용하여, $a_p = 0$인 초특이 타원곡선에 대해 $±$-메인 추측을 더 접근하기 쉬운 Iwasawa-Greenberg 메인 추측으로 환원함으로써, $±$-메인 추측을 증명한다. 이는 초특이 소수에서 해석적 계수 0 또는 1인 경우 BSD 공식의 $p$-부분을 확립한다.

ABSTRACT

In this paper we prove the $\pm$-main conjecture formulated by Kobayashi for elliptic curves with supersingular reduction at $p$ such that $a_p=0$, using a new idea of reducing it to another Iwasawa-Greenberg main conjecture, which is more accessible and proved here as a first step. Then we develop some generalized $\pm$ local theory and deduce the main conjecture. The argument uses in an essential way the recent study on explicit reciprocity law for Beilinson-Flach elements by Kings-Loeffler-Zerbes. We also prove as corollaries the $p$-part of the BSD formula at supersingular primes when the analytic rank is $0$ or $1$.

연구 동기 및 목표

• 초특이 타원곡선에 대해 소수 $p$에서 $a_p = 0$인 경우 $±$-메인 추측을 증명하는 것.
• 초특이 타원곡선에 대한 $±$-메인 추측을 더 접근하기 쉬운 Iwasawa-Greenberg 메인 추측으로 환원하는 것.
• $±$-메인 추측의 증명 프레임워크를 위해 일반화된 $±$-국소 이론을 개발하는 것.
• 해석적 계수가 0 또는 1인 초특이 소수에서 BSD 공식의 $p$-부분을 확립하는 것.

제안 방법

• 새로운 구조적 추론을 통해 $±$-메인 추측을 Iwasawa-Greenberg 메인 추측으로 환원하는 것.
• Kings-Loeffler-Zerbes의 최근 연구에서 유도된 Beilinson-Flach 원소에 대한 명시적 상호작용 법칙의 적용.
• 초특이 경우를 다룰 수 있도록 일반화된 $±$-국소 이론의 개발.
• 비비판적 기울기 $p$-진 $L$-함수의 맥락에서 $p$-진 $L$-함수와 Iwasawa 이론의 사용.
• Selmer 군을 제어할 수 있도록 Beilinson-Flach 원소를 이용한 적절한 오일러 시스템의 구성.
• 제어 정리와 $±$-구성의 호환성에 기반한 메인 추측의 확립.

실험 결과

연구 질문

• RQ1 해석적 계수가 0 또는 1인 초특이 소수에서, $a_p = 0$인 초특이 타원곡선에 대한 $±$-메인 추측을 더 다룰 수 있는 Iwasawa-Greenberg 메인 추측으로 환원할 수 있는가?
• RQ2 Beilinson-Flach 원소에 대한 명시적 상호작용 법칙은 초특이 설정에서 메인 추측을 증명하는 데 어떻게 적용될 수 있는가?
• RQ3 초특이 경우로 방법을 확장하기 위해 필요한 일반화된 $±$-국소 이론은 무엇인가?
• RQ4 $±$-메인 추측은 초특이 소수에서 해석적 계수가 0 또는 1인 경우 BSD의 $p$-부분을 암시하는가?
• RQ5 초특이 맥락에서 $±$-메인 추측과 Iwasawa-Greenberg 메인 추측 사이의 정확한 관계는 무엇인가?

주요 결과

• Beilinson-Flach 원소에 대한 명시적 상호작용 법칙이 Kings, Loeffler, Zerbes에 의해 확립된 바를 기반으로, $a_p = 0$인 초특이 타원곡선에 대해 $±$-메인 추측이 증명되었다.
• 증명은 Kings, Loeffler, Zerbes가 확립한 Beilinson-Flach 원소에 대한 명시적 상호작용 법칙에 의해 핵심적으로 의존한다.
• 초특이 소수에서 비정상적인 경우를 다룰 수 있도록 일반화된 $±$-국소 이론이 개발되었다.
• 해석적 계수가 0 또는 1인 초특이 소수에서 BSD 공식의 $p$-부분이 확인되었다.
• 메인 추측은 지정된 해석적 계수 경우에서 BSD의 $p$-부분을 암시하며, 중요한 산술적 응용을 제공한다.