明敏 聞樂(lè) 發(fā)自 凹非寺
量子位 | 公眾號(hào) QbitAI

4位數(shù)學(xué)家，耗時(shí)近10年，將“數(shù)學(xué)大一統(tǒng)理論”向前推動(dòng)關(guān)鍵一步！

1994年，安德魯·懷爾斯通過(guò)證明橢圓曲線與模形式之間的聯(lián)系，解決了困擾數(shù)學(xué)界300多年的費(fèi)馬大定理。

時(shí)隔30年，4位數(shù)學(xué)家將這一關(guān)鍵理論從橢圓曲線擴(kuò)展到了更復(fù)雜的數(shù)學(xué)對(duì)象。

這意味著，朗蘭茲綱領(lǐng)取得了重大進(jìn)展。

朗蘭茲綱領(lǐng)被視為現(xiàn)代數(shù)學(xué)研究中最大的單項(xiàng)項(xiàng)目，被稱為“數(shù)學(xué)大一統(tǒng)理論”，它提出數(shù)論、代數(shù)幾何、群表示論這三個(gè)獨(dú)立發(fā)展的數(shù)學(xué)分支之間其實(shí)密切相關(guān)。

諸多世界級(jí)數(shù)學(xué)家、菲爾茲獎(jiǎng)獲得者，都長(zhǎng)期撲在這一領(lǐng)域的研究上。國(guó)內(nèi)，“北大黃金一代”中惲之瑋、張偉、袁新意、朱歆文也被該領(lǐng)域深深吸引。

此次最新成果，證明了普通阿貝爾曲面總能對(duì)應(yīng)一個(gè)模形式。

4位數(shù)學(xué)家用230頁(yè)論文，給出證明。

而值得一提的是，在這之中，出身北大數(shù)院的中國(guó)數(shù)學(xué)家潘略提出的相關(guān)研究，成為撬開(kāi)這一突破的關(guān)鍵參考。

潘略本人，今年也剛剛獲得素有“諾獎(jiǎng)風(fēng)向標(biāo)”之稱的斯隆獎(jiǎng)。

將「模性」從橢圓曲線擴(kuò)展到阿貝爾曲面

簡(jiǎn)單概括，此次最新突破在于，通過(guò)擴(kuò)展模性理論，實(shí)現(xiàn)阿貝爾曲面與模形式的聯(lián)系。

模形式是一種在數(shù)學(xué)里很特別的函數(shù)，它的“家”是復(fù)上半平面。

也就是所有虛部大于0的復(fù)數(shù)組成的區(qū)域。

簡(jiǎn)單來(lái)說(shuō)，對(duì)于復(fù)上半平面的每一個(gè)點(diǎn)

，模形式都能給出一個(gè)對(duì)應(yīng)的函數(shù)

并且，用特殊整數(shù)矩陣（行列式為1的二階整數(shù)矩陣）對(duì)點(diǎn)

進(jìn)行變換時(shí)，無(wú)論怎樣變換，變換后的

都和原來(lái)的函數(shù)值有一定的關(guān)系。

可以說(shuō)這就是模形式最大的特點(diǎn)——對(duì)稱性。

這種對(duì)稱性讓數(shù)學(xué)家們研究起來(lái)相對(duì)容易一些。

1994年，安德魯?懷爾斯和理查德?泰勒在證明費(fèi)馬大定理時(shí)，建立起了模形式與橢圓曲線的聯(lián)系——「模性」。

模性揭示了模形式與橢圓曲線就像是兩個(gè)相互映照的世界。

數(shù)學(xué)家如果想探究橢圓曲線的某些性質(zhì)，可以借助模形式，先在模形式的世界中找到對(duì)應(yīng)的鏡像進(jìn)行研究，再將結(jié)論帶回橢圓曲線領(lǐng)域。

朗蘭茲綱領(lǐng)期望將這種聯(lián)系拓展到更廣泛的范疇。

歷經(jīng)10年時(shí)間，4位數(shù)學(xué)家將「模性」從橢圓曲線擴(kuò)展到更復(fù)雜的阿貝爾曲面。

在橢圓曲線的變量

之外再添加一個(gè)變量

，就得到了一個(gè)三維空間中的彎曲曲面——阿貝爾曲面。

這種三維變量看起來(lái)似乎也應(yīng)該有某種對(duì)應(yīng)的模形式。

于是4位數(shù)學(xué)家于2016年開(kāi)始合作，希望遵循泰勒和懷爾斯在橢圓曲線證明中所采取的步驟進(jìn)行研究。

這時(shí)候，問(wèn)題來(lái)了。

• 額外的變量使模形式構(gòu)造起來(lái)非常困難。

對(duì)于給定的阿貝爾曲面，建立模形式的相關(guān)數(shù)很容易計(jì)算，但構(gòu)造出來(lái)的模形式無(wú)法匹配每一個(gè)曲面。

于是，他們開(kāi)始嘗試反向建立——先構(gòu)造一個(gè)模形式，它的相關(guān)數(shù)只要在“較弱”的意義上與普通阿貝爾曲面相匹配就足夠了。

這種弱聯(lián)系要求模形式的相關(guān)數(shù)只需要在時(shí)鐘算術(shù)中等效。

在數(shù)學(xué)里，時(shí)鐘算術(shù)是一種循環(huán)運(yùn)算。

以我們平常使用的時(shí)鐘為例，一圈是12個(gè)小時(shí)，假設(shè)現(xiàn)在是3點(diǎn)，再過(guò)5小時(shí)后，不是3+5=8點(diǎn)，而是3+5-12=8點(diǎn)，這里的12就稱為“模”。

再比如，在“模7”的時(shí)鐘運(yùn)算中，3點(diǎn)再過(guò)5小時(shí)就是3+5-7=1點(diǎn)。

而團(tuán)隊(duì)期望的“弱聯(lián)系”只需要在“模3”的時(shí)鐘運(yùn)算中將構(gòu)建的模形式的相關(guān)數(shù)與普通阿貝爾曲面的相關(guān)數(shù)匹配，就能將兩者聯(lián)系起來(lái)。

然而構(gòu)建滿足該條件的模形式又是困難重重。

后來(lái)，他們又發(fā)現(xiàn)了一組按“模2”時(shí)鐘運(yùn)算易于計(jì)算的模形式，可阿貝爾曲面需要“模3”時(shí)鐘運(yùn)算的結(jié)果。

于是問(wèn)題又來(lái)了。

• 如何在兩種不同時(shí)鐘運(yùn)算間建立緊密的聯(lián)系？

這個(gè)難題在2023年終于有了突破。

其中關(guān)鍵，來(lái)自中國(guó)數(shù)學(xué)家潘略之前發(fā)表的一篇論文。

潘略在2020年發(fā)布了一個(gè)模形式的證明，與四人組要論證的問(wèn)題意外相關(guān)。

這項(xiàng)研究揭示了局部解析向量與模形式和偽同調(diào)之間的關(guān)系，為研究模形式提供了新的工具。

具體來(lái)說(shuō)，潘略引入了一個(gè)微分算子（differential operator），并通過(guò)研究模曲線完備上同調(diào)中的局部解析向量，揭示了這些向量滿足特定的解析性條件。

剛好4位科學(xué)家需要構(gòu)造阿貝爾曲面對(duì)應(yīng)的模形式，潘略提出的分析方法能有效處理模形式的局部結(jié)構(gòu)。微分算子的技巧，為解決模形式的構(gòu)造問(wèn)題提供了新方向。

同時(shí)，潘略給出的關(guān)于超收斂模形式經(jīng)典性的結(jié)果（即證明某些超收斂模形式實(shí)際上是經(jīng)典模形式），這也為4位科學(xué)家提供了驗(yàn)證模形式聯(lián)系的重要工具。

在2023年夏天，他們就通過(guò)線上會(huì)議，開(kāi)始討論如何改進(jìn)潘略提出的方法。

比較有趣的是，當(dāng)時(shí)團(tuán)隊(duì)為了不被外界打擾，做研究的場(chǎng)所選在了地下室。

整整一周時(shí)間，他們每天在地下室工作12個(gè)小時(shí)來(lái)研究潘式定理，只有在喝咖啡的時(shí)候，才來(lái)地面上透口氣。

喝完咖啡后，數(shù)學(xué)家們還自己調(diào)侃：我們要回“礦井”了。

但也是經(jīng)過(guò)這一周，數(shù)學(xué)家們差不多確定自己已經(jīng)成功了。

潘略的研究成果給四人組提供了新的思路和方法，幫助團(tuán)隊(duì)跨越了從“模2”時(shí)鐘運(yùn)算的模形式到適用于普通阿貝爾曲面的“模3”時(shí)鐘運(yùn)算之間的關(guān)鍵障礙。

后面一年半時(shí)間里，他們將這些證明寫(xiě)成了一篇長(zhǎng)達(dá)230頁(yè)的論文，于2025年2月正式發(fā)布到arxiv上。

從影響上來(lái)看，這項(xiàng)新成果不僅開(kāi)辟了研究阿貝爾曲面的新方向，還可能催生類似于橢圓曲線的“伯奇與斯溫納頓-戴爾猜想”（涉及阿貝爾曲面）的新數(shù)學(xué)猜想。

未來(lái)團(tuán)隊(duì)將與潘略繼續(xù)合作

將近十年的成果剛剛發(fā)布不久，4位數(shù)學(xué)家已經(jīng)在推進(jìn)下一步探索了。

他們將和潘略合作，嘗試將現(xiàn)在的成果擴(kuò)展到非普通的阿貝爾曲面上。對(duì)于這項(xiàng)新計(jì)劃，他們也很自信。

• 如果10年后，我們還沒(méi)有找到幾乎所有的可能，那我會(huì)很驚訝的。

本次新進(jìn)展一共由4位數(shù)學(xué)家?guī)?lái)，他們分別是：

• 托比·吉（Toby Gee）
• 文森特·皮洛尼（Vincent Pilloni）
• 弗蘭克·卡萊加里（Frank Calegari）
• 喬治·伯克森（George Boxer）。

托比·吉（Toby Gee）是一位英國(guó)數(shù)學(xué)家，主要研究數(shù)論和朗蘭茲綱領(lǐng)。2024年當(dāng)選為英國(guó)皇家學(xué)會(huì)會(huì)員。

文森特·皮洛尼（Vincent Pilloni）是一位法國(guó)數(shù)學(xué)家，主要研究算術(shù)幾何和朗蘭茲綱領(lǐng)。2021年獲得費(fèi)馬獎(jiǎng)。

弗蘭克·卡萊加里（Frank Calegari）是芝加哥大學(xué)數(shù)學(xué)系教授，主要研究數(shù)論和朗蘭茲綱領(lǐng)。曾先后獲得1992年IMO銅牌、1993年IMO銀牌。

喬治·伯克森（George Boxer）目前在倫敦帝國(guó)學(xué)院數(shù)學(xué)系，是英國(guó)皇家學(xué)會(huì)大學(xué)研究員。

以及對(duì)本項(xiàng)研究產(chǎn)生重要影響的華人學(xué)者潘略。

他今年剛剛獲得了素有“諾獎(jiǎng)風(fēng)向標(biāo)”之稱的斯隆獎(jiǎng)。

他2009年獲得CMO銀牌，從人大附中被保送至北京大學(xué)數(shù)學(xué)系（也就是常說(shuō)的“北大數(shù)院”）。不過(guò)當(dāng)年他還是參加了高考，數(shù)學(xué)成績(jī)滿分，是海淀唯一一個(gè)。

之后在普林斯頓大學(xué)完成博士學(xué)業(yè)，現(xiàn)在是普林斯頓大學(xué)助理教授。

他的主要研究方向是數(shù)論，尤其對(duì)p-adic的朗蘭茲綱領(lǐng)感興趣。

值得一提的是，和潘略同一年參加CMO并拿下金牌的陳麟，去年與幾位數(shù)學(xué)家一起完成了幾何朗蘭茲猜想的證明。

目前陳麟是清華大學(xué)丘成桐數(shù)學(xué)科學(xué)中心助理教授。

與潘略同級(jí)的幾位北大數(shù)院校友：梅松（Song Mei）、李超（Chao Li）也都獲得了2025年斯隆獎(jiǎng)。

而朗蘭茲綱領(lǐng)還吸引著諸多中國(guó)數(shù)學(xué)學(xué)者，如北大黃金一代中的惲之瑋、張偉、袁新意、朱歆文，也正在攀登這一高峰。

論文地址：https://arxiv.org/abs/2502.20645

參考鏈接：
[1]https://www.quantamagazine.org/the-core-of-fermats-last-theorem-just-got-superpowered-20250602/
[2]https://www.reddit.com/r/math/comments/1l1pttp/the_core_of_fermats_last_theorem_just_got/
[3]https://www.gaokao.com/e/20110110/4d2af5ccc0402.shtml

— 完 —