第134章 一戳即破的气球（2/2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

然后，他擦掉了其中一小部分。

“如果从这里开始，”

肖宿开口，声音不大，但清晰地传遍了安静的报告厅，“如果按照望月教授在第3.5节的定义，那么在任何一个固定的‘宇宙’中，远阿贝尔几何的基本群结构应该是……”

他开始写公式。

粉笔在黑板上划出清晰的轨迹，一个接一个的数学符号被写下。

不是望月那种密密麻麻的复杂表达式，而是更简洁、更本质的东西。

全场鸦雀无声。

舒尔茨坐直了身体，眼睛紧紧盯着黑板。

德利涅推了推眼镜，身体微微前倾。

法尔廷斯原本闭着的眼睛完全睁开，眼神锐利如刀。

肖宿写了三行公式，然后停下。

“这是标准远阿贝尔几何下的结论，”

他说，转身面对望月，“但根据您刚才在第五个问题中的回答，您说‘霍奇影院是抽象地固定的一次删截椭圆曲线X的数据；从其唯一对象是X并且其态射是X的自同构的范畴，到范畴的自然函子是等价的’。”

他顿了顿，目光扫过台下：

“如果这是真的，那么在范畴等价的意义上，远阿贝尔几何的基本群结构应该满足……”

他又写下两行公式。

这两行公式，和之前的三行公式，在形式上非常相似，但有一个关键的符号不同，一个是等号，一个是同构符号。

“现在问题来了，”

肖宿放下粉笔，转向望月，语气平静得像在讨论早餐吃什么，“在您的理论中，您同时使用了等号和同构号来处理这个结构。但在标准数学中，这两者有本质区别。等号意味着严格相等，同构意味着结构相同但可能不是同一个对象。”

望月新一的表情第一次出现了明显的变化。

他的眉头微微皱起，嘴唇抿成一条直线。

肖宿继续：“更具体地说，在您证明abc猜想的关键步骤，定理7.3中，您从等号关系中推导出了某个不等式。但如果实际上应该是同构关系，那么这个推导就失效了。因为同构只能保证结构性质相同，不能保证具体的数值估计。”

他转向黑板，在刚才的公式旁边画了一个箭头，指向望月证明abc猜想的那部分。

“您在这里，”肖宿指着黑板上的一处，“把范畴等价下的同构关系，当成了集合论意义上的相等关系。这是一个根本性的错误。”

报告厅里死一般的寂静。

所有人都盯着黑板上的那个箭头，还有箭头连接的两组公式。

肖宿的推理简洁得令人震惊，他没有陷入望月复杂的术语迷宫，而是直接找到了迷宫的中心，然后指出那里有一扇不存在的门。

舒尔茨第一个反应过来。

他猛地站起来，快步走到黑板前，仔细看着肖宿写下的东西。

看了三十秒，他深吸一口气。

“他……他说得对。”

舒尔茨的声音有些颤抖，“望月教授，你的理论在这里有一个根本的矛盾。你同时假设了两个不相容的数学结构，一个要求严格相等，一个只要求同构。而在最关键的那一步，你偷偷地把同构升级成了相等。”

德利涅也走了上来。

这位年过八旬的老先生仔细检查了每一行公式，然后缓缓点头。

“确实如此。这是一个……非常隐蔽的错误。但一旦被点出来，就无可辩驳。”

法尔廷斯没有起身，他只是坐在座位上，看着黑板，然后看向肖宿，脸上露出了罕见的、几乎可以称之为笑容的表情。

“聪明的孩子，”他低声说，声音只有自已能听到，“聪明的可怕。”

望月新一站在原地，一动不动。

他看着黑板，看着肖宿写的公式，看着那个致命的箭头。

他的脸色从平静变为苍白，又从苍白变为一种复杂的、难以形容的神情。

不是愤怒，不是沮丧，而是……释然。

就像一个人花费八年时间建造一座复杂无比的迷宫，最后有人指出，迷宫的入口和出口其实是同一个地方。

那种感觉，荒谬，可笑，但又让人如释重负。

“我……”望月新一开口，声音有些沙哑，“我需要……重新检查。”

“这个错误无法修补，”肖宿平静地说，“它不是在某个证明步骤中，而是在理论的基础定义中。如果要修正，整个IUTT理论需要推倒重来。”

望月沉默了。

报告厅里的其他人也沉默了。

所有人都明白这句话的分量，八年心血，六百多页的论文，一场震动数学界的争论，就在这十几分钟的时间里，被一个十五岁的少年画上了一个句号。

没有复杂的反驳，没有漫长的辩论，只有一个简洁到极致的证明。

就像用一根针，戳破了一个华丽的气球。