[논문 리뷰] Shifted convolution sums of $GL_3$ cusp forms with $ heta$-series

Qingfeng Sun|arXiv (Cornell University)|2015. 09. 25.

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

한 줄 요약

이 논문은 고급 지수합 추정과 캐릭터 합 분석을 사용하여, $GL_3$ 히케-마우스 촉성형의 푸리에 계수와 삼차 이차형식 $r_3(n)$을 포함하는 이동된 컨볼루션 합에 대한 조건 없는 상계를 확립한다. 주요 결과는 $X^{3/2 - 1/8 + \varepsilon}$ 형태의 하이브리드 상계이며, 이는 조건부 상계를 향상시키고 강력한 클루스트르만 합 추정이 없음에도 불구하고 비자명한 상쇄 효과가 있음을 보여준다.

ABSTRACT

Let $A_f(1,n)$ be the normalized Fourier coefficients of a Hecke-Maass cusp form $f$ for $SL_3(\\mathbb{Z})$ and $$ r_3(n)=\\#\\left\\{(n_1,n_2,n_3)\\in \\mathbb{Z}^3:n_1^2+n_2^2+n_3^2=n\ ight\\}. $$ Let $1\\leq h\\leq X$ and $\\phi(x)$ be a smooth function compactly supported on $[1/2,1]$. It is shown that $$ \\sum_{n\\geq 1}A_f(1,n+h)r_3(n)\\phi\\left(\\frac{n}{X}\ ight) \\ll_{f,\\varepsilon} X^{\\frac{3}{2}-\\frac{1}{8}+\\varepsilon} $$ uniformly with respect to the shift $h$.

연구 동기 및 목표

• GL_3 히케-마우스 촉성형과 삼차 이차형식 $r_3(n)$(정수를 세 제곱수의 합으로 나타내는 방법의 수를 세는 함수)를 포함하는 이동 컨볼루션 합에 대해 비자명하고 조건 없는 상계를 확립하는 것.
• Jutila의 원주법을 이 분야에 적용할 수 없게 만드는, $r_3(n)$에 의해 가로막힌 지수합의 강력한 추정이 부족한 문제를 해결하는 것.
• 이전의 $GL_2$ 형식에 대한 이동 컨볼루션 합 결과를 더 복잡한 $GL_3$ 설정으로 일반화하여, 특히 $\theta^3(z)$의 푸리에 계수인 $r_3(n)$에 대해 적용하는 것.
• 람누잔 추측과 알려진 $GL_3$ $L$-함수 추정에 기반한 조건부 상계보다 정량적으로 개선된 결과를 제공하는 것.
• 이 방법을 더 높은 $\ell$-겹 이차형식 $r_\ell(n)$으로 확장하여, $\ell=3$을 초월하는 경우에도 일반화 가능함을 보이는 것.

제안 방법

• 증명은 $GL_3$ 촉성형에 대한 보로노이 합성과 $\theta^3(z)$ 이론에서 유도된 새로운 보로노이 유형의 공식을 사용한다.
• 이동 컨볼루션 합은 포아송 합성과 캐릭터 합 분해를 통해 변환되어, 모듈러스 $q$에 대한 복잡한 캐릭터 합 $\mathscr{C}(b_1,b_2,b_3,n_1,n_2,h,v;q)$의 추정 문제로 축소된다.
• 캐릭터 합은 이중 간격으로 나누어 분석되며, $p \mid n_2$인 경우에 웨일의 클루스트르만 합 추정과 살라에 합 추정을 적용한다.
• 일반적인 경우, 관련 라우렌트 다항식 $f(x,y)$의 뉴턴 다면체 $\Delta(f)$에 대한 비퇴화성과 유한체 위의 지수합 이론의 결과를 적용한다.
• 핵심 기술 단계는 뉴턴 다면체 내부에 원점이 위치해 있고 $f$의 비퇴화성에 기반하여, 왜곡된 람부잔 합을 $\epsilon$-제거 기법으로 추정하는 것이다.
• 최종 상계는 $L^2$-유형 추정과 $\ell^2$-집중 분석을 조합하여 도출되며, 이로 인해 자명한 상계 대비 $X^{-1/8 + \varepsilon}$의 파wr 세이빙 효과를 얻는다.

실험 결과

연구 질문

• RQ1 형식 $\sum_n A_f(1,n+h) r_3(n) \phi(n/X)$의 이동 컨볼루션 합에 대해 비자명하고 조건 없는 상계를 확립할 수 있는가? 여기서 $A_f$는 $GL_3$ 히케-마우스 촉성형이고, $r_3(n)$은 세 제곱수의 합으로 표현되는 정수의 수를 세는 함수이다.
• RQ2 표준 기법인 Jutila의 원주법이 이 $GL_3$-에서 $\theta$-시리즈 설정에서 왜 실패하는가? 그리고 다른 기법이 이 장애를 극복할 수 있는가?
• RQ3 이러한 합에 대한 하이브리드 상계 $X^{3/2 - \delta + \varepsilon}$의 최적 지수 $\delta$는 무엇이며, 람누잔 추측에 기반한 조건부 추정을 초월해 개선할 수 있는가?
• RQ4 관련 지수합의 뉴턴 다면체 $\Delta(f)$의 구조는 캐릭터 합의 상쇄 효과에 어떤 영향을 미치는가?
• RQ5 $\ell \geq 4$인 $r_\ell(n)$으로 이 방법을 확장할 수 있으며, 고차원에서 지수 $\delta = 1/8$이 유지되는가?

주요 결과

• 논문은 $1 \leq h \leq X$인 경우에 대해 조건 없는 상계 $\sum_{n \geq 1} A_f(1,n+h) r_3(n) \phi(n/X) \ll_{f,\varepsilon} X^{3/2 - 1/8 + \varepsilon}$를 확립한다. 이는 람누잔 추측 하에 도출되는 조건부 상계 $X^{3/2 + \varepsilon}$보다 더 강력하다.
• 이 상계는 새로운 분석 기법을 통해 삼중 캐릭터 합 $\mathscr{C}(b_1,b_2,b_3,n_1,n_2,h,v;q)$를 통해 달성되며, 핵심 단계는 $\mathbb{F}_p^\times$에서의 관련 라우렌트 다항식의 비퇴화성에 기반하여 $\widetilde{\mathscr{T}}(p) \ll (h,p)^{1/2} p$를 증명하는 것이다.
• 논문은 $r_3(n)$에 대한 클루스트르만 합 추정에 의존하지 않으며, 이는 Jutila의 원주법을 적용하는 데 부족한 요소이지만, 대신 뉴턴 다면체와 지수합 추정을 활용한 $\epsilon$-제거 기법을 사용한다.
• 상계는 이동 $h$에 대해 일관되며, 이 방법은 $\ell \geq 4$인 $r_\ell(n)$으로 일반화 가능하며, 고차원에서도 지수 $-1/8$이 유지될 것으로 예상된다.
• 특수한 경우로 $A_f(1,n)$이 삼중 약수 함수 $\tau_3(n)$으로 대체될 경우, $\tau_3(n)$의 $n^\varepsilon$-추정에 기반해 지수를 $-1/8$을 초월해 개선할 수 있으며, 더 나은 세이빙 효과를 얻을 수 있다.
• 결과는 강력한 $GL_2$-유형 지수합 추정이 없음에도 불구하고, 대수기하학과 캐릭터 합 기법을 통해 $GL_3$-에서 $\theta$-시리즈로의 컨볼루션 합에서 깊은 상쇄 효과를 추출할 수 있음을 보여준다.