[논문 리뷰] A majority of elliptic curves over $\mathbb Q$ satisfy the Birch and Swinnerton-Dyer conjecture

Manjul Bhargava, Christopher Skinner외 1명|arXiv (Cornell University)|2014. 07. 07.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 22

한 줄 요약

이 논문은 높이 기반으로 순서를 매긴 ℚ 위의 타원곡선 중 최소 66.48%가 p-셀머 그룹 평균과 루트 수 분포를 분석함으로써 버치와 스위너튼-다이의 랭크 추측을 만족한다는 것을 증명한다. p-adic 조건과 해석적 랭크 0 또는 1인 곡선에 대한 밀도 추정을 사용하여, 다수의 곡선이 유한한 타테-샤파레비치 군을 가지며 대수적 랭크와 해석적 랭크가 일치함을 입증한다.

ABSTRACT

We prove that a majority (in fact, $>66\%$) of all elliptic curves over $\mathbb Q$, when ordered by height, satisfy the Birch and Swinnerton-Dyer rank conjecture.

연구 동기 및 목표

• ℚ 위의 타원곡선 중 버치와 스위너튼-다이 랭크 추측을 만족하는 비율에 대해 양의 하한을 확립하는 것.
• 대부분의 타원곡선이 유한한 타테-샤파레비치 군을 가짐을 증명하는 것.
• 대수적 랭크와 해석적 랭크가 각각 0 또는 1인 곡선의 비율에 대한 정량적 하한을 유도하는 것.
• 높이 순서로 정렬된 ℚ 위의 타원곡선의 평균 랭크에 대한 이해를 향상시키는 것.
• 모든 소수 p에 대해 ℚ 위의 p-셀머 군의 평균 크기가 p+1임을 보이고, 그 결과를 제시하는 것.

제안 방법

• 도크히트서-도크히트서, 그로스-자자이어, 코리바진의 연구에서 유도된 p-adic 조건을 사용하여 타원곡선이 대수적 랭크 또는 해석적 랭크 0 또는 1을 가질 때를 판단하는 것.
• 합동 조건으로 정의된 큰 타원곡선 가족에서 p=3 및 p=5에 대한 평균 p-셀머 군 크기 결과를 적용하는 것.
• 큰 가족 내 곡선들이 특정한 p-adic 및 합동 조건을 만족하는 자연 밀도를 추정하여, 밀도가 약 80%에 가까워짐을 보이는 것.
• 밀도 추정과 밀도가 최소 55% 이상인 부분가족에서의 루트 수(±1)의 등분포를 조합하여 셀머 군의 기수를 통제하는 것.
• 다양한 가족에서의 조합 최적화를 통해 랭크 0 또는 1인 곡선의 비율을 근사하는 데, 셀머 군 기수에 관한 정리 25를 활용하는 것.
• 루트 수 ±1이 도크히트서-도크히트서의 정리에 의해 p-셀머 군 기수와 관련되어 있음을 이용하여 해석적 랭크와 대수적 랭크를 연결하는 것.

실험 결과

연구 질문

• RQ1 높이 순서로 정렬된 ℚ 위의 타원곡선 중 버치와 스위너튼-다이 랭크 추측을 만족하는 비율은 얼마인가?
• RQ2 대수적 랭크와 해석적 랭크가 모두 0인 타원곡선의 비율에 대한 하한은 얼마인가?
• RQ3 대수적 랭크와 해석적 랭크가 모두 1인 타원곡선의 비율에 대한 하한은 얼마인가?
• RQ4 모든 소수 p에 대해 ℚ 위의 p-셀머 군의 평균 크기가 p+1임을 증명할 수 있으며, 그 결과는 무엇인가?
• RQ5 큰 가족 내 타원곡선의 루트 수 분포는 랭크 0 또는 1인 곡선의 밀도에 어떻게 영향을 미치는가?

주요 결과

• 높이 순서로 정렬된 ℚ 위의 타원곡선 중 최소 66.48%가 버치와 스위너튼-다이 랭크 추측을 만족한다.
• 최소 16.50%의 타원곡선이 대수적 랭크와 해석적 랭크 모두 0을 가진다.
• 최소 20.68%의 타원곡선이 대수적 랭크와 해석적 랭크 모두 1을 가진다.
• 높이 순서로 정렬된 ℚ 위의 타원곡선의 평균(대수적 또는 해석적) 랭크는 최소 0.2068이다.
• 유한한 타테-샤파레비치 군을 가진 곡선의 비율은 최소 66.48%이다.
• 만약 모든 소수 p에 대해 ℚ 위의 p-셀머 군의 평균 크기가 p+1이면, 버치와 스위너튼-다이 추측은 ℚ 위의 타원곡선 100%에 대해 성립한다.