[논문 리뷰] A non-abelian conjecture of Birch and Swinnerton-Dyer type for hyperbolic curves

Jennifer S. Balakrishnan, Ishai Dan‐Cohen외 2명|arXiv (Cornell University)|2012. 09. 04.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 $ℚ$-위에서 초구형 곡선에 대한 비아벨리안 버전의 Birch와 Swinnerton-Dyer 추측을 제안하며, $ℚ_p$-무일치 기본군을 갖는 비아벨리안 코hom로지에서 세일머 스킴을 사용하여 전역 정수점들을 특성화한다. $ℝ^1\setminus\{0,1,\infty\}$와 랭크 0 준안정 타원곡선의 경우 전역 세일머 스킴의 국소 이미지를 계산하여 추측이 광범위한 경우에 수치적으로 확인한다.

ABSTRACT

We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental groups. For $\mathbb{P}^1\setminus \{0,1,\infty\}$ and the complement of the origin in semi-stable elliptic curves of rank 0, we compute the local image of global Selmer schemes, which then allows us to numerically confirm our conjecture in a wide range of cases.

연구 동기 및 목표

• 초구형 곡선에 대해 $ℚ$ 위에서 비아벨리안 설정으로 Birch와 Swinnerton-Dyer 추측을 확장하기.
• 비아벨리안 코호몰로지 함수자리에서 세일머 스킴을 사용하여 전역 정수점들을 식별하는 기준을 개발하기.
• 특정 케이스에서 전역 세일머 스킴의 국소 이미지를 계산하여 추측을 수치적으로 검증하기.
• $ℝ^1\setminus\{0,1,\infty\}$와 랭크 0 준안정 타원곡선의 맥락에서 추측에 대한 증거를 제공하기.

제안 방법

• 비아벨리안 코호몰로지 함수자리에서 $ℚ_p$-무일치 기본군을 계수로 사용하여 세일머 스킴을 정의하기.
• 모든 자리에서 국소 조건을 만족하는 비아벨리안 코호몰로지의 부분군으로서 전역 세일머 스킴을 구성하기.
• 각 소수 $p$에서 $ℚ_p$-무일치 기본군의 구조를 사용하여 이러한 전역 세일머 스킴의 국소 이미지를 계산하기.
• 프로-무일치 기본군 이론을 적용하여 정수점에 대한 코호몰로지적 장벽을 분석하기.
• $ℝ^1\setminus\{0,1,\infty\}$와 랭크 0 준안정 타원곡선의 경우에 명시적인 계산을 통해 추측을 검증하기.
• 전역 세일머 스킴의 국소 이미지와 기대되는 국소 조건을 비교하여 일관성 검증하기.

실험 결과

연구 질문

• RQ1 어떻게 초구형 곡선에 대해 $ℚ$ 위에서 비아벨리안 설정으로 Birch와 Swinnerton-Dyer 추측을 일반화할 수 있는가?
• RQ2 비아벨리안 코호몰로지에서 세일머 스킴은 초구형 곡선 위의 전역 정수점들을 탐지하는 데 어떤 역할을 하는가?
• RQ3 $ℝ^1\setminus\{0,1,\infty\}$와 랭크 0 준안정 타원곡선의 경우 전역 세일머 스킴의 국소 이미지의 구조는 어떠한가?
• RQ4 비아벨리안 코호몰로지에서 $ℚ_p$-무일치 기본군을 사용하여 추측 기준을 명시적 케이스에서 수치적으로 검증할 수 있는가?
• RQ5 소수 $p$에서의 국소 조건은 비아벨리안 설정에서 전역 세일머 스킴을 어떻게 제약하는가?

주요 결과

• 추측 기준은 비아벨리안 코호몰로지에서 세일머 스킴을 통해 $ℝ^1\setminus\{0,1,\infty\}$의 전역 정수점들을 성공적으로 식별한다.
• 랭크 0 준안정 타원곡선의 경우, 전역 세일머 스킴의 국소 이미지가 명시적으로 계산되었고, 예상되는 국소 조건과 일치한다.
• 이론적 추측은 $ℝ^1\setminus\{0,1,\infty\}$와 랭크 0 타원곡선의 광범위한 경우에 걸쳐 수치적으로 확인되었다.
• $ℚ_p$-무일치 기본군의 구조는 국소 코호몰로지적 장벽을 정확하게 계산하는 데 기여한다.
• 이 방법은 전역 세일머 스킴과 국소 조건 사이의 일관성을 보여주며, 비아벨리안 추측의 타당성을 뒷받침한다.
• 결과는 제시된 설정에서 비아벨리안 버전의 Birch와 Swinnerton-Dyer 추측에 대한 강력한 증거를 제공한다.