时,对于方程
x^n
+
y^n
=
z^n,取
a=x^n,
b=y^n,
c=z^n,代入abc不等式,会得到一个矛盾。”
中森晴子
夫人轻轻“嗯”了一声,表示赞同,脸上连一丝惊讶的表情都欠奉。费马大定理,这个困扰了数学家三百五十年的、传奇般的难题,在艾莎学派的手中,竟然只是abc猜想这个“主菜”旁边,一道“附赠的甜点”,其证明过程简洁得如同习题课上的例题。
讨论就此结束。格罗腾迪克
陛下将那张写有关键思路的纸随手夹进了一本关于“导出代数几何”的厚厚手稿中,仿佛那只是众多未整理灵感中普通的一条。德利涅
陛下开始整理桌面,准备下一项工作。中森晴子
夫人则起身,去为几位先生准备茶点。
abc猜想的证明,这个若公布出去足以让全球数学界地震、足以让证明者稳获菲尔兹奖乃至被载入史册的惊天成果,在艾莎学派的“神域”核心,就这样波澜不惊地、近乎悄无声息地完成了。它甚至没有获得一篇独立论文的“荣誉”。
原因?并非保密,而是源于学派内部一种深入骨髓的、基于绝对学术高度的“价值判断”——一种在外部看来近乎“傲慢”的平静。
在格罗腾迪克
看来,abc猜想的证明,固然漂亮,但它本质上是朗兰兹纲领
在某个特定、相对初等的情形下的一个“验证性案例”。它验证了“动机”理论、平展上同调以及l函数理论这些“重器”的有效性和威力,但其本身,并未开创出新的数学领域,也未提供真正意义上颠覆性的新工具。它更像是在学派已经建好的、宏伟的“数学大教堂”的某个侧厅里,验证了一幅壁画符合建筑力学。为这样一项“验证性工作”单独发表论文,在格罗腾迪克
的价值观里,是不必要的,甚至可能是一种对更宏大思考的“干扰”。他更倾向于将这类结果,作为构建其终极理论(如“
tives
的万有理论”)过程中的一个“引理”或“注记”,在未来某部更综合的着作中一并呈现。
而对于德利涅
和中森晴子
这个级别的学者而言,abc猜想也确实更像是一个优美的“练习”。它综合运用了
他们早已熟练掌握、并致力于推向深入的一系列工具(椭圆曲线、模形式、l函数、上同调)。证明它,是水到渠成、理所应当的,是检验工具锋利度的“试金石”,其意义在于工具本身,而非这块被试的“石头”。他们的兴趣和精力,早已投向更深远、更本质的问题——如