概念

赫克算子

赫克算子作用于模形式空间并互相对角化，赫克特征形式对应 L-函数，朗兰兹纲领把它们与伽罗瓦表示对应。

阅读路径

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

赫克算子算术几何

01定义

赫克算子

T_n

是模形式空间上的交换算子族：共同特征形式（赫克特征形式）的傅里叶系数带乘性，直接生成 L-函数。朗兰兹纲领断言这些特征系统对应伽罗瓦表示——数论的「元素周期表」。

赫克谱：特征值即傅里叶系数，即 L-函数

$T_n$ 由模曲线间的对应（correspondence）诱导； $T_mT_n=\sum_{d\mid(m,n)}d^{k-1}T_{mn/d^2}$ ——交换代数的显式乘法表。

正规特征形式 $f=\sum a_nq^n$ 满足 $a_1=1$ 且 $a_{mn}=a_ma_n$ （互素时）； $L(f,s)$ 因此有欧拉乘积与函数方程——「好」L-函数的判据。

德利涅给每个特征形式配上 $\ell$ -进伽罗瓦表示（韦伊猜想的推论）；谷山-志村猜想正是「每条椭圆曲线的 L-函数来自某特征形式」。

T_n f=a_n f,\qquad L(f,s)=\sum_{n=1}^{\infty}\frac{a_n}{n^{s}}=\prod_{p}\frac{1}{1-a_pp^{-s}+p^{k-1-2s}}

赫克 1930 年代引入算子与特征形式；艾希勒-志村给出曲线对应；德利涅 1971 年构造伽罗瓦表示；怀尔斯 1994 年以此路线终结费马大定理。

费马大定理证明的核心机器、朗兰兹互反的 GL₂ 情形、拉马努金 τ 函数与组合数学、模形式在弦论配分函数中的应用。

Hecke 算子 Tp：p+1 个指标 p 子格拖 p：Z² 恰有 p+1 个指标 p 子格，Tp 就是这 p+1 个格点上的平均

p 素数2