作者：胖胖的小橘
所以目前學界雖然在廣泛引用和研究這篇論文，但還沒有任何正式的學術會議專門圍繞這篇論文組織過公開討論。
也就是說，周慎之沒有任何公開的渠道去向李東提出他的具體問題。
私下約見被燕大擋了。
公開渠道又沒有。
兩條路全堵死了。
周慎之想起了老師江逾白那一閃而過的失望眼神。
他咬了咬牙。
最後，打開了電腦，登入了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]？”
這個想法在他腦中突然出現，但他還沒有足夠的理由去確認。
“差一點，就差一點……”
李東感覺自己已經摸到了門把手，但就是擰不開。
缺一個錨點。
一個已經被證明過的、可以用來對照驗證的特殊情形。
上一篇：我家艺人太没上进心了
下一篇：挨打永久加防御，神魔都打不动我