[논문 리뷰] The Lang-Trotter Conjecture on Average

Stephan Baier|ArXiv.org|2006. 09. 04.

Analytic Number Theory Research참고 문헌 6인용 수 35

한 줄 요약

이 논문은 ℚ 위의 타원곡선에서 Frobenius 추적값의 분포에 대한 Lang-Trotter 추측에 대해 평균 점근 공식을 수립한다. 계수 |a| ≤ A, |b| ≤ B인 곡선 가족에 대해 특성 합을 분석하고 평균을 취함으로써, 추적값이 r인 소수 p ≤ x의 평균 개수가 점차적으로 C_r√x/log x가 됨을 증명한다. 이는 이 점근식이 성립하기 위해 필요한 A와 B의 범위에 대해 이전 결과보다 개선된 결과를 제공한다.

ABSTRACT

For an elliptic curve $E$ over $ atq$ and an integer $r$ let $π_E^r(x)$ be the number of primes $p\le x$ of good reduction such that the trace of the Frobenius morphism of $E/\fie_p$ equals $r$. We consider the quantity $π_E^r(x)$ on average over certain sets of elliptic curves. More in particular, we establish the following: If $A,B>x^{1/2+ε}$ and $AB>x^{3/2+ε}$, then the arithmetic mean of $π_E^r(x)$ over all elliptic curves $E$ : $y^2=x^3+ax+b$ with $a,b\in \intz$, $|a|\le A$ and $|b|\le B$ is $\sim C_r\sqrt{x}/\log x$, where $C_r$ is some constant depending on $r$. This improves a result of C. David and F. Pappalardi. Moreover, we establish an ``almost-all'' result on $π_E^r(x)$.

연구 동기 및 목표

• 타원곡선 가족에서 Frobenius 추적값 분포에 대한 Lang-Trotter 추측의 평균 형태를 정교화하는 것.
• 오차 항을 개선하고 가족 매개변수 A와 B에 요구되는 크기 조건을 약화시키는 것.
• 더 작은 가족에서 희소한 집합을 제외한 나머지 곡선들에 대해 추측이 성립함을 보여주는 '거의 전부' 결과를 확립하는 것.
• 가족 내 개별 상수 C_{E,r}의 평균이 C_r로 수렴한다는 추측에 대한 증거를 제공하는 것.

제안 방법

• 가족 내 π_E^r(x)의 분산을 제어하기 위해 특성 합 추정과 Turán 정규 순서 방법을 사용한다.
• 모듈로 p에서 추적값이 r인 타원곡선의 동형류 수를 세기 위해 Kronecker 계수수 H_{r,p}를 적용한다.
• Cauchy-Schwarz 부등식과 곱셈적 함수에 대한 특성 합 추정을 활용하여 a_{p}(E)=r=a_{q}(E)인 해의 수를 추정한다.
• 주항등항 ∼C_r π_{1/2}(x)를 도출하고, H_{r,p} ≪ p^{1/2+ε} 및 특성 합 추정을 통해 오차 항을 제어한다.
• 4차 잔여물 특성의 구조와 그 상호작용을 활용하여 a_p(E)=r을 만족하는 (a,b)에 대한 합을 다룬다.
• 모멘트 방법과 분산 제어를 통해 Turán 방법을 활용해 '거의 전부' 결과를 도출한다.

실험 결과

연구 질문

• RQ1 가족 내 타원곡선 y² = x³ + ax + b에서 |a| ≤ A, |b| ≤ B를 만족하는 경우, a_p(E) = r인 소수 p ≤ x의 평균 개수가 점차적으로 C_r√x/log x가 되는가?
• RQ2 이 평균 점근식이 성립하기 위해 필요한 가족 매개변수 A와 B의 최소 크기는 얼마인가?
• RQ3 가족 내 몇몇 곡선이 Lang-Trotter 점근식을 만족하지 못하는가? 이 예외 집합은 정량화할 수 있는가?
• RQ4 가정 내 개별 상수 C_{E,r}의 평균이 전역 상수 C_r로 수렴하는가?

주요 결과

• |a| ≤ A, |b| ≤ B를 만족하는 모든 타원곡선 y² = x³ + ax + b에 대한 π_E^r(x)의 평균은 A,B > x^{1/2+ε} 및 AB > x^{3/2+ε}일 때 ∼C_r√x/log x이다.
• 평균의 오차 항은 O((1/A + 1/B)x log x + x^{5/4}log³x/√(AB) + √x/log^c x)로 개선되어 이전의 추정보다 정밀해졌다.
• '거의 전부' 결과가 증명되었다: A,B > x^{1+ε} 및 AB < exp(exp(√x/log^c x))일 때, O(AB/log^d z)개를 제외한 모든 곡선이 |π_E^r(x) - C_r π_{1/2}(x)| ≪ √x/log^c x를 만족한다.
• 가족 내 π_E^r(x)의 분산은 O((1/A + 1/B)x² + x^{5/2}log³x/√(AB) + x/log^c x + √x log log(10AB))로 유계화되어 평균 행동이 확립된다.
• 결과적으로, 가정 내 개별 상수 C_{E,r}의 평균이 C_r로 수렴함을 확인하여 Lang-Trotter 추측을 지지한다.