關(guān)于Hecke特征形的若干問題.pdf

1、Hecke算子是一類模形式空間構(gòu)造以及一般自守表示被廣泛應(yīng)用的“均值”算子，在模形式理論中有很重要的地位.1917年，Mordell最先在研究Ramanujan給出的一個特殊尖形式時，使用了這類算子.1937年，Hecke給出了它的一般性定義.
　　對于整數(shù)k，正整數(shù)n以及權(quán)為k的模形式f(z），Hecke算子Tn定義為(Tnf)(z):=nk-1∑d|nd-k d-1∑b=0f(nz+bd/d2).Hecke算子有很多很好的性質(zhì)

2、，比如，它的乘法是結(jié)合的且可交換的（因此Hecke算子生成一個交換代數(shù)，稱Hecke算子代數(shù)），此外，它還是可乘的以及在Petersson內(nèi)積下為自共軛的等等.
　　Hecke特征形f(z)(在SL2(Z)的情形下經(jīng)常也被簡單的稱為特征形）是一個模形式，且是所有Hecke算子的特征向量.也就是說，對于所有正整數(shù)n，存在復(fù)常數(shù)λ(n)，使得(Tnf)(z)=λ(n)f(z）.Eisenstein級數(shù)就是特征形的一個簡單例子，它也是僅

3、有的非尖形式的特征形.△函數(shù)是另一個典型的權(quán)為12的特征形.Hecke特征形f(z)的Fourier展式為f(z）=∞∑n=0 anqn.若a0=0，則為Hecke尖形式;若a1=1，則稱其為正規(guī)化的.不失一般性，本文中探討的都是正規(guī)化的Hecke特征形.
　　Hecke特征形是數(shù)論研究中的一個很重要的問題，在數(shù)學(xué)分析，組合數(shù)學(xué)和物理學(xué)中也有廣泛的應(yīng)用.它是數(shù)學(xué)家研究的熱點(diǎn)問題，近年來，Ahmad，Wissam，Holowinsk

4、y, Luo，Ono，Soundararajan，Sarnak等很多優(yōu)秀的數(shù)學(xué)家都在這方面有很多杰出的成果（見[6，13，20，21]等）.本文中，我們將研究尖形式（也就是說，相應(yīng)Fourier展式中a0=0）下Hecke特征形的的兩個問題，分別是它的非平凡素數(shù)問題和周期多項式零點(diǎn)分布問題.
　　首先我們介紹關(guān)于Hecke特征形的非平凡素數(shù)問題.
　　取偶數(shù)k≥4，令Mk(或Sk)為SL2(Z)上權(quán)為k的正則模形式（或尖形式

5、）組成的有限維C-向量空間;此外，令M!k為SL2(Z)上權(quán)為k的弱正則模形式組成的無限維空間（見[18]）.對于一個亞純模形式，若它的極點(diǎn)（如果存在的話）都在尖點(diǎn)處，則它為弱正則的.我們記SL2(Z)上的模形式在無窮遠(yuǎn)點(diǎn)處的Fourier展式為f(z)=∑n(》)-∞ af(n)qn.
　　令OL為數(shù)域L下的代數(shù)整數(shù)環(huán)，對于正規(guī)化的Hecke特征形f(z)=∞∑n=1 af(n)qn∈Sk∩OL[[q]],如果存在對應(yīng)于素數(shù)p的

6、素理想p(C)OL使得af(p)≡0(mod p)，那么我們稱f(z)是p非平凡的.
　　對于f(z）上的非平凡素數(shù)分布，一個很著名的問題如下（見Gouv(e)a的說明性文章[7]）.
　　問題對于一個一般性的正規(guī)化Hecke特征形f(z)，它有無限多的非平凡素數(shù)嗎？
　　盡管對于SL2(Z)的某些同余子群上的模形式（比如CM尖形式，權(quán)為2的關(guān)于Q上的橢圓曲線的newform等等）有更強(qiáng)的結(jié)果，但這一問題目前并沒有太多

7、的結(jié)果.2005年，Choie，Kohnen和Ono[2]得到了關(guān)于p=2，3，以及δ（k)≠0時p≥5的一個結(jié)果.
　　我們并沒有解決這一問題，它依然是開放的.但是，我們在Choie，Kohnen和Ono的基礎(chǔ)上得到了下面這個相關(guān)結(jié)果.
　　定理1對于任意的有限多個素數(shù)組成的集合S，都有無限多個SL2(Z)上的Hecke特征形使得所有的p∈S對于它們都是非平凡的.
　　然后我們探討關(guān)于Hecke特征形的周期多項式零點(diǎn)

8、分布問題.
　　對于模形式f(z）=∑∞n=0 anqn∈Mk來說，一個很自然（而且有用）的問題就是研究它的Eichler積分εf(z):=∫i∞z(f（τ）-a0）（τ-z）k-2dτ=-(k-2)!/(2πi)k-1∞∑n=1 an/nk-1qn的有關(guān)性質(zhì).盡管εf(z)并不是一個模形式，但是它可以跟模形式的周期函數(shù)聯(lián)系起來，這是關(guān)于f(z)的另一個很重要的課題.該周期函數(shù)定義為rf(z):=εf(z)-zk-2εf(-1/z

9、).它的偶部r+f(z)和奇部r-f(z)分別為f±f(z):=rf(z)±rf(-z)/2.特別的，令Γ為PSL2(R)的離散子群，且i∞為它的一個拋物尖點(diǎn).對于尖形式f(z)∈Sk(Γ)，k∈2Z≥0，相應(yīng)的周期函數(shù)即rf(z)=∫i∞0f（τ）（τ-z）k-2dτ.不難看出，此時rf(z)為k-2次多項式，它的系數(shù)包含f(z)的相關(guān)L-函數(shù)的特殊值L(f，1），L(f，2）,...，L(f,k-1)，為它們的一個生成函數(shù)（見[17

10、]）.也就是說，這樣的周期多項式提供了Eichler積分和L-函數(shù)的特殊值的聯(lián)系.相應(yīng)L-函數(shù)的特殊值在算術(shù)幾何和數(shù)論中也是一個很重要的研究對象.對于周期多項式的一般性質(zhì)，見[3，16，17，25，32];其余跟本文相關(guān)的文章有[8，23].
　　與Hecke特征形相關(guān)的周期多項式的零點(diǎn)分布問題是一個重要的課題.由函數(shù)方程，它們被猜測位于相應(yīng)圓周上，由于與Riemann猜想的相似性，這也被稱為周期多項式上的Riemann猜想.

11、r>　　2013年，Conrey, Farmer和Imamo(g)lu在[4]中證明了對于Hecke特征形f∈Sk(SL2(Z))來說，它的周期多項式的奇部在0，±2，±1/2有簡單零點(diǎn)，在±1有雙重零點(diǎn)，其余零點(diǎn)都落在單位圓周上.2014年，El-Guindy和Raji[6]更進(jìn)一步的證明了所有Sk(SL2(Z))中的Hecke特征形對應(yīng)的周期多項式的零點(diǎn)全部位于單位圓周|z|=1上.
　　在本文中，我們探討算術(shù)Hecke群Hq

12、上Hecke特征形以及Γ0(N)上相應(yīng)的newform的周期多項式的零點(diǎn)分布問題.除了延拓了El-Guindy和Raji的結(jié)果之外，我們還證明了隨著k→∞，相應(yīng)的零點(diǎn)趨向于均勻分布.
　　關(guān)于算術(shù)Hecke群，我們的結(jié)果如下:
　　定理2令Γ為某個Hecke群H3，H4，H6或H∞.若Hecke特征形f(z)=∑n≥1 anqn∈Sk(Γ)的權(quán)k充分大，那么相應(yīng)的周期函數(shù)rf(z)的零點(diǎn)都在單位圓上.此外，隨著k→∞，零點(diǎn)趨

13、向于平均分布.
　　值得一提的是，從證明過程中可以得知，滿足Ramanujan-Petersson猜想的情形下，定理2的前半部分結(jié)論對一系列包含(01-10)的PSL2(R)的離散子群Γ上的Hecke特征形都成立.
　　對于Γ0(N)，我們對Hecke特征形的子集newform也得到了相應(yīng)的結(jié)果.Newform構(gòu)成空間Snew k（Γ0（N)），它是正規(guī)化的尖形式，而且是所有Hecke算子以及Atkin-Lehner對合|k

14、W(Qp)(這里p|N)和Fricke對合|kW(N)的特征形.
　　定理3令f(z）∈Sk（Γ0（N)）為newform.若k≥4，那么相應(yīng)的周期函數(shù)rf（X)的零點(diǎn)都在圓|z|=1/√N(yùn)上.
　　將rf(z)限制到圓周上，我們將其轉(zhuǎn)化為了關(guān)于三角多項式的問題，通過研究相應(yīng)的符號變換數(shù)量，我們可以得到定理3.此外，我們發(fā)現(xiàn)當(dāng)權(quán)k或級N充分大時，rf(z)的零點(diǎn)在圓周|z|=1/√N(yùn)上的分布是有規(guī)律的，更進(jìn)一步的確定相應(yīng)三角

15、多項式根的位置，我們就得到了下面的定理.
　　定理4對newform f(z)∈Sk(Γ0(N))，以下命題為真.
　　(i)令k=4.當(dāng)∈(f)=-1時，rf(z)的零點(diǎn)為+i/√N(yùn).當(dāng)∈(f)=1時，對于充分大的N，rf(z)的零點(diǎn)位于±(1+O(N-1/4+∈))/√N(yùn).
　　(ii)令偶數(shù)k≥6，若N或k充分大，則rf(z)的零點(diǎn)可被寫為1/i√N(yùn)exp(iθ(l)+O(1/2k√N(yùn))），其中，對于0≤(l)≤