我的学习群里全是真大佬 第178章

所以目前学界虽然在广泛引用和研究这篇论文,但还没有任何正式的学术会议专门围绕这篇论文组织过公开讨论。

也就是说,周慎之没有任何公开的渠道去向李东提出他的具体问题。

私下约见被燕大挡了。

公开渠道又没有。

两条路全堵死了。

周慎之想起了老师江逾白那一闪而过的失望眼神。

他咬了咬牙。

最后,打开了电脑,登录了ArXiv。

他要发一份Comment。

在数学界,ArXiv上的Comment(学术评论),是一种非常特殊的学术交流形式。

简单来说,就是针对已发表某篇论文,提出疑问、补充、甚至质疑。

Comment本身不是攻击。

很多著名的数学定理,在最终被广泛接受之前,都经历过反复的Comment和回应。

比如佩雷尔曼证明庞加莱猜想的那几篇预印本,在正式被确认之前,就有大量的数学家撰写了详细的Comment和验证性笔记。

但这个东西的影响,取决于谁发、怎么发、以及发了之后的效果。

如果Comment提出的问题确实击中了论文的要害,那这篇论文就会面临巨大的压力,原作者必须公开回应。

而如果Comment只是一些细枝末节的疑问,那通常不会引起太大的波澜。

可不管是哪种情况,一篇针对《数学年刊》论文的正式Comment被挂上ArXiv,都会在整个数论圈子里引起关注。

因为这意味着,有人在公开挑战一篇顶刊论文的完整性。

而作为论文的作者,李东就必须站出来回应。

周慎之要的就是这个效果。

逼李东出来。

要说谁对李东这篇蒙哥马利对关联猜想的论文理解最深?

除了李东和黎曼以外。

不是田钢,不是刘若传。

而是江逾白和周慎之。

江逾白的课题组一直在做朗兰兹纲领方向,而李东的零点判据直接革新了他们的整条研究路线。

所以江逾白把李东那篇论文当成了自己课题组的核心参考文献,逐行逐句地研究。

而周慎之,则更疯狂。

他甚至都快能背下来了。

所以,他在李东的论文里,找到了一些……不能叫漏洞,准确地说,应该叫……跳步。

这是李东的习惯。

在论文的推导过程中,李东经常会跳过一些中间步骤。

不是因为那些步骤不重要,而是因为在李东看来,那些推导显然成立,完全没有必要写出来。

比如在论文第四章第二节,从|α|∈[1,2]区间过渡到|α|∈[2,3]区间时,李东用了一句“由二阶素数幂的归一化贡献与一阶情形的自然类比”,就直接跳到了结论。

可这个自然类比,在周慎之看来一点都不自然。

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

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

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

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

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

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

他们跟不上李东的思路。

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

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

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

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

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

然后,他加入了第四条。

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

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

他写道:

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

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

翻译成大白话就是:

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

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

做得滴水不漏。

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

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

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

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

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

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

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

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

从燕大那边来的。

不,不止……

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

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

舆论会很难看。

周慎之犹豫了很久……

“为了老师!”

他的手指落了下去。

开始打字。

……

燕大,导员办公室。

李东嘿嘿的笑着。

刘导是真的无语了。

他现在看到李东都怕。

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

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

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

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

“哎,这是好事啊。”

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

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

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

“是挺了不起的。”

第184章 老杨有点东西啊

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

可问题是……

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

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

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

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

他又写了一行,盯着看了半分钟。

“|α|∈[0, 2/n]?”

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

“差一点,就差一点……”

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

缺一个锚点。

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