[논문 리뷰] Numerical verification of the Birch and Swinnerton-Dyer conjecture for hyperelliptic curves of higher genus over $\mathbb Q$ up to squares

Raymond van Bommel|arXiv (Cornell University)|2017. 11. 28.

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

한 줄 요약

이 논문은 ℚ 위의 고리수 곡선의 잭비안에 대해 베르크와 스위너튼-다이어 추측의 수치적 검증을 제시한다. 이는 기존의 모듈러 방법을 사용하지 않고 고리수 곡선의 계수 2, 3, 4, 5에 대해 이전의 연구를 초월한다. 실주기의 계산을 향상시킨 알고리즘을 도입하여 네론 미분형을 통한 실주기 계산을 개선하고, 추측의 순서가 제곱 또는 유리수의 제곱의 두 배임을 고정밀도 범위 내에서 확인함으로써 추측을 제곱까지 검증한다.

ABSTRACT

The Birch and Swinnerton-Dyer conjecture has been numerically verified for the Jacobians of 32 modular hyperelliptic curves of genus 2 by Flynn, Leprévost, Schaefer, Stein, Stoll and Wetherell, using modular methods. In the calculation of the real period, there is a slight inaccuracy, which might give problems for curves with non-reduced components in the special fibre of their Néron model. In this present paper we explain how the real period can be computed, and how the verification has been extended to many more hyperelliptic curves, some of genus 3, 4 and 5, without using modular methods.

연구 동기 및 목표

• ℚ 위의 고리수 곡선에서 기존의 연구를 고리수 2를 초월하여 고리수 3, 4, 5까지 확장하여 모듈러 형식을 사용하지 않고 BSD 추측의 수치적 검증을 수행한다.
• 이전 연구에서 실주기를 계산할 때 상대 미분형에서가 아니라 표준 미분형을 사용하지 않아 발생한 미세한 오류를 수정하기 위해 네론 미분형을 통한 실주기 계산에 대한 엄밀한 알고리즘을 제공한다.
• BSD 공식을 제곱까지 검증하여, 추측된 타이트-샤파레비치 군의 순서가 유리수의 제곱 또는 두 배의 유리수 제곱임을 확인한다.
• 네론 모델의 성분군에 대한 갈루아 작용을 통한 타마가와 수 계산을 구현하고, Magma 패키지를 개발하여 배포한다.
• 수치적 검증 하에서 고리수 잭비안의 L함수의 해석적 계속성과 함수방정식이 성립함을 위한 증거를 제공한다.

제안 방법

• 상대 미분형이 아닌 표준 미분형을 사용하여 실주기를 계산하는 명시적 알고리즘을 개발하였으며, 이는 이전 연구에서 상대 미분형을 사용한 계산 오류를 수정한다.
• L함수는 Magma에서 Dokchitser와 Dokchitser가 구현한 역 멜린 변환 방법을 사용하여 수치적으로 평가하였으며, 특수값 L(A,1)의 고정밀도 계산이 가능해졌다.
• 조합적 교차 이론과 모를드-웨일 생성자들 사이의 높이 쌍을 사용하여 조정을 계산하였지만, 점 찾기 높이 한계의 제약으로 인해 제곱의 배수로만 알려져 있다.
• 타마가와 수는 새로운 Magma 패키지를 통해 정규 네론 모델을 연속적인 붕괴를 통해 모델링하고 특수 섹션의 성분군에 대한 갈루아 작용을 계산함으로써 계산되었다.
• 타이트-샤파레비치 군의 순서는 직접 계산되지 않았으며, 대신 [PoSt99]의 기준을 사용하여 BSD 공식에서 유도된 추측된 순서가 유리수의 제곱 또는 두 배의 유리수 제곱임을 확인하였다.
• L함수의 해석적 계속성과 함수방정식의 정확성이 가정된 하에서 검증이 수행되었으며, 오그의 공식을 통한 2-부분의 도수 계산도 고려되었다.

실험 결과

연구 질문

• RQ1 비모듈러 방법을 사용하여 ℚ 위의 고리수 곡선의 잭비안에 대해 BSD 추측을 고리수 3, 4, 5에서 수치적으로 검증할 수 있는가?
• RQ2 특수 섹션의 비환원 성분이 존재하는 경우에도 실주기를 더 정확하게 계산하는 방법은 무엇인가?
• RQ3 점 찾기 높이 한계가 부족할 경우 조정과 타마가와 수를 얼마나 신뢰성 있게 계산할 수 있는가?
• RQ4 BSD 공식에서 유도된 타이트-샤파레비치 군의 추측된 순서가 기대되는 제곱 또는 두 배의 제곱 클래스에 속하는가?
• RQ5 성분군에 대한 갈루아 작용을 통한 타마가와 수 계산을 위한 체계적이고 재현 가능한 방법을 계산 대수 시스템에 구현할 수 있는가?

주요 결과

• 저자들은 [FLSSSW]의 32개의 고리수 2 곡선에 대해 BSD 추측을 수치적으로 검증하였으며, 타이트-샤파레비치 군의 추측된 순서가 정수와 10⁻⁹ 이내로 일치했고, 한 명을 제외한 모든 경우에서 정확히 1.000000000임을 확인하였다.
• 계수 집합 {-10,…,10}과 판별식 ≤10⁵인 300개의 고리수 2 고리수 곡선 중 약 1/3이 해석적 랭크와 대수적 랭크가 1이었으며, BSD 공식이 제곱까지 성립함을 확인하였다.
• 계수 집합 {-3,…,3}과 판별식 ≤10⁶인 6개의 고리수 3 고리수 곡선에 대해 적용하여, 고리수 3 곡선에 대한 BSD 추측의 첫 번째 수치적 검증을 달성하였다.
• LMFDB의 거의 모든 66,158개의 고리수 2 곡선에 대해, 정규 모델과 갈루아 작용을 기반으로 한 새로운 Magma 패키지를 사용하여 몇 시간 내에 타마가와 수를 계산하였다.
• 점 찾기 높이 한계가 부족하여 고리수 3~5에서는 많은 경우에서 조정이 제곱의 배수로만 계산되었으며, 이로 인해 조정의 정확한 값에 대한 불확실성이 존재하였다.
• 추측된 타이트-샤파레비치 군의 순서가 고정밀도 범위 내에서 유리수의 제곱 또는 두 배의 유리수 제곱임을 확인하였으며, [PoSt99]의 기준을 충족하여 BSD 추측의 일관성을 뒷받침하였다.