第67章 北大出面!庞加莱猜想真的被证实了?(2 / 2)
每个小组负责陈默论文的一个部分。
林致远负责整体统筹和最关键的核心思路验证。
第一天。
一组组长带着他的小组验证了论文的第一部分。
庞加莱猜想的表述与里奇流的引入。
他们花了整整八个小时,把陈默的第一段推导从头到尾过了一遍。
一组组长摘下眼镜,揉了揉鼻梁,对小组的成员说了一句话。
「没有问题。他的表述是精确的,里奇流的定义和演化方程完全正确。」
第二天。
偏微分方程专家带着他的小组验证了里奇流演化方程的存在性和唯一性。
这是整个证明的基础。
如果里奇流的解不存在或不唯一,后面的一切都是空中楼阁。
他们用了六个小时,在陈默给出的框架内重新推导了一遍,然后二组组长靠在椅背上,长长地呼出一口气。
「正确的。他的存在性证明用的是标准的方法,但唯一性证明用了一个我没有想到的技巧——他把约化体积引进了唯一性论证中。这个技巧很漂亮。」
第三天。
奇点分析小组验证了论文最核心的部分。
奇点的分类与约化体积。
这是佩雷尔曼贡献的关键,也是整个证明中最难啃的骨头。
小组负责人盯着陈默的推导,整整看了十个小时,中间只吃了一碗泡面。
晚上十点,他站起来,走到林致远的办公室门口,敲了敲门。
「林教授,我看完了。约化体积的部分,他的处理比我想像的要简洁。不是简化,是简洁——每一个步骤都恰到好处,没有多余的词,没有跳过的步骤,也没有含糊的地方。」
「他证明了约化体积是一个单调递减的函数,并且用这个单调性控制了奇点的结构。我认为是正确的。」
第四天,第五天,第六天。
七个小组,七个部分,每一个人都在做同一件事。
读,验证,讨论,再读,再验证,再讨论。
办公室里堆满了列印出来的论文稿纸。
每一页上都写满了红色丶蓝色丶黑色的批注。
↑返回顶部↑