10.1.2 Langlands程序:模形式与自守形式 我们站在数论几何的峰顶回望,Langlands纲领不是一座孤峰,而是一条横贯代数、分析与几何的巨型山脉——它把看似毫无关联的对象:伽罗瓦表示、自守表示、L-函数、模曲线上的上同调,用一束极其精微却无比坚韧的“对应之线”串联起来。而10.1.2节所聚焦的“Langlands程序:模形式与自守形式”,正是这座山脉中最具操作性、最富计算张力、也最常被现代算术几何引擎所驱动的核心枢纽。它不只是抽象哲学;它是可编译的数学,是可调试的对称性,是能在有限时间内输出精确Hecke特征值、构造Galois表示、验证局部-整体相容性的工程现场。 今天,我不讲“Langlands是数学的统一场论”这类宏大隐喻——那留给综述文章。