在數學上,模形式(Modular form)是一種解析函數,這種函數的只接受來自複數平面上半平面中的值,並且這種函數在一個在模型群英語Modular group群運算之下,會變成某種類型的函數方程,並且通過函數計算出的值也會呈現出某個增長趨勢。模形式理論屬於解析數論的範疇。模形式也出現在其他領域,例如代數拓撲弦理論

模形式理論是更廣泛的自守形式理論的特例。自守形式理論的發展大致可分成三期:

  1. 19世紀初:探討與橢圓函數相關的方面。
  2. 19世紀末:此時單變數自守形式的概念誕生。此理論由菲利克斯·克萊因等人發展。
  3. 1925至1960年:由赫克發端,發現了模形式與數論的聯繫。

作為格的函數

一個模形式可視為從所有(即:中的離散加法子群,使得其商群緊緻)的集合映至的函數,使之滿足下述條件:

  1. 若考慮形如之格,其中為常數而為變數,則全純函數
  2. 存在常數(通常取正整數),使得對任何,有。常數k稱為此模形式之
  3. 對於最小非零元與原點距離大於一定值之格有上界。

,條件二表明僅決定於在相似變換下的等價類。這是重要的特例,但是權為零的模形式必為常數函數。若去掉條件三,並容許函數有極點,則存在非常數的例子,稱作模函數

這個狀況可以與射影空間英語Projective space作類比:對於射影空間,我們欲尋找向量空間上對座標的多項式函數,並滿足;不幸的是,這種函數必為常數。一種辦法是容許有分母(即考慮有理函數),則滿足條件的是分子、分母為同次數齊次多項式的有理函數。另一種辦法則是修改條件,則滿足此條件的函數為次齊次多項式,對每個固定的,這些函數構成有限維向量空間。藉着考慮所有可能的,我們可以找出構造上的有理函數所需之分子與分母。

既然次齊次多項式在上並非真正的函數,該如何從幾何上詮釋?代數幾何給出了一個答案:它們是上某個的截面。模形式的情形也類似,但考慮的不是,而是某個模空間

作為橢圓曲線模空間上的函數

每個格都決定一條複橢圓曲線;兩個格給出的橢圓曲線同構的充要條件是兩個格之間差一個非零複數的倍數。因此模函數可以看作是複橢圓曲線的模空間上的函數。例如橢圓曲線的j-不變量英語j-invariant就是模函數。模形式可視作模空間上某些線叢的截面。

每個格在乘上某個非零複數倍數後皆可表成。對一模形式,置。模形式的第二個條件可改寫成函數方程:對所有(即模群英語Modular group之定義),有

例如,取

如果上述方程僅對內的某個有限指數子群成立,則稱為對的模形式。最常見的例子是同餘子群,以下將詳述。

廣義定義

為正整數,相應的模群英語congruence subgroup定義為

為正整數,權為級(或級群為)模形式定義為一個上半平面上的全純函數,對任何

及任何屬於上半平面的,有

而且在尖點全純。所謂尖點,是作用下的軌道。例如當時,代表了唯一的尖點。模形式在尖點全純,意謂有界。當此尖點為時,這等價於有傅立葉展開式

其中。對於其它尖點,同樣可藉座標變換得到傅立葉展開。

若對每個尖點都有,則稱之為尖點形式德文:Spitzenform)。使得的最小稱作在該尖點的階。以上定義的模形式有時也稱為整模形式,以區分帶極點的一般情形(如j-不變量)。

另一種的推廣是考慮某類函數,並將函數方程改寫為

上式所取的稱為自守因子。若另取適當的,則在此框架下亦可探討戴德金η函數,這是權等於1/2的模形式。例如:一個權等於級、nebentypus是模的一個狄利克雷特徵)是定義於上半平面,並具下述性質的全純函數:對任意

及屬於上半平面的,有函數方程

此外,必須在尖點全純。

例子

艾森斯坦級數

模形式最簡單的例子是艾森斯坦級數:對每個偶數,定義

(條件用於確立收歛性)

θ函數

所謂中的偶單位模格,是指由一個行列式等於一的階矩陣的行向量展成之格,並使得每個中的向量長度均為偶數。根據普瓦松求和公式,此時對應的Theta函數

是權的模形式。偶單位模格的構造並不容易,以下是方法之一:令為8的倍數,並考慮所有向量,使得的座標均為奇數或均為偶數,且的各座標總和為奇數。由此構成的格寫作。當,此格由根系的根生成。雖然並不相似,由於權的模形式只有一個(至多差一個常數倍),遂得到

約翰·米爾諾發現:對這兩個格的商空間給出兩個16維環面,彼此不相等距同構,但它們的拉普拉斯算子有相同的特徵值(計入重數)。

戴德金η函數

戴德金η函數定義為

模判別式是權的模形式。拉馬努金有一個著名的猜想:在的傅立葉展開式中,對任一素數的系數的絕對值恆。此猜想最後由德利涅證明。

上述諸例點出了模形式與若干古典數論問題的聯繫,例如以二次型表示整數以及整數分拆問題。赫克算子英語Hecke operator理論闡釋了模形式與數論的關鍵聯繫,同時也聯繫了模形式與表示理論

其他模函數概念的推廣

模函數的概念還能做一些推廣。

例如,可以去掉全純條件:馬斯形式英語Maass cusp form上半平面拉普拉斯算子的特徵函數,但並非全純函數。

此外,可以考慮以外的群。希爾伯特模形式個變元的函數,每個變元都屬於上半平面。其函數方程則由分佈於某個全實域的二階方陣來定義。若以較大的辛群取代,便得到西格爾模形式。模形式與橢圓曲線相關,而西格爾模形式則涉及更廣義的阿貝爾簇英語Abelian variety

自守形式的概念可用於一般的李群

參考文獻

  • 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頁面存檔備份,存於互聯網檔案館

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.