[논문 리뷰] Variation in the number of points on elliptic curves and applications to excess rank

Steven J. Miller|arXiv (Cornell University)|2005. 06. 22.

Analytic Number Theory Research참고 문헌 28인용 수 29

한 줄 요약

이 논문은 $\mathbb{Q}(T)$ 위의 일차 매개변수 가중족에서 타원곡선의 점 수의 두 번째 모멘트에 대한 Michel의 경계의 날카기 성을 확립하며, $y^2 = x^3 + Tx^2 + 1$ 가중족에 대해 명시적 계산을 통해 $O(p^{3/2})$ 오차 항이 최적임을 보여준다. 또한 이 모멘트의 고차항들이 $L$-함수의 $n$-레벨 밀도에서의 수정 사항과 연결되며, 유한한 도수 범위 내 예측에 미치는 영향을 밝혀낸다.

ABSTRACT

Michel proved that for a one-parameter family of elliptic curves over Q(T) with non-constant j(T) that the second moment of the number of solutions modulo p is p^2 + O(p^{3/2}). We show this bound is sharp by studying y^2 = x^3 + Tx^2 + 1. Lower order terms for such moments in a family are related to lower order terms in the n-level densities of Katz and Sarnak, which describe the behavior of the zeros near the central point of the associated L-functions. We conclude by investigating similar families and show how the lower order terms in the second moment may affect the expected bounds for the average rank of families in numerical investigations.

연구 동기 및 목표

• 타원곡선의 일차 매개변수 가중족에 대해 소수 $p$ 모듈로 점 수의 두 번째 모멘트에 대한 Michel의 $O(p^{3/2})$ 경계가 날카로운지 증명하는 것.
• 두 번째 모멘트의 고차항이 $L$-함수의 $n$-레벨 밀도, 특히 중심점 근처에서의 영의 분포에 어떻게 영향을 미치는지 분석하는 것.
• 이러한 수정 항이 도수가 유한한 가중족에서 수치적 연구에서 평균 해석적 랭크에 대한 예측 상한선에 어떻게 영향을 미치는지 조사하는 것.
• 가중족 $y^2 = x^3 + Tx^2 + 1$의 두 번째 모멘트에 $p^{3/2}$ 크기의 항이 존재함을 보여주어 Michel의 추정치의 날카기 성을 확인하는 것.

제안 방법

• Legendre 기호를 표현하고 두 번째 모멘트 $A_{2,\chi}(p) = \sum_{t \bmod p} a_t(p)^2$ 를 지수 합을 통해 평가하기 위해 가우스 합 전개를 사용하는 것.
• Lefschetz-Grothendieck 추적 공식과 문자합 기법을 적용하여 $t \bmod p$ 에 대한 합을 분석하는 것.
• 비영인 기여가 $cx^2 \equiv dy^2 \bmod p$ 인 경우에만 존재함을 식별하여, 세제곱근의 단위와 문자합을 포함하는 경우로 합을 줄이는 것.
• 해의 개수 $n_{3,2,p}$ 를 포함한 $x^3 \equiv 2 \bmod p$ 의 해의 수와 $4x^3 + 1$ 을 포함한 문자합을 사용하여 합을 명시적으로 평가하는 것.
• $L$-함수의 1-레벨 밀도와 푸리에 분석을 사용하여 중심점 근처의 영의 분포를 모델링하고, 두 번째 모멘트에서 유도된 수정 항을 포함하는 것.
• 밀도 모델에 두 번째 모멘트의 고차항을 통합하여 가중족에서 평균 해석적 랭크에 대한 상한선을 유도하는 것.

실험 결과

연구 질문

• RQ1 Michel의 $O(p^{3/2})$ 경계가 타원곡선의 점 수의 두 번째 모멘트에 대해 날카로운가, 아니면 더 큰 $p^{3/2}$ 항이 실현 가능한가?
• RQ2 두 번째 모멘트의 고차항이 $L$-함수의 1-레벨 밀도와 중심점 근처의 영 분포에 어떻게 영향을 미치는가?
• RQ3 이러한 고차항 수정 항이 도수가 유한한 타원곡선 가중족에서 평균 해석적 랭크에 대한 예측 상한선에 얼마나 영향을 미치는가?
• RQ4 가중족 $y^2 = x^3 + Tx^2 + 1$ 의 두 번째 모멘트를 정확히 계산할 수 있으며, $p^{3/2}$ 크기의 수정 항이 존재하는가?

주요 결과

• 가중족 $y^2 = x^3 + Tx^2 + 1$ 의 두 번째 모멘트는 정확히 $A_{2,\mathcal{E}}(p) = p^2 - n_{3,2,p}p - 1 + p\sum_{x \bmod p} \left(\frac{4x^3 + 1}{p}\right)$ 로 주어지며, 이는 Michel의 경계의 날카기 성을 확인한다.
• 무한히 많은 소수 $p \equiv 1 \bmod 3$ 에 대해, 차이 $A_{2,\mathcal{E}}(p) - (p^2 - n_{3,2,p}p - 1)$ 는 $[a p^{3/2}, b p^{3/2}]$ 크기의 간격 내에 존재하며, 이는 $p^{3/2}$ 항이 비영이면서 최적임을 증명한다.
• 두 번째 모멘트의 고차항 $-m_{\mathcal{E}}p$ 는 평균 해석적 랭크의 상한선에 상당한 영향을 미치며, $m_{\mathcal{E}} = 1$ 이고 $R \sim 10^{12}$ 일 때 최대 $1.03$ 의 기여를 한다. 이는 $\sigma = 1$ 이라고 가정할 때의 결과이다.
• 1-레벨 밀도가 $\sigma = 1$ 까지 알려져 있을 경우, 수정 항은 평균 랭크 상한선에 $0.03$ 기여하며, 이는 $r + \frac{1}{2}$ 에서 $r + \frac{1}{2} + 1.03$ 으로 상한선을 증가시킨다.
• 1-레벨 밀도가 $\sigma = 2$ 까지 알려져 있을 경우, $\frac{1}{\sigma}$ 항은 $0.5$ 기여하고, 수정 항은 $0.02$ 기여하여 상한선을 $r + \frac{1}{2} + 0.52$ 로 이끌며, 이는 Fermigier가 관측한 $r + \frac{1}{2} + 0.40$ 에 더 가까워진다.
• 본 연구는 두 번째 모멘트의 고차항이 1-레벨 밀도에 가중족에 따라 달라지는 수정 항을 유도하며, 이는 유한 도수 예측에 영향을 미치고 랜덤 행렬 모델의 보편성의 붕괴를 초래함을 밝혀낸다.