Abstract:Higher-order non-holomorphic Eisenstein series associated to a Fuchsian group $\Gamma$ are defined by twisting the series expansion for classical non-holomorphic Eisenstein series by powers of modular symbols. Their functional identities include multiplicative and additive factors, making them distinct from classical Eisenstein series. Here we prove the meromorphic continuation of these series and establish their functional equations. In addition, we construct high rank vector bundles $\cal V$ from certain unipotent representations $\pi$ of $\Gamma$ and show that higher-order non-holomorphic Eisenstein series can be viewed as components of certain eigensections, $\mathbb E$, of $\cal V$. With this viewpoint the functional identities of these higher-order series are formally identical to the classical case. Going further, we prove bounds for the Fourier coefficients of the higher-order non-holomorphic Eisenstein series.
What problem does this paper attempt to address?
This paper aims to solve theoretical problems related to higher - order non - holomorphic Eisenstein series associated with Fuchsian groups Γ. Specifically, the authors define higher - order non - holomorphic Eisenstein series constructed by the series expansion of the classical non - holomorphic Eisenstein series twisted by powers of modular symbols. The functional characteristics of these series, including multiplicative and additive factors, distinguish them from the classical Eisenstein series. The main contributions of the paper include:
1. **Proof of the meromorphic continuation of these series**: That is, it is proved that the higher - order non - holomorphic Eisenstein series \( E_{m,n}^a(z,s) \) can be meromorphically continued to the entire complex plane \( \mathbb{C} \).
2. **Establishment of functional equations**: These equations relate the values of the higher - order non - holomorphic Eisenstein series at \( s \) and \( 1 - s \).
3. **Construction of high - rank vector bundles**: High - rank vector bundles \( V \) are constructed from certain unipotent representations \( \pi \), and it is shown that the higher - order non - holomorphic Eisenstein series can be regarded as components of certain characteristic sections of these vector bundles.
4. **Proof of the bounds of Fourier coefficients**: Strong bounds for the Fourier coefficients of the higher - order non - holomorphic Eisenstein series are given.
### Formula Summary
1. **Definition of higher - order non - holomorphic Eisenstein series**:
\[
E_{m,n}^a(z,s; f, g, \chi)=\sum_{\gamma\in\Gamma_a\backslash\Gamma}\chi(\gamma)\langle\gamma, f\rangle^m\langle\gamma, g\rangle^n\operatorname{Im}(\sigma_a^{-1}\gamma z)^s
\]
where the modular symbols are defined as:
\[
\langle\gamma, f\rangle = \int_{\gamma z_0}^{z_0}f(w)dw,\quad\langle\gamma, g\rangle=\int_{\gamma z_0}^{z_0}g(w)dw
\]
2. **Meromorphic continuation**:
It is proved that \( E_{m,n}^a(z,s) \) can be meromorphically continued to the entire complex plane \( \mathbb{C} \).
3. **Functional equations**:
\[
E_{m,n}^a(z, 1 - s)=\Phi_{m,n}^E(1 - s)E_{m,n}^a(z, s)
\]
where \( \Phi_{m,n}^E(s) \) satisfies:
\[
\Phi_{m,n}^E(1 - s)\Phi_{m,n}^E(s)=I_N
\]
4. **Bounds of Fourier coefficients**:
For each compact set \( S\subset\mathbb{C} \) and all integers \( m, n\geq0 \), there exists a holomorphic function \( \xi_{m,n}^S(s) \) such that for all \( s\in S \) and all \( k\neq0 \):
\[
\xi_{m,n}^S(s)\varphi_{m,n}^{ab}(k,s)\ll(\log^{m + n}|k|+ 1)(|k|^\sigma+|k|^{1-\sigma})
\]
### Applications
1. **Kronecker limit formula**: The higher - order non - holomorphic Eisenstein series \( E_{1,1}^a \) gives rise to new Dedekind sums with interesting arithmetic properties.
2. **Inner product space**: A natural one is found for the space of higher - weight \( k \) forms.