[논문 리뷰] The structure of Selmer groups and the Iwasawa main conjecture for elliptic curves

Chan-Ho Kim|arXiv (Cornell University)|2022. 03. 23.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 모듈러 기호와 카토의 코리반 시스템에서 유도된 이산 불변량인 쿠리하라 수를 사용하여 ℚ 위의 타원곡선에 대한 셀머 군의 정밀한 구조 기술을 수립한다. 아이와사와 주요 추측(μ-불변량까지) 또는 해석적 계수 ≤1일 때, 이 수들이 셀머 군의 구조를 완전히 결정함을 증명하며, p-primary 테이트-샤파레비치 군의 계수와 크기의 명시적 공식을 도출하고, 쿠리하라의 반국소 셀머 군에 대한 추측을 확인한다.

ABSTRACT

We reveal a new and refined application of (a weaker statement than) the Iwasawa main conjecture for elliptic curves to the structure of Selmer groups of elliptic curves of arbitrary rank. For a large class of elliptic curves, we obtain the following arithmetic consequences. 1. Kato's Kolyvagin systems is non-trivial. It is the cyclotomic analogue of the Kolyvagin conjecture. 2. The structure of Selmer groups of elliptic curves over the rationals is completely determined in terms of certain modular symbols. It is a structural refinement of Birch and Swinnerton-Dyer conjecture. 3. The rank zero $p$-converse, the $p$-parity conjecture, and a new upper bound of the ranks of elliptic curves are obtained. 4. The conjecture of Kurihara on the semi-local description of mod $p$ Selmer groups is confirmed. 5. An application of the $p$-adic Birch and Swinnerton-Dyer conjecture to the structure of Iwasawa modules is discussed.

연구 동기 및 목표

• 셀머 군을 L-값의 이산적 변동성으로 기술하는 방식으로 버치와 스위너튼-다이어 추측의 구조적 정교화를 도출하는 것.
• 카토의 코리반 시스템을 통한 코일리반 추측의 순환적 동반체를 수립하는 것.
• 모듈러 기호에서 유도된 쿠리하라 수를 사용하여 p-모듈로 셀머 군의 반국소적 구조를 명시적으로 묘사하는 것.
• 아이와사와 이론을 활용하여 p-primary 테이트-샤파레비치 군의 크기와 모르델-바일 계수에 대한 명시적 공식을 도출하는 것.
• 이전의 믿음과는 달리, 아이와사와 주요 추측(p를 역행시키며)이 셀머 군과 샤 군에 정확한 산술적 자료를 제공함을 보여주는 것.

제안 방법

• 논문은 카토의 코리반 시스템을 정밀한 쌍대 지수 사상 아래에 적용하여 쿠리하라 수를 구성한다.
• 모듈러 기호를 사용하여 이 쿠리하라 수를 명시적으로 계산하며, 이를 L-함수의 특수값과 연결한다.
• 아이와사와 주요 추측(μ-불변량까지)을 활용하여 아이와사와 모듈의 구조와 셀머 군 간의 관계를 규명한다.
• 특히 쿠리하라의 프레임워크를 활용한 정밀한 아이와사와 이론을 적용하여 p-진 L-값을 셀머 군의 구조적 자료로 변환한다.
• 카토의 오일러 시스템, 코리반 시스템, 그리고 쌍대 정리들을 조합하여 ℤ_p 위에서 셀머 군의 유한성 생성을 분석한다.
• 최소 웨이어스트라인 모델을 사용하여 타원곡선의 구체적 계산을 수행함으로써 쿠리하라 수를 평가하고 셀머 군의 구조를 유도한다.

실험 결과

연구 질문

• RQ1 아이와사와 주요 추측(p를 역행시키며)은 계수와 μ-불변량을 초월하여 셀머 군의 정확한 구조적 정보를 제공할 수 있는가?
• RQ2 아이와사와 주요 추측 하에서, 임의의 계수를 가진 타원곡선에 대해 코일리반 추측의 순환적 동반체가 성립하는가?
• RQ3 모듈러 p 셀머 군의 반국소적 구조는 쿠리하라 수를 통해 명시적으로 묘사될 수 있는가?
• RQ4 셀머 군의 전체 ℤ_p-모듈 구조를 결정하는 버치와 스위너튼-다이어 추측의 구조적 정교화가 존재하는가?
• RQ5 모듈러 기호와 특수 L-값으로부터 p-primary 테이트-샤파레비치 군의 크기를 명시적으로 계산할 수 있는가?

주요 결과

• p=5인 E₁₀₅₈.e₁에 대해 셀머 군의 ℤ₅-코계수는 0이며, 모르델-바일 계수는 0이고, 5-primary 테이트-샤파레비치 군은 (ℤ/5ℤ)²와 동형이다.
• E₁₉₆₇₉₄.bf₁에 대해 셀머 군의 ℤ₅-코계수는 1이며, 모저델-바일 계수는 1이고, 5-primary 테이트-샤파레비치 군은 (ℤ/5ℤ)²와 동형이다.
• E₄₂₃₈₀₁.ci₁에 대해 5-primary 테이트-샤파레비치 군은 (ℤ/25ℤ)²와 동형이며, (ℤ/5ℤ)⁴와는 다르다. 이는 쿠리하라 수를 통해만 감지할 수 있는 비자명한 고차원 구조를 보여준다.
• 셀머 군의 구조 Sel(ℚ, E[p])는 특정 소수 q에 대해 E(ℚ_q) ⊗ ℤ/pℤ의 직합과 자연스럽게 동형임을 예시에서 확인할 수 있다.
• 일부 쿠리하라 수의 비영(예: δ̃₁₁·₄₁¹)은 테이트-샤파레비치 군 내 비자명한 구조를 암시하며, 이는 고전적 버치와 스위너튼-다이어 추측에서는 감지되지 않는다.
• 논문은 아이와사와 주요 추측과 명시적 카토 시스템 계산을 통해 쿠리하라의 반국소적 묘사에 대한 추측을 확인한다.