L函数与模性

每个模特征形式都有一个带有欧拉积和函数方程的L函数，模性定理将有理椭圆曲线的L函数与权为二的新形式的L函数等同起来，这是现代数论的基石。

Definition

模形式的L函数是由其傅里叶系数构成的狄利克雷级数；模性定理是指任何有理数域上的椭圆曲线的L函数与具有匹配水平的权为二的新形式的L函数一致。

Scope

本主题涵盖了通过Mellin变换从模形式的傅里叶系数构建其L函数，其解析延拓和从形式的模变换导出的函数方程，Hecke逆定理，模性定理（前身为谷山-志村- Weil猜想）将椭圆曲线和模L函数等同起来，相关的伽罗瓦表示，以及所有这些在朗兰兹纲领中的地位。

Core questions

• 模形式的L函数是如何构建的，Mellin变换如何产生其函数方程？
• Hecke逆定理对哪些狄利克雷级数来源于模形式有何阐述？
• 模性定理究竟断言了什么，椭圆曲线和模L函数是如何匹配的？
• 伽罗瓦表示如何调解这种对应关系，它如何适应朗兰兹纲领？

Key theories

L函数、Mellin变换和函数方程

尖点形式的Mellin变换是其完备的L函数；该形式在模群反演下的行为转化为将s处的值与权减s处的值联系起来的函数方程。

模性定理

有理数域上的每条椭圆曲线都是模的：其Hasse-Weil L函数等于一个权为二的新形式的L函数，由Wiles证明并由Breuil、Conrad、Diamond和Taylor完成。

伽罗瓦表示和朗兰兹纲领

特征形式产生二维伽罗瓦表示，其Frobenius迹是Hecke特征值；将这些与椭圆曲线匹配是朗兰兹对应中最简单的非阿贝尔情况。

Clinical relevance

模性机制——伽罗瓦表示和模性提升——为费马大定理提供了证明，现在支撑着算术几何的许多方面；明确的L函数也为指导密码学中使用的椭圆曲线计算工具的猜想（Birch-Swinnerton-Dyer）提供了依据。

History

Hecke在20世纪30年代建立了模L函数的解析延拓和函数方程。关于模性的谷山-志村-Weil猜想从20世纪50年代开始形成；Wiles在1994年证明了半稳定情况（从而得到了费马大定理），而完整的模性定理于2001年由Breuil、Conrad、Diamond和Taylor完成。

Key figures

• Erich Hecke
• Goro Shimura
• Andre Weil
• Andrew Wiles
• Robert Langlands

Seminal works

• diamondShurman2005

Frequently asked questions

椭圆曲线的模性意味着什么？

这意味着从计算曲线在每个素数模下的点数构建的L函数与特定模形式的L函数完全匹配，因此曲线在精确意义上由模函数参数化。

这与朗兰兹纲领有何关系？

椭圆曲线的模性是朗兰兹哲学最简单的非阿贝尔实例，该哲学预测了伽罗瓦表示和自守形式之间存在深刻的对应关系；模形式是这个对应关系中自守的一方。