Residue of some Eisenstein series

Shoyu Nagaoka
DOI: https://doi.org/10.48550/arXiv.2105.05437
2021-08-27
Abstract:The real analytic Eisenstein series is a special function that has been studied classically. Its generalization to the case of many variables has been studied extensively. Moreover, the analytic properties of certain Eisenstein series on the Siegel modular groups have also been investigated. The purpose of this study is to provide concrete forms of the residue of E_0^{(m)}(z,s) at s=m/2.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide the specific form of the residue of the Eisenstein series \( E_0^{(m)}(z,s) \) at \( s = m/2 \). Specifically, the author aims to give the residue expression of the Eisenstein series at the specific point \( s = m/2 \), which is helpful for in - depth understanding of the analytic properties of these special functions and their applications in the theory of modular forms. To achieve this goal, the paper mainly focuses on the following aspects: 1. **Definition and Background Introduction**: The definition of real - analytic Eisenstein series and its generalization on the Siegel modular group are introduced, and the previous research results in this field are reviewed. 2. **Fourier Expansion Analysis**: The Fourier expansion of the Eisenstein series is studied in detail, especially the analytic properties of its constant term and non - zero Fourier coefficients. 3. **Key Theorems and Corollaries**: Through a series of complex calculations and lemmas, the residue formula of \( E_0^{(m)}(z,s) \) at \( s = m/2 \) is finally obtained: \[ \text{Res}_{s = m/2}E_0^{(m)}(z,s)=A^{(m)}(y)+B^{(m)}(y)\sum_{h\in\Lambda_m^{(1)}}\sigma_0(\text{cont}(h))\eta_m(2y,\pi h;m/2,m/2)e(\sigma(hx)), \] where, \[ A^{(m)}(y)=\frac{1}{2}\alpha_m(y,m/2)\cdot C_m^{(m - 1)}(y)+\frac{1}{8}v(m - 1)\det(2y)^{-(m - 1)/2}\alpha'_m(y,m/2)+\frac{1}{8}\beta'_m(y,m/2), \] \[ B^{(m)}(y)=2^{m - 2}\pi^{\kappa(m)}\det(y)^{m/2}\Gamma_m(m/2)^{-1}\zeta(m)^{-1}\prod_{j = 1}^{m - 2}\zeta(m - j)\prod_{j = 1}^{m - 1}\zeta(2m - 2j)^{-1}. \] 4. **Discussion of Low - Order Cases**: The specific cases of \( m = 2 \) and \( m = 3 \) are specifically discussed, more detailed expressions are given, and the connections with known results are pointed out. Through these works, the author not only provides specific mathematical formulas, but also lays the foundation for the follow - up study of the analytic properties of the Eisenstein series.