Remark on Kohnen-Zagier's paper concerning Fourier coefficients of modular forms of half intergral weight
Remark on Kohnen-Zagier's paper concerning Fourier coefficients of modular forms of half intergral weight
复制标题
关于 Kohnen-Zagier 关于半积分权模形式的傅里叶系数的论文的评论
DOI:
10.3792/pjaa.69.383
复制
发表时间:
1993
期刊:
影响因子:
--
通讯作者:
H. Kojima
中科院分区:
文献类型:
--
作者:
H. Kojima
Introduetion. In [5], Shimura has established a correspondence between the space of modular forms of half integral weight and the space of those of integral weight. Using the methods and languages of representation theory of adeles of metaplectic groups, Waldspurger [8] and [9] showed that the square of Fourier coefficients a(n)for a square free integer n of the modular form f(z) n.--1 a(n)e[nz] of half integral weight is essentially proportional to the special value of the zeta function at a certain integer attached to the modular form F if f corresponds to F by and f is an eigen-function of Hecke operators. On the other hand, Kohnen-Zagier [1] and [2] determined explicitly the proportion of the square of a(n) for a square free integer n of f(z) a(n)e[nz] which is an eigen-function of Hecke operators and belongs to the Kohnen’s subspace S<k+I)/.(4N) {f(z) <_)h,,o,l<4)a(n)e[nz] (4N)} of S<.+)n(4N) by the special value of the zeta function associated with the modular form F (f)of integral weight. Kohnen-Zagier [1] (resp. Kohnen [2]) treated the case where N I (resp. N is an odd square free integer). The purpose of this note is to derive an analogy of [1] and [2] in the case where f is an eigen-function of Hecke operators in S<+)/(4N) (resp. S<.+)/(4N, ZN)) and (f) is a primitive form in $2(2N), where S<k+I)/.(4N) (resp. S<+I)/(4N, z)) means the vector space consisting of modular cusp forms of weight (2k-F 1)/2 and of level 4N (resp. of level 4N with the character Z). Since the modular form f satisfying our conditions is contained in orthogonal complement of Kohnen’s space, there is no overlap between Kohnen-Zagier’s results and ours. The method of our proof is similar to that of [1]. To prove our results, we need to modify their methods. 1. Notation and preliminaries. We denote by Z, Q, R and C the ring of rational integers, the rational number field, the real number field and the complex number field, respectively. For z C, we put e[z]--exp(2riz) and we define v z so that r/2 < arg(z1/) _