在数学上，**模形式**（Modular form）是一种解析函数，这种函数的只接受来自复数平面内上半平面中的值，并且这种函数在一個在模型群（英语：）的群运算之下，会变成某种类型的函数方程，并且通过函数计算出的值也会呈现出某个增长趋势。模形式理論屬於解析数论的範疇。模形式也出現在其他領域，例如代數拓撲和弦理論。

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

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

作為格的函數
------

一個模形式可視為從所有格\Lambda \subset {\mathbb {C}}（即：\mathbb {C} 中的離散加法子群，使得其商群緊緻）的集合映至\mathbb {C} 的函數F，使之滿足下述條件：

1. 若考慮形如\Lambda :=\langle \alpha ,z\rangle 之格，其中\alpha 為常數而z為變數，則F(\Lambda )是z的全純函數。
2. 存在常數k（通常取正整數），使得對任何\alpha \in {\mathbb {C}}^{\times }，有F(\alpha \Lambda )=\alpha ^{k}F(\Lambda )。常數k稱為此模形式之**權**。
3. 對於最小非零元與原點距離大於一定值之格\Lambda ，|F(\Lambda )|有上界。

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

這個狀況可以與射影空間（英语：）{\mathbb {P}}(V)作類比：對於射影空間，我們欲尋找向量空間V上對座標的多項式函數F，並滿足F(cv)=F(v)；不幸的是，這種函數必為常數。一種辦法是容許有分母（即考慮有理函數），則滿足條件的是分子、分母為同次數齊次多項式的有理函數。另一種辦法則是修改條件F(cv)=F(v)為F(cv)=c^{k}F(v)，則滿足此條件的函數為k次齊次多項式，對每個固定的k，這些函數構成有限維向量空間。藉著考慮所有可能的k，我們可以找出構造{\mathbb {P}}(V)上的有理函數所需之分子與分母。

既然k次齊次多項式在{\mathbb {P}}(V)上並非真正的函數，該如何從幾何上詮釋？代數幾何給出了一個答案：它們是{\mathbb {P}}(V)上某個層{\mathcal {O}}(k)的截面。模形式的情形也類似，但考慮的不是{\mathbb {P}}(V)，而是某個模空間。

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

每個格\Lambda \subset {\mathbb {C}}都決定一條複橢圓曲線{\mathbb {C}}/\Lambda ；兩個格給出的橢圓曲線同構的充要條件是兩個格之間差一個非零複數的倍數。因此模函數可以看作是複橢圓曲線的模空間上的函數。例如橢圓曲線的j-不變量（英语：）就是模函數。模形式可視作模空間上某些線叢的截面。

每個格在乘上某個非零複數倍數後皆可表成\Lambda =\langle 1,z\rangle \quad ({\mathrm {Im}}(z)>0)。對一模形式F，置f(z):=F(\langle 1,z\rangle )。模形式的第二個條件可改寫成函數方程：對所有**解析失败 (SVG（MathML可通过浏览器插件启用）：从服务器"http://localhost:6011/zh.wikipedia.org/v1/"返回无效的响应（"Math extension cannot connect to Restbase."）：): a,b,c,d\in \mathbb{Z }** 
且ad-bc=1（即模群（英语：）\Gamma :={\mathrm {SL}}(2,\mathbb{Z } )之定義），有

f\left({az+b \over cz+d}\right)=(cz+d)^{k}f(z)
例如，取a=d=0,b=-1,c=1：

f(-1/z)=F(\langle 1,-1/z\rangle )=z^{k}F(\langle z,-1\rangle )=z^{k}F(\langle 1,z\rangle )=z^{k}f(z).
如果上述方程僅對{\mathrm {SL}}(2,\mathbb{Z } )內的某個有限指數子群\Gamma '成立，則稱F為對\Gamma '的模形式。最常見的例子是同餘子群**解析失败 (SVG（MathML可通过浏览器插件启用）：从服务器"http://localhost:6011/zh.wikipedia.org/v1/"返回无效的响应（"Math extension cannot connect to Restbase."）：): \Gamma (N):=\{g\in \Gamma :g\equiv I\mod N\}**
，以下將詳述。

廣義定義
----

令N為正整數，相應的模群（英语：）\Gamma \_{0}(N)定義為

\Gamma \_{0}(N)=\left\{{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in SL\_{2}({\mathbf {Z}}):c\equiv 0{\pmod {N}}\right\}
令k為正整數，權為k的N級（或級群為\Gamma \_{0}(N)）模形式定義為一個上半平面上的全純函數f，對任何

{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \Gamma \_{0}(N)
及任何屬於上半平面的z，有

f\left({\frac {az+b}{cz+d}}\right)=(cz+d)^{k}f(z)
而且f在尖點全純。所謂**尖點**，是{\mathbb {Q}}\cup \{+i\infty \}在\Gamma \_{0}(N)作用下的軌道。例如當N=1時，+i\infty 代表了唯一的尖點。模形式在尖點p全純，意謂z\rightarrow p時f有界。當此尖點為+i\infty 時，這等價於f有傅立葉展開式

f(z)=\sum \_{{n=0}}^{\infty }c(n)\exp(2\pi inz)=\sum \_{{n=0}}^{\infty }c(n)x^{n}
其中x=\exp(2\pi iz)。對於其它尖點，同樣可藉座標變換得到傅立葉展開。

若對每個尖點都有c(0)=0，則稱之為尖點形式（德文：Spitzenform）。使得c(n)\neq 0的最小n稱作f在該尖點的階。以上定義的模形式有時也稱為整模形式，以區分帶極點的一般情形（如j-不變量）。

另一種的推廣是考慮某類函數j(a,b,c,d,z)，並將函數方程改寫為

f\left({\frac {az+b}{cz+d}}\right)=j(a,b,c,d,z)^{k}f(z)
上式所取的j(a,b,c,d,z):=(cz+d)稱為**自守因子**。若另取適當的j，則在此框架下亦可探討戴德金η函數，這是權等於1/2的模形式。例如：一個權等於k、N級、**nebentypus**為\chi（\chi是模N的一個狄利克雷特徵）是定義於上半平面，並具下述性質的全純函數：對任意

{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \Gamma \_{0}(N)
及屬於上半平面的z，有函數方程

f\left({\frac {az+b}{cz+d}}\right)=\chi (d)j(a,b,c,d,z)^{k}f(z)
此外，f必須在尖點全純。

例子
--

### 艾森斯坦級數

模形式最簡單的例子是艾森斯坦級數：對每個偶數k>2，定義

E\_{k}(\Lambda ):=\sum \_{{\lambda \in \Lambda ,\lambda \neq 0}}\lambda ^{{-k}}
（條件k>2用於確立收歛性）

### θ函數

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

\vartheta \_{L}(z)=\sum \_{{\lambda \in L}}e^{{\pi i\Vert \lambda \Vert ^{2}z}}
是權=n/2的模形式。偶單位模格的構造並不容易，以下是方法之一：令n為8的倍數，並考慮所有向量v\in {\mathbb {R}}^{n}，使得2v的座標均為奇數或均為偶數，且v的各座標總和為奇數。由此構成的格寫作L\_{n}。當n=8，此格由根系E\_{8}的根生成。雖然L\_{8}\times L\_{8}與L\_{1}6並不相似，由於權=8的模形式只有一個（至多差一個常數倍），遂得到

\vartheta \_{{L\_{8}\times L\_{8}}}(z)=\vartheta \_{{L\_{{16}}}}(z),
約翰·米爾諾發現：{\mathbb {R}}^{{16}}對這兩個格的商空間給出兩個16維環面，彼此不相等距同構，但它們的拉普拉斯算子有相同的特徵值（計入重數）。

### 戴德金η函數

戴德金η函數定義為

\eta (z)=q^{{1/24}}\prod \_{{n=1}}^{\infty }(1-q^{n}),\ q=e^{{2\pi iz}}.
模判別式\Delta (z)=\eta (z)^{{24}}是權=12的模形式。拉馬努金有一個著名的猜想：在\Delta (z)的傅立葉展開式中，對任一素數p，q^{p}的係數的絕對值恆\leq 2p^{{11/2}}。此猜想最後由德利涅證明。

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

其他模函數概念的推廣
----------

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

例如，可以去掉全純條件：馬斯形式（英语：）是上半平面的拉普拉斯算子的特徵函數，但並非全純函數。

此外，可以考慮SL(2,\mathbb{Z } )以外的群。希爾伯特模形式是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 （页面存档备份，存于）