Abstract:Let $n>m\geqslant 1$ be integers with $n+m\geqslant 4$ even. We prove the existence of Maass forms with large sup norms on anisotropic ${\rm O}(n,m)$, by combining a counting argument with a new period relation showing that a certain orthogonal period on ${\rm O}(n,m)$ distinguishes theta lifts from ${\rm Sp}_{2m}$. This generalizes a method of Rudnick and Sarnak in the rank one case, when $m = 1$. Our lower bound is naturally expressed as a ratio of the Plancherel measures for the groups ${\rm O}(n,m)$ and ${\rm Sp}_{2m}(\mathbb{R})$, up to logarithmic factors, and strengthens the lower bounds of our previous paper for such groups. In the case of odd-dimensional hyperbolic spaces, the growth exponent we obtain improves on a result of Donnelly, and is optimal under the purity conjecture of Sarnak.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the concentration properties of Maass forms on the orthogonal group \(O(n,m)\) in certain specific cases. Specifically, the author hopes to prove that for integers \(n\) and \(m\) satisfying \(n > m\geq1\) and \(n + m\geq4\) being even, there exist Maass forms with large suprema.
### Main Problem Description
1. **Background and Motivation**
- In quantum chaos theory, eigenfunctions on closed, compact, negatively - curved Riemannian manifolds should not exhibit extreme localization properties.
- However, in arithmetic analysis, intermediate localization properties can be achieved on congruence manifolds, which is usually related to functoriality.
- Through periods, one can access the concentration behavior of eigenfunctions, and according to the relative Langlands program, non - zero periods distinguish functorial lifts from different source manifolds.
2. **Specific Problems**
- The paper studies the atypical concentration behavior of arithmetic eigenfunctions on compact congruence manifolds related to the indefinite orthogonal group.
- These spaces were proven in the previous paper [4] to have special sequences of eigenfunctions with large suprema.
- The methods in this paper directly use theta correspondence and automorphic period relations, and these techniques allow for more refined (and effective) estimates.
3. **Main Results**
- When \(n > m\geq1\) and \(n + m\geq4\) is even, a Hecke - Maass form \(f\) can be found in each \(O(1)\) spectral window, and its \(L^{\infty}\) norm grows through an explicit comparison of the spectral density function.
- Specifically, the form of the lower bound is the square root of the ratio of the Plancherel measures, that is:
\[
\|f\|_{\infty}\gg(\log(3+\|\nu\|))^{-r/2}\left(\frac{\beta_{H_{n,m}}(\nu)}{\beta_{H_m}(\nu)}\right)^{1/2}
\]
where \(r = [F:\mathbb{Q}]m\), and \(F\) is a totally real number field.
4. **Innovative Points**
- The novelty of this paper lies in the exact form of the lower bound in the high - rank case, which helps to understand the Sarnak purity conjecture.
- In the rank - 1 case, when \(n\) is odd, the result of Donnelly is improved, and it is optimal under the purity conjecture.
### Summary
This paper, by combining counting arguments and new period relations, proves that under specific conditions, there exist Maass forms with large suprema on the orthogonal group \(O(n,m)\). This result not only improves previous work but also provides new methods and perspectives for further research.