Abstract:We prove an explicit formula for the Petersson norms of some normalized generic cuspidal newforms on ${\rm GSp}_4$ whose archimedean components belong to either discrete series representations or spherical principal series representations. Our formula expresses the Petersson norms in terms of special values of adjoint $L$-functions and some elementary constants depending only on local representations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the explicit formula for the Petersson norm of a specific type of automorphic forms. Specifically, the paper focuses on the Petersson norm of the normalized generic cuspidal new - forms on the four - dimensional symplectic group GSp4, whose Archimedean components belong to discrete series representations or spherical principal series representations. The goal of the paper is to express these Petersson norms in terms of the special values of the adjoint L - functions and some basic constants that only depend on local representations.
### Background and Motivation of the Paper
In the study of automorphic forms, it is very natural and important to measure their magnitudes. For example, consider a normalized Hecke eigenform \(f\in S_{\kappa}(SL_{2}(\mathbb{Z}))\) on the modular group \(SL_{2}(\mathbb{Z})\), whose Petersson norm is defined as:
\[ \langle f,f\rangle=\int_{SL_{2}(\mathbb{Z})\backslash\mathcal{H}}|f(\tau)|^{2}\text{Im}(\tau)^{\kappa - 2}d\tau. \]
It is known that this norm can be expressed by the special value of the completed adjoint L - function \(L(s,f,\text{Ad})\) at \(s = 1\):
\[ \langle f,f\rangle=2^{-\kappa}L(1,f,\text{Ad}). \]
This formula has many applications in analytic number theory and arithmetic geometry.
### Main Contributions
For a more general case, let \(k\) be a number field, \(A_{k}\) be its adele ring, and \(G\) be a connected reductive linear algebraic group over \(k\). Let \(\pi=\bigotimes_{v}\pi_{v}\) be an irreducible cuspidal automorphic representation of \(G(A_{k})\). Assume that \(G\) is quasi - split over \(k\), \(\pi\) appears once in the automorphic discrete spectrum of \(G\), and \(\pi\) is globally generic. The Lapid - Mao conjecture ([LM15]) predicts that:
\[ \langle f,f\rangle=|S_{\pi}|\cdot L_{S}(1,\pi,\text{Ad})\frac{\Delta_{S}^{G}}{\prod_{v\in S}\alpha_{v}(f_{v})^{-1}}, \]
where \(\langle f,f\rangle\) is the Petersson norm of \(f\), \(S_{\pi}\) is the global component group of the Arthur parameter of \(\pi\), \(S\) is a sufficiently large finite set of places of \(k\), \(L_{S}(s,\pi,\text{Ad})\) is the partial adjoint L - function of \(\pi\), \(\Delta_{S}^{G}\) is the special value of a certain partial L - function that only depends on \(G\), and \(\alpha_{v}(f_{v})\) is the Whittaker integral of the matrix coefficient associated with \(f_{v}\in\pi_{v}\).
### Specific Problems
The main purpose of this paper is to prove the explicit formula for certain Petersson norms when \(G = PGSp_{4}\). In particular, the author assumes that \(k=\mathbb{Q}\), for all prime numbers \(p\), \(\pi_{p}\) is unramified, \(\pi_{\infty}\) is either a discrete series representation or a spherical principal series representation, and \(f\in\pi\) is a normalized new vector. Although the Lapid - Mao conjecture has been proven in this case, it is almost impossible to directly calculate \(\alpha_{\infty}(f_{\infty})\). Therefore, the author adopts a different method and establishes the explicit formula for the Petersson norm by reducing to the endoscopic case.
### Main Results
Finally