[논문 리뷰] Shifted convolutions and a conjecture by Mazur, Rubin and Stein

Nikolaos Diamantis, Jeffrey Hoffstein외 2명|arXiv (Cornell University)|2018. 07. 06.

Analytic Number Theory Research참고 문헌 11인용 수 3

한 줄 요약

이 논문은 마조르, 루빈, 스텐이 제기한 추측을 증명한다. 이는 모듈러 곡선 상의 유리점들에 대해 평균화된 모듈러 기호의 渐近 행동에 관한 것으로, 이전 결과들이 제한된 수준(예: 제곱 자유 수준)에만 적용되었던 것을 일반적인 수준으로 확장한다. 추가 전환의 L-함수에 대한 새로운 경계와 반대형 양식의 푸리에 계수에 대한 명시적 추정치를 사용하여, 수준과 M과 q의 공통 소인수에 의존하는 정확한 오차 항을 포함한 수렴 속도를 확립한다.

ABSTRACT

In this paper, a conjecture of Mazur, Rubin and Stein concerning certain averages of modular symbols is proved.

연구 동기 및 목표

• 무게 2의 새로운 형식에 대해 임의의 수준에서 모듈러 기호의 극한 분포에 관한 오랜 동안 미해결된 추측을 해결하는 것.
• 이전 결과들이 제한적으로 제곱 자유 수준이나 소수 M에만 적용되었던 것을, 비제곱 자유 수준에서도 유효한 도구를 개발하여 이를 확장하는 것.
• 평균화된 모듈러 기호의 渐近 전개에서 날카로운 오차 항을 확립하여, 수준과 평균화 매개변수 M의 산술적 구조를 포함시키는 것.
• 왜곡된 모듈러 형식의 푸리에 계수에 대해 명시적이고 균일한 경계를 제공함. 이 경계는 수준에 대해 완전히 명시적으로 표현되며, 왜곡이 새로운 형식이 아니더라도 성립한다.

제안 방법

• 모든 수준과 추가 전환의 도수에 대해 유효한 L-함수의 추가 전환에 대한 근사 함수 방정식을 유도한다.
• 이전 접근 방식에 의존하는 이동된 콘볼루션 급수를 피하는 데 새로운 방법을 도입하여, 증명을 이전보다 단순화한다.
• 이즈엔슈타인 급수와 모듈러 기호를 사용하여 평균 모듈러 기호를 왜곡된 형식의 푸리에 계수를 포함하는 합으로 표현한다.
• 무게 2의 새로운 형식의 반도함수에 대해 유리수 점에서 유효한 새로운 경계를 적용하여, 모든 수준과 유리수 입력에 대해 성립한다.
• 추가 전환의 함수 방정식에서 나타나는 '반대형' 형식의 푸리에 계수에 대해 정확한 추정치를 확립하며, 이는 수준에 대해 명시적으로 표현된다.
• 푸리에 계수의 감쇠, 추가 전환 경계, 수준에 의존하는 요소들로부터 유도된 오차 추정치를 다양한 출처에서 조합하여, 오차 항을 균형 잡는 데 적절한 매개변수 선택을 한다.

실험 결과

연구 질문

• RQ1 임의의 수준 q에 대해, 특히 제곱 자유 수준이 아니더라도, M → ∞ 일 때 평균 모듈러 기호 $ G_M^\pm(x) $ 의 정확한 渐近 극한은 무엇인가?
• RQ2 수준 q가 제곱 자유수가 아닐 경우, $ G_M^\pm(x) $ 의 수렴에서 오차 항은 q와 M의 산술적 성질에 어떻게 의존하는가?
• RQ3 왜곡이 새로운 형식이 아니더라도, 푸리에 계수 경계의 수준에 대한 의존성이 명시적으로 표현될 수 있는가?
• RQ4 모듈러 기호의 추가 전환의 L-함수에 의한 근사에서 최적의 오차 항은 무엇이며, 이는 M과 q에 따라 어떻게 척도화되는가?
• RQ5 이론 증명에서 이동된 콘볼루션 급수에 대한 의존성을 피할 수 있는가? 이를 통해 더 깔끔하고 일반적인 추론이 가능해지는가?

주요 결과

• 마조르, 루빈, 스텐의 추측은 모든 수준 q, 모든 $ x \in [0,1] $, 모든 $ M \to \infty $ 수열에 대해 완전히 증명되었으며, 제곱 자유 수준이나 소수 M에 국한되지 않는다.
• 漸近 전개의 주항목은 $ G_M^+(x) $ 에 대해 $ \frac{1}{2\pi} \sum_{n \geq 1} \frac{a(n) \sin(2\pi n x)}{n^2} $ 이고, $ G_M^-(x) $ 에 대해 $ \frac{1}{2\pi i} \sum_{n \geq 1} \frac{a(n)(\cos(2\pi n x) - 1)}{n^2} $ 이며, 이는 추측된 형태와 정확히 일치한다.
• 오차 항은 $ \mathcal{O}_\epsilon\left( (Mq)^\epsilon M^{-1/4} q^{1/4} \prod_{\substack{p \mid (q,M) \\ p^2 \mid q}} p^{1/2} \right) $ 로 유계이다. 이는 q와 M의 공통 소인수 거듭제곱의 영향을 잘 반영한다.
• 모든 수준 q에 대해 유효한 새로운 경계가 유리수 $ a/d $ 에서의 반도함수 $ \int_{\infty}^{a/d} f(z) \, dz $ 에 대해 확립되었으며, 이는 이전 결과를 일반화한다.
• 이 논문은 케이프 형식의 딜리클 휨에 대해, 왜곡이 새로운 형식이 아니더라도 수준에 의존하는 명시적 경계를 제공함으로써, 핵심적인 기술적 과제를 해결한다.
• 이들은 이동된 콘볼루션 급수에 의존하지 않고, 추가 전환 분석과 명시적 푸리에 계수 추정치에 의존함으로써 더 깔끔한 증명을 달성한다.