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.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper mainly studies the sup - norm problem of automorphic forms. Specifically, it attempts to solve the sup - norm estimation of automorphic forms in high - dimensional spaces. More specifically, the author focuses on the sup - norm problem of automorphic forms in the \( \mathrm{PGL}(n) \) space and tries to prove a subconvexity bound.
#### Background and motivation
1. **Classical results**:
- On the compact locally symmetric space \( X \), for the \( L^2 \)-normalized joint eigenfunction \( F \) with Laplace eigenvalue \( \lambda_F \), the existing results show that its sup - norm satisfies:
\[
\|F\|_\infty \ll \lambda_F^{(\dim X - r)/4}
\]
where \( r \) is the rank of the space.
- This result also holds on non - compact spaces, but only for the restriction on compact sub - domains.
2. **Subconvexity conjecture**:
- For the joint eigenfunction \( F \) which is simultaneously an eigenfunction of invariant differential operators and Hecke operators, the subconvexity conjecture predicts a stricter upper bound, that is, the exponent is strictly less than \( (\dim X - r)/4 \).
- The stronger Sarnak purity conjecture states that the limit points of \( \log \|F\|_\infty / \log \lambda_F \) are contained in \( \frac{1}{4}\mathbb{Z} \cap [0, (\dim X - r)/4) \).
3. **Quantum mechanical correspondence principle**:
- The study of the large - eigenvalue limit is inspired by the quantum mechanical correspondence principle, where the eigenfunction \( F \in L^2(X) \) can be regarded as a quantum state, and it is studied whether these eigenfunctions behave like random waves or show certain structures.
#### Main contributions of the paper
In this paper, the author solves the subconvexity problem of automorphic forms on \( \Gamma \backslash \mathrm{PGL}(n, \mathbb{R})/\mathrm{PO}_n \), where \( \Gamma=\Gamma_0(N) \) is a congruence subgroup of \( \mathrm{SL}_n(\mathbb{Z}) \). Specifically, they prove the following theorem:
**Theorem 1**: Let \( n\geq2 \), \( F \) be a Hecke - Maaß cusp form on \( \Gamma_0(N) \) with Laplace eigenvalue \( \lambda_F \). Assume that \( F \) satisfies the Ramanujan conjecture at infinity, that is, its Archimedean Langlands parameters are real. Let \( \Omega \) be a fixed compact subset of \( \Gamma_0(N) \backslash H_n \), then:
\[
\|F|_\Omega\|_\infty \ll_{\Omega, \varepsilon} N^\varepsilon \lambda_F^{n(n + 1)/8-\delta}
\]
where \( \delta=\delta_n>0 \) is a computable constant, and the implicit constant depends on \( \Omega \) and \( \varepsilon \).
This result means that on the compact subset \( \Omega \), the sup - norm of the automorphic form has a subconvexity estimation, which is an important breakthrough in the study of high - dimensional automorphic forms.
### Summary
This paper successfully solves the subconvexity problem of automorphic forms in the \( \mathrm{PGL}(n) \) space by introducing new counting techniques, trace formula amplification methods and recursive strategies. This achievement not only promotes the development of the theory of automorphic forms, but also provides for other related fields.