“命题3 1你们也写了，a（so; t，l)=tt xax （so; n）。”“这个乘性分解，前提是每一个l（s，n? x）在s。处，极点是单的。”

傅忱听到这，神色微微一动。

罗宇没有看他，自顾自地说了下去。

“我换一个说法。”

“你们这套存化对应，本质上，是给每一个反常残差点so，配上唯一的四维极小素理想p（so）。”“一对应。”

“打个比方，钥匙跟锁，锁跟钥匙，一对一。”

说到这里，罗宇的语气稍稍慢了一拍。

“可是……如果两个不同的x，同时把s。顶成了极点呢？”

会场里那点湣湣窣窣的低声议论，在这一句话之后，瞬间没了。

“这种“共极’的情形，你们的rnat，严格意义上，是没有干净定义的。”

“在那种情形下，a（so）这个值，会被极点的重数顶上去，我可以承认，你们的_an还挂得住。”“但是p（so）呢？”

“我打的这把钥匙，正面插进去能开，侧面也插得进去。”

“因为x1对应一个素理想，x2对应另外一个，它们都被同一个s。“抓’到了。”

“你们怎么证明，p（so）在这种时候，只对应到那个唯一的素理想，而不是几个？”

罗宇说到这里，偏头看了下幕布。

“再退一步说。”

“&167;5第三步，那个patched odule的准素分解，你们说它能读出e（so）。”“我想知道的是，在“共极’的那一类点上，这个准素分解读出来的，到底是e（so）本身，还是几个分量加起来的总和？”

“如果是后者，那你们&167;5那一步，连同主定理51，是不是就不再像写出来时那么干净了？”罗宇的话说完。

会场死寂。

连最不懂这一块的人，都听明白了。

这把锁，正面能开，侧面也能开，这就不是唯一了。

这玩意儿，在数学里，叫漏。

罗宇问完，并没有看向上的两个学生。

他的眼神，越过傅忱和顾铭，落到了李东身上。