[논문 리뷰] The average number of elements in the 4-Selmer groups of elliptic curves is 7

Manjul Bhargava, Arul Shankar|arXiv (Cornell University)|2013. 12. 27.

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

한 줄 요약

이 논문은 ℚ 위의 타원곡선의 4-Selmer 군의 평균 크기가 높이에 따라 순서를 매길 때 정확히 7임을 증명한다. 4-Selmer 원소를 ℙ³ 내의 쌍의 이차형식의 국소적으로 해가 존재하는 궤도로 기하학적으로 표현함으로써, 저자들은 불변량 이론과 아델 적분을 사용하여 평균을 계산하였으며, 이는 이전의 2- 및 3-Selmer 군 결과를 확장하고, 모든 n에 대해 n-Selmer 군 평균에 대한 보다 광범위한 추측을 지지한다.

ABSTRACT

We prove that when all elliptic curves over $\mathbb{Q}$ are ordered by height, the average size of their 4-Selmer groups is equal to 7. As a consequence, we show that a positive proportion (in fact, at least one fifth) of all 2-Selmer elements of elliptic curves, when ordered by height, do not lift to 4-Selmer elements, and thus correspond to nontrivial 2-torsion elements in the associated Tate--Shafarevich groups.

연구 동기 및 목표

• 높이에 따라 순서를 매긴 ℚ 위의 타원곡선의 4-Selmer 군의 평균 크기를 결정하는 것.
• 이 결과를 계수 A와 B에 대한 유한 개의 합동 조건으로 정의된 가족으로 확장하는 것.
• 2-Selmer 원소 중 4-Selmer 원소로의 상승이 이루어지지 않는 비율이 양의 비율임을 입증함으로써, 타테–샤파레비치 군에 비자명한 2- torsion 이 존재함을 시사하는 것.
• 모든 양의 정수 n에 대해 n-Selmer 군의 평균 크기가 σ(n), 즉 n의 약수의 합임을 추측하는 것을 지지하는 것.
• 골드펠트–카츠–사르나크 추측, 즉 타원곡선의 랭크 분포가 50%-50%임을 뒷받침하는 이론적 증거를 제공하는 것.

제안 방법

• 4-Selmer 원소를 ℙ³ 내의 쌍의 이차형식의 표현 공간 Vℚ 위에서 국소적으로 해가 존재하는 Gℚ-궤도로 표현하는 것.
• 군 Gℝ = (GL₂ × GL₄)/{ (λ⁻²I₂, λI₄) }의 불변량 링을 사용하여 임의의 야코비 타원곡선에 대해 A와 B의 불변량을 부여하는 것.
• ℝ 및 ℚₚ 위에서의 아델 적분과 체적 계산을 적용하여 국소적으로 해가 존재하는 궤도의 조밀도를 계산하는 것.
• E[4]와 E[2]가 ℚ 위에서 가지는 구조를 이용하여 4-Selmer 군의 평균 크기를 비자명한 2- torsion 원소를 가진 궤도의 수와 연결하는 것.
• 기존에 알려진 2-Selmer 군의 평균 크기(3)와 4-Selmer 군 내 비2- torsion 원소의 평균 수(4)를 이용하여 총 평균 크기 7을 유도하는 것.
• S₄(E) → S₂(E)의 ×2 사상에 대해 전이가 없는 2-Selmer 원소의 평균 수에 대해 3/5 이상의 하한을 확립하는 것. 이는 S₄(E) 내에서 4차 원소의 평균 크기에 대한 추정치를 활용한다.

실험 결과

연구 질문

• RQ1 높이에 따라 순서를 매긴 ℚ 위의 타원곡선의 4-Selmer 군의 평균 크기는 무엇인가?
• RQ2 A와 B에 대한 유한 개의 합동 조건으로 정의된 가정에서 4-Selmer 군의 평균 크기는 여전히 7인가?
• RQ3 2-Selmer 원소 중 얼마나 많은 비율이 4-Selmer 원소로의 상승에 실패하는가? 이는 타테–샤파레비치 군에 어떤 함의를 갖는가?
• RQ4 모든 양의 정수 n에 대해 n-Selmer 군의 평균 크기에 일반적인 패턴이 존재하는가?
• RQ5 이러한 평균 크기의 함의는 ℚ 위의 타원곡선의 랭크 분포에 어떤 영향을 미치는가?

주요 결과

• 높이에 따라 순서를 매긴 ℚ 위의 타원곡선의 4-Selmer 군의 평균 크기는 정확히 7이다.
• 이 결과는 계수 A와 B에 대한 유한 개의 합동 조건으로 정의된 임의의 타원곡선 가정에 대해 균일하게 성립한다.
• 2-Selmer 원소 중 양의 비율—특히 최소 1/5 이상—은 4-Selmer 원소로의 상승이 이루어지지 않으며, 이는 타테–샤파레비치 군 내 비자명한 2- torsion 이 존재함을 시사한다.
• 4-Selmer 군 내에서 2의 차수를 나누지 않는 원소의 평균 수는 4이며, 2-Selmer 군의 평균 크기는 3이며, 이들의 합은 7이다.
• S₄(E) → S₂(E)의 ×2 사상에 대해 전이가 없는 2-Selmer 원소의 평균 수의 liminf는 최소 3/5이며, 이 하한은 정확하다.
• 이 결과들은 n-Selmer 군의 평균 크기가 σ(n), 즉 n의 약수의 합임을 추측하는 것을 지지하며, 이는 n = 1, 2, 3, 4일 때 이미 증명된 바 있다.