模形式（Modular Form）

KSJ10/15/24About 3 min

模形式（Modular Form）是定义在上半平面上的具有高度对称性的复解析函数。它在数论、复分析和数学物理中扮演核心角色，最出名的事迹是 Wiles 证明费马大定理时用到的谷山-志村猜想。

基本定义

设 $H = \{ z \in \mathbb{C} : \Im(z) > 0 \}$ 为上半平面。 $SL(2, \mathbb{Z})$ 是整数系数的 2×2 矩阵，行列式为 1：

SL(2, \mathbb{Z}) = \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} : a,b,c,d \in \mathbb{Z}, ad-bc = 1 \right\}

一个权为 k 的模形式 $f(z)$ 需要满足以下条件：

$f(z)$ 在上半平面 $H$ 上全纯（解析，无奇点）。

对任意 $\gamma = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL(2, \mathbb{Z})$ ：

f\left(\frac{az + b}{cz + d}\right) = (cz + d)^k \cdot f(z)

这是模形式最核心的性质——在分式线性变换下表现出规律的变换规律。

$f(z)$ 在 $z \to i\infty$ 时有 Fourier 展开（ $q$ -展开）：

f(z) = \sum_{n=0}^{\infty} a_n q^n, \quad q = e^{2\pi i z}

没有负指数项（否则就是"模函数"而非"模形式"）。

权为 $k$ （ $k \geq 4$ 的偶数）的 Eisenstein 级数是模形式的典型例子：

G_k(z) = \sum_{(m,n) \neq (0,0)} \frac{1}{(mz + n)^k}

它在模变换下满足：

G_k\left(\frac{az+b}{cz+d}\right) = (cz+d)^k \cdot G_k(z)

Wiles 证明的核心是一座"桥"——谷山-志村猜想：每个有理数域上的椭圆曲线都对应一个权为 2 的模形式。这使得椭圆曲线的算术性质可以通过模形式的分析工具来研究。

椭圆曲线（代数几何）  ←→  模形式（复分析）

这个对应关系又称 Langlands 纲领 的一个特例。

拉马努金的 $cusp\;form$ $\Delta(z)$ 的 Fourier 系数 $\tau(n)$ 满足许多著名的同余关系和乘法性质：

\Delta(z) = q \prod_{n=1}^{\infty} (1 - q^n)^{24} = \sum_{n=1}^{\infty} \tau(n) q^n

椭圆曲线密码学（ECC）基于椭圆曲线的离散对数问题，其理论基础部分依赖模形式的研究。

模形式关联的 L-函数在解析延拓、函数方程等方面有良好的性质，是解析数论研究的核心对象。

模形式是"具有极高对称性的全纯函数"。它的核心在于模变换性质 $f(\frac{az+b}{cz+d}) = (cz+d)^k f(z)$ 。从纯粹的理论数学（费马大定理）到应用密码学（ECC），模形式的影响贯穿数学和计算科学。

模形式是现代数论与数学物理的桥梁。