查看“︁模形式”︁的源代码

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

模形式理論是更廣泛的[[自守形式]]理論的特例。自守形式理論的發展大致可分成三期：
# 19世紀初：探討與[[橢圓函數]]相關的方面。
# 19世紀末：此時單變數自守形式的概念誕生。此理論由[[菲利克斯·克萊因]]等人發展。
# 1925至1960年：由赫克發端，發現了模形式與[[數論]]的聯繫。

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

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

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

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

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

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

每個格在乘上某個非零複數倍數後皆可表成<math>\Lambda = \langle 1, z \rangle \quad (\mathrm{Im}(z) > 0)</math>。對一模形式<math>F</math>，置<math>f(z) := F(\langle 1, z \rangle)</math>。模形式的第二個條件可改寫成函數方程：對所有<math>a,b,c,d \in \Z</math>且<math>ad-bc=1</math>（即{{le|模群|Modular group}}<math>\Gamma := \mathrm{SL}(2, \Z)</math>之定義），有

:<math>f\left({az+b\over cz+d}\right) = (cz+d)^k f(z)</math>

例如，取<math>a=d=0, b=-1, c=1</math>：

:<math>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).</math>

如果上述方程僅對<math>\mathrm{SL}(2, \Z)</math>內的某個有限指數子群<math>\Gamma'</math>成立，則稱<math>F</math>為對<math>\Gamma'</math>的模形式。最常見的例子是同餘子群<math>\Gamma(N) := \{g \in \Gamma : g \equiv I \mod N \}</math>，以下將詳述。

==廣義定義==
令<math>N</math>為正整數，相應的{{le|同餘子群|congruence subgroup|模群}}<math>\Gamma_0(N)</math>定義為

:<math>\Gamma_0(N) = \left\{ 
\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL_2(\mathbf{Z}) :
c \equiv 0 \pmod{N} \right\}</math>

令<math>k</math>為正整數，權為<math>k</math>的<math>N</math>級（或級群為<math>\Gamma_0(N)</math>）模形式定義為一個上半平面上的[[全純函數]]<math>f</math>，對任何

:<math>\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \Gamma_0(N)</math>

及任何屬於上半平面的<math>z</math>，有

:<math>
f\left(\frac{az+b}{cz+d}\right) = (cz+d)^k f(z)
</math>

而且<math>f</math>在尖點全純。所謂'''尖點'''，是<math>\mathbb{Q} \cup \{+i\infty \}</math>在<math>\Gamma_0(N)</math>作用下的軌道。例如當<math>N=1</math>時，<math>+i\infty</math>代表了唯一的尖點。模形式在尖點<math>p</math>全純，意謂<math>z \rightarrow p</math>時<math>f</math>有界。當此尖點為<math>+i\infty</math>時，這等價於<math>f</math>有傅立葉展開式

:<math>f(z)=\sum_{n=0}^\infty c(n) \exp(2\pi inz)= \sum_{n=0}^\infty c(n)x^n</math>

其中<math>x = \exp(2\pi iz)</math>。對於其它尖點，同樣可藉座標變換得到傅立葉展開。

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

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

:<math>
f\left(\frac{az+b}{cz+d}\right) = j(a,b,c,d, z)^k f(z)
</math>

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

:<math>\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \Gamma_0(N)</math>

及屬於上半平面的<math>z</math>，有函數方程

:<math>
f\left(\frac{az+b}{cz+d}\right) = \chi(d)j(a,b,c,d,z)^k f(z)
</math>

此外，<math>f</math>必須在尖點全純。

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

: <math>E_k(\Lambda) := \sum_{\lambda \in \Lambda, \lambda \ne 0} \lambda^{-k}</math>

（條件<math>k>2</math>用於確立收歛性）

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

:<math>\vartheta_L(z) = \sum_{\lambda\in L}e^{\pi i \Vert\lambda\Vert^2 z} </math>

是權<math>= n/2</math>的模形式。偶單位模格的構造並不容易，以下是方法之一：令<math>n</math>為8的倍數，並考慮所有向量<math>v \in \mathbb{R}^n</math>，使得<math>2v</math>的座標均為奇數或均為偶數，且<math>v</math>的各座標總和為奇數。由此構成的格寫作<math>L_n</math>。當<math>n=8</math>，此格由[[根系 (数学)|根系]]<math>E_8</math>的根生成。雖然<math>L_8 \times L_8</math>與<math>L_16</math>並不相似，由於權<math>=8</math>的模形式只有一個（至多差一個常數倍），遂得到

:<math>\vartheta_{L_8\times L_8}(z) = \vartheta_{L_{16}}(z),</math>

[[約翰·米爾諾]]發現：<math>\mathbb{R}^{16}</math>對這兩個格的商空間給出兩個16維環面，彼此不相[[等距同構]]，但它們的[[拉普拉斯算子]]有相同的[[特徵值]]（計入重數）。

===戴德金η函數===
[[戴德金η函數]]定義為
:<math>\eta(z) = q^{1/24}\prod_{n=1}^\infty (1-q^n),\ q = e^{2\pi i z}.</math>
[[魏爾斯特拉斯橢圓函數#模判別式|模判別式]]<math>\Delta(z) = \eta(z)^{24}</math>是權<math>=12</math>的模形式。[[拉馬努金]]有一個著名的猜想：在<math>\Delta(z)</math>的傅立葉展開式中，對任一素數<math>p</math>，<math>q^p</math>的係數的絕對值恆<math>\le 2p^{11/2}</math>。此猜想最後由[[德利涅]]證明。

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

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

例如，可以去掉全純條件：{{le|馬斯形式|Maass cusp form}}是[[上半平面]]的[[拉普拉斯算子]]的特徵函數，但並非全純函數。

此外，可以考慮<math>SL(2,\Z)</math>以外的群。[[希爾伯特模形式]]是<math>n</math>個變元的函數，每個變元都屬於上半平面。其函數方程則由分佈於某個[[全實域]]的二階方陣来定義。若以較大的[[辛群]]取代<math>SL(2)</math>，便得到[[西格爾模形式]]。模形式與橢圓曲線相關，而西格爾模形式則涉及更廣義的{{le|阿貝爾簇|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 [http://modular.fas.harvard.edu/MF.html Modular Forms and Hecke Operators] {{Wayback|url=http://modular.fas.harvard.edu/MF.html |date=20080509165246 }}

[[Category:模形式|*]]
[[Category:解析數論]]