[논문 리뷰] Triple correlations of Fourier coefficients of cusp forms

Yongxiao Lin|arXiv (Cornell University)|2016. 07. 11.

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

한 줄 요약

이 논문은 스펙트럴 방법과 쿠즈네츠 추적 공식을 사용하여 정칙 케이지드 폼의 푸리에 계수의 삼중 상관관계에 대한 비자명한 상한을 확립한다. 이는 $\sum_{H\leq h\leq 2H}W\left(\frac{h}{H}\right)\sum_{X\leq n\leq 2X}\lambda_1(n-h)\lambda_2(n)\lambda_3(n+h)$의 합이 $X^{\varepsilon}\min\left(XH,\frac{X^2}{H^{1/2}}\right)$로 유계임을 보이며, 이는 $H \geq X^{2/3+\varepsilon}$일 때 비자명하다. 이는 블로머의 약수 함수에 대한 결과에 대한 케이지드 원형 대응을 제공한다.

ABSTRACT

We treat an unbalanced shifted convolution sum of Fourier coefficients of cusp forms. As a consequence, we obtain an upper bound for correlation of three Hecke eigenvalues of holomorphic cusp forms $\sum_{H\leq h\leq 2H}W\big(\frac{h}{H}\big)\sum_{X\leq n\leq 2X}λ_{1}(n-h)λ_{2}(n)λ_{3}(n+h)$, which is nontrivial provided that $H\geq X^{2/3+\varepsilon}$. The result can be viewed as a cuspidal analogue of a recent result of Blomer on triple correlations of divisor functions.

연구 동기 및 목표

• 블로머의 약수 함수 삼중 상관관계 결과에 대한 케이지드 원형 대응을 확립하기 위해.
• 정칙 케이지드 폼의 헤크 에이전벨 라디안의 세 개의 헤크 고유값에 대한 비균형 이동 합성합을 분석하기 위해.
• 조건 $H \geq X^{2/3+\varepsilon}$ 하에서 삼중 상관관계 합의 비자명한 상한을 도출하기 위해.
• 약수 함수와 달리 케이지드 폼 푸리에 계수에 대한 분해가 존재하지 않아 발생하는 기술적 과제를 극복하기 위해.

제안 방법

• 마스 폼에 대한 스펙트럴 합으로 합을 연결하기 위해 쿠즈네츠 추적 공식을 적용하기 위해.
• 원환면 방법과 보로노이 합성공식을 사용하여 이동 합성의 구조를 다루기 위해.
• 큰 걸러내기 부등식과 베셀 함수의 경계를 통한 스펙트럴 합의 추정을 위해.
• 정적 단계와 지수 합 추정을 통해 진동적 적분을 제어하기 위해.
• 스펙트럴 전개에서 오차 항을 제어하기 위해 계수 수열의 $\ell^2$-노름을 사용하기 위해.
• 약수 함수 설정에서 블로머의 접근 방식을 케이지드 폼 설정으로 적응시키되, 곱셈 분해가 없기 때문에 수정이 필요함.

실험 결과

연구 질문

• RQ1 정칙 케이지드 폼의 푸리에 계수 삼중 상관관계에 대해 비자명한 상한을 확립할 수 있는가?
• RQ2 비자명성의 범위인 $H$의 범위가 약수 함수의 경우와 비교해 어떻게 다른가?
• RQ3 이즈라엘러 시리즈에서 케이지드 폼으로의 메소드 확장에서 주요 분석적 장애물은 무엇인가?
• RQ4 곱셈적 구조가 없을 경우에도 스펙트럴 방법과 쿠즈네츠 추적 공식이 효과적인 경계를 도출할 수 있는가?

주요 결과

• 합 $\sum_{h}W\left(\frac{h}{H}\right)\sum_{X\leq n\leq 2X}a(n)\lambda_1(n+h)\lambda_2(n-h)$는 $X^{\varepsilon}\frac{X}{H}\left((XH)^{1/2}+\frac{X}{H^{1/2}}\right)\|a\|_{2}$로 유계이다.
• 이 경계는 $H \geq X^{2/3+\varepsilon}$일 때 비자명하며, 이는 약수 함수의 경우 $H \geq X^{1/3+\varepsilon}$보다 약한 조건이다.
• 결과는 스펙트럴 방법과 쿠즈네츠 추적 공식을 통해 도출되었으며, 오차 항은 큰 걸러내기 부등식과 $\ell^2$-노름 추정으로 제어되었다.
• 주요 곤경은 약수 함수의 경우와 달리 케이지드 폼 푸리에 계수를 분해할 수 없기 때문에 발생하며, 이는 $H$의 범위를 제한한다.
• 이 경계는 블로머 결과에서 스펙트럴 항의 크기와 일치하며, 이는 스펙트럴 기여가 주요 오차 원인임을 시사한다.