第16章 神域的视野(1/2)
1988年的普林斯顿高等研究院,时光如同一条深邃平稳、流向永恒真理的暗河,表面波澜不惊,水下却涌动着足以重塑数学宇宙格局的、无声而磅礴的智力潜流。研究院的午后依旧宁静,阳光透过古老的窗棂,在布满灰尘的书脊上投下斑驳的光影。然而,在格罗腾迪克 陛下那间堆满手稿、仿佛本身就是一座活的数学思想博物馆的书房里,一场看似寻常、却注定将在未来掀起惊涛骇浪的讨论,正接近尾声。
讨论围绕着abc猜想 进行。桌上摊开的,并非外界数学家们绞尽脑汁、试图用复杂筛法和精细估计来攻克它的厚厚草稿,而是几页写满了优雅的范畴交换图、平展上同调序列以及L函数特殊值插值公式的简洁笔记。参与讨论的只有三人:格罗腾迪克 陛下、皮埃尔·德利涅 陛下以及中森晴子 夫人。气氛平静得如同在验证一道习题的答案,而非在裁决一个困扰了数论界半个多世纪、并蕴含着一系列重大推论的超级猜想。
“所以,”德利涅 陛下用笔尖轻轻点着图表中的某个关键同构,语气平淡得像在陈述一个已知定理,“通过晴子曲线 E_{a,b,c} : y2 = x(x-a)(x+b) 的紧化模型,其坏约化信息(导子 N_E)完全由 rad(abc) 控制。而法尔特高度 h(E) 与 log(ax|a|,|b|,|c|) 在数量级上等价。”
中森晴子 夫人微微颔首,接口道,她的声音柔和而清晰:“那么,应用格罗腾迪克陛下 关于纯动机 的加权过滤理论,以及志村骑士 在自守形式 方面的对应,我们可以将bSd猜想 在此处的弱形式 应用到这条椭圆曲线上。这意味着,曲线 E_{a,b,c} 的莫德尔-威尔群 的秩,由其hasse-weil L函数 L(E, s) 在中心点 s=1 处的零点阶数 所决定。”
“而塞尔伯格迹公式 的一个精巧的几何变形,”格罗腾迪克 陛下缓缓开口,他的目光仿佛已穿透纸张,直视着其背后那由“动机”构成的、光滑而统一的数学实在,“可以证明,在这个特定的一族 椭圆曲线(由abc参数化) 上,L(E, s) 在 s=1 处的阶数,被一个仅依赖于 e 的常数 K_e 以及 log N_E 的 (1+e) 次幂 所严格控制。这个上界,恰好对应于椭圆曲线模空间上某个 自然线丛 的算术相交数 的有效性估计。”
他停顿了一下,仿佛在脑海中完成了最后一块拼图的拼接,然后轻描淡写地总结道:“因此,ax(|a|, |b|, |c|) 必然被 K_e · rad(abc)^(1+e) 所控制。abc猜想,成立。”
没有欢呼,没有激动,甚至连一丝一毫的得意之色都没有。房间里一片寂静,只有阳光中浮尘缓慢飘落的声音。仿佛他们刚刚证明的,不是一颗数论皇冠上的明珠,而只是一个在构建某个更宏大理论时,顺带验证了的、微不足道的推论。
“一个有趣的应用,”德利涅 陛下像是想起了什么,随手 在笔记的空白处写了几行字,“从这个不等式出发,可以立刻推出 费马大定理。当 n > 6 时,对于方程 x^n + y^n = z^n,取 a=x^n, b=y^n, ,代入abc不等式,会得到一个矛盾。”
中森晴子 夫人轻轻“嗯”了一声,表示赞同,脸上连一丝惊讶的表情都欠奉。费马大定理,这个困扰了数学家三百五十年的、传奇般的难题,在艾莎学派的手中,竟然只是abc猜想这个“主菜”旁边,一道“附赠的甜点”,其证明过程简洁得如同习题课上的例题。
讨论就此结束。格罗腾迪克 陛下将那张写有关键思路的纸随手夹进了一本关于“导出代数几何”的厚厚手稿中,仿佛那只是众多未整理灵感中普通的一条。德利涅 陛下开始整理桌面,准备下一项工作。中森晴子 夫人则起身,去为几位先生准备茶点。
abc猜想的证明,这个若公布出去足以让全球数学界地震、足以让证明者稳获菲尔兹奖乃至被载入史册的惊天成果,在艾莎学派的“神域”核心,就这样波澜不惊地、近乎悄无声息地完成了。它甚至没有获得一篇独立论文的“荣誉”。
原因?并非保密,而是源于学派内部一种深入骨髓的、基于绝对学术高度的“价值判断”——一种在外部看来近乎“傲慢”的平静。
在格罗腾迪克 看来,abc猜想的证明,固然漂亮,但它本质上是朗兰兹纲领 在某个特定、相对初等的情形下的一个“验证性案例”。它验证了“动机”理论、平展上同调以及L函数理论这些“重器”的有效性和威力,但其本身,并未开创出新的数学领域,也未提供真正意义上颠覆性的新工具。它更像是在学派已经建好的、宏伟的“数学大教堂”的某个侧厅里,验证了一幅壁画符合建筑力学。为这样一项“验证性工作”单独发表论文,在格罗腾迪克 的价值观里,是不必要的,甚至可能是一种对更宏大思考的“干扰”。他更倾向于将这类结果,作为构建其终极理论(如“ otives 的万有理论”)过程中的一个“引理”或“注记”,在未来某部更综合的着作中一并呈现。
而对于德利涅 和中森晴子 这个级别的学者而言,abc猜想也确实更像是一个优美的“练习”。它综合运用了 他们早已熟练掌握、并致力于推向深入的一系列工具(椭圆曲线、模形式、L函数、上同调)。证明它,是水到渠成、理所应当的,是检验工具锋利度的“试金石”,其意义在于工具本身,而非这块被试的“石头”。他们的兴趣和精力,早已投向更深远、更本质的问题——如 otives 的精确构造、朗兰兹对应的几何化实现、乃至……黎曼猜想本身。相比于这些终极圣杯,abc猜想,哪怕它蕴涵了费马大定理,也依然只是一个“阶段性”的、甚至“局部性”的成果。
这种巨大的、近乎荒谬的认知鸿沟,在此刻体现得淋漓尽致。
就在普林斯顿“神域”为abc猜想轻轻画上句号的几乎同一时间,远在太平洋彼岸的中国北京。
北京大学燕园,赵小慧 刚刚结束了一堂《离散复分析》 的课程。她有些疲惫地走回办公室,桌上放着几份学生提交的、关于离散柯西积分公式 的读书报告。她泡了杯茶,揉了揉太阳穴,准备批改。这时,她的丈夫王宇 拿着一份新到的《数学发明》 期刊走了进来,脸上带着兴奋的神色。
本章未完,点击下一页继续阅读。