On the functional equations of Siegel Eisenstein series of an odd prime level $p$

Keiichi Gunji
2024-10-11
Abstract:Let $p$ be an odd prime. In this paper we write down the functional equations of Siegel Eisenstein series of degree $n$, level $p$ with quadratic or trivial characters. First we study the $U(p)$ action in the space of Siegel Eisenstein series to get $U(p)$-eigen functions. Secondly we show that the functional equations for $U(p)$-eigen Eisenstein series are quite simple and easy to write down. Consequently the matrix that represents functional equations of Siegel Eisenstein series are given by the products of simple matrices.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the functional equation of Siegel Eisenstein series at odd prime level \(p\). Specifically, the author aims to study and describe the properties and expressions of the functional equation of Siegel Eisenstein series at odd prime level \(p\). ### Main problems: 1. **Form of the functional equation**: For a given Siegel Eisenstein series, what is the specific form of its functional equation at odd prime level \(p\)? 2. **Role of the U(p)-operator**: How can these functional equations be simplified and derived through the U(p)-operator? In particular, when dealing with quadratic or trivial characters, how can U(p)-eigenfunctions help simplify the functional equations? 3. **Matrix representation**: How can the functional equation of Siegel Eisenstein series be represented by simple matrix products? ### Solutions: - The author first studied the role of the U(p)-operator in the space of Siegel Eisenstein series and obtained U(p)-eigenfunctions. - Then, the author proved that the functional equations of U(p)-eigen Eisenstein series are very simple and easy to represent. - Finally, the author gave matrices representing the functional equations of Siegel Eisenstein series, which are composed of simple matrix products. ### Key conclusions: - For odd prime \(p\), the functional equation of Siegel Eisenstein series can be written in vector - valued form. - The specific form of the functional equation is: \[ E_{n,(\nu)}^{k,\psi}(Z,s)=C(s)E_{n,(n - \nu)}^{k,\psi}(Z,\kappa_n - s) \] where \(\kappa_n=(n + 1)/2\), and \(C(s)\) is a function of \(s\). - In the basis \(\{E_n^{k,\psi}(w_\nu;Z,s)\}\), the functional equation can be written as: \[ \begin{pmatrix} E_n^{k,\psi}(w_0;Z,\kappa_n - s)\\ \vdots\\ E_n^{k,\psi}(w_n;Z,\kappa_n - s) \end{pmatrix}=B_\psi(\kappa_n - s)^{-1}T_\psi(s)B_\psi(s)\begin{pmatrix} E_n^{k,\psi}(w_0;Z,s)\\ \vdots\\ E_n^{k,\psi}(w_n;Z,s) \end{pmatrix} \] Through these works, the author has successfully solved the problems of the specific form and representation of the functional equation of Siegel Eisenstein series at odd prime level \(p\).