[논문 리뷰] On the refined conjectures on Fitting ideals of Selmer groups of elliptic curves with supersingular reduction

Chan-Ho Kim, Masato Kurihara|arXiv (Cornell University)|2018. 04. 02.

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

한 줄 요약

이 논문은 초순수 감소를 보이는 타원곡선의 세일러 군에 대한 피팅 아이디얼에 대한 약한 및 강한 주요 추측을, 순환 $ℚ_p$-확장의 유한 계층에서 증명한다. $±$-이와사와 이론을 통해 유한 계층 세일러 군, $±$-세일러 군, 미세 세일러 군을 명시적으로 비교함으로써, 저자들은 마츠르-타테 원소와 그 추적들이 $±$-주요 추측과 오차 항의 소멸 조건 하에서 피팅 아이디얼을 생성함을 확립한다. 이는 정밀 이와사와 이론의 핵심 케이스를 해결한다.

ABSTRACT

In this paper, we study the Fitting ideals of Selmer groups over finite subextensions in the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ of an elliptic curve over $\mathbb{Q}$. Especially, we present a proof of the "weak main conjecture" à la Mazur and Tate for elliptic curves with good (supersingular) reduction at an odd prime $p$. We also prove the "strong main conjecture" suggested by the second named author under the validity of the $\pm$-main conjecture and the vanishing of a certain error term. The key idea is the explicit comparison among "finite layer objects", "$\pm$-objects", and "fine objects" in Iwasawa theory. The case of good ordinary reduction is also treated.

연구 동기 및 목표

• 순환 $ℚ_p$-확장의 유한 계층에서 타원곡선이 소수 $p$에서 초순수 감소를 보일 경우, 세일러 군의 피팅 아이디얼에 대한 약한 주요 추측을 수립하는 것.
• 특정 오차 항의 소멸 조건과 $±$-주요 추측 하에서 강한 주요 추측을 증명하는 것.
• 유한 계층 세일러 군, $±$-세일러 군, 그리고 미세 세일러 군을 비교함으로써 정밀 이와사와 이론을 초순수 설정으로 확장하는 것.
• 특히 미세 세일러 군이 '모든 모르델-바이어'일 경우에 강한 주요 추측이 성립하는 명시적 예를 제시하는 것.
• 피팅 아이디얼의 구조를 명확히 하여, 이들이 초순수 케이스에서는 주원소가 아니라는 점을 $±$-이와사와 이론과 모듈 이론적 기법을 통해 밝혀내는 것.

제안 방법

• 순환 $ℚ_p$-확장의 유한 계층에서 세일러 군, $±$-세일러 군, 그리고 미세 세일러 군 간의 명시적 비교.
• 초순수 소수에서의 비보통 행동을 다루기 위해 고바야시 및 폴락의 방식으로 $±$-이와사와 이론을 활용하는 것.
• 유한 $Λ$-부모모듈이 존재하지 않을 경우 특성 아이디얼과 피팅 아이디얼을 연결하기 위해 피팅 아이디얼 기법과 아우슬란더-부흐스바움 공식을 적용하는 것.
• 유한 계층 비교에서 발생하는 오차 항 $ \mathrm{Err}_n$ 의 분석으로, 특정 가정 하에서 오차 항이 소멸함을 보이는 것.
• 이와사와 주요 추측과 제어 정리를 활용하여 세일러 군의 피팅 아이디얼에 대한 하한을 도출하는 것.
• 특히 몫 사상과 모듈 분해 하에서 $Λ_n$과 $Λ$ 위에서 피팅 아이디얼을 연결하기 위해 보조정리 A.6–A.10을 활용하는 것.

실험 결과

연구 질문

• RQ1 초순수 감소를 보이는 타원곡선에 대해, 유한 계층에서의 마츠르-타테 원소가 이중 세일러 군의 피팅 아이디얼에 속하는가?
• RQ2 특정 $±$-주요 추측 하에서, 유한 계층에서의 세일러 군 피팅 아이디얼이 마츠르-타테 원소와 그 이하 계층에서의 추적들에 의해 생성될 수 있는가?
• RQ3 유한 계층에서 세일러 군과 미세 세일러 군 간 비교에서 발생하는 오차 항 $ \mathrm{Err}_n$ 의 역할은 무엇이며, 언제 소멸하는가?
• RQ4 $±$-세일러 군과 미세 세일러 군은 초순수 설정에서 고전적 세일러 군과 어떻게 관련되어 있는가?
• RQ5 세일러 군의 피팅 아이디얼이 주원소가 되는 조건은 언제이며, 언제가 아닐까?

주요 결과

• 초순수 감소를 보이는 타원곡선에 대해, 유한 $p$- torsion 이 없는 조건 하에서 약한 주요 추측(추측 1.4)이 조건 없이 증명된다.
• 특정 오차 항 $ \mathrm{Err}_n$ 의 소멸 조건과 $±$-주요 추측 하에서 강한 주요 추측(추측 1.6)은 정리 1.20에서 증명되며, 이러한 조건을 만족하는 명시적 예가 존재한다.
• 미세 세일러 군이 '모든 모를델-바이어'일 경우 오차 항 $ \mathrm{Err}_n$ 이 소멸하여, 강한 추측이 성립하는 구체적인 예시 클래스를 제공한다.
• 약한 형태의 강한 주요 추측은 정리 1.18에서 증명되며, 이 경우 피팅 아이디얼은 마츠르-타테 원소와 그 추적들에 의해 생성되며 오차 항이 존재한다.
• 초순수 케이스에서는 세일러 군의 피팅 아이디얼이 절대 주원소가 아니며, 이는 보통 케이스에서 주원소임과 대조된다.
• 핵심 기술 도구는 유한 계층에서 세일러 군을 $±$-세일러 군 및 미세 세일러 군과 비교함으로써, 이와사와 이론적 기법을 초순수 설정으로 이행하는 것이다.