[논문 리뷰] $2^\infty$-Selmer groups, $2^\infty$-class groups, and Goldfeld's conjecture

Alexander Smith|arXiv (Cornell University)|2017. 02. 08.

Finite Group Theory Research참고 문헌 11인용 수 28

한 줄 요약

이 논문은 허수 제곱근을 가진 허수 이차체의 $2^\infty$-클래스 군이 Cohen-Lenstra 분포를 따르며, 전체 유리 2-torsion을 가지며 유리 4-이소지니가 없는 타원곡선의 이차-twist의 $2^\infty$-Selmer 군이 Delaunay 분포를 따르는 것을 증명한다. 핵심 결과는 $2^\infty$-Selmer 군의 코랭크가 2 이상인 이러한 타원곡선의 비율이 $o(N)$임을 보여주며, 이는 랭크가 2 이상인 곡선의 밀도가 0임을 의미한다. 이는 Birch와 Swinnerton-Dyer 추측 하에 Goldfeld의 추측을 지지한다.

ABSTRACT

We prove that the $2^\infty$-class groups of the imaginary quadratic fields have the distribution predicted by the Cohen-Lenstra heuristic. Given an elliptic curve E/Q with full rational 2-torsion and no rational cyclic subgroup of order four, we analogously prove that the $2^\infty$-Selmer groups of the quadratic twists of E have distribution as predicted by Delaunay's heuristic. In particular, among the twists E^d with |d| < N, the number of curves with rank at least two is $o(N)$.

연구 동기 및 목표

• 허수 이차체에서 $2^\infty$-클래스 군의 분포를 확립하여 Cohen-Lenstra 히ュ리스틱을 확인한다.
• 전체 유리 2-torsion을 가지며 유리 4-이소지니가 없는 타원곡선의 이차-twist 가족에서 $2^\infty$-Selmer 군의 분포를 규명하여 Delaunay의 히ュ리스틱을 검증한다.
• 자연 밀도가 0인 $2^\infty$-Selmer 군의 코랭크가 2 이상인 이차-twist의 집합을 보여준다. 이는 대부분의 타원곡선이 랭크 0 또는 1임을 의미한다.
• Birch와 Swinnerton-Dyer 추측 하에 $2^\infty$-Selmer 군의 분포를 분석적 랭크 분포와 연결하여 Goldfeld의 추측에 대한 증거를 제공한다.

제안 방법

• Selmer 군과 클래스 군에서 국소 조건의 분포를 제어하기 위해 덧셈-제한 체계와 Ramsey 이론 기법을 사용한다.
• Chebotarev 밀도 정리와 대규모 筛법을 적용하여 소수 위에서 레지스터의 부호를 균일 분포시키며, 국소 갈루아 작용의 균일 분포를 확보한다.
• 원시 및 지배 전개를 사용하여 $k \to \infty$일 때 $2^k$-Selmer 군과 $2^k$-클래스 군의 구조를 모델링한다.
• 정수의 격자 구조를 구성하고 포아송 점 과정 모델을 사용하여 수체 내 소수의 나누어지는 분포를 분석한다.
• 조합론적 및 대수적 도구를 활용하여 타원곡선의 twist 가족 전반에 걸쳐 Cassels-Tate 쌍대화 값의 분산과 평균을 제어한다.
• $k$에 따른 재귀적 마코프 체인 행동을 사용하여 $2^k$-Selmer 군의 분포가 $2^\infty$-분포로 수렴함을 보여준다.

실험 결과

연구 질문

• RQ1 허수 이차체의 $2^\infty$-클래스 군은 Cohen-Lenstra 분포를 따르는가?
• RQ2 전체 유리 2-torsion을 가지며 유리 4-이소지니가 없는 타원곡선의 이차-twist의 $2^\infty$-Selmer 군은 Delaunay 분포를 따르는가?
• RQ3 코랭크가 2 이상인 이차-twist의 자연 밀도는 얼마인가?
• RQ4 Birch와 Swinnerton-Dyer 추측 하에 $2^\infty$-Selmer 군의 분포는 Goldfeld의 추측을 암시하는가?
• RQ5 $2^k$-Selmer 군의 극한 분포는 $k$에 대한 마코프 체인으로 기술될 수 있는가?

주요 결과

• 허수 이차체의 $2^\infty$-클래스 군은 Cohen-Lenstra 히ュ리스틱이 예측한 분포를 따른다.
• 전체 유리 2-torsion을 가지며 유리 4-이소지니가 없는 타원곡선의 이차-twist의 $2^\infty$-Selmer 군은 Delaunay의 히ュ리스틱이 예측한 분포를 따른다.
• 모든 $|d| < N$인 $E^{(d)}$ 타원곡선 중에서 $2^\infty$-Selmer 군의 코랭크가 2 이상인 경우의 수는 $o(N)$이며, 이는 이러한 타원곡선의 자연 밀도가 0임을 의미한다.
• 이전의 코랭크 $n_1, \dots, n_m$이 주어졌을 때, $2^\infty$-Selmer 군의 코랭크가 $n_{m+1}$이 되는 비율은 $P^{\text{Alt}}(n_{m+1} \mid n_m)$로 수렴하며, 이는 극한에서 마코프 체인의 구조가 성립함을 확인한다.
• Birch와 Swinnerton-Dyer 추측 하에, 전체 유리 2-torsion을 가지며 유리 4-이소지니가 없는 타원곡선에 대해 Goldfeld의 추측이 성립한다.
• Cassels-Tate 쌍대화 값의 균일 분포에서 발생하는 오차 항은 $\mathcal{O}((\log\log\log\log N)^{-c})$로 감소하여, 필요한 집중도 조건을 확보할 수 있다.