Eisenstein Series in Kohnen Plus Space for Hilbert Modular Forms

Ren He Su

DOI: https://doi.org/10.1142/S1793042116500469

2014-04-04

Abstract:In 1975, Cohen constructed a kind of one-variable modular forms of half-integral weight, says $r+(1/2),$ whose $n$-th Fourier coefficient $H(n)$ only occurs when $(-1)^r n$ is congruent to 0 or 1 modulo 4. The space of modular forms whose Fourier coefficients have the above property is called Kohnen plus space, initially introduced by Kohnen in 1980. Recently, Hiraga and Ikeda generalized the Kohnen plus space to the spaces for half-integral weight Hilbert modular forms with respect to general totally real number fields. If one such Hilbert modular form $f$ of parallel weight $\kappa+(1/2)$ lying in a generalized Kohnen plus space has $\xi$-th Fourier coefficients $c(\xi)$, then $c(\xi)$ does not vanish only if $(-1)^\kappa\xi$ is congruent to a square modulo 4. In this paper, we use an adelic way to construct Eisenstein series of parallel half-integral weight belonging to the generalized Kohnen plus spaces and give an explicit form for their Fourier coefficients. These Eisenstein series give a generalization of the modular forms introduced by Cohen. Moreover, we show that the Kohnen plus space is generated by the cusp forms and the Eisenstein series we constructed as a vector space over $\mathbb{C}.$

Number Theory

What problem does this paper attempt to address?

The problems that this paper attempts to solve are: construct Eisenstein series of parallel half - integral weights in the generalized Kohnen plus space and give the explicit expressions of their Fourier coefficients. In addition, prove that the generalized Kohnen plus space can be generated by the constructed Eisenstein series and cusp forms.

Specifically, the paper mainly focuses on the following points:

1. **Construction of Eisenstein series**:
The author uses the adele method to construct Eisenstein series belonging to the generalized Kohnen plus space. These series are generalizations of a special class of modular forms introduced by Cohen.

2. **Calculation of Fourier coefficients**:
The explicit formulas for the Fourier coefficients of these Eisenstein series are given. For a Hilbert modular form \(f\) of weight \(\kappa+\frac{1}{2}\), its \(\xi\)-th Fourier coefficient \(c(\xi)\) is non - zero only when \((- 1)^{\kappa}\xi\) is congruent to a square modulo 4.

3. **Generation of Kohnen plus space**:
Prove that the generalized Kohnen plus space \(M^{+}_{\kappa+\frac{1}{2}}(\Gamma)\) is a complex vector space, which can be generated by cusp forms and the constructed Eisenstein series. Specifically, the following conclusion holds:
\[
M^{+}_{\kappa+\frac{1}{2}}(\Gamma)=S^{+}_{\kappa+\frac{1}{2}}(\Gamma)\oplus\bigoplus_{j = 1}^{h}\mathbb{C}\cdot G_{\kappa+\frac{1}{2}}(z,\chi_j)
\]
where \(\chi_1,\ldots,\chi_h\) are \(h\) different characters of the class group of \(F\).

By solving these problems, the paper provides a new tool for studying Hilbert modular forms of half - integral weights and further understands the structure of the generalized Kohnen plus space.