模形式
维基百科,自由的百科全书
模形式是數學上一個滿足了一些泛函方程與增長條件、在上半平面上的(複)解析函數。模形式的理論因此屬於複分析的範疇,但理論中最主要的重要性傳統地在於其與數論的連結。模形式亦出現在其它領域,例如代數拓撲及弦理論。
模形式理論是更廣的自守形式理論之特例。就歷史而論,此理論的發展可分成三期:
目录 |
[编辑] 作為格的函數
一個模形式可視為從格
(即:
中的離散加法子群,使得其商群緊緻)映至
的函數 F,使之滿足下述條件:
- 若考慮形如
之格,其中 α 為常數而 z 為變數,則 F(Λ) 是 z 的全純函數。 - 存在常數 k(通常取正整數),使得對任何
,有 F(αΛ) = αkF(Λ)。常數 k 稱為此模形式之權。 - 對於最小非零元與原點距離大於一定值之格 Λ, | F(Λ) | 有上界。
當 k = 0,條件二表明 F(Λ) 僅決定於 Λ 在相似變換下的等價類。這是重要的特例,但是權為零的模形式必為常數函數。若去掉條件三,並容許函數有極點,則存在非常數的例子,稱作模函數。
這個狀況可以與射影空間
作類比:對於射影空間,我們欲尋找向量空間 V 上對座標的多項式函數 F,並滿足 F(cv) = F(v);不幸的是,這種函數必為常數。一種辦法是容許有分母(即考慮有理函數),則滿足條件的是分子、分母為同次數齊次多項式的有理函數。另一種辦法則是修改條件 F(cv) = F(v) 為 F(cv) = ckF(v),則滿足此條件的函數為 k 次齊次多項式,對每個固定的 k,這些函數構成有限維向量空間。藉著考慮所有可能的 k,我們可以找出構造
上的有理函數所需之分子與分母。
既然 k 次齊次多項式在
上並非真正的函數,該如何從幾何上詮釋?代數幾何給出了一個答案:它們是
上某個層
的截面。模形式的情形也類似,但考慮的不是
,而是某個模空間。
[编辑] 作為橢圓曲線上的函數
每個格
都決定一條複橢圓曲線
;兩個格給出的橢圓曲線同構的充要條件是兩個格之間差一個非零複數之倍數。模函數可以視為是複橢圓曲線的模空間上的函數。例如橢圓曲線的j-不變量就是模函數。模形式可以視作模空間上某些線叢的截面。
每個格在乘上某個非零複數倍數後皆可表成
。對一模形式 F,置
。模形式的第二個條件可改寫成函數方程:對所有
且 ad − bc = 1(即模群
之定義),有
例如,取 a = d = 0,b = − 1,c = 1:
如果上述方程僅對
內的某個有限指數子群 Γ' 成立,則稱 F 為對 Γ' 的模形式。最常見的例子是同餘子群
,以下將詳述。
[编辑] 廣義定義
令 N 為正整數,相應的模群 Γ0(N) 定義為
令 k 為正整數,權為 k 的 N 級(或級群為 Γ0(N))模形式定義為一個上半平面上的全純函數 f,對任何
及任何屬於上半平面的 z,有
而且 f 在尖點全純。所謂尖點,是
在 Γ0(N) 作用下的軌道。例如當 N = 1 時,
代表了唯一的尖點。模形式在尖點 p 全純,意謂
時 f 有界。當此尖點為
時,這等價於 f 有傅立葉展開式
其中 x = exp(2πiz)。對於其它尖點,同樣可藉座標變換得到傅立葉展開。
若對每個尖點都有 c(0) = 0,則稱之為尖點形式(德文:Spitzenform)。使得
的最小 n 稱作 f 在該尖點的階。以上定義的模形式有時也稱為整模形式,以區分帶極點的一般情形(如 j-不變量)。
另一種的推廣是考慮某類函數 j(a,b,c,d,z),並將函數方程改寫為
上式所取的 j(a,b,c,d,z): = (cz + d) 稱為自守因子。若另取適當的 j,則在此框架下亦可探討戴德金η函數,這是權等於 1/2 的模形式。例如:一個權等於 k、N 級、nebentypus 為 χ(χ 是模 N 的一個狄利克雷特徵)是定義於上半平面,並具下述性質的全純函數:對任意
及屬於上半平面的 z,有函數方程
此外,f 必須在尖點全純。
[编辑] 例子
[编辑] 艾森斯坦級數
模形式最簡單的例子是艾森斯坦級數:對每個偶數 k > 2,定義
(條件 k > 2 用於確立收歛性)
[编辑] θ函數
所謂
中的偶單位模格 L,是指由一個行列式等於一的 n 階矩陣的行向量展成之格,並使得每個 L 中的向量長度均為偶數。根據普瓦松求和公式,此時對應的Theta 函數
是權 = n / 2 的模形式。偶單位模格的構造並不容易,以下是方法之一:令 n 為 8 的倍數,並考慮所有向量
,使得 2v 的座標均為奇數或均為偶數,且 v 的各座標總和為奇數。由此構成的格寫作 Ln。當 n = 8,此格由根系 E8 的根生成。雖然
與 L16 並不相似,由於權 = 8 的模形式只有一個(至多差一個常數倍),遂得到
約翰·米爾諾發現:
對這兩個格的商空間給出兩個 16 維環面,彼此不相等距同構,但它們的拉普拉斯算子有相同的特徵值(計入重數)。
[编辑] 戴德金η函數
戴德金η函數定義為
模判別式 Δ(z) = η(z)24 是權 = 12 的模形式。拉馬努金有一個著名的猜想:在 Δ(z) 的傅立葉展開式中,對任一素數 p,qp 的係數的絕對值恆
。此猜想最後由德利涅證明。
上述諸例點出了模形式與若干古典數論問題的聯繫,例如以二次型表示整數以及整數分拆問題。赫克算子理論闡釋了模形式與數論的關鍵聯繫,同時也聯繫了模形式與表示理論。
[编辑] 其它推廣
模函數的概念還能作另外的推廣。首先,可以去掉全純條件:馬斯形式是上半平面的拉普拉斯算子的特徵函數,但並非全純函數。此外,也可以考慮
以外的群。希爾伯特模形式是 n 個變元的函數,每個變元都屬於上半平面,其函數方程則由佈於某個全實域的二階方陣定義。若以較大的辛群取代 SL(2),便得到西格爾模形式;模形式與橢圓曲線相關,西格爾模形式則涉及更廣義的阿貝爾簇。自守形式的概念可施於一般的李群。
[编辑] 參考文獻
- Jean-Pierre Serre, A Course in Arithmetic. Graduate Texts in Mathematics 7, Springer-Verlag, New York, 1973. 在其第七章提供了模形式理論的淺介
- Tom M. Apostol, Modular functions and Dirichlet Series in Number Theory (1990), Springer-Verlag, New York. ISBN 0-387-97127-0
- Goro Shimura: Introduction to the arithmetic theory of automorphic functions. Princeton University Press, Princeton, N.J., 1971. 提供較進階的闡述
- Stephen Gelbart: Automorphic forms on adele groups. Annals of Mathematics Studies 83, Princeton University Press, Princeton, N.J., 1975. 就表示理論觀點審視模形式
- Robert A. Rankin, Modular forms and functions, (1977) Cambridge University Press, Cambridge. ISBN 0-521-21212-X
- Stein's notes on Ribet's course Modular Forms and Hecke Operators













