上次我说过对Fourier系数τ(n)，连基本的估计也推导不出来，是因为Gunning的书用到Poincare级数，现在看到Apostol的书GTM41，其中定理6.17的证明略施小计，就对凡是具备Fourier展开的模形式的系数都获得基本估计，不需要非得用Poincare级数，所以对τ(n)可以获得6，而Ramanujan猜想是5.5。Deligne用算术代数几何的证明是错了。 全模群Γ上权k