[논문 리뷰] Subconvexity for sup-norms of automorphic forms on PGL(n)

Valentin Blomer, Péter Maga|arXiv (Cornell University)|2014. 05. 26.

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

한 줄 요약

이 논문은 $\rm PGL(n)$ 상의 $L^2$-정규화된 히케 마아스 총형식에 대한 초출 범위의 하한을 설정하며, $\operatorname{Norm}{F|_{\rm compact}}_{\rm sup}} \ll_{\Omega} N^{\varepsilon} \lambda_F^{n(n-1)/8 - \delta}$ 를 증명한다. 여기서 $\delta = \delta_n > 0$ 이며, 이는 고차원 $\rm GL(n)$ 설정에서의 증폭, 트레이스 공식, 디오판틴 추측을 이용하여 도출된다. 이 결과는 무한대에서의 라마누잔 추측을 전제로 하여 임의의 랭크 $n \geq 2$ 에서 초출 범위 문제를 해결한다.

ABSTRACT

We prove the subconvexity conjecture for sup-norms of automorphic forms for congruence subgroups of SL(n, Z) that satisfy the Ramanujan conjecture at infinity.

연구 동기 및 목표

• 표준형 $\Gamma_0(N)\backslash\rm PGL(n,\mathbb{R})/PO_n$ 상의 $L^2$-정규화된 히케 마아스 총형식의 $L^\infty$-노름에 대한 초출 범위를 확립한다.
• 무한대에서의 라마누잔 추측을 전제로 하여 초출 범위의 성장률이 $\lambda_F^{n(n-1)/8}$ 보다 엄밀히 느리게 일어나는지 증명한다.
• 예를 들어 $\rm SL_2$와 같은 랭크-1 케이스에서의 초출 범위 결과를 임의의 고차원 $\rm PGL(n)$ 으로 확장하여 이론에서의 주요 격차를 메운다.
• 오직 $n$ 에만 의존하는 양의 $\delta_n > 0$ 를 갖는 양적 초출 범위 지수 $n(n-1)/8 - \delta_n$ 를 제공한다. 이는 국소 대칭 공간의 컴acts부분집합에서 유효하다.
• 증폭, 트레이스 공식, 디오판틴 추측을 결합한 새로운 방법을 개발하여, 무한 랭크 설정에서의 초출 범위를 제어한다.

제안 방법

• 히케 연산자에 대한 가중합을 통한 증폭 기법을 사용하여 스펙트럼 분해 및 트레이스 공식 기법을 활용해 초출 범위를 국소화한다.
• 쿠즈네초프 공식을 적용하여 스펙트럼 합을 클로스트만 합과 연결함으로써 트레이스 공식의 스펙트럼 측면을 제어한다.
• 재귀적 디오판틴 추측 방법을 구현하여 $Q_k^*$-좋은 소수와 중첩된 집합 $\tilde{\mathcal{P}}^*_{k+1}$ 를 사용해 합동식의 해의 수를 제한한다.
• 소수 집합 $\mathcal{P}$ 를 $m \ll \mathcal{L}^{c_8 D_1^k}$ 모듈로의 합동 조건을 만족하도록 구성하며, 산술 진행에서의 린니크 유형 추정을 통해 충분한 크기를 확보한다.
• 중국인의 나머지 정리와 이차 상호법칙을 사용하여 $\mathcal{P}$ 의 조건을 매끄러운 수 $m$ 모듈로의 합동식 시스템으로 표현한다.
• 파라미터 $L_0 = \left( \frac{10\log N}{|\textbf{c}(\mu)|^\eta} \right)^{(D_1 D_2)^{i+1} D_1^{k+1}}$ 를 정의하여 오차 항을 제어하며, $\eta > 0$ 을 충분히 작게 선택하여 지수를 최적화한다.

실험 결과

연구 질문

• RQ1 고차원 $\rm PGL(n)$ 에서 $n \geq 3$ 일 때 자동형 함수의 초출 범위에 대한 초출 범위를 확립할 수 있는가?
• RQ2 $\Gamma_0(N)\backslash\rm PGL(n,\mathbb{R})/PO_n$ 상의 $L^2$-정규화된 히케 마아스 총형식의 초출 범위가 $\lambda_F^{n(n-1)/8}$ 보다 엄밀히 느리게 성장하는가?
• RQ3 무한대에서의 라마누잔 추측이 고차원에서의 초출 범위를 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 디오판틴 추측 기법을 $\rm GL(n)$ 에서의 합동식 해의 수 제어로 확장할 수 있는가? 이는 $n$ 이 증가함에 따라 여전히 유효한가?
• RQ5 모든 $n \geq 2$ 에 대해 $\delta_n > 0$ 인 균일한 초출 범위 지수 $n(n-1)/8 - \delta_n$ 가 존재하는가?

주요 결과

• 논문은 임의의 $n \geq 2$ 에 대해 $\Gamma_0(N)\backslash\rm PGL(n,\mathbb{R})/PO_n$ 상의 $L^2$-정규화된 히케 마아스 총형식의 $L^\infty$-노름에 대한 첫 번째 초출 범위를 확립한다.
• 무한대에서의 라마누잔 추측을 전제로 하여 $\|F|_{\Omega}\|_{\infty} \ll_{\Omega} N^{\varepsilon} \lambda_F^{n(n-1)/8 - \delta_n}$ 를 만족하며, 이때 $\delta_n > 0$ 은 오직 $n$ 에만 의존한다.
• 지수 $n(n-1)/8 - \delta_n$ 는 초출 범위의 경계 $n(n-1)/8$ 보다 엄밀히 작으며, 이는 고차원 설정에서의 초출 범위 추측을 확인한다.
• 이 방법은 새로운 증폭 기법과 재귀적 디오판틴 추측 방법을 결합하여 $\rm GL(n)$ 에서의 합동식 해의 수를 제어한다.
• $\mathcal{P}$ 의 좋은 소수 집합의 크기는 $\gg \mathcal{L}^{\frac{1}{2} D_1^{k+1}}$ 임을 보여, 증폭 기법이 성공하기에 충분한 조밀도를 확보한다.
• 최종적으로 $L_0$ 의 정의에서 $\eta > 0$ 을 충분히 작게 선택함으로써 오차 항이 주항목보다 더 빠르게 감쇠되도록 하여, 정리 1 의 증명을 완성한다.