[논문 리뷰] Sato--Tate, cyclicity, and divisibility statistics on average for elliptic curves of small height

William D. Banks, Igor E. Shparlinski|ArXiv.org|2006. 09. 05.

Analytic Number Theory Research참고 문헌 24인용 수 5

한 줄 요약

이 논문은 유한체 위의 타원곡선 $ Y^2 = X^3 + aX + b $의 계수 $ a $와 $ b $ 가 작은 범위에서 평균을 취할 때, 주요 산술적 성질—Sato–Tate 분포, 순환성, $ m $-나누어떨어짐—에 대한 渐近 공식을 수립한다. 이는 $ p \leq x $ 를 만족하는 소수의 수에 대해 균일한 渐近 결과를 증명하며, 특수한 조건 하에서 계수 범위의 크기와 $ x $ 의 상대적 크기에 따라 캐릭터 합 추정과 평균 균일분포 결과를 활용한다.

ABSTRACT

We obtain asymptotic formulae for the number of primes $p\le x$ for which the reduction modulo $p$ of the elliptic curve $$ \E_{a,b} : Y^2 = X^3 + aX + b $$ satisfies certain ``natural'' properties, on average over integers $a$ and $b$ with $|a|\le A$ and $|b| \le B$, where $A$ and $B$ are small relative to $x$. Specifically, we investigate behavior with respect to the Sato--Tate conjecture, cyclicity, and divisibility of the number of points by a fixed integer $m$.

연구 동기 및 목표

• 작은 정수 계수 $ a $, $ b $ 를 가진 타원곡선 $ Y^2 = X^3 + aX + b $ 이 소수 모듈로에서의 평균 행동을 이해하기 위해.
• 이러한 곡선의 줄임표가 Sato–Tate 분포, 순환성, 또는 $ m $-나누어떨어짐을 만족하는 소수 $ p \leq x $ 의 수에 대한 渐近 공식을 수립하기 위해.
• 이전의 Lang–Trotter 유형 통계 평균 결과를 순환성과 나누어떨어짐을 포함하도록 확장하며, 고정된 $ \log x $ 의 거듭제곱까지의 모듈러스 $ m $ 에 대해 균일성을 확보하기 위해.
• 캐릭터 합 추정과 Garaev 등이 제시한 새로운 지수합 추정을 활용하여 평균 카운팅 문제에서 오차 항 추정을 향상시키기 위해.
• 이 프레임워크를 활용하여 최소 웨이어스트라스 모델 크기의 상한을 강화하고, 프로베니우스의 추적에 대한 합동 조건과 같은 새로운 평균 분포 문제를 탐색하기 위해.

제안 방법

• 계수 $ a \in [-A, A] $, $ b \in [-B, B] $ 에 대해 평균을 취하며, $ A, B $ 는 $ x $ 에 비해 작다. 특히 $ \min\{A,B\} \geq x^{1/2 + \varepsilon} $ 이고 $ AB \geq x^{3/2 + \varepsilon} $ 를 만족시켜 충분한 밀도를 확보한다.
• 주요 기법은 프로베니우스의 추적 $ \pi_p = p+1 - \#E_{a,b}(\mathbb{F}_p) $ 을 포함하는 지수합을 추정하는 것으로, 캐릭터 합 추정과 큰 걸레 부등식을 활용한다.
• Sato–Tate 통계의 경우, $ \pi_p = 2\sqrt{p} \cos \psi_{a,b}(p) $ 로 정의되는 각도 $ \psi_{a,b}(p) $ 를 사용하고, 평균 가족에 대한 균일분포 결과를 적용한다.
• 순환성과 나누어떨어짐 통계는 $ \mathbb{F}_p^\times $ 에서의 캐릭터 합을 통해 분석되며, 특히 라마누잔 합과 곱셈 캐릭터의 성질을 활용한다.
• 논문은 Fouvry와 Murty [23] 및 Baier [3] 의 방법의 변형을 사용하며, Garaev [25] 와 다른 이들의 결과를 바탕으로 $ X^3 + aX + b \equiv s \pmod{p} $ 의 해의 수에 대한 새로운 추정을 도입한다.
• 오차 항은 큰 걸레와 캐릭터 합 추정을 통해 통제되며, $ A, B \geq \exp(c\sqrt{\log x}) $ 를 만족할 경우 이전 연구들보다 더 약한 가정으로도 개선이 가능하다.

실험 결과

연구 질문

• RQ1 고정된 간격 $ [\alpha, \beta] $ 에서 Sato–Tate 각도 $ \psi_{a,b}(p) $ 가 포함되는 소수 $ p \leq x $ 의 평균 수는 무엇인가? 이는 작은 $ a, b $ 에 대해 평균을 취할 때이다.
• RQ2 소수 $ p \leq x $ 중에서 $ \#E_{a,b}(\mathbb{F}_p) $ 가 순환적인 비율은 작은 계수 범위에서 평균적으로 얼마인가?
• RQ3 고정된 $ m $ 에 대해, $ |a| \leq A $, $ |b| \leq B $ 인 $ a, b $ 에 대해 평균을 취할 때, $ m \mid \#E_{a,b}(\mathbb{F}_p) $ 를 만족하는 소수 $ p \leq x $ 는 몇 개인가?
• RQ4 계수 $ A $ 와 $ B $ 에 대한 더 약한 가정 하에서도 평균 카운팅 문제의 오차 항 추정을 향상시킬 수 있는가?
• RQ5 임의의 타원곡선에 대해 $ \mathbb{F}_p $ 상에서 최소 웨이어스트라스 모델 크기 $ \mu(E) $ 의 평균 크기는 얼마이며, 이는 현재의 방법으로 개선될 수 있는가?

주요 결과

• Sato–Tate 분포의 경우, 논문은 $ \psi_{a,b}(p) \in [\alpha, \beta] $ 를 만족하는 소수 $ p \leq x $ 의 평균 수가 $ \mu_{\text{ST}}(\alpha, \beta) \cdot \frac{x}{\log x} $ 로 渐近적으로 수렴함을 증명하며, $ \min\{A,B\} \geq x^{1/2 + \varepsilon} $ 이고 $ AB \geq x^{3/2 + \varepsilon} $ 를 만족하는 모든 $ A, B $ 에 대해 균일하다.
• 순환성의 경우, $ E_{a,b}(\mathbb{F}_p) $ 가 순환적인 소수 $ p \leq x $ 의 평균 수는 $ C \cdot \frac{x}{\log x} $ 로 渐近적으로 수렴하며, $ C $ 는 순환 줄임표의 평균 밀도에 따라 달라지는 상수이다.
• 고정된 $ m $ 에 대해 나누어떨어짐의 경우, $ m \mid \#E_{a,b}(\mathbb{F}_p) $ 를 만족하는 소수 $ p \leq x $ 의 평균 수는 $ C_m \cdot \frac{x}{\log x} $ 로 渐近적으로 수렴하며, $ C_m $ 은 $ m $ 에 따라 결정되는 명시적인 상수이다. 이 결과는 $ m \leq (\log x)^{O(1)} $ 에 대해 균일하게 성립한다.
• 논문은 최소 웨이어스트라스 모델 크기의 추정을 향상시켰다: 거의 모든 $ \mathbb{F}_p $ 상의 곡선에 대해 $ A, B \geq \exp(c\sqrt{\log x}) $ 라는 조건 하에 $ \mu(E) \leq p^{1/2 + o(1)} $ 를 확보하였으며, 이는 이전의 $ O(p^{3/4}) $ 추정보다 개선된 결과이다.
• 이 방법은 $ \#E_{a,b}(\mathbb{F}_p) \equiv k \pmod{m} $ 또는 $ p+1 - \#E_{a,b}(\mathbb{F}_p) \equiv k \pmod{m} $ 를 만족하는 소수 $ p \leq x $ 의 평균 수에 대한 渐近 공식을 도출하며, 명시적인 주항과 오차 통제를 제공한다.
• 이 접근법은 복소 곱승 필드의 판별식 분포 연구로 확장 가능하며, 캐릭터 합 균일분포와의 연결을 통해 평균 설정에서 타이트-샤파레비치 군에 대한 추정을 향상시킬 수 있다.