[논문 리뷰] The Iwasawa Main Conjecture for elliptic curves at odd supersingular primes

Florian Sprung|arXiv (Cornell University)|2016. 10. 31.

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

한 줄 요약

이 논문은 홀수 초특이 소수 $p$에서 타원곡선에 대한 Iwasawa 주요 추측을 증명하며, $p$-진 $L$-함수 $L^\sharp$와 $L^\flat$가 이중 세일러 그룹 $ \operatorname{Hom}(\operatorname{Sel}^{\sharp/\flat}(E/\mathbb{Q}_{\infty}), \mathbb{Q}_p/\mathbb{Z}_p)$의 특성 다항식임을 확립한다. 증명은 보조 허수 정수환 위에서 세 집합의 주요 추측 간의 동치 관계 전략을 사용하며, 정수 유사 오일러 시스템과 그린버그 유형의 주요 추측을 활용하여, 분석적 순서 0 또는 1인 경우 BSD 공식의 $p$-부분을 이끌어낸다.

ABSTRACT

In this paper, we prove the Iwasawa main conjecture for elliptic curves at an odd supersingular prime p. Some consequences are the p-parts of the leading term formulas in the Birch and Swinnerton-Dyer conjectures for analytic rank 0 or 1.

연구 동기 및 목표

• 고전적 서술 방식이 비정수 모듈러스와 비기본 $p$-진 $L$-함수로 인해 실패하는 홀수 초특이 소수 $p$에서 타원곡선에 대한 Iwasawa 주요 추측을 증명하기 위해.
• 일반적인 초특이 경우, 즉 $a_p \neq 0$를 포함하여 일반적인 초특이 경우로 주요 추측을 일반화하기 위해.
• 분석적 순서 0 또는 1인 경우 BSD 공식의 $p$-부분을 확립하여 $L$-함수의 주항($\text{leading term}$)을 산술 불변량과 연결하기 위해.
• 허수 정수환 위에서 정수 유사 오일러 시스템과 그린버그 유형의 주요 추측을 사용하여 문제를 다룰 수 있는 형태로 단순화하는 프레임워크를 개발하기 위해.

제안 방법

• \mathbb{Q}$에서의 $\sharp/\flat$-$\sharp/\flat$ 추측, 정수 유사 오일러 시스템 $\Delta_{\sharp}$와 $\Delta_{\flat}$를 포함하는 새로운 집합, 그리고 단일 그린버그 유형의 주요 추측 간의 동치 관계 수립.
• 킹스–로페르러–제르베스의 오일러 시스템 $\Delta_{\alpha}$와 $\Delta_{\beta}$에서 정수 유사 오일러 시스템 $\Delta_{\sharp}$와 $\Delta_{\flat}$를 구성하기 위해.
• 소형 제어 정리($\text{small control theorem}$)를 사용하여 $\mathbb{Q}$와 $\mathbb{Q}_{\infty}$ 위의 세일러 그룹을 연결하고, $L(E,1) \neq 0$라는 가정 하에 일부 몫의 유한성을 확보하기 위해.
• 코클러 맵과 이와사와 코homology를 포함하는 교환 다이어그램에 색인 렘마($\text{snake lemma}$)를 적용하여 $p$에서의 국소 제약 사상의 단사성을 증명하기 위해.
• 이와사와 모듈러스의 특성 이상수 이론을 사용하여 $p$-진 $L$-함수 $L^{\sharp}$와 $L^{\flat}$를 이중 세일러 그룹의 구조와 연결하기 위해.
• Galois 표현으로서 $E[p]$가 기약임을 이용하여 $|E(\mathbb{Q})_p| = 1$을 유도하고, BSD 공식 내 산술 불변량을 단순화하기 위해.

실험 결과

연구 질문

• RQ1 비정수 모듈러스와 비기본 $p$-진 $L$-함수가 존재하는 홀수 초특이 소수에서 타원곡선에 대한 Iwasawa 주요 추측을 증명할 수 있는가, 특히 $p$-진 $L$-함수가 이와사와 대수에 속하지 않는 경우에 대해?
• RQ2 분석적 순서 0 또는 1인 초특이 경우에 대해 BSD 공식의 $p$-부분이 유효한가?
• RQ3 허수 정수환 위에서의 그린버그 유형 주요 추측을 사용하여 $\mathbb{Q}$ 위의 $\sharp/\flat$-주요 추측을 더 다룰 수 있는 형태로 단순화할 수 있는가?
• RQ4 정수 유사 오일러 시스템 $\Delta_{\sharp}$와 $\Delta_{\flat}$의 존재가 초특이 경우에서 카토의 정리의 완전한 역을 가능하게 하는가?

주요 결과

• $p$-진 $L$-함수 $L^{\sharp}$와 $L^{\flat}$는 각각 이중 세일러 그룹 $ \operatorname{Hom}(\operatorname{Sel}^{\sharp/\flat}(E/\mathbb{Q}_{\infty}), \mathbb{Q}_p/\mathbb{Z}_p)$의 특성 다항식이 되며, 이는 초특이 경우의 주요 추측을 증명한다.
• 분석적 순서 0일 경우, 주항 $L(E,1)/\Omega$의 $p$-진 절댓값은 $|\Sha(E/\mathbb{Q})| \cdot \prod_l c_l$의 $p$-진 절댓값과 2와 악성 소수의 거듭제곱을 제외하고 일치한다.
• 분석적 순서 1일 경우, $L'(E,1)/(\operatorname{Reg}(E/\mathbb{Q}) \cdot \Omega)$의 $p$-진 절댓값은 $|\Sha(E/\mathbb{Q})| \cdot \prod_l c_l / |E(\mathbb{Q})_{\mathrm{tor}}|^2$의 $p$-진 절댓값과 일치한다.
• 사상 $r_p: H^1(\mathbb{Q}_p, E[p^\infty]) / (E(\mathbb{Q}_p) \otimes \mathbb{Q}_p/\mathbb{Z}_p) \to H^1(\mathbb{Q}_{p,\infty}, E[p^\infty]) / E^\sharp_{\infty,p}$ 는 단사적이며, 제어 정리의 핵심 단계이다.
• 소형 제어 정리에 따라 $\mathcal{X}^\bullet / X\mathcal{X}^\bullet$ 와 $\mathcal{X}_0^\bullet / X\mathcal{X}_0^\bullet$ 사이에 유한한 핵과 전사 사상이 존재하여, 세일러 그룹의 갈루아 불변 부분군의 유한성을 확보한다.
• 이중 세일러 그룹의 특성 이상수는 $f^\bullet(0)$에 의해 생성되며, 그 $p$-진 절댓값은 세일러 그룹의 갈루아 불변 부분군과 비불변 부분군의 크기 비율과 일치한다.