[논문 리뷰] Fine Selmer Groups and Isogeny Invariance

R. Sujatha, Malte Witte|arXiv (Cornell University)|2017. 04. 17.

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

한 줄 요약

이 논문은 수체 위의 타원곡선과 갈루아 표현에 대한 미세 세일머 군의 구조를 조사하며, 특히 코실로미아 Zp-확장에서의 미세 세일머 군이 Zp-모듈로 유한생성임을 주장하는 추측 A를 중심으로 다룬다. 이 논문은 추측 A와 이와사와의 μ = 0 추측 사이의 깊은 연관성을 밝혀내고, 이소지니 불변성에 대한 부분적인 결과를 제시한다. 특히 복소 multiplication(CM) 타원곡선의 광범위한 클래스에 대해 이소지니 불변성을 증명하면서, 이러한 불변성이 μ = 0을 증명하는 것만큼 어려울 수 있음을 시사한다.

ABSTRACT

We investigate fine Selmer groups for elliptic curves and for Galois representations over a number field. More specifically, we discuss Conjecture A, which states that the fine Selmer group of an elliptic curve over the cyclotomic extension is a finitely generated $\mathbb{Z}_p$-module. The relationship between this conjecture and Iwasawa's classical $μ=0$ conjecture is clarified. We also present some partial results towards the question whether Conjecture A is invariant under isogenies.

연구 동기 및 목표

• 수체 위의 타원곡선과 갈루아 표현에 대한 미세 세일머 군의 구조를 조사한다.
• 코실로미아 Zp-확장에서의 미세 세일머 군이 유한생성임을 주장하는 추측 A와 이와사와의 고전적 μ = 0 추측 사이의 관계를 명확히 한다.
• 특히 CM 타원곡선에 대해 추측 A가 이소지니에 대해 불변인지 조사한다.
• 이소지니 불변성의 배경이 되는 코homological 조건—특히 쿠퍼 곱의 소멸—을 탐구한다.

제안 방법

• 수체 위의 표현에 대한 갈루아 코hom올로지로 미세 세일머 군을 분석하기 위해 이와사와 이론과 연속 코hom올로지 기법을 사용한다.
• 코실로미아 확장 위에서의 코hom올로지 정의를 위해 완비 텐서곱 구조 $ M_{\mathcal{L}} = \varprojlim_n \mathbb{Z}_p[[\mathcal{G}]]^\sharp / \mathfrak{J}^n \otimes_{\mathbb{Z}_p} M_n $ 를 적용한다.
• 포이투-테이트 dualit 및 코어스트리크션 사상들을 사용하여 유한 및 무한 확장 간의 코homology 군을 연결한다.
• 이소지니 불변성의 코homological 기준으로서, 특정 쿠퍼 곱 사상의 단사성을 주장하는 추측 C(K,M)을 도입한다.
• 2차원의 분해 가능 표현에 대해 이소지니 불변성 문제를 $ \operatorname{H}^1(G_S(K), \mathbb{F}_p) $ 에 속한 클래스와의 쿠퍼 곱 소멸 조건으로 환원한다.
• 기저 변경을 통해 p와 서로소인 차수의 유한 확장에 대해, Gysin 수열과 비분비 코hom올로지 성질을 이용하여 추측 C가 유한 소수 집합 S에 독립적임을 보인다.

실험 결과

연구 질문

• RQ1 코실로미아 Zp-확장에서의 미세 세일머 군이 유한생성임을 주장하는 추측 A는 타원곡선의 이소지니에 대해 보존되는가?
• RQ2 추측 A는 이와사와의 고전적 μ = 0 추측과 어떻게 관련이 있는가?
• RQ3 추측 A의 이소지니 불변성은 쿠퍼 곱 소멸과 같은 코homological 조건으로 환원될 수 있는가?
• RQ4 포트리아노 쌍대와 완비 군환은 미세 세일머 군 분석에서 어떤 역할을 하는가?
• RQ5 사상 $ Q \otimes_\Omega H^2(G_S(K), N_{K_{\text{cyc}}}) \to Q \otimes_\Omega H^2(G_S(K), M_{K_{\text{cyc}}}) $ 의 단사성이 이소지니 불변성을 어떻게 유도하는가?

주요 결과

• 추측 A는 이와사와의 μ = 0 추측과 깊이 연결되어 있으며, 이소지니 불변성을 증명하는 것이 μ = 0을 증명하는 것만큼 어려울 수 있음을 시사한다.
• 논문은 광범위한 CM 타원곡선의 클래스에 대해 추측 A의 이소지니 불변성을 증명한다.
• Q의 몫체 Ω와의 텐서곱 이후 코homology 사상의 단사성을 주장하는 추측 C(K,M)은 핵과 여핵의 유한성과 같은 여러 다른 코homological 조건과 동치임을 보였다.
• Gysin 수열과 비분비 코hom올로지 성질을 통해 추측 C는 유한 소수 집합 S에 독립적임을 입증하였다.
• Fp 위의 2차원 분해 가능 표현에 대해, 이소지니 불변성은 $ \operatorname{H}^1(G_S(K), \mathbb{F}_p) $ 에 속한 클래스와의 쿠퍼 곱 소멸 조건으로 환원되며, 이는 문제를 쿠퍼 곱 이론과 연결한다.
• 기저 변경의 차수가 p와 서로소인 경우, $ \operatorname{H}^2(G_S(K_{\text{cyc}}), N) \to \operatorname{H}^2(G_S(K_{\text{cyc}}), M) $ 의 제약 사상은 분리 단사적임을 보여, 더 단순한 경우로 환원할 수 있다.