弦理論激發(fā)了一個(gè)精彩且令人費(fèi)解的新數(shù)學(xué)證明（同調(diào)鏡像對(duì)稱(chēng)）——量子雜志

多年前，一位膽大的菲爾茲獎(jiǎng)得主（馬克西姆·孔采維奇）提出了一個(gè)全面的計(jì)劃——同調(diào)鏡像對(duì)稱(chēng)，他聲稱(chēng)可以用來(lái)解決代數(shù)幾何中的一個(gè)重大問(wèn)題。其他數(shù)學(xué)家也持懷疑態(tài)度。現(xiàn)在，他說(shuō)已得到一個(gè)證明。

圖源：Kristina Armitage / Quanta Magazine

作者：Joseph Howlett（量子雜志特約撰稿人）2025-12-12

譯者：zzllrr小樂(lè)（數(shù)學(xué)科普公眾號(hào)）2025-12-14

今年八月，一個(gè)數(shù)學(xué)家團(tuán)隊(duì)發(fā)表了一篇論文，聲稱(chēng)用完全陌生的技術(shù)解決了代數(shù)幾何中的一個(gè)重大問(wèn)題。它立刻吸引了整個(gè)領(lǐng)域，激發(fā)了一些數(shù)學(xué)家的興奮，也激發(fā)了另一些人的懷疑。

結(jié)果涉及多項(xiàng)式方程，即含有變量?jī)绱蔚募臃ńM合（如 y = x 或 x2 ? 3xy = z2）。這些方程是數(shù)學(xué)中最簡(jiǎn)單且最普遍的，如今在許多不同研究領(lǐng)域中都是基礎(chǔ)。因此，數(shù)學(xué)家希望研究它們的解，這些解可以用幾何形狀表示，比如曲線、曲面和稱(chēng)為流形（manifold）https://www.quantamagazine.org/what-is-a-manifold-20251103/ 的高維對(duì)象。

數(shù)學(xué)家想要馴服的多項(xiàng)式方程類(lèi)型有無(wú)數(shù)種。但它們都?xì)w入兩大類(lèi)——可以通過(guò)簡(jiǎn)單公式計(jì)算解的方程，以及結(jié)構(gòu)更豐富、更復(fù)雜的方程。第二類(lèi)是數(shù)學(xué)精華所在：數(shù)學(xué)家希望集中注意力以取得重大進(jìn)展。

但數(shù)學(xué)家們?cè)趯追N多項(xiàng)式分類(lèi)到“簡(jiǎn)單”和“困難”兩類(lèi)后，陷入了困境。在過(guò)去半個(gè)世紀(jì)里，即使是看起來(lái)相對(duì)簡(jiǎn)單的多項(xiàng)式也難以分類(lèi)。

然后今年夏天，新的證明出現(xiàn)了 https://arxiv.org/abs/2508.05105 。它聲稱(chēng)結(jié)束了僵局，提出了一個(gè)令人著迷的愿景，闡明如何分類(lèi)許多其他類(lèi)型多項(xiàng)式，這些多項(xiàng)式此前似乎完全無(wú)法實(shí)現(xiàn)分類(lèi)。

問(wèn)題是，代數(shù)幾何界沒(méi)有人真正理解它。至少，現(xiàn)在還沒(méi)有。證明依賴(lài)于從弦理論世界引入的思想。其技術(shù)對(duì)致力于多項(xiàng)式分類(lèi)的數(shù)學(xué)家來(lái)說(shuō)完全陌生。

一些研究者信任論文作者之一、菲爾茲獎(jiǎng)得主馬克西姆·孔采維奇（Maxim Kontsevich，又譯馬克西姆·康采維奇）的聲譽(yù)。但孔采維奇也慣常喜好大膽宣稱(chēng)，讓別人猶豫。世界各地的數(shù)學(xué)系都成立了閱讀小組，解讀這一開(kāi)創(chuàng)性的成果，緩解緊張氣氛。

這項(xiàng)評(píng)審可能需要數(shù)年時(shí)間。但這也為一個(gè)曾經(jīng)停滯的研究領(lǐng)域重新燃起了希望。這也標(biāo)志著孔采維奇數(shù)十年來(lái)倡導(dǎo)的更廣泛數(shù)學(xué)項(xiàng)目的早期勝利——他希望該項(xiàng)目能搭建代數(shù)、幾何與物理之間的橋梁。

米蘭大學(xué)數(shù)學(xué)家保羅·斯特拉里（Paolo Stellari，他未參與該工作）表示：“普遍的看法是，我們可能正在研究未來(lái)的數(shù)學(xué)作品。”

有理化處理

分類(lèi)所有多項(xiàng)式的努力涉及最古老的數(shù)學(xué)形式：求解方程。例如，要求解簡(jiǎn)單多項(xiàng)式 y = 2x，只需找到滿(mǎn)足該方程的 x 和 y 的值。該方程有無(wú)限多解，例如 x = 1，y = 2。當(dāng)你在坐標(biāo)平面上繪制所有解時(shí)，會(huì)得到一條直線。

其他多項(xiàng)式更難直接求解，其解會(huì)剔除空間中更復(fù)雜、更高維的形狀。

但對(duì)于其中一些方程，事實(shí)證明，找到所有可能的解都有非常簡(jiǎn)單的方法。你不必分別給每個(gè)變量代入不同的數(shù)字，而是通過(guò)用新變量 t 來(lái)重寫(xiě)變量，一次性得到所有解。

考慮多項(xiàng)式 x2 + y2 = 1，它定義了一個(gè)圓。現(xiàn)在設(shè) x 等于 2t/(1 + t2)，y 等于(1 ? t2)/(1 + t2)。當(dāng)你把這些新公式代入原來(lái)的方程時(shí)，得到 1 = 1，這個(gè)命題無(wú)論 t 是多少，都始終成立。這意味著選擇任意實(shí)數(shù)值，你就能立即得到原始多項(xiàng)式的解。例如，當(dāng)你將 t 設(shè)為 1 時(shí)，得到 x = 2×1/(1 + 12） = 1，y = 0。 確實(shí)，x = 1， y = 0 是原始方程的解：12 + 02 = 1。

這種簡(jiǎn)單地框住所有解的方法稱(chēng)為有理參數(shù)化（rational parameterization）。這相當(dāng)于將你原始多項(xiàng)式圖上的每個(gè)點(diǎn)——在這里是圓——映射到直線上的唯一一點(diǎn)。

選擇圓圈上的一個(gè)點(diǎn)（藍(lán)色）。你要把它映射到直線黃線上的唯一一點(diǎn)。為此，在圓頂?shù)木G色點(diǎn)和你選定的藍(lán)色點(diǎn)之間畫(huà)一條虛線。然后將藍(lán)色點(diǎn)映射到虛線經(jīng)過(guò)的黃色點(diǎn)。你可以對(duì)圓上的任意一點(diǎn)這樣做。（圓頂?shù)木G色點(diǎn)映射到無(wú)窮遠(yuǎn)處的一個(gè)特殊黃色點(diǎn)。）

圖源：Mark Belan / 量子雜志

任何次數(shù)為1的多項(xiàng)式方程——各項(xiàng)冪次最多為1——都可以這樣參數(shù)化。方程有多少變量其實(shí)無(wú)關(guān)緊要：它可能有兩個(gè)變量，也可能有200個(gè)。一旦超過(guò)兩個(gè)變量，你的多項(xiàng)式方程解將形成復(fù)雜的高維形狀。但由于多項(xiàng)式仍然可以參數(shù)化，所以有辦法將高維形狀中的每個(gè)點(diǎn)映射到一個(gè)維數(shù)相同且特別簡(jiǎn)單的空間點(diǎn)（比如直線）。這反過(guò)來(lái)又為你提供了一種直接計(jì)算多項(xiàng)式解的方法。

類(lèi)似地，任何次數(shù)為2的多項(xiàng)式（各項(xiàng)冪次最高為2）都可以有理參數(shù)化。

但如果方程的次數(shù)是3或更多，則不一定能被參數(shù)化。這取決于方程中有多少變量。

以典型的三次多項(xiàng)式為例：橢圓曲線，例如y2=x3+1，只有兩個(gè)變量。“橢圓曲線很美妙，很精彩，但你根本無(wú)法參數(shù)化它們，”布朗大學(xué)的布倫丹·哈塞特（Brendan Hassett）說(shuō)。沒(méi)有簡(jiǎn)單的公式能給出橢圓曲線的所有解，所以無(wú)法將曲線映射到直線。“如果可以的話(huà)，它們就沒(méi)那么有趣了，”哈塞特說(shuō)。

與之前的例子不同，虛線有時(shí)會(huì)將橢圓曲線上的兩個(gè)不同點(diǎn)（藍(lán)色）映射到下面黃色線上的同一點(diǎn)。你找不到能避免這種情況的映射，這意味著橢圓曲線的解比圓或球面更復(fù)雜。

取而代之的是，橢圓曲線的解擁有更豐富的結(jié)構(gòu)——這個(gè)結(jié)構(gòu)在數(shù)論中起了數(shù)百年的重要作用，密碼學(xué)家也利用它來(lái)編碼秘密消息。

那么，帶有更多變量的三次方程呢？它們是可參數(shù)化的嗎，還是說(shuō)它們的解結(jié)構(gòu)更有趣，就像橢圓曲線那樣？

1866年，德國(guó)數(shù)學(xué)家阿爾弗雷德·克萊布施（Alfred Clebsch）證明了三變量的三次方程——其解形成二維曲面——通常是可參數(shù)化的。

一個(gè)多世紀(jì)后，赫伯特·克萊門(mén)斯（Herbert Clemens）和菲利普·格里菲斯（Phillip Griffiths）發(fā)表了一項(xiàng)里程碑式的證明，證明大多數(shù)四變量的三次方程情況相反——通常無(wú)法參數(shù)化。這些方程構(gòu)成了所謂的三維流形（3-folds）https://www.jstor.org/stable/1970801 ：它們的解無(wú)法映射到簡(jiǎn)單的三維空間。

許多數(shù)學(xué)家懷疑下一個(gè)要分類(lèi)的多項(xiàng)式——五變量的三次方程（形成所謂四維流形4-folds）——通常也不會(huì)是可參數(shù)化的。事實(shí)上，他們認(rèn)為多項(xiàng)式在某個(gè)點(diǎn)之后就不應(yīng)該是可參數(shù)化的。但克萊門(mén)斯和格里菲斯的技術(shù)并不適合4-流形。

因此，幾十年來(lái)，分類(lèi)工作陷入沉寂。

皈依先知

2019年夏天，在莫斯科的一次會(huì)議上，數(shù)學(xué)家們對(duì)馬克西姆·孔采維奇發(fā)表關(guān)于4-流形分類(lèi)的演講感到驚訝。

首先，孔采維奇以采用高層次數(shù)學(xué)方法著稱(chēng)，喜歡提出雄心勃勃的猜想和廣闊的計(jì)劃，常常將更細(xì)微的細(xì)節(jié)和形式化的證明寫(xiě)作留給他人。他形容自己介于先知和白日夢(mèng)者之間。

馬克西姆·孔采維奇更喜歡思考宏觀的數(shù)學(xué)視野而非個(gè)別問(wèn)題，他認(rèn)為自己介于白日夢(mèng)者和先知之間。

圖源：IHES / Flann Me?rer

在過(guò)去三十年里，他專(zhuān)注于開(kāi)發(fā)一種名為同調(diào)鏡像對(duì)稱(chēng)（homological mirror symmetry）的計(jì)劃，該理論源自弦理論。在1980年代，弦理論學(xué)者希望通過(guò)計(jì)算高維流形上的曲線數(shù)量，以解答宇宙基本構(gòu)件可能表現(xiàn)行為的問(wèn)題。

為了針對(duì)給定流形上的曲線計(jì)數(shù)，他們考慮了其“鏡像”——另一個(gè)流形，雖然與原始流形非常不同，但具有相關(guān)性質(zhì)。特別是，他們發(fā)現(xiàn)與鏡像相關(guān)聯(lián)的代數(shù)對(duì)象，稱(chēng)為霍奇結(jié)構(gòu)（Hodge structure），可以揭示原始流形上的曲線數(shù)量。反過(guò)來(lái)也成立：如果你數(shù)鏡像上的曲線，你會(huì)得到原始流形霍奇結(jié)構(gòu)的信息。

1994年，孔采維奇設(shè)計(jì)了一個(gè)計(jì)劃，解釋這種對(duì)應(yīng)的根本原因。他的計(jì)劃還預(yù)測(cè)，這種對(duì)應(yīng)關(guān)系擴(kuò)展到所有與弦理論相關(guān)的流形。

目前，沒(méi)有人知道如何證明孔采維奇的鏡像對(duì)稱(chēng)性計(jì)劃。“這將是下世紀(jì)的數(shù)學(xué)，”他說(shuō)。但多年來(lái)，他已部分取得證明進(jìn)展——同時(shí)也探討了該項(xiàng)目可能帶來(lái)的后果。

2002年，孔采維奇的一個(gè)朋友，邁阿密大學(xué)的盧德米爾·卡察爾科夫（Ludmil Katzarkov）提出了一個(gè)假設(shè)：該計(jì)劃可能與多項(xiàng)式方程的分類(lèi)相關(guān)。

卡察爾科夫熟悉克萊門(mén)斯和格里菲斯1972年證明3-流形不可參數(shù)化的論文。在這項(xiàng)工作中，兩人直接研究了一個(gè)給定的3-流形的霍奇結(jié)構(gòu)。然后他們用它證明了這個(gè)3-流形無(wú)法映射到簡(jiǎn)單的三維空間。但與4-流形相關(guān)的霍奇結(jié)構(gòu)過(guò)于復(fù)雜，無(wú)法用相同的工具進(jìn)行分析。

卡察爾科夫的想法是通過(guò)間接訪問(wèn)4-流形的霍奇結(jié)構(gòu)——通過(guò)計(jì)算某一類(lèi)型曲線在其鏡像上存在多少條曲線。通常，研究4-流形霍奇結(jié)構(gòu)的數(shù)學(xué)家不會(huì)像這樣思考曲線計(jì)數(shù)：它們只會(huì)出現(xiàn)在看似無(wú)關(guān)的數(shù)學(xué)領(lǐng)域，比如弦理論。但如果鏡像對(duì)稱(chēng)性計(jì)劃成立，那么鏡像上的曲線數(shù)量應(yīng)當(dāng)照亮原始4-流形霍奇結(jié)構(gòu)的特征。

盧德米爾·卡察爾科夫幾十年來(lái)一直主張，鏡像對(duì)稱(chēng)這一受物理學(xué)啟發(fā)的雄心勃勃的數(shù)學(xué)計(jì)劃，掌握著解決代數(shù)幾何中一個(gè)重大未解問(wèn)題的關(guān)鍵。

圖源：Natalia Leal

特別是，卡察爾科夫希望將鏡像的曲線計(jì)數(shù)拆解成多個(gè)部分，然后利用鏡像對(duì)稱(chēng)計(jì)劃證明存在相應(yīng)的方法來(lái)拆散4-流形的霍奇結(jié)構(gòu)。他隨后可以用霍奇結(jié)構(gòu)的這些部分，而非整個(gè)結(jié)構(gòu)，證明4-流形結(jié)構(gòu)無(wú)法參數(shù)化。如果任何一塊都無(wú)法映射到簡(jiǎn)單的四維空間，他就會(huì)得到證明。

但這種推理依賴(lài)于孔采維奇鏡像對(duì)稱(chēng)計(jì)劃在4-流形成立的假設(shè)。卡察爾科夫說(shuō)：“很明顯這應(yīng)該是真的，但我沒(méi)有技術(shù)能力去看怎么做。”

不過(guò)他認(rèn)識(shí)一個(gè)確實(shí)有這種能力的人：孔采維奇本人。

然而他的朋友并不感興趣。

挖掘

多年來(lái)，卡察爾科夫試圖說(shuō)服孔采維奇將他的鏡像對(duì)稱(chēng)性研究應(yīng)用于多項(xiàng)式分類(lèi)——但未能成功。孔采維奇想關(guān)注整個(gè)項(xiàng)目，而不是這個(gè)問(wèn)題。隨后在 2018年，這對(duì)組合與賓夕法尼亞大學(xué)的托尼·潘德夫（Tony Pantev）一起，研究了另一個(gè)問(wèn)題，涉及將霍奇結(jié)構(gòu)和曲線計(jì)數(shù)拆解成多個(gè)部分。這讓孔采維奇愿意聽(tīng)卡察爾科夫的意見(jiàn)。

卡察爾科夫再次向他講述了自己的想法。孔采維奇立刻發(fā)現(xiàn)了卡察爾科夫長(zhǎng)期尋求卻未找到的另一條道路：一種從鏡像對(duì)稱(chēng)中汲取靈感的方法，而不必真正依賴(lài)它。“你花了多年時(shí)間思考這件事，你看見(jiàn)它在幾秒鐘內(nèi)發(fā)生，”卡察爾科夫說(shuō)。“那真是個(gè)壯觀的時(shí)刻。”

托尼·潘德夫通過(guò)將流形置于數(shù)學(xué)鏡子前研究結(jié)構(gòu)。

圖源：Felice Macera

孔采維奇認(rèn)為，應(yīng)該可以用4-流形自身的曲線計(jì)數(shù)——而不是其鏡像的計(jì)數(shù)——來(lái)拆解霍奇結(jié)構(gòu)。他們只需要想辦法把兩者聯(lián)系起來(lái)，才能找到他們需要的拼圖。這樣他們就能分別關(guān)注霍奇結(jié)構(gòu)的每一部分（或他們所謂的“原子”）。

這是孔采維奇在2019年莫斯科會(huì)議上為聽(tīng)眾提出的計(jì)劃。對(duì)一些數(shù)學(xué)家來(lái)說(shuō)，這聽(tīng)起來(lái)仿佛嚴(yán)謹(jǐn)?shù)淖C明就在眼前。數(shù)學(xué)家是一群保守派，通常等待絕對(duì)確定性后才提出新觀點(diǎn)。但孔采維奇一直更大膽一些。“他對(duì)自己的觀點(diǎn)非常開(kāi)放，非常前瞻，”馬薩諸塞大學(xué)波士頓分校的數(shù)學(xué)家丹尼爾·波梅雷亞諾（ Daniel Pomerleano）說(shuō)，他研究鏡像對(duì)稱(chēng)性。

孔采維奇警告說(shuō)，有一個(gè)重要因素他們至今仍不知道如何解決：一個(gè)公式，用來(lái)說(shuō)明當(dāng)數(shù)學(xué)家們?cè)噲D將4-流形映射到新空間時(shí)，每個(gè)原子將如何變化。只有有了這樣的公式，他們才能證明某個(gè)原子永遠(yuǎn)不會(huì)達(dá)到對(duì)應(yīng)于一個(gè)恰當(dāng)“簡(jiǎn)化”的4-流形。這意味著4-流形不可參數(shù)化，其解豐富且復(fù)雜。“但人們不知怎么的感覺(jué)是他說(shuō)已經(jīng)完成了，”波梅雷亞諾說(shuō)，他們期待很快有一個(gè)證明。

當(dāng)這一目標(biāo)未能實(shí)現(xiàn)時(shí)，一些數(shù)學(xué)家開(kāi)始懷疑他是否真的有解決方案。與此同時(shí)，當(dāng)時(shí)在法國(guó)國(guó)家科學(xué)研究中心的余越（Tony Yue Yu）加入了團(tuán)隊(duì)。孔采維奇說(shuō)，余越的新見(jiàn)解和嚴(yán)謹(jǐn)?shù)淖C明風(fēng)格對(duì)該項(xiàng)目至關(guān)重要。

新冠疫情期間封鎖開(kāi)始時(shí)，余越曾拜訪了法國(guó)附近高等科學(xué)研究所的孔采維奇。余越回憶道，他們享受著荒廢學(xué)院的寧?kù)o，常常在講堂里待上幾個(gè)小時(shí)，那里的黑板更多。

他們定期通過(guò)Zoom與潘德夫和卡察爾科夫會(huì)面，迅速完成了證明的第一部分，精確地弄明白如何利用給定4-流形上的曲線數(shù)量將其霍奇結(jié)構(gòu)分解為原子。但他們很難找到一個(gè)公式來(lái)描述原子如何變換。

他們不知道的是，一位曾在莫斯科聽(tīng)過(guò)孔采維奇講座的數(shù)學(xué)家——京都大學(xué)的入谷寬（Hiroshi Iritani）——也開(kāi)始追求這樣的公式。“他被我的猜測(cè)深深吸引，”孔采維奇說(shuō)。“我不知道，但他開(kāi)始著手了。”

2023年7月，入谷寬證明了原子在4-流形映射到新空間時(shí)的變化 https://arxiv.org/abs/2307.13555 。雖然沒(méi)有提供孔采維奇和同事們所需的足夠信息，但在接下來(lái)的兩年里，他們找到了如何完善這些信息的方法。他們隨后用新公式證明，4-流形總會(huì)至少有一個(gè)原子無(wú)法變換到簡(jiǎn)單的四維空間。4-流形無(wú)法參數(shù)化。

仍在處理中

余越對(duì)細(xì)節(jié)的細(xì)致關(guān)注和新穎見(jiàn)解，是解決多項(xiàng)式方程重要問(wèn)題的關(guān)鍵，他的同事們說(shuō)。

圖源：Julia

當(dāng)團(tuán)隊(duì)在八月發(fā)布證明時(shí)，許多數(shù)學(xué)家都感到興奮。這是分類(lèi)項(xiàng)目數(shù)十年來(lái)最大的進(jìn)展，也暗示了一種超越4-流形的多項(xiàng)式方程分類(lèi)的新方法。

但其他數(shù)學(xué)家并不那么確定。自莫斯科那場(chǎng)講座已經(jīng)過(guò)去六年。孔采維奇終于兌現(xiàn)了承諾，還是有細(xì)節(jié)需要補(bǔ)充？

當(dāng)證明的技術(shù)如此陌生——是弦理論的領(lǐng)域，而非多項(xiàng)式分類(lèi)時(shí)，他們又如何能消除疑慮？“他們說(shuō)，'這是黑科技，這是什么機(jī)器？'”孔采維奇說(shuō)。

“他們突然帶來(lái)了全新的方法，使用了之前被廣泛認(rèn)為與該主題無(wú)關(guān)的工具，”麻省理工學(xué)院的白少云說(shuō)，“那些懂問(wèn)題的人不懂這些工具。”

白少云是目前幾位試圖彌合這一理解鴻溝的數(shù)學(xué)家之一。過(guò)去幾個(gè)月，他共同組織了一場(chǎng)由研究生、博士后研究員和教授組成的“閱讀研討會(huì)”，希望能理解這篇新論文。每周，一位不同的數(shù)學(xué)家會(huì)深入探討證明的某個(gè)方面，并向小組其他成員展示。

但即使到了現(xiàn)在，經(jīng)過(guò)11次90分鐘的會(huì)議，參與者在證明的關(guān)鍵細(xì)節(jié)上仍然感到迷茫。白少云說(shuō)：“這篇論文包含了精彩的原創(chuàng)思想，”需要大量時(shí)間來(lái)消化。”

類(lèi)似的閱讀小組也在巴黎、北京、韓國(guó)等地聚集。“全世界的人們現(xiàn)在都在研究同一篇論文，”斯特拉里說(shuō)。“那是特別的東西。”

哈塞特將其比作格里高利·佩雷爾曼（Grigori Perelman）2003年對(duì)龐加萊猜想的證明，后者同樣采用了全新的技術(shù)來(lái)解決一個(gè)著名問(wèn)題。直到其他數(shù)學(xué)家用更傳統(tǒng)的工具復(fù)現(xiàn)佩雷爾曼的證明后，數(shù)學(xué)界才真正接受了它。

“會(huì)有阻力，”卡察爾科夫說(shuō)，“但我們做了工作，我相信這是正確的。”他和孔采維奇也認(rèn)為這是鏡像對(duì)稱(chēng)性計(jì)劃的一大勝利：雖然他們還沒(méi)更接近證明這一點(diǎn)，但結(jié)果提供了更進(jìn)一步的證據(jù)。

“我年紀(jì)大了，也很累，”卡察爾科夫說(shuō)。“但只要我還活著，我就愿意發(fā)展這個(gè)理論。”

參考資料

https://www.quantamagazine.org/string-theory-inspires-a-brilliant-baffling-new-math-proof-20251212/