Geodesic bi-angles and Fourier coefficients of restrictions of eigenfunctions

Abstract

This article concerns joint asymptotics of Fourier coefficients of restrictions of Laplace eigenfunctions $ϕ_j$ of a compact Riemannian manifold to a submanifold $H \subset M$. We fix a number $c \in (0,1)$ and study the asymptotics of the thin sums, $$ N^{c} _{ε, H }(λ): = \sum_{j, λ_j \leq λ} \sum_{k: |μ_k - c λ_j | < ε} \left| \int_{H} ϕ_j \overline{ψ_k}dV_H \right|^2 $$ where $\{λ_j\}$ are the eigenvalues of $\sqrt{-Δ}_M,$ and $\{(μ_k, ψ_k)\}$ are the eigenvalues, resp. eigenfunctions, of $\sqrt{-Δ}_H$. The inner sums represent the `jumps' of $ N^{c} _{ε, H }(λ)$ and reflect the geometry of geodesic c-bi-angles with one leg on $H$ and a second leg on $M$ with the same endpoints and compatible initial tangent vectors $ξ\in S^c_H M, π_H ξ\in B^* H$, where $π_H ξ$ is the orthogonal projection of $ξ$ to $H$. A c-bi-angle occurs when $\frac{|π_H ξ|}{|ξ|} = c$. Smoothed sums in $μ_k$ are also studied, and give sharp estimates on the jumps. The jumps themselves may jump as $ε$ varies, at certain values of $ε$ related to periodicities in the c-bi-angle geometry. Subspheres of spheres and certain subtori of tori illustrate these jumps. The results refine those of the previous article (arXiv:2011.11571) where the inner sums run over $k: | \frac{μ_k}{λ_j} - c| \leq ε$ and where geodesic bi-angles do not play a role.