Abstract:Let $\psi$ be a Hecke-Maass form on a compact congruence arithmetic hyperbolic 3-manifold $X$, and let $Y$ be a hyperbolic surface in $X$ that is not necessarily closed. We obtain a power saving result over the local bound for the period of $\psi$ along $Y$, by applying the method of arithmetic amplification developed by Iwaniec and Sarnak.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the problem of estimating the bounds of the periods of eigenfunctions on arithmetic hyperbolic 3 - manifolds. Specifically, the paper focuses on the bound estimation of the integral period \(P_Y(\psi, b)\) of the Hecke - Maass form \(\psi\) along the hyperbolic surface \(Y\) on a given arithmetic hyperbolic 3 - manifold \(X\).
### Problem Background
Let \(X\) be a compact arithmetic hyperbolic 3 - manifold, and \(\psi\) be a Hecke - Maass form defined on \(X\), that is, an eigenfunction of the Laplace operator and the Hecke operator. Assume that \(\psi\) has been \(L^2\) - normalized, that is, \(\|\psi\|_2 = 1\). For a hyperbolic surface \(Y\) (not necessarily closed) in \(X\), we are interested in the integral period \(P_Y(\psi, b)\) of \(\psi\) on \(Y\), where \(b\) is a smooth compactly supported function on \(Y\).
### Known Results
According to Zelditch's general result, for any sub - manifold \(Y\) with dimension \(d\), we have:
\[
P_Y(\psi, b)\ll\lambda^{(n - d - 1)/2}
\]
where \(\lambda\) is the spectral parameter of \(\psi\), and \(n\) is the dimension of the manifold \(X\). This bound is optimal on the sphere.
### Main Contributions of the Paper
This paper improves the exponent of the above local bound by applying the arithmetic amplification method developed by Iwaniec and Sarnak. Specifically, the author proves the following theorem:
#### Theorem 1.1
Let \(\psi\) be a Hecke - Maass form on the arithmetic hyperbolic 3 - manifold \(X\) with spectral parameter \(\lambda\). For any hyperbolic surface \(Y\) in \(X\), we have:
\[
P_Y(\psi, b)\ll_{\epsilon}\lambda^{- 1/74+\epsilon}
\]
where the implicit constant depends on \(X\), the support of \(b\), and the \(L^{\infty}\) norms of \(b\) and its finitely many derivatives.
### Solution Methods
To prove this result, the author uses the arithmetic amplification method, constructs appropriate test functions and uses the relative trace formula for estimation. In addition, the author also combines geometric and analytic methods to deal with oscillatory integrals and solves the related Diophantine problems.
In summary, the main contribution of this paper is to significantly improve the bound estimation of the periods of eigenfunctions on arithmetic hyperbolic 3 - manifolds, providing new tools and ideas for research in related fields.