概念

模群

SL(2,Z) 作用在上半平面，基本域与尖点是模形式的几何舞台。

所属主题：算术几何 ↗

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

先修概念

L-函数算术几何群结构算术几何

当前概念

模群算术几何

进阶概念

赫克算子算术几何

01定义

模群

\mathrm{SL}(2,\mathbb{Z})

以分式线性变换

z\mapsto\frac{az+b}{cz+d}

作用于上半平面，其商空间

\mathbb{H}/\mathrm{SL}(2,\mathbb{Z})

是椭圆曲线的模空间。基本域、尖点与商奇点构成模形式的几何舞台。

模群基本域：双曲三角形撑起模空间

02核心要点

作用与基本域

$\gamma=\begin{pmatrix}a&b\\c&d\end{pmatrix}$ 送 $z\mapsto\frac{az+b}{cz+d}$ ： $T:z\mapsto z+1$ 与 $S:z\mapsto-1/z$ 生成模群，标准域 $\{|z|\geq 1,\ |\mathrm{Re}\,z|\leq\tfrac12\}$ 。

模空间的点

商空间 $\mathbb{H}/\mathrm{SL}(2,\mathbb{Z})$ 的点 = 复椭圆曲线的同构类（ $j$ -不变量给出坐标）——几何对象被参数化为一个空间。

尖点与紧化

尖点 $i\infty$ 对应退化椭圆曲线；加上尖点后商空间成为紧黎曼面（亏格 0）——模形式「在尖点正则」的要求正是紧化条件。

03关键公式

\gamma\cdot z=\frac{az+b}{cz+d},\quad \mathrm{SL}(2,\mathbb{Z})=\langle S,T\mid S^2=(ST)^3=1\rangle

04历史沿革

克莱因 1870 年代研究模函数；庞加莱引入自守函数与基本域；赫克、马司发展模形式理论；德利涅-拉波特完成模曲线的算术构造。

05应用与延伸

费马大定理证明的舞台（模曲线 $X_0(N)$ ）、弦论的单圈配分函数（ $j$ -函数与怪物群 moonshine）、同余数与模形式的计算。

06交互演示

SL(2,Z) 作用于上半平面拖 z：S:z↦−1/z 是单位圆反演，T:z↦z+1 平移——两个生成元

Re z0.30Im z1.40

07相关概念

← 返回「算术几何」