On the lifting of Hilbert cusp forms to Hilbert-Siegel cusp forms

Ikeda Tamotsu,Shunsuke Yamana
DOI: https://doi.org/10.48550/arXiv.1512.08878
2015-12-30
Abstract:Starting from a Hilbert cusp form of weight $2\kap$, we will construct a Hilbert-Siegel cusp form of weight $\kap+\frac{m}{2}$ and degree $m$ and its transfer to inner forms of symplectic groups.
Number Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is: starting from relatively simple automorphic data (for example, cusp forms on GL_2), construct more complex automorphic forms on higher - order groups. Specifically, the authors generalize Ikeda's previous work, and extend the problem of lifting elliptic cusp forms to Siegel cusp forms to the case of Hilbert cusp forms. Described in more professional terms, the goal of the paper is to construct a Hilbert - Siegel cusp form \(G\) starting from a given Hilbert cusp form \(F\), where the weight of \(F\) is \(2\kappa\), and the weight of \(G\) is \(\frac{2\kappa + m}{2}\) and the degree is \(m\). In addition, the transfer of this construction on the inner forms of the symplectic group is also studied. In short, the core problem of this paper is how to systematically lift automorphic forms of lower dimensions and lower weights to automorphic forms of higher dimensions and higher weights, and explore the properties and behaviors of these new forms under different group structures. ### Formula Representation 1. **Initial Conditions**: - The weight of the Hilbert cusp form \(F\) is \(2\kappa\). - The weight of the constructed Hilbert - Siegel cusp form \(G\) is \(\frac{2\kappa + m}{2}\), and the degree is \(m\). 2. **Main Results**: - For any \(\xi\in Sym_m^+\), the constructed Hilbert - Siegel cusp form \(G\) can be expressed as: \[ G(Z)=\sum_{\xi\in Sym_m^+}|\det\xi|^{\frac{2\kappa + m}{4}}c_{\eta\det\xi}e_\infty(\text{tr}(\xi Z))w_{\mu_f\hat{\chi}_\eta}^\xi(\rho(\tilde{\Delta})h) \] where \(Z\in\mathcal{H}_m^d\), \(e_\infty\) is an additive character, \(w_{\mu_f\hat{\chi}_\eta}^\xi\) is a function defined by local integrals, \(\rho\) is the right regular action, and \(\tilde{\Delta}\) is an element of the finite part. In this way, the paper not only solves the problem of how to construct automorphic forms of higher dimensions and higher weights, but also explores in detail the specific expressions of these forms and their embedding methods in different group structures.