所以目前学界虽然在广泛引用和研究这篇论文,但还没有任何正式的学术会议专门围绕这篇论文组织过公开讨论。
也就是说,周慎之没有任何公开的渠道去向李东提出他的具体问题。
私下约见被燕大挡了。
公开渠道又没有。
两条路全堵死了。
周慎之想起了老师江逾白那一闪而过的失望眼神。
他咬了咬牙。
最后,打开了电脑,登录了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]?”
这个想法在他脑中突然出现,但他还没有足够的理由去确认。
“差一点,就差一点……”
李东感觉自己已经摸到了门把手,但就是拧不开。
缺一个锚点。
一个已经被证明过的、可以用来对照验证的特殊情形。
上一篇:我家艺人太没上进心了
下一篇:挨打永久加防御,神魔都打不动我