概括,它的互反律用公式将那些等于两个质数的平方和的质数,与除以4 余1这个特征联系了起来。在朗兰兹的信中,他在高斯发现的互反律基础上,提出了更广泛的延伸。
高斯的定律适用于指数不高于2 的二次方程。但朗兰兹认为,在三次、四次等高阶方程中产生的质数,应该与调和分析成互反关系。朗兰兹纲领就将多项式方程的质数值与分析和几何学中研究的微分方程的谱相联系到一起,并认为这两者之间应该存在互反关系。因此,我们应该能通过了解哪些数字出现在相应的光谱中,来表示哪些质数出现在特定的情况中。
1967 年,朗兰兹首次阐述了这一构想,当时年仅30 岁的朗兰兹在一封写给著名数学家安德烈?韦伊(andr′e weil)的信中提到了这一计划,这是一个思考数学的全新方式。在这封17页长的信中,他谦和的写道:「如果您愿意把它看作是纯粹的推测,我会很感激;如果不愿意,我相信您身边就有一个废纸篓。」
从那时起,一代又一代的数学家开始接受并扩展了他的构想。现在,朗兰兹纲领所涵盖的领域非常多,因此通常被认为是数学界的大统一理论。就数学史而言,这可以说是革命性的。
1979 年,朗兰兹发展了一项雄心勃勃的革命性理论,将数学中的两大分支数论和群论之间建立了新的联系。通过一系列的推测和分析,发现了与涉及整数的公式有关的不可思议的对称性,并以此提出朗兰兹纲领。朗兰兹知道,证明自己理论立基的假设这项任务需要几代人的共同努力,而证明基本引理将是证明这项假设的合理跳板。他和同事以及学生虽然能够证明这一基本定理的特殊情况,但证明普通情况所面临的挑战却大大超出他的预想。这项难度极高的工作整整历时30 年才由数学家吴宝珠证明完成。
朗兰兹纲领是当今数学领域非常活跃的研究方向,它联系了三种来源各异的数学对象:伽罗瓦表示(算术对象)、自守表示(分析对象)和代数簇的各种上同调理论(几何对象),使得相应的三种不变量[阿廷l函数、自守l 函数、哈斯-威尔(hasse-weil) l 函数]相匹配。这三大领域的结合为数论问题提供了有力的杠杆,怀尔斯(wiles)、泰勒(taylor)等证明的谷山-志村(taniyama-shimura)猜想便是一个范例。朗兰兹纲领的核心问题是函子性(functoriality)猜想,蕴含了很多著名的猜想,如阿廷猜想、拉马努金猜想、佐藤-塔特(misaki-tate)猜想等。
其中,迹公式是研究朗兰兹纲领的一个重要工具。可见,研究朗兰兹纲领的团队需要数论、代数群、李群表示论和代数几何专长的研究人员。
如今,研究朗兰兹纲领的数学家正试图证明这种关系以及其他许多相关的猜想。与此同时,他们正在用朗兰兹型的联系来解决那些本看似遥不可及的问题。其中最著名的成果是数学家安德