谷山-志村定理
谷山-志村定理(Taniyama-Shimura theorem)建立了椭圆曲线(代数几何的对象)和模形式(某种数论中用到的周期性全纯函数)之间的重要联系。虽然名字是从谷山-志村猜想而来,定理的证明是由安德鲁·怀尔斯、Christophe Breuil、Brian Conrad、Fred Diamond和理查·泰勒完成。
若p是一个质数而E是一个Q(有理数域)上的一个椭圆曲线,我们可以简化定义E的方程模p;除了有限个p值,我们会得到有np个元素的有限域Fp上的一个椭圆曲线。然后考虑如下序列
- ap = np − p,
这是椭圆曲线E的重要的不变量。从傅里叶变换,每个模形式也会产生一个数列。一个其序列和从模形式得到的序列相同的椭圆曲线叫做模的。 谷山-志村定说:
- "所有Q上的椭圆曲线是模的"。
该定理在1955年9月由谷山丰提出猜想。到1957年为止,他和志村五郎一起改进了严格性。谷山于1958年自杀身亡。在1960年代,它和统一数学中的猜想郎兰兹纲领联系了起来,并是关键的组成部分。猜想由安德烈·韦伊于1970年代重新提起并得到推广,韦伊的名字有一段时间和它联系在一起。尽管有明显的用处,这个问题的深度在后来的发展之前并未被人们所感觉到。
在1980年代当Gerhard Frey建议谷山-志村猜想(那时还是猜想)應該蕴含费马最后定理的时候,它吸引到了不少注意力。他通过试图表明费马大定理的任何反例会导致一个非模的椭圆曲线来做到这一点。Ken Ribet后来证明了这一结果。在1995年,安德鲁·怀尔斯和理查·泰勒证明了谷山-志村定理的一个特殊情况(半稳定椭圆曲线的情况),这个特殊情况足以证明费马大定理。
完整的证明最后于1999年由Breuil、Conrad、Diamond和Taylor作出,他们在怀尔斯的基础上,一块一块的逐步证明剩下的情况直到全部完成。
数论中类似于费马最后定理得几个定理可以从谷山-志村定理得到。例如:没有立方可以写成两个互质n次幂的和, n ≥ 3。(n = 3的情况已为欧拉所知)
在1996年3月,怀尔斯和罗伯特·郎兰兹分享了沃尔夫数学奖。虽然他们都没有完成给予他们这个成就的定理的完整形式,他们还是被认为对最终完成的证明有着决定性影响。
参考
- Henri Darmon: A Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced, Notices of the American Mathematical Society, Vol. 46 (1999), No. 11. Contains a gentle introduction to the theorem and an outline of the proof.
- Brian Conrad, Fred Diamond, Richard Taylor: Modularity of certain potentially Barsotti-Tate Galois representations, Journal of the American Mathematical Society 12 (1999), pp. 521–567. Contains the proof.
- A Bluffer's Guide to Fermat's Last Theorem--原始文獻集