[논문 리뷰] Behaviour of the order of Tate-Shafarevich groups for the quadratic twists of elliptic curves

Andrzej Dąbrowski, Lucjan Szymaszkiewicz|arXiv (Cornell University)|2016. 11. 23.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 4

한 줄 요약

이 논문은 ℚ 위의 타원곡선의 이차-twist에서 테이트-샤파레비히 군의 순서 분포를 조사하며, 고정된 E와 k에 대해 |X(E_d)| = k²인 twsit의 수가 渐近적으로 c_k(E)X^{3/4}(log X)^{d_k(E)}로 증가한다는 추측을 제기한다. 고정된 E와 k에 대해 이론적 분석과 함께 광범위한 수치적 증거를 제공하며, 순서가 0인 타원곡선 88개의 새로운 예시를 제시하여 |X(E)| > 63,408²를 초과하며, |X(E)| = 1,029,212²로 새로운 기록을 수립한다.

ABSTRACT

We present the results of our search for the orders of Tate-Shafarevich groups for the quadratic twists of elliptic curves. We formulate a general conjecture, giving for a fixed elliptic curve $E$ over $\Bbb Q$ and positive integer $k$, an asymptotic formula for the number of quadratic twists $E_d$, $d$ positive square-free integers less than $X$, with finite group $E_d(\Bbb Q)$ and $|\Sha(E_d(\Bbb Q))| = k^2$. This paper continues the authors previous investigations concerning orders of Tate-Shafarevich groups in quadratic twists of the curve $X_0(49)$. In section 8 we exhibit $88$ examples of rank zero elliptic curves with $|\Sha(E)| > 63408^2$, which was the largest previously known value for any explicit curve. Our record is an elliptic curve $E$ with $|\Sha(E)| = 1029212^2$.

연구 동기 및 목표

• ℚ 위의 타원곡선의 이차-twist에서 테이트-샤파레비히 군의 순서 분포를 조사하기.
• 이전의 X₀(49)에 대한 수치적 연구를 두 개의 복소 multiplication(복소 곱승)이 있는 곡선과 두 개의 복소 곱승이 없는 곡선으로 확장하기.
• 지정된 제곱 순서를 가진 X(E_d)의 빈도에 대한 일반적인 渐近적 추측을 제안하고, 이를 뒷받침하는 증거를 제공하기.
• 순서가 0인 타원곡선에서 테이트-샤파레비히 군의 크기 신기록을 수립하기.
• 특정 계수의 소멸에 대해 탐구하기, 특히 홀수 및 4의 배수가 아닌 제곱 순서에 대해.

제안 방법

• 일반적인 渐近적 추측 제안: |X(E_d)| = k² 이고 L(E_d,1) ≠ 0인 제곱 자유수 d ≤ X의 수에 대해 f_E(k,X) ~ c_k(E)X^{3/4}(log X)^{d_k(E)}.
• 복소 곱승이 있는 두 곡선과 없는 두 곡선을 포함한 네 개의 타원곡선에 대해 d ≤ 32×10⁹까지 광범위한 수치적 검색 수행.
• 버치와 스위너턴-다이어 추측을 활용하여 s=1에서 L-함수의 비영점성과 E(ℚ)의 유한성 및 X(E_d)의 제곱 순서 간의 관계를 설정.
• 코헨-렌스트라 히우리스틱과 중심 L-값 분포 모델을 적용하여 기대되는 渐近적 행동을 유도.
• 이소지즘 기반의 세일머 군 분석(φ 및 φ̂를 통한)을 통해 특정 조건 하에서 X(E′_d)[2]가 비자명함을 증명.
• 큰 범위의 d에 걸쳐 k² 순서의 빈도를 확인하고 c_k(E)의 소멸을 분석함으로써 추측을 수치적으로 검증.

실험 결과

연구 질문

• RQ1 고정된 ℚ 위의 타원곡선 E에 대해, |X(E_d)| = k²인 이차-twist E_d의 수의 渐近 빈도는 어떻게 되는가? (주어진 양의 정수 k에 대해).
• RQ2 |X(E_d)| = k²의 분포는 복소 곱승이 있는지 여부에 따라 어떻게 달라지며, 특히 복소 곱승이 있는 곡선과 없는 곡선 간에 어떻게 다를까?
• RQ3 f_E(k,X) ~ c_k(E)X^{3/4}(log X)^{d_k(E)}의 渐近 공식이 큰 d 범위에서 수치적 증거로 뒷받침될 수 있는가?
• RQ4 c_k(E) = 0이 되는 k의 값은 무엇이며, 이는 X(E_d)의 가능한 순서에 대해 어떤 의미를 갖는가?
• RQ5 ℚ 위의 순서가 0인 타원곡선에서 테이트-샤파레비히 군의 가장 큰 알려진 순서는 얼마인가?

주요 결과

• 저자들은 |X(E)| > 63,408²를 초과하는 순서가 0인 타원곡선 88개의 새로운 예시를 제시하며, 이는 이전 기록을 크게 상회한다.
• 테이트-샤파레비히 군의 가장 큰 알려진 순서는 |X(E)| = 1,029,212²로, 특정 타원곡선 E에서 달성되었다.
• 수치적 데이터는 c_{2m+1}(E_d²) = c_{2m+1}(E_d⁴) = c_{4m+2}(E_d²) = 0임을 강력히 지지하며, 이는 홀수 및 4의 배수가 아닌 제곱 순서가 渐近 빈도에 나타나지 않음을 시사한다.
• 논문은 특정 타원곡선 E′_d에 대해 X(E′_d)의 2-주요 부분이 비자명함을 증명하며, 특정 조건 하에서 X(E′_d)[2] ≠ 0임을 확인한다.
• 저자들은 X₀(49)의 이차-twist에서 L-값과 X-군 순서의 통계적 행동이 연구한 네 곡선으로도 확장됨을 확인한다.
• 데이터는 |X(E_d)| = k²인 twsit의 수의 渐近 성장률이 X^{3/4}(log X)^{d_k(E)}에 의해 지배되며, 특정 k에 대해 계수 c_k(E)가 소멸함을 시사한다.