[논문 리뷰] Period, index and potential sha

Pete L. Clark, Shahed Sharif|ArXiv.org|2008. 11. 18.

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

한 줄 요약

이 논문은 전역체 위의 종수 1 곡선에 대한 산술 문제를 해결하기 위해 O'Neil의 주기-지수 장애 맵 이론을 발전시킨다. 임의의 쌍 (P, I)에 대해 P가 I를 나누고 I가 P²를 나누는 경우, 주기 P와 지수 I를 갖는 수체 K와 K 위의 종수 1 곡선 C가 존재함을 증명한다. 또한 임의의 주기-지수 쌍 (P, I)에 대해 무한히 많은 수의 곡선을 구축하며, 이 곡선들의 아벨 다양체는 E이고 지수는 P²이며, 이는 필드 확장에 따른 샤파레비치-타이트 군의 구조에 강력한 결과를 이끌어낸다.

ABSTRACT

In this paper we advance the theory of O'Neil's period-index obstruction map and derive consequences for the arithmetic of genus one curves over global fields. Our first result implies that for every pair of positive integers (P,I) with P dividing I and I dividing P^2, there exists a number field K and a genus one curve C over K with period P and index I. Second, let E be any elliptic curve over a global field K, and let P > 1 be any integer indivisible by the characteristic of K. We construct infinitely many genus one curves C over K with period P, index P^2, and Jacobian E. We deduce strong consequences on the structure of Sharevich-Tate groups under field extension.

연구 동기 및 목표

• O'Neil의 주기-지수 장애 맵을 전역체로 확장하고, 종수 1 곡선의 산술에 적용하기.
• 전역체 위의 종수 1 곡선에 대한 주기와 지수 쌍 (P, I)의 가능한 범위를 해결하기.
• 주어진 아벨 곡선 E를 가진 주기 P, 지수 P²인 종수 1 곡선의 무한한 가닥을 구성하기.
• 필드 확장에 따른 샤파레비치-타이트 군의 구조적 성질을 도출하기.
• 종수 1 곡선의 모듈리 공간에서 주기 대비 지수의 일반적 행동을 탐구하기.

제안 방법

• Lichtenbaum-Tate dual성과 θ군의 함의성을 활용하여 주기-지수 장애 맵을 분석한다.
• Galois 코hom로지 기법을 적용하여 H¹(K, E)에 대해 분석하고 국소적 행동이 통제된 클래스를 구성한다.
• 핵심사영 사상과 소수 이상의 선택을 통해 주기와 지수가 지정된 코hom로지 클래스를 구축한다.
• 타원곡선 위의 전체 P- torsion과 P*-torsion 조건을 활용하여 장애 맵을 통제한다.
• 체 확장과 국소 조건을 통해 명시적 예를 구성하여 원하는 주기와 지수 쌍을 실현한다.
• 브라우어 군과 코hom로지 기호 결과를 적용하여 고차원 및 양의 특성수 설정에서 장애 맵을 분석한다.

실험 결과

연구 질문

• RQ1 P | I | P² 를 만족하는 모든 쌍 (P, I)에 대해, 주기 P와 지수 I를 갖는 전역체 위의 종수 1 곡선이 존재하는가?
• RQ2 고정된 아벨 곡선 E, 주기 P를 갖는 전역체 위에서, 무한히 많은 종수 1 곡선을 지수 P²와 함께 구성할 수 있는가?
• RQ3 특히 주기-지수 불일치와 관련하여, 필드 확장에 따른 샤파레비치-타이트 군은 어떻게 행동하는가?
• RQ4 양의 특성수에서 주기-지수 장애 맵은 전사적이고 계산 가능한가?
• RQ5 주기 P인 종수 1 곡선의 모듈리 공간의 일반적 지수를 P²임을 증명할 수 있는가?

주요 결과

• 모든 쌍 (P, I)에 대해 P가 I를 나누고 I가 P²를 나누는 경우, 주기 P와 지수 I를 갖는 수체 K와 K 위의 종수 1 곡선 C가 존재한다.
• 전역체 K 위의 타원곡선 E와 1보다 큰 정수 P(특성에 의해 나누어지지 않는)에 대해, 주기 P, 지수 P², 아벨 다양체 E를 갖는 종수 1 곡선이 무한히 많이 존재한다.
• 임의의 주어진 r에 대해, 어떤 P-차수 확장 L/K 위에서 E의 샤파레비치-타이트 군에 최소한 r개의 차수 P 원소를 포함한다.
• 장애 맵 ΔP가 I/P의 비율을 통제함을 보이며, I/P = |ΔP(H¹(K, E[P]))|라는 추측은 날카로운 코hom로지 경계와 동치임을 증명한다.
• I = P²인 경우 I < P²인 경우보다 더 쉽게 예를 구성할 수 있으며, 이는 I = P²가 모듈라이 이론적 관점에서 일반적임을 시사한다.
• 장애 맵을 양의 특성수로 확장하고, 곡선의 주기-지수 문제를 그 아벨 다양체와 연결하는 데 있어 열린 문제를 제시한다.