[논문 리뷰] Triple Shifted Sums of Automorphic L-Functions

Thomas A. Hulse|arXiv (Cornell University)|2013. 08. 22.

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

한 줄 요약

이 논문은 스펙트럴 이론과 복소해석학을 사용하여 짝수 무게 $k > 0$의 정칙 측두형 모듈라 형식과 관련된 자동형 L-함수의 삼중 이동 합의 점근적 행동을 규명한다. 합은 특수값 $T^{\times}_{f_1,f_2,f_3}(1 - k/2, k/2, 1/2 - k/2)$에 수렴하며, 오차 항의 크기가 $\mathcal{O}(X^{-1/2 + \varepsilon})$임을 증명한다. 이는 도함수 측면에서의 하위병립 경계를 향한 핵심 단계이다.

ABSTRACT

In this work we provide a meromorphic continuation in three complex variables of two types of triple shifted convolution sums of Fourier coefficients of holomorphic cusp forms. The foundations of this construction are based in the continuation of the spectral expansion of a special truncated Poincaré series recently developed by Jeffrey Hoffstein. As a result we are able to produce previously unstudied and nontrivial asymptotics of truncated shifted sums which we expect to correspond to off-diagonal terms in the third moment of automorphic L-functions.

연구 동기 및 목표

• 홀로모르픽 측두형 형식의 짝수 무게 $k > 0$와 관련된 자동형 L-함수의 이동 합의 스펙트럴 전개를 분석하는 것.
• 이중 합 기법을 고차 상관관계로 일반화하여 이동 합 이론을 삼중 합 설정으로 확장하는 것.
• 도함수 측면에서 삼중 이동 합에 대한 점근 공식을 도출하고, 명시적인 오차 경계를 제공하는 것.
• 관련된 삼중 제타 함수 $Z^\times_{f,\nu}(s,w)$의 해석적 계속성과 극의 구조를 조사하는 것.
• 주된 항이 특수값 $T^\times_{f_1,f_2,f_3}$에서 유래되며, 임계 극에서 잔여치가 0임을 확립하는 것.

제안 방법

• 이븐스타인 급수와 측두형 형식과의 내적을 통해 이동 합을 표현하기 위해 잘리지 않은 푸앵카레 급수의 스펙트럴 전개를 사용한다.
• 특히 멜린-바른스 적분을 포함한 적분 변환 방법을 적용하여 삼중 합을 이중 및 삼중 경로 적분으로 표현한다.
• 보흐너의 볼록성 정리와 해석적 계속 기법을 활용하여 디리클레 급수 $Z^\times_{f,\nu}(s,w)$의 수렴 영역을 연장한다.
• 삼중 합 함수 $D^\times_{f,\nu}(s;h)$와 $Z^\times_{f,\nu}(s,w)$의 매장계속성을 분석하고, 극과 잔여치를 식별한다.
• 다중 복소변수에서의 경로 이동을 수행하여 주된 항을 분리하고, 감쇠 추정을 통해 오차 항을 통제한다.
• 스펙트럼 성분 간의 상쇄로 인해 $s_2 = k/2$에서 잔여치가 0이 되므로, 주된 항이 $T^\times_{f_1,f_2,f_3}$의 특수값임을 밝힌다.

실험 결과

연구 질문

• RQ1 도함수 측면에서 자동형 L-함수의 삼중 이동 합의 점근적 행동은 무엇인가?
• RQ2 스펙트럼 성분과 이븐스타인 급수 기여가 삼중 합 설정에서 어떻게 조합되는가?
• RQ3 삼중 제타 함수 $Z^\times_{f,\nu}(s,w)$의 극과 잔여치의 성격은 무엇이며, 이들은 주된 항에 기여하는가?
• RQ4 점근 전개의 오차 항이 $\mathcal{O}(X^{-1/2 + \varepsilon})$로 유계임을 입증할 수 있는가?
• RQ5 잔여치 $R^\times_{f_1,f_2,f_3}(s_1)$가 언제 0이 되며, 이는 주된 항에 어떤 의미를 갖는가?

주요 결과

• 모든 $X \to \infty$에서 삼중 이동 합은 특수값 $T^\times_{f_1,f_2,f_3}(1 - k/2, k/2, 1/2 - k/2)$로 수렴하며, 이는 점근 전개의 주된 항이다.
• 점근 전개의 오차 항은 임의의 $\varepsilon > 0$에 대해 $f_1, f_2, f_3$에 대해 균일하게 $\mathcal{O}_{f_1,f_2,f_3}(X^{-1/2 + \varepsilon})$로 유계이다.
• $s_2 = 1 - s_1$에서 잔여치 $R^\times_{f_1,f_2,f_3}(s_1)$는 항등적으로 0이므로, 추가적인 주된 항이 발생하지 않는다.
• 이동된 경로에서의 이중 적분 항은 $\mathcal{O}(X^{-1/2 + \varepsilon})$이며, 기여가 무시할 만큼 작음을 확인한다.
• 최종 단일 적분 항은 특수값 $T^\times_{f_1,f_2,f_3}(1 - k/2, k/2, 1/2 - k/2)$에 더 작은 오차 항(동일한 순서)을 더한 것으로 밝혀졌다.
• $s_2 = k/2$에서 잔여치가 0이 되므로, 주된 항이 발산하지 않고 오히려 삼중 곱의 잘 정의된 특수값임을 보장한다.