第129章 一戳即破的气球（3 / 4）

了身体，眼睛紧紧盯着黑板。

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

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

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

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

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

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

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

他又写下两行公式。

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

“现在问题来了，”

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

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

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

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

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

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

报告厅里死一般的寂静。

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

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

舒尔茨第一个反应过来。

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

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

“他……他说得对。”

舒尔茨的声音有些颤抖，“望月教授，你的理论在这里有一个根本的矛盾。你同时假设了两个不相容的数学结构，一个要求严格相等，一个只要求同构。