模形式空间关于Hecke算子的对角化

Atkin和Lehner研究了权为2k的群Γ_0(Ν)的歧点形式空间S_(2k)(N)的新形式(newforms)理论,证明了S_(2k)(N)=S_(2k)~(new)(N)(?)S_(2k)~(old)(N),其中的S_(2k)~(new)(N)有一组由所有Hecke算子的特征向量构成的基,而S_(2k)~(old)(N)则只有一组关于Hecke算子T(P)((P,N)=1)的公共特征向量构成的基.Manickam,Ramakrishnan和Vasudevan研究权为k 1/2的新形式理论,讨论了空间S_(2k)(q)关于所有的Hecke算子的对角化,其中q≡3(4)是一个素数.在本文中,我们将要研究空间M_(2k)(q)及M_(k 1/2)(q)关于所有Hecke算子的对角化.此处q≡3(4)是一个素数,k≥2是一个正整数.