第313章 钥匙和锁孔 (第2/2页)
，但也是有些名气的。
郑文炳的语气客气。
“傅同学，我先问一个偏方向的。”
“你这一套对应，主定理目前只对L2写下来，第7节那个GLn的猜想性推广，你们准备走全局这条路，还是接着堆局部？”
傅忱听完，顿了半秒。
这种问题不带杀气，但也不好答。
答堆局部，显得格局小，答全局，人家立刻能追问工具准备好了没有。
傅忱微微一笑。
“现阶段，我们倾向於先在局部把L3的显式形变环算清楚，Shotton那条路对一般n本来就不通，我们组里目前也没有更顺手的工具。”
“至於全局路径，李东老师那一边的工作，理论上可以借力。”
“但是借多少、什麽时候借，这个我现在还没考虑好。”
郑文炳点了点头，坐了下去。
紧接着，第二位举手。
是中科大的邱景南副教授，Galois表示形变方向的。
这两年在《Compositio》上挂过两篇文章，在中生代里算是颇有几分名气的人。邱景南的问题也不刁。
“你定理1.3里那个对应，（P2）那一条一一反常残差的总重数，等於R□（p，t）四维循环z·的总重数。”
“我想问的是，这个等式，目前是只在几个具体的剩余表示上验证了，还是在所有惯性型上都打通了？”
这是一个很紮实的问题。
傅忱也不慌，他心中有数的说道。
“（P2）在p|PeF非标量的情形下，我们走的是§4那条直推。”
“在p|PeF标量的几个细分情形下，我们用了Shotton原文§5. 2到§5. 4的显式计算，逐一对了一遍，这一段的核查，主要是顾铭做的。”
顾铭在旁边听到自己的名字，点了下头，没接话。
邱景南“嗯”了一声，也坐了下去。
李东听到这里，在心里也轻轻点了下头。
傅忱後面那一句，把顾铭轻轻地推了一下，既给学弟挂上了名字，又把自己从“独揽”那种位置上躲开了。
李东本来也怕他们出问题，现在看来是多虑了。
整场报告进行到这里，已经是收尾的节奏了。
李东又往四周扫了一眼。
没什麽人再要举手。
好，稳了。
就在这时，有一只手举了起来。
是罗宇。
傅忱显然也注意到了这只手。
他对罗宇没什麽印象，只觉得这个举手的人，看上去年纪比起其他教授来说并不大。
他朝主持人那边点了下头。
话筒递了过去。
会场里的人，有一部分是认得罗宇的。
毕竟今年开年那一篇《华夏数学界的两颗新星》的推文，在国内圈子里不算冷。
做p一进朗兰兹的，京师大的特聘研究员……
罗宇朝台上点了下头，语气特别平和。
“傅同学，顾同学，你们好。”
“我先说一句，这套对应我前面听得很认真，也很佩服。”
“我的问题，可能稍微偏技术一点。”
傅忱礼貌地点了点头。
罗宇这才不紧不慢地说道。
“你们的反常残差点so，是按命题2。1的因式分解，把BCL（n）拆成有限个L（s，n8x），每一个x对应一项，自然残差rnat，就是按这条乘积逐项的留数乘起来。”
“这一步，我没有意见。”
“命题3. 1你们也写了，a（so; T，L)=TT xax （so; n）。”“这个乘性分解，前提是每一个L（s，n? x）在s。处，极点是单的。”
傅忱听到这，神色微微一动。
罗宇没有看他，自顾自地说了下去。
“我换一个说法。”
“你们这套存化对应，本质上，是给每一个反常残差点so，配上唯一的四维极小素理想p（so）。”“一对应。”
“打个比方，钥匙跟锁，锁跟钥匙，一对一。”
说到这里，罗宇的语气稍稍慢了一拍。
“可是……如果两个不同的x，同时把s。顶成了极点呢？”
会场里那点湣湣窣窣的低声议论，在这一句话之後，瞬间没了。
“这种“共极’的情形，你们的rnat，严格意义上，是没有干净定义的。”
“在那种情形下，a（so）这个值，会被极点的重数顶上去，我可以承认，你们的m_anm还挂得住。”“但是p（so）呢？”
“我打的这把钥匙，正面插进去能开，侧面也插得进去。”
“因为x1对应一个素理想，x2对应另外一个，它们都被同一个s。“抓’到了。”
“你们怎麽证明，p（so）在这种时候，只对应到那个唯一的素理想，而不是几个？”
罗宇说到这里，偏头看了下幕布。
“再退一步说。”
“§5第三步，那个patched module的m.准素分解，你们说它能读出e（so）。”“我想知道的是，在“共极’的那一类点上，这个准素分解读出来的，到底是e（so）本身，还是几个分量加起来的总和？”
“如果是後者，那你们§5那一步，连同主定理5.1，是不是就不再像写出来时那麽干净了？”罗宇的话说完。
会场死寂。
连最不懂这一块的人，都听明白了。
这把锁，正面能开，侧面也能开，这就不是唯一了。
这玩意儿，在数学里，叫漏。
罗宇问完，并没有看向台上的两个学生。
他的眼神，越过傅忱和顾铭，落到了李东身上。