色

[拼音]：moxingshilun

[外文]：theory of modular form

一種特殊的自守形式的理論。由（J.-）H.龐加萊所發展的一般的富克斯群上的自守形式，是屬於單複變函式論的一個課題。由E.赫克所創的模形式是對於模群Sl2(Z)或其他算術群的自守形式，就其內容和方法而言，則應為數論的一部分。它在以後的發展中與橢圓曲線理論、代數幾何、表示論等有十分深刻的聯絡而成為數學中的一個綜合性學科。

模形式與很多重要的數學問題有關，在現代數學的發展中佔有重要地位。例如，對阿貝爾擴域已建立了完整的類域論而使D.希爾伯特的第9問題得到解決，目前一個非常重要的問題是關於非阿貝爾擴域的類域論的研究，已發現非阿貝爾擴域與模形式之間的內在聯絡。又如關於希爾伯特第12問題得到對於虛二次域的結論：虛二次域的任一阿貝爾擴域必是該域新增模函式j(z)的某些值所得到的域的子域。著名的高斯猜想即虛二次域的類數問題的解決，也用到了模形式論。

模形式是指滿足以下兩個條件的函式ƒ(z)：

（1）ƒ(z)是上半平面

上的全純函式，在∞處的傅立葉展開式為α0+α1q+α2q2+…，式中q=e2πiz，αi是常數；

（2）若

則

式中Г 表示所有行列式等於1的二階整數方陣構成的群，稱之為模群；k是某個整數，稱之為模形式ƒ(z)的權。因而，ƒ(z)又稱為群Г上權為k的模形式。

上半平面h上的變換

稱為模變換。

全體模形式構成的線性空間記為Mk(Г)，它是複數域上的一個有限維向量空間。若以dk表示它的維數，則當k<0，k=2或k為正奇數時，dk=0；當k=0，4，6，8，10時，dk=1；當k≥12，且為偶數時，dk=dk-l2+1。

當k>1時，定義函式

式中求和號

┡表示對不等於(0，0)的所有整陣列(m，n)求和。等號右端的無窮級數是絕對收斂的，所以Gk(z)在h上是全純函式。且可證明Gk(z)屬於M2k(Г)。Gk(z)稱為艾森斯坦級數，它在∞處的傅立葉展開式為

又一個重要的例子是權為12的模形式

它與G婦(z)和 G娬(z)同屬於M12(Г)，因為d12=2，所以在墹(z)、 G婦(z)和G娬(z)之間一定存在一個線性關係，實際上有墹(z)＝(60G2(z))3－27(140G3(z))2，進而可證明Mk(Г)是由適合4α+6b＝k的諸G屶(z)G

(z)在複數域上張成的，這裡α、b為非負整數。

令

這些τ(n)都是整數。1916年，S.A.拉馬努金關於τ(n)的性質提出如下的猜想：當m與n互素時，τ(mn)=τ(m)τ(n);當p為素數，α為正整數時，

1920年，L.J.莫德爾證實了這一猜想。赫克在Mk(Г)中引入了一類線性運算元（赫克運算元），類似於τ(n)所具有的性質正是這類運算元的公共本徵矢的傅立葉係數所具有的性質。這些公共本徵矢組成了Mk(Г)的一組基。拉馬努金關於τ(n)的另一個猜想是

1974年P.德利涅證實了這一猜想。

當模形式 ƒ(z) 的傅立葉展開式中常數項α0為零時，ƒ(z)稱為歧點型模形式。

由墹(z)的乘積表示式可知墹(z)≠0(z∈h)。因此定義函式

它是一個權為零的模形式。在所有模變換之下不變的亞純函式稱為 Г上的模函式。可見j(z)是模函式，進而可證明Г上任意模函式都可表成j(z)的有理式。

對於Г 的子群，也可類似地定義模形式。常見的這類子群有

式中N為正整數。研究這些群上的模形式空間的構造，是模形式論的一個重要課題。

模形式論還可用於把一個整數表成幾個整數的平方和的問題。以rs(n)表示把n表成s個整數平方和的所有不同的表法個數，令

顯然有

若

則有

式中

這裡

是二次剩餘符號，εd對所有奇數d有定義，當d呏1（mod4）時，εd=1，當d呏3(mod4)時，εd=i，平方根(сz+d)1/2的幅角總取在

之內。設k為正奇數，在模形式的定義中，用j(r，z)k代替條件②中的(сz+d)k，即為權是半整數k/2的模形式定義，例如θ3(z)是Г0(4)上權為3/2的模形式。