概念

L-函数

Hasse-Weil L-函数编码椭圆曲线的约化信息，BSD 猜想断言其解析秩与曲线秩相等。

阅读路径

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

L-函数算术几何

01定义

椭圆曲线的 Hasse-Weil L-函数

L(E,s)

由逐素数的约化点数组装成狄利克雷级数——算术的频谱。BSD 猜想断言：

L(E,s)

在

s=1

的零点阶数恰等于曲线秩

r

——解析与算术的终极对应。

L-函数在 s=1 的零点阶 = 秩

$L(E,s)=\prod_p(1-a_pp^{-s}+\varepsilon(p)p^{1-2s})^{-1}$ ， $a_p=p+1-\#E(\mathbb{F}_p)$ ：每个素数约化的点数编码进欧拉因子——素数逐个「投票」。

怀尔斯的模性定理（谷山-志村）蕴含 $L(E,s)$ 延拓为整函数并满足函数方程——没有模性，BSD 连陈述所需的解析性质都缺。

科兹-温伯格证秩 0/1 情形的弱形式（Gross-Zagier 公式衔接）；数值验证数十亿曲线无一反例——但一般情形仍是克雷七大难题之一。

\mathrm{ord}_{s=1}L(E,s)=\mathrm{rank}\,E(\mathbb{Q})\quad(\text{BSD 猜想})

Hasse 1930 年代定义逐素数 L-函数；韦伊猜想框架下的函数方程；Birch 与 Swinnerton-Dyer 1960 年代凭计算机实验提出猜想；Gross-Zagier（1986）与科兹（1990）证明秩 0、1 情形。

秩的解析估计与有理点搜索、同余数问题（与 BSD 等价的部分）、朗兰兹纲领中自守 L-函数的原型、数学物理的镜像对称计数。

Riemann ζ 在临界线上的轨迹ζ(1/2+it) 的复平面轨迹穿过原点 ⟺ 零点

t 上限21.00