我的学习群里全是真大佬 第212节

　　二阶素数幂p2在显式公式中的贡献方式，和一阶素数p完全不同。

　　从p的线性贡献到p2的非线性贡献之间，涉及到一个关键的卷积恒等式的变形。

　　这个变形需要用到Ramanujan和在高阶素数幂处的精确展开，以及对应的归一化权重函数的重新参数化。

　　李东直接跳过了这些东西。

　　大概在他的脑子里，从这一步到那一步之间的所有推导，就像从一楼走到二楼一样理所当然。

　　但在外人看来，不，甚至在很多顶尖教授看来，这中间至少隔著十层楼。

　　他们跟不上李东的思路。

　　周慎一共找到了三处这样的跳步。

　　这三处跳步，都不影响论文的正确性。

　　因为只要你沿著李东的思路认真补全，每一步都能补出来。

　　但补全的过程本身，对于绝大多数数学家来说，就是一篇独立的技术性论文。

　　周慎之把这三处跳步整理成了Comment的前三个问题。

　　然后，他加入了第四条。

　　这一条才是他真正的目的。

　　第四条的内容不是关于论文本身的正确性，而是关于论文结果的后续应用。

　　他写道：

　　【当利用本文定理一的零点判据，对GL(n)自守表示在分歧指数e_v≥3情形下进行局部-整体相容性判定时，需要将自守L函数L(s，π)的零点对关联函数F_π(a)在|a|∈[0，2/n]区间内的收敛性，与Hodge-Tate权重的高阶耦合结构进行显式对照。】

　　【然而，本文未给出这一对照的具体实现路径，作者能否就这一应用场景的技术可行性进行补充说明？】

　　翻译成大白话就是：

　　李东，你的工具我想用，但用到e_v=3的时候，我卡住了，你能不能告诉我该怎么搞？

　　他把自己不明白的、推不动的那个核心难题，伪装成了一个“关于论文应用前景的学术探讨”，混在了三个关于论文跳步的技术性问题中间。

　　做得滴水不漏。

　　周慎之知道，这篇Comment一旦挂上ArXiv，会产生什么后果。

　　李东几乎一定会公开回应。

　　因为这是针对《数学年刊》论文的正式学术质疑，不回应就意味著默认论文存在问题，这是任何数学家都无法接受的。

　　到时候，李东要么补全那三处跳步，要么给出更简洁的替代证明。

　　无论哪种，学界都会从中受益。

　　这也是他给自己留下的保险。

　　而第四条……如果李东真的给出了回应，那周慎之困扰了好几年的问题就迎刃而解了。

　　但是他会承受巨大的压力。

　　从燕大那边来的。

　　不，不止……

　　这篇Comment一出来，整个圈子的人都会猜，你周慎之是不是对李东有意见？

　　是不是因为李东的成果让你老师的研究路线变得过时了，所以来找茬？

　　舆论会很难看。

　　周慎之犹豫了很久……

　　“为了老师！”

　　他的手指落了下去。

　　开始打字。

　　……

　　燕大，导员办公室。

　　李东嘿嘿的笑著。

　　刘导是真的无语了。

　　他现在看到李东都怕。

　　“不是，东哥，这马上都快要放寒假了，你还请假？”

　　李东嘿嘿一笑，把假条往刘导面前一递。

　　“刘导，我妈要来京都了，我想带她在学校附近转转。”

　　刘导愣了一下，然后就笑了。

　　“哎，这是好事啊。”

　　他痛快地在假条上签了字。

　　“李东，你妈妈把你培养成这样，真的很了不起。”

　　李东接过假条，笑容收敛了几分。

　　“是挺了不起的。”

第184章 老杨有点东西啊

　　接下来的几天，李东一边等著李琴和老杨到京城来，一边脑子也没闲著。

　　他最近一直在琢磨黎曼在群里提到的那个方向。

　　零点的对关联统计性质，与自守函数局部结构之间存在必然的等价联系。

　　上次他在群里@黎曼想进一步探讨高阶分歧指数下Hodge-Tate权重耦合结构的问题，结果黎曼压根没理他。

　　但这个问题本身，李东一直也是很有兴趣的。

　　“零点对关联……分歧指数……GL(n)……”

　　李东坐在寝室的书桌前，嘴里念念有词。

　　0.4的逻辑属性让他很容易的推算出下一步。

　　而且他能在脑中同时搭建好几条推理链条，然后像下棋一样把它们一步步往前推演。

　　但这一次，他遇到了一个很有意思的小问题。

　　黎曼说的“等价联系”，方向是很明确的。

　　用自守L函数零点的对关联函数F_π(a)在某个区间内的收敛行为，去反向刻画自守表示的局部性质。

　　这个想法有意思的点在于，它完全绕开了传统的纯代数方法。

　　你不需要去硬推那些让人头秃的Hodge-Tate耦合结构，只要验证零点的统计性质满足特定条件，就能直接判定局部-整体相容性是否成立。

　　从代数到分析，从硬算到统计，这是一次方法论层面的降维打击。

　　可问题是……

　　这个“特定条件”到底是什么？

　　“如果分歧指数e_v不超过n，那F_π(a)的收敛区间应该是多长？”

　　李东在草稿纸上写下了一行公式，然后又划掉了。

　　“不对……区间长度和n之间的关系，不应该是线性的，应该是反比的……”

　　他又写了一行，盯著看了半分钟。

　　“|a|∈[0，2/n]？”

　　这个想法在他脑中突然出现，但他还没有足够的理由去确认。

　　“差一点，就差一点……”

　　李东感觉自己已经摸到了门把手，但就是拧不开。

　　缺一个锚点。

　　一个已经被证明过的、可以用来对照验证的特殊情形。

　　如果有一个n=2、e_v≤2的已知结果，他就能用这个结果去反推出一般情形下的区间对应关系。

　　“n=2……e_v≤2……”

　　李东突然想到……

　　这不就是江逾白和周慎之发在《杜克数学期刊》上的《关于分歧指数不超过2情形下GL?自守表示的局部—整体相容性》吗？

　　不管署名的人有多不要脸，但结论本身是对的。

　　想到这里，李东立马登录学校的期刊数据库，搜索那篇杜克论文的全文。

　　PDF很快就加载出来了。

　　李东直接跳过了作者信息，从正文的第二章开始看起。

　　“这一步……”

　　他看著论文第17页下方的一个关键等式，反复看了三遍。

　　这个等式是整篇论文的命脉。

　　它的作用是……

　　在e_v=2时，通过一个精心构造的积分路径，把原本不可消去的通配阻碍投影到了一个特定的子空间里，然后利用Hodge-Tate分解的一阶结构，直接将其消去。

　　可是这步推导的中间过程，论文里省略了。

　　只用了一句“由标准的p-进Hodge理论可知”就直接跳到了结论。

　　“由标准的p-进Hodge理论可知？”

　　李东嘴角抽了抽。

　　这话他越看越熟悉。