[논문 리뷰] Rank distribution in a family of cubic twists

Mark E. Watkins|ArXiv.org|2004. 12. 21.

Analytic Number Theory Research참고 문헌 18인용 수 15

한 줄 요약

이 논문은 타원곡선 $X_0(27)$의 입방-twist에 대한 수치적 자료를 확장하여, 중심 $L$-값이 0이 되는 짝수 부호를 가진 twist의 비율이 $x^{0.935}$ 비슷하게 증가함을 발견하였으며, 이는 이전에 추측된 바와는 달리 양의 비율이 아닌 0으로 수렴함을 시사한다. 분석은 $m$의 산술적 성질, 타마가와 수, 랜덤 매트릭스 이론을 포함하며, 로그 보정이 포함된 보완된 渐近 모델을 지지한다.

ABSTRACT

In 1987, Zagier and Kramarz published a paper in which they presented evidence that a positive proportion of the even-signed cubic twists of the elliptic curve $x^3+y^3=1$ should have positive rank. We extend their data, showing that it is more likely that the proportion goes to zero.

연구 동기 및 목표

• Zagier와 Kramarz의 $X_0(27)$의 입방-twist에 대한 랭크 분포에 대한 수치적 증거를 확장하여, 특히 양의 랭크를 가진 짝수 부호 twist의 비율에 대해 연구한다.
• 관측된 중심 $L$-값이 0이 되는 twist의 비율이 도수 경계가 증가함에 따라 양의 밀도로 수렴하는지, 아니면 0으로 수렴하는지 조사한다.
• 중앙 $L$-값이 0이 되는 가능성에 영향을 주는 $m$의 산술적 성질—예를 들어 소인수의 개수—를 분석한다.
• Tate–Shafarevich 군 크기의 분포와 그 중심 $L$-값 및 함수방정식 부호와의 관계를 탐색한다.
• 특히 소수 모듈로에 대한 동치류에 대해, 랜덤 매트릭스 이론과 $L$-함수의 모멘트를 기반으로 한 히ュ리스틱 모델을 시험하고 개선한다.

제안 방법

• Hecke 고유값에서 유도된 곱셈적 계수 $a_m(n)$를 사용하여, $N$의 제곱근에 대한 지수함수를 포함한 급수 전개인 $L(E_m,1) = 2\sum_n \frac{a_m(n)}{n} e^{-2\pi n / \sqrt{N}}$를 이용해, $m \leq 10^7$ 이하의 입방자유수 $m$에 대해 중심 $L$-값 $L(E_m,1)$을 계산하였다.
• Legendre 기호와 $m$에 대한 3-진 조건을 이용해, 함수방정식 부호 $\epsilon = \prod_p \epsilon_p$를 계산하여 짝수-twist 케이스로 제한하였다.
• 관측된 $L$-값이 0이 되는 수의 수를 $x$에 대해 로그-로그 회귀 분석을 적용하여, $x^{0.935}$ 비슷한 점차적 증가를 발견하였으며, 이는 이전 모델이 예측한 $x^{5/6}$와 불일치함을 확인하였다.
• 산술적 구조—특히 소인수의 개수—가 $L$-값이 0이 되는 확률에 미치는 영향을 분석하여, 소인수의 개수가 많을수록 확률이 증가함을 보였다.
• 소수 $p \equiv 1 \pmod{3}$ 모듈로에서의 동치류에 대해, $L$-함수의 모멘트와 $d \equiv q \pmod{p}$에서의 합의 상쇄 작용을 기반으로 한 히ュ리스틱을 제안하였다.
• 랜덤 매트릭스 이론을 활용하여 모멘트 합에서 $k = -1/2$의 선택을 정당화하였으며, 이는 서로 다른 동치류에서의 수의 비율이 관측된 데이터와 일치함을 보였다.

실험 결과

연구 질문

• RQ1 도수 경계가 증가함에 따라, $X_0(27)$의 짝수 부호를 가진 입방-twist 중 중심 $L$-값이 0이 되는 비율은 양의 상수로 수렴하는가, 아니면 0으로 수렴하는가?
• RQ2 $m$의 소인수의 개수가 $L(E_m,1) = 0$이 되는 확률에 어떤 영향을 미치며, 이는 3-내림 또는 산술적 제약 조건으로 설명될 수 있는가?
• RQ3 소수 $p \equiv 1 \pmod{3}$ 모듈로에서 관측된 $L$-값의 분포는 $L$-함수 계수의 모멘트와 상쇄 작용을 기반으로 한 히ュ리스틱으로 설명될 수 있는가?
• RQ4 도수 $T^{5/6} (\log T)^{-5/8}$ 형태로 예측된 보완된 모델에 따라, $d \equiv 1 \pmod{9}$인 소수 twist 중 $L(E_d,1) = 0$인 경우의 수의 渐近 행동은 어떻게 되는가?
• RQ5 Tate–Shafarevich 군의 크기 $|{\text{Ш}}|$는 중심 $L$-값의 0이 되는 것과 $m$의 산술적 성질과 어떤 관련이 있는가?

주요 결과

• 도수 $x$ 이하의 $X_0(27)$의 짝수 부호를 가진 입방-twist 중 중심 $L$-값이 0이 되는 수는 渐近적으로 $x^{0.935}$ 비슷하게 증가하며, 이는 비율이 양의 밀도가 아니라 0으로 수렴함을 시사한다.
• $m \leq 10^7$ 범위에서 짝수-twist $m$의 17.7%가 $L(E_m,1) = 0$을 만족하며, 이는 $m \leq 70000$일 때 23.3%에서, $m \leq 10^6$일 때 20.5%로 감소하는 추세를 보인다.
• 소인수의 개수가 많을수록 $L$-값이 0이 되는 확률이 증가한다: 소수일 경우 6.1%에서, 여섯 개 이상의 소인수를 가진 $m$일 경우 51.4%로 증가한다.
• 소수 $m \equiv 1 \pmod{9}$에 대해, $L(E_d,1) = 0$인 twist의 수는 $c T^{5/6} (\log T)^{-5/8}$ 형태로 증가하며, $c \approx 1/6$로 추정되며, 이는 보완된 渐近 모델을 지지한다.
• 소수 $p$ 모듈로에서의 관측된 $L$-값이 0이 되는 비율(예: $p=7,13$)은 예측된 $\sqrt{(p+1 - a_q(p))}$ 비율과 일치하며, 이는 모멘트 합과 랜덤 매트릭스 이론에서 유도된 히ュ리스틱을 지지한다.
• 모멘트 합 $\sum_d L(E_d,1/2)^k$에서 $k = -1/2$를 기반으로 한 히ュ리스틱은 관측된 동치류 빈도를 설명하며, 주로 $n = p^r$에서 기여가 발생함을 보여주며, 이는 $d \equiv q \pmod{p}$일 때 $a_d(p^r)$가 고정되어 있음에 기인한다.