[논문 리뷰] Vanishing of some Galois cohomology groups for elliptic curves

Tyler Lawson, Christian Wüthrich|arXiv (Cornell University)|2015. 05. 12.

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

한 줄 요약

이 논문은 타원곡선 $ E/\mathbb{Q} $ 에 대해 갈루아 코hom로지 군 $ H^1(G, E[p]) $ 가 영이 아닐 때를 완전히 분류하며, 유일한 세 가지 예외적인 케이스를 특정한다: $ p=3 $ 에서 유일한 3-이소지니, $ p=5 $ 에서 특정한 5-이소지니와 테이블, 그리고 $ p=11 $ 에서 곡선 121c2에 해당한다. 또한 이 분류를 더 높은 토르션 군 $ E[p^i] $ 로 확장하여, $ H^1(G_i, E[p^i]) $ 가 유리 $ p $-토르션 또는 이소지니를 포함하는 특별한 케이스를 제외하고는 영이 됨을 보이며, 버치와 스위너튼-다이어 추측 및 그룬발트–와ង 문제에의 응용을 제시한다.

ABSTRACT

Let E/Q be an elliptic curve and p be a prime number, and let G be the Galois group of the extension of Q obtained by adjoining the coordinates of the p-torsion points on E. We determine all cases when the Galois cohomology group H^1(G, E[p]) does not vanish, and investigate the analogous question for E[p^i] when i>1. We include an application to the verification of certain cases of the Birch and Swinnerton-Dyer conjecture, and another application to the Grunwald-Wang problem for elliptic curves.

연구 동기 및 목표

• 타원곡선 $ E/\mathbb{Q} $ 에 대해 $ G = \operatorname{Gal}(\mathbb{Q}(E[p]) / \mathbb{Q}) $ 일 때 $ H^1(G, E[p]) $ 가 영이 되지 않는 모든 경우를 결정하는 것.
• 특히 $ p > 3 $ 에 대해 $ i > 1 $ 인 더 높은 토르션 군 $ E[p^i] $ 로 분류를 확장하는 것.
• 코호몰로지 결과를 활용하여 버치와 스위너튼-다이어 추측의 특정 케이스를 검증하고, 타원곡선에 대한 그룬발트–와áng 문제를 다루는 것.
• 지난 결과를 수정하고 확장하여 국소-글로벌 나눗셈에 대한 명시적 반례를 특정하는 것, 특히 $ m = 9 $ 에 대해.

제안 방법

• 갈루아 군 $ G $ 가 비자명한 히포테시를 포함하지 않는 케이스로 감소시켜 코호몰로지 분석을 단순화하는 것.
• 특히 모듈로 $ p $ 갈루아 표현의 상을 중심으로 하여 군론적 기법과 갈루아 표현 이론을 활용해 $ H^1(G, E[p]) $ 를 분석하는 것.
• 특히 $ H^2 $ 에 대한 핵심적인 영성 결과를 응용하여 문제를 다룰 수 있는 케이스로 축소하는 것.
• 갈루아 군 $ G_i = \operatorname{Gal}(\mathbb{Q}(E[p^i]) / \mathbb{Q}) $ 와 $ \operatorname{GL}_2(\mathbb{Z}/p^i\mathbb{Z}) $ 의 구조적 성질을 분석하여 $ H^1(G_i, E[p^i]) $ 를 계산하는 것.
• 특히 $ m = 9 $ 에 대해 프로베누스 원소와 소수 모듈로 $ \ell $ 를 이용한 국소 나눗셈 조건의 수치적 검증.
• 코호몰로지 수열에서 국소화 사상의 핵을 분석하여 국소-글로벌 나눗셈에 대한 반례를 명시적으로 구성하는 것.

실험 결과

연구 질문

• RQ1 어떤 타원곡선 $ E/\mathbb{Q} $ 과 소수 $ p $ 에 대해 $ H^1(G, E[p]) $ 가 영이 되지 않는가?
• RQ2 $ i > 1 $ 인 경우, 특히 $ p > 3 $ 일 때 $ H^1(G_i, E[p^i]) $ 가 비자명이 되는 정확한 조건은 무엇인가?
• RQ3 이러한 코호몰로지 군의 영성은 버치와 스위너튼-다이어 추측의 어떤 케이스를 검증하는 데 어떻게 활용될 수 있는가?
• RQ4 코호몰로지 장벽을 이용하여 $ m = 9 $ 에 대한 국소-글로벌 나눗셈 원칙의 반례를 구성할 수 있는가?
• RQ5 $ m = 9 $ 에 대해 코호몰로지 수열에서 국소화 핵의 구조는 무엇이며, 갈루아 군 $ G_2 $ 와 어떻게 관련되는가?

주요 결과

• 코호몰로지 군 $ H^1(G, E[p]) $ 는 오직 세 가지 특별한 케이스에서만 비자명하다: $ p=3 $ 에서는 유일한 3-이소지니, $ p=5 $ 에서는 특정한 5-이소지니와 테이블, $ p=11 $ 에서는 곡선 121c2이며, 각각 정확히 $ p $ 개의 원소를 가진다.
• $ p=11 $ 에서는 $ \mathbb{Q} $ 상에서 무한히 많은 예외가 존재하지만, $ p>17 $ 에서는 유한히 존재하며, $ p \equiv 1 \pmod{3} $ 일 경우는 전혀 없다.
• $ i > 1 $ 에서는 $ H^1(G_2, E[p^2]) $ 가 영이 되는 것과 $ H^1(G_i, E[p^i]) $ 가 모든 $ i \geq 2 $ 에 대해 영이 되는 것이 동치이며, 이는 유리 $ p $-토르션 또는 차수 $ p $ 또는 $ p^2 $ 의 이소지니를 포함하는 특별한 케이스를 제외하고 성립한다.
• 국소-글로벌 나눗셈에 대한 명시적 반례가 존재한다: 예를 들어 곡선 243a2에서, 점 $ P $ 는 모든 $ \ell \neq 3 $ 에서 $ 3P $ 가 국소적으로 9로 나누어지지만, 전역적으로는 9로 나누어지지 않는다.
• $ p=5 $ 에서는 $ \operatorname{GL}_2(\mathbb{Z}/25\mathbb{Z}) $ 의 부분군 중에서 비자명한 국소화 핵을 가진 것이 정확히 세 개인데, 각각 차원 2이고 순서가 4이다.
• $ p=2 $ 에서는 비자명한 국소화 핵을 가진 12가지 케이스가 있으며, 핵의 크기는 $ \mathbb{Z}/2 $ 또는 $ \mathbb{Z}/2 \oplus \mathbb{Z}/2 $ 이며, $ M_2 $ 의 차원은 1에서 3까지 다양하다.