[논문 리뷰] Applications of the Sato-Tate conjecture

Ayla Gafni, Jesse Thorner외 1명|arXiv (Cornell University)|2020. 03. 19.

Advanced Algebra and Geometry참고 문헌 7인용 수 5

한 줄 요약

이 논문은 GL₂에서 제곱무효 수준을 갖는 비-CM 정수형 모듈라 형식에 대해 효과적인 Sato-Tate 추측을 활용하여 Atkin-Serre 추측에 대해 조건 없는 진전을 이루고, 푸리에 계수에서 극값을 갖는 소수의 분포를 분석한다. Sato-Tate 등분포로부터 유도된 효과적인 오차 한계를 적용함으로써, 푸리에 계수가 최대 절댓값을 갖는 소수의 빈도와 밀도에 대한 정량적 결과를 확립한다.

ABSTRACT

We use the effective version of the Sato-Tate conjecture for non-CM holomorphic cupsidal newforms $f$ of squarefree level on $\mathrm{GL}_2$ proved by the second author to make some unconditional progress toward the Atkin-Serre conjecture and study the distribution of extremal primes for the Fourier coefficients of $f$.

연구 동기 및 목표

• GL₂에서 제곱무효 수준을 갖는 비-CM 정수형 모듈라 형식에 대해 효과적인 Sato-Tate 등분포를 활용하여 Atkin-Serre 추측에 대해 조건 없는 진전을 이루는 것.
• 비-CM 모듈라 형식의 푸리에 계수에서 절댓값이 최대가 되는 소수인 극값 소수의 분포를 연구하는 것.
• 제곱무효 수준 형식에 대해 효과적인 Sato-Tate 추측을 활용하여 정량적 결과를 도출하는 것.
• GL₂ 모듈라 형식의 맥락에서 극값 소수의 밀도와 빈도에 대한 경계를 설정하는 것.
• 일반화된 리만 가설과 같은 표준적 추측 가정 없이도 명시적이고 조건 없는 결과를 제공하는 것.

제안 방법

• GL₂에서 제곱무효 수준을 갖는 비-CM 정수형 모듈라 형식에 대해 효과적인 Sato-Tate 추측을 활용하는 것.
• Sato-Tate 등분포로부터 유도된 효과적인 오차 추정을 적용하여 푸리에 계수의 분포를 제어하는 것.
• Sato-Tate 측도의 경계를 극값 소수에 대한 산술적 제약 조건으로 변환하는 것.
• 스펙트럼 이론과 자동형 L-함수를 조합하여 계수 크기의 효과적인 경계를 도출하는 것.
• 제곱무효 수준 조건을 활용하여 가로이 표현을 단순화하고 효과적인 등분포를 보장하는 것.
• 효과적인 Sato-Tate 프레임워크를 사용하여 주어진 경계 이내의 극값 소수의 수에 대한 정량적 상한을 설정하는 것.

실험 결과

연구 질문

• RQ1 제곱무효 수준을 갖는 비-CM 모듈라 형식의 푸리에 계수에 대해 극값 소수의 밀도는 얼마인가요?
• RQ2 효과적인 Sato-Tate 추측은 어떻게 하여 Atkin-Serre 추측에 대해 조건 없는 진전을 이룰 수 있나요?
• RQ3 푸리에 계수가 최대 절댓값을 갖는 소수의 수에 대한 정량적 경계는 무엇인가요?
• RQ4 제곱무효 수준 조건은 계수 분포의 효과적인 분석을 어느 정도 촉진합니까?
• RQ5 추가적인 추측 없이도 효과적인 Sato-Tate 결과만으로 극값 소수의 희박성을 보일 수 있나요?

주요 결과

• 논문은 제곱무효 수준을 갖는 비-CM 모듈라 형식에 대해 극값 소수의 수에 대한 조건 없는 상한을 확립한다.
• 푸리에 계수의 분포를 명시적으로 제어할 수 있도록, 효과적이고 정량적인 Sato-Tate 등분포를 제공한다.
• 저자는 극값 소수에 대한 비자명한 밀도 경계를 도출하여, 이들이 모든 소수 집합에서 희박하다는 것을 보여준다.
• 일반화된 리만 가설을 가정하지 않더라도, 효과적인 Sato-Tate 등분포에서 유도된 명시적 오차 항이 산술적 결과를 도출하는 데에 충분하다.
• 고려 대상이 되는 형식의 범주에서 Atkin-Serre 추측이 조건 없이 진전되었으며, 특히 소수에서 푸리에 계수의 크기를 제한하는 데서 두드러진다.
• 효과적인 Sato-Tate 프레임워크 하에서 극값 소수—즉, |a_p(f)|가 최대가 되는 소수—는 밀도가 0임을 보여주는 결과를 도출한다.