[논문 리뷰] A positive proportion of elliptic curves over $\mathbb{Q}$ have rank one

Manjul Bhargava, Christopher Skinner|arXiv (Cornell University)|2014. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 5

한 줄 요약

이 논문은 자연스러운 높이로 순서를 매긴 ℚ 위의 타원곡선들 중 양의 비율을 차지하는 곡선들이 대수적 및 해석적 랭크 1을 가짐을 증명한다. p-진 기준, 그로스–차이어 공식, 세일머 군 등분포를 이용하여, 큰 가족 내 곡선의 최소 1/2가 랭크 1 조건을 만족함을 입증하였으며, 평균 랭크와 해석적 랭크의 양의 성질에 대한 오랜 동안의 추측을 확인한다.

ABSTRACT

We prove that, when all elliptic curves over $\mathbb{Q}$ are ordered by naive height, a positive proportion have both algebraic and analytic rank one. It follows that the average rank and the average analytic rank of elliptic curves are both strictly positive.

연구 동기 및 목표

• 높이 순서로 정렬된 ℚ 위의 타원곡선들 중 양의 비율이 대수적 및 해석적 랭크 1을 가지는지 입증하는 것.
• 타원곡선의 평균 랭크와 평균 해석적 랭크가 엄밀히 양수임을 증명하는 오랜 동안의 추측을 해결하는 것.
• 랭크 1의 경우에서 빌라스–스위너튼-다이어 추측이 성립하는 타원곡선의 양의 비율에 대한 첫 번째 증명을 제공하는 것.
• 이전의 랭크 0 곡선 결과를 새로운 p-진 기법과 세일머 군 수세기로 랭크 1의 경우로 확장하는 것.

제안 방법

• 랭크 1을 보장하는 p-진 기준(정리 3 및 4)을 개발하여, 타원곡선 또는 그의 2차 변형이 랭크 1을 가짐을 보장한다.
• 일반화된 그로스–차이어 공식과 그 p-진 변형을 적용하여 p-진 L값과 L함수의 영점의 차수를 연결한다.
• GL₂에 대한 아이와사와 주요 추측과 코리바의 정리의 역을 이용하여 해석적 자료로부터 대수적 랭크를 유도한다.
• p-진 타이트 모듈에서 세일머 원소의 등분포를 이용하여 국소 조건의 실패를 제어한다.
• 전체 수세기에서 양의 밀도를 확보하기 위해 합동 조건으로 정의된 큰 가족 𝒟를 구성한다.
• 오차항 o(X⁵/⁶)를 포함한 수세기 방법을 적용하여, 랭크 1 조건을 만족하는 곡선의 수가 총 곡선 수의 양의 상수배 이상으로 아래에서 유계임을 보인다.

실험 결과

연구 질문

• RQ1 높이 순서로 정렬된 ℚ 위의 타원곡선들 중 양의 비율이 대수적 및 해석적 랭크 1을 가지는가?
• RQ2 골드펠드–카츠–사르나크 추측이 예측한 바와 같이, ℚ 위의 타원곡선의 평균 랭크는 엄밀히 양수인가?
• RQ3 랭크 1의 예시를 통해 빌라스–스위너튼-다이어 추측을 타원곡선의 양의 비율에 대해 검증할 수 있는가?
• RQ4 p-진 기준을 이용하여 대수적 및 해석적 랭크 1을 모두 가지는 랭크 1 곡선을 탐지할 수 있는가?
• RQ5 수세기 방법이 랭크 1 곡선의 밀도에 대해 비자명한 하한을 제공하는 데 필요한 최소 p는 무엇인가?

주요 결과

• ℚ 위의 타원곡선들 중 양의 비율이 대수적 및 해석적 랭크 1을 가지며, 골드펠드–카츠–사르나크 추측의 핵심 예측을 확인한다.
• ℚ 위의 타원곡선들의 평균 랭크와 평균 해석적 랭크는 모두 엄밀히 양수이며, 평균 랭크의 liminf에 대한 처음으로 무조건적인 하한을 제공한다.
• 높이 < D⁶X 인 타원곡선 중 랭크 1인 곡선의 수는 총 곡선 수의 양의 상수배 이상이며, 그 상수는 c(𝒟)/c(ℰ) · (1/2)/39⁵ > 0 으로 아래에서 유계이다.
• 수세기 방법의 성능을 고려할 때, p = 5를 사용한 것이 필수적이며, 더 작은 p(예: p = 3)는 오차 비율이 높아 상수 하한이 부족해지기 때문이다.
• 이 방법은 랭크 1의 경우에서 빌라스–스위너튼-다이어 추측을 만족하는 곡선의 양의 비율을 확립하며, 이전의 랭크 0 곡선 결과를 확장한다.
• 수세기 과정의 오차항은 o(X⁵/⁶)이며, 이는 X → ∞ 일 때도 점점 증가하는 밀도를 유지함을 보장한다.