On an identity for the projection operators of automorphic forms

Biao Wang
DOI: https://doi.org/10.48550/arXiv.2009.11786
2020-09-28
Abstract:In this note, we revisit an identity that Miller and Schmid showed in their article on a general Voronoi summation formula for $GL(n,\mathbb{Z})$ in 2009. For the proof, we mainly follow Cogdell and Piatetski-Shapiro's ideas in their work on converse theorems for $GL(n)$.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the proof and explanation of an identity regarding the projection operator of automorphic forms. Specifically, the paper re - examines an identity proposed by Miller and Schmid in 2009 and gives a new proof based on the ideas in the work of Cogdell and Piatetski - Shapiro. ### Main problems 1. **Re - proof of the identity**: The main objective of the paper is to prove the following identity: \[ P_n^m=\tilde{P}_n^m\circ\iota \] where: - \(P_n^m\) and \(\tilde{P}_n^m\) are the projection operator defined on the space of automorphic cusp forms \(A_{\text{cusp}}(\text{GL}_n)\) and its dual projection operator respectively. - \(\iota\) is a specific mapping, defined as \(\iota\phi(g)=\phi(g\iota)=\phi(tg^{-1})\), where \(g\in\text{GL}_n(A)\). 2. **Application of Fourier - Whittaker expansion**: To prove the above identity, the paper accomplishes it by calculating the Fourier - Whittaker expansions of \(P_n^mU_\xi\) and \(P_n^mV_\xi\). These expansions play a crucial role in the proof process. 3. **Potential applications**: The paper also discusses whether this identity can be used to derive the Voronoi - type summation formula applicable to \(\text{GL}(n)\times\text{GL}(m)\) (for \(2\leq m\leq n - 2\)), similar to the work of Ichino and Templier. ### Background and significance The Voronoi summation formula is an important tool in analytic number theory, especially when studying the sub - convexity problems of \(\text{GL}(2)\) and \(\text{GL}(3)\). Miller and Schmid first established the Voronoi formula on \(\text{GL}(3)\) and generalized it to \(\text{GL}(n)\). This identity is used in the work of Jacquet, Piatetski - Shapiro and Shalika to establish the functional equations of \(L\)-functions, so it has important theoretical significance. ### Summary Through a detailed analysis of the projection operator and its dual operator, the paper re - proves an important identity and explores its potential applications in the Voronoi - type summation formula. This work not only deepens the understanding of automorphic forms but also provides a theoretical basis for further research.