是实话实说。”
“不过有一句话您说得很对……“
李东露出一个和蔼的笑容说道。
“朗兰兹纲领的那个地基，确实是我打上的。”
怀尔斯没有吃惊，只是点了点头。
这个动作，让李东心里咯噔一下。
坏了，这逼没装好。
怀尔斯本就是这麽想的。
所以他对李东这句话一点都不意外，只觉得理所当然。
老爷子缓缓开口。
“你在论文最末尾，抛出的那个猜想……”
他停顿了片刻，像是在挑一个合适的词。
“让我看见了朗兰兹纲领大统一的一个……模糊的虚影。”
！！
这话落下的瞬间，田钢猛地扭头，看了刘若传一眼。
眼神里全是问号：什麽猜想？？
刘若传也是一脸懵。
他摇了摇头，表示我不知道啊。
然後刘若传突然想到，当时在去食堂路上李东丢下的那句话。
“老师，我在写下一个。”
不是，这小子的“下一个”就是这玩意儿？？
然而怀尔斯根本没注意到他们俩的脸色，继续说道。
“你这个猜想，核心是所谓的‘函子性零点等价判据’。”
“你是想把自守L函数的零点对关联函数的几乎处处相等，作为朗兰兹函子性成立的充要条件？”
一句问出去，已经直指核心了。
这里得多说一句。
李东在论文末尾抛出来的那个猜想，用人话讲就是：
如果两个自守表示满足朗兰兹对应，它们的自守L函数的零点对关联函数，必然几乎处处相等。
反过来，如果零点对关联函数一致，再加上局部-整体相容性，那麽函子性就是自动的。
一句话，李东想用解析数论里的零点统计，把朗兰兹纲领里那个纯代数的函子性猜想，整个等价地翻译掉。
要知道，这几十年来，所有的函子性研究都是走阿瑟-塞尔伯格迹公式那条纯代数的路。
基本引理是吴宝珠2010年才给证下来的，拉福格在函数域上做完函子性用的是几何方法。
从没有人，从自守L函数的零点统计分布这条路切进去过。
李东想了想，开口说道。
“我目前的想法，是先证GL(n)到GL(m)的基变换函子性……”
“因为基变换L函数L(s，π，BC)的欧拉乘积结构是清楚的，它的零点分布应该和原L函数完全一致。”
“如果我那个零点判据真的成立……基变换的存在性，就是一个自动的推论。”
怀尔斯眯起了眼睛。
“所以你想把阿瑟和克罗泽尔那本书，整个重新证一遍？”
“不止。”李东也没觉得有啥不好意思的。
“我想把它推广到一般的约化代数群。”
轰。
这一下，连关安的脸色都变了。
多复变和朗兰兹本就有千丝万缕的联系，关安听得懂。
他忍不住插了一句。
“李东，一般约化代数群的函子性……你用什麽做充要条件？”
“局部-整体相容性的零点判据，加上L-同态下对关联函数的几乎处处相等。”
李东答得飞快。
这个答案要成立，有一个隐含的前提。
零点判据本身，必须在一般约化代数群的层面上普适，而不只是GL(n)。
这就等於是把GL(n)结果，再往上顶一大截。
怀尔斯的呼吸，明显急促了一下。
老爷子站了起来。
“白板，有白板吗？”
刘若传回过神，连忙招呼人把白板搬进来。
……
然後，这间屋子里的气氛，就慢慢地变了。
最开始，大家来这儿的目的其实挺简单，招待怀尔斯教授，陪老爷子喝喝茶寒暄两句。
可现在……
怀尔斯、李东，一人一支马克笔，一人一块白板。
关安从多复变的角度插了一刀，刘若传顺着代数数论的线摸过来，田钢甚至也按捺不住，在旁边画了半张迹公式的草图。
至於那个法国人……马蒂欧列旺。
他早就不说话了。
他今天出现在这儿的原因很简单，他和马克西姆拉齐维尔，是老朋友。
拉齐维尔是谁？（读者老爷忘了的可以回去看169章。）
是李东斩获26年菲尔兹奖的竞争者。
列旺这次本来是要去合城的。
听说怀尔斯临时飞燕大，他本来就很尊敬老爷子，所以他就改了行程跟过来跟怀尔斯问个好。
当然也顺便瞧瞧，这个让他老朋友感到有压力的年轻人到底长什