大衛(wèi)·希爾伯特

1900年的巴黎，夏意正濃。第二屆國(guó)際數(shù)學(xué)家大會(huì)上，38歲的大衛(wèi)·希爾伯特（David

Hilbert）——這位后來(lái)被譽(yù)為“數(shù)學(xué)世界的亞歷山大”的巨人——走上講臺(tái)，做了一件前人未曾做過(guò)的事：他沒(méi)有報(bào)告自己的某項(xiàng)突破，而是向新世紀(jì)拋出了23個(gè)問(wèn)題。這像是一幅精心繪制的地圖，預(yù)言了接下來(lái)一百年數(shù)學(xué)探險(xiǎn)的主要疆域。

有意思的是，由于時(shí)間限制，他現(xiàn)場(chǎng)只闡述了其中10個(gè)。我們今天熟知的第12問(wèn)，那份關(guān)于“一般代數(shù)數(shù)域的阿貝爾擴(kuò)張”的精確表述，其實(shí)是會(huì)后才以文字形式公布的。這種幕后細(xì)節(jié)或許暗示著，希爾伯特自己都覺(jué)得這個(gè)問(wèn)題太過(guò)深邃，需要更嚴(yán)謹(jǐn)?shù)拇朕o。

它聽(tīng)起來(lái)格外抽象，可恰恰是這個(gè)表述嚴(yán)謹(jǐn)?shù)膯?wèn)題，后來(lái)被一代代數(shù)學(xué)家視為數(shù)論領(lǐng)域的圣杯。它追問(wèn)的不僅是“是否存在”，更是“如何親手構(gòu)造出來(lái)”。這種對(duì)具體構(gòu)造的執(zhí)著，讓它在眾多問(wèn)題中顯得尤為苛刻，也尤為迷人。

說(shuō)起來(lái)，這個(gè)故事的開(kāi)端，還得再往前推半個(gè)多世紀(jì)，從一個(gè)男孩的夢(mèng)想講起。

始于一個(gè)未竟的夢(mèng)

十九世紀(jì)中葉，普魯士的李格尼茨，一個(gè)名叫利奧波德·克羅內(nèi)克（Leopold Kronecker）的猶太男孩漸漸長(zhǎng)大。他生長(zhǎng)的城市歷經(jīng)滄桑，或許正是這種歷史厚重感，滋養(yǎng)了他對(duì)永恒知識(shí)的好奇。他廣泛涉獵科學(xué)、歷史與哲學(xué)，還是個(gè)不錯(cuò)的游泳健將。在恩師兼終生摯友恩斯特·庫(kù)默爾（Ernst Kummer）的引導(dǎo)下，他對(duì)數(shù)學(xué)產(chǎn)生了濃厚興趣，盡管他一度先選擇去管理家族銀行，把數(shù)學(xué)當(dāng)作夜間消遣。

利奧波德·克羅內(nèi)克

直到法國(guó)數(shù)學(xué)家劉維爾將伽羅瓦（évariste

Galois）那些革命性的遺稿公之于世，克羅內(nèi)克的熱情被徹底點(diǎn)燃。伽羅瓦的天才在于，他把解方程這個(gè)古老問(wèn)題，轉(zhuǎn)化成了對(duì)“域擴(kuò)張”及其對(duì)稱性“群”的研究。簡(jiǎn)單說(shuō)，就是研究數(shù)字王國(guó)如何以一種保持結(jié)構(gòu)美感的方式長(zhǎng)大。

克羅內(nèi)克特別癡迷于其中一類結(jié)構(gòu)最規(guī)整的擴(kuò)張——阿貝爾擴(kuò)張。他觀察到一個(gè)美妙的現(xiàn)象：如果我們從熟悉的有理數(shù)出發(fā)，想要構(gòu)造它的阿貝爾擴(kuò)張，似乎總也繞不開(kāi)一組特殊的數(shù)字——單位根。什么是單位根呢？就是方程 x? = 1的那些復(fù)數(shù)解，它們?cè)趶?fù)平面上均勻地排列在單位圓上，像時(shí)鐘的刻度一樣整齊。

克羅內(nèi)克隱約感覺(jué)到，這些單位根就像是一套完美的數(shù)學(xué)積木。通過(guò)加減乘除的組合，幾乎就能搭出所有有理數(shù)域上阿貝爾擴(kuò)張的樣貌。證明這個(gè)猜想，成了他“青年時(shí)代最熱切的夢(mèng)想”（liebster Jugendtraum）。1853年，他發(fā)表了證明，可惜很快被找出漏洞。此后40年間，這個(gè)定理的證明幾經(jīng)波折，直到1896年，才由一位年輕的數(shù)學(xué)家給出干凈利落的終結(jié)。那個(gè)人，就是希爾伯特。

希爾伯特之問(wèn)：為圣杯塑形

站在前人終點(diǎn)上的希爾伯特，看到的卻是更遼闊的未知。他想：?jiǎn)挝桓怯欣頂?shù)域的“積木”，那么對(duì)于其他更復(fù)雜的數(shù)域王國(guó)——比如在有理數(shù)中添上√-2這類虛數(shù)后構(gòu)成的“虛二次域”——它們的“阿貝爾積木”又該是什么樣子？能否找到一種普適的、像說(shuō)明書(shū)一樣的構(gòu)造方法？

大衛(wèi)·希爾伯特

于是，在第12問(wèn)中，他正式發(fā)出了邀請(qǐng)。他甚至為虛二次域的情況指了一條明路：或許與橢圓模函數(shù)有關(guān)。這個(gè)具體的猜想后來(lái)被證明需要修正，但它點(diǎn)燃的火把，卻照亮了此后數(shù)十年的探索方向。一個(gè)好問(wèn)題，有時(shí)價(jià)值勝過(guò)十個(gè)答案。

那時(shí)他大概不會(huì)想到，自己提出的問(wèn)題會(huì)分化出兩條截然不同的路徑，而最終答案會(huì)以一種他未曾設(shè)想的方式呈現(xiàn)。

來(lái)自東方的解答者與存在性地圖

歷史的趣味常常在于巧合。當(dāng)希爾伯特在哥廷根思考這些抽象問(wèn)題時(shí)，一位名叫高木貞治（Teiji Takagi）的日本青年，正遠(yuǎn)渡重洋來(lái)到他門下學(xué)習(xí)。彼時(shí)的日本數(shù)學(xué)尚在起步階段，高木的留學(xué)，仿佛一場(chǎng)孤獨(dú)的求知遠(yuǎn)征。

回到日本后，正值一戰(zhàn)，國(guó)際交流幾近中斷。高木貞治在相對(duì)孤立的環(huán)境中，完成了一項(xiàng)里程碑式的工作：類域論。這個(gè)理論精妙地揭示了數(shù)域的阿貝爾擴(kuò)張與其理想類群（一種衡量其內(nèi)部算術(shù)復(fù)雜度的尺子）之間深刻的對(duì)應(yīng)關(guān)系。

高木貞治

你可以把類域論想象成一張極其準(zhǔn)確的世界地圖。它明確告訴你，在數(shù)域這片廣袤大地上，阿貝爾擴(kuò)張這座寶藏必然存在于某個(gè)經(jīng)緯度交叉點(diǎn)。然而，地圖畢竟不是挖掘指南。它指明了“寶藏在此”，卻沒(méi)告訴你該用什么樣的工具、以何種步驟把它挖出來(lái)。希爾伯特想要的，恰恰是那份詳盡的挖掘手冊(cè)。

分岔路口：復(fù)分析、L函數(shù)與一條迂回的奇徑

進(jìn)入二十世紀(jì)中葉，追尋圣杯的探險(xiǎn)隊(duì)來(lái)到了一個(gè)分岔路口。

第一條路，是希爾伯特最初指明的復(fù)分析之路。數(shù)學(xué)家們期望用處理復(fù)數(shù)的經(jīng)典工具，給出一個(gè)優(yōu)雅的構(gòu)造。七十年代，哈羅德·斯塔克（Harold Stark）提出一個(gè)大膽猜想：也許可以用一種叫L函數(shù)的復(fù)雜工具的特殊值，來(lái)充當(dāng)那些積木。思路清晰，美則美矣，但證明之路卻寸步難行，幾十年里幾乎停滯不前。它就像沙漠中的海市蜃樓，清晰可見(jiàn)，卻又遙不可及。

就在此時(shí)，另一條看似繞遠(yuǎn)的蹊徑吸引了目光——p進(jìn)數(shù)之路。

p進(jìn)數(shù)的世界與我們熟悉的實(shí)數(shù)世界截然不同。在這里，判斷兩個(gè)數(shù)是否“接近”，看的不是它們差的絕對(duì)值大小，而是它們的差能被一個(gè)素?cái)?shù)p的多少次冪整除。這套由庫(kù)爾特·亨澤爾（Kurt Hensel）在十九世紀(jì)末發(fā)明的算術(shù)語(yǔ)言，起初像個(gè)數(shù)學(xué)怪物，少人間津。

庫(kù)爾特·亨澤爾

直到上世紀(jì)七八十年代，數(shù)學(xué)家如貝內(nèi)迪克特·格羅斯（Benedict Gross）等人意識(shí)到，在這個(gè)奇異的算術(shù)宇宙里，許多在復(fù)數(shù)世界里糾纏不清的問(wèn)題，反而可能變得清晰。格羅斯提出，何不將斯塔克猜想翻譯到p進(jìn)數(shù)的框架下，用p進(jìn)L函數(shù)試試看？當(dāng)時(shí)不少人覺(jué)得這想法有點(diǎn)離經(jīng)叛道，但數(shù)學(xué)探索的魅力，不就在于試試那些看似不靠譜的路嗎？

接力棒的終點(diǎn)：當(dāng)理論遇見(jiàn)代碼

真正的突破，往往發(fā)生在幾代人持久的接力之后。薩米特·達(dá)斯古普塔（Samit Dasgupta）——他的學(xué)術(shù)譜系可以追溯到格羅斯——從博士階段就開(kāi)始啃這塊硬骨頭。2021年3月，他與馬赫什·卡克德（Mahesh Kakde）合作發(fā)表的論文，在p進(jìn)數(shù)的道路上取得了決定性進(jìn)展。

他們?yōu)橐淮箢愔匾摹叭珜?shí)域”，找到了構(gòu)造阿貝爾擴(kuò)張的顯式公式。這不僅再次確認(rèn)了“寶藏存在”，更是第一次拿出了一份可以按圖索驥的詳細(xì)坐標(biāo)與施工圖。

Mahesh Kakde

然而，這個(gè)時(shí)代最獨(dú)特的注腳，恰恰在論文之外。面對(duì)這些極度抽象、繁復(fù)到令人望而生畏的公式，如何驗(yàn)證它們是對(duì)的？達(dá)斯古普塔的兩名學(xué)生做了一件非?！?1世紀(jì)”的事：他們寫了一套計(jì)算機(jī)程序。

這個(gè)程序能夠?qū)⒓埳咸鞎?shū)般的公式，轉(zhuǎn)化為針對(duì)具體數(shù)域的一連串計(jì)算指令。當(dāng)代碼運(yùn)行，屏幕上吐出那些象征著“數(shù)學(xué)積木”的神秘?cái)?shù)字時(shí)，百年前的純粹邏輯之夢(mèng)，與當(dāng)代的計(jì)算實(shí)證之力，完成了一次跨越時(shí)空的握手。這枚數(shù)字時(shí)代的徽記，或許比任何獎(jiǎng)項(xiàng)都更能象征這項(xiàng)工作的現(xiàn)代性。

正如格羅斯教授所感嘆的：“這是我們期待已久的事情……雖然與希爾伯特的想法完全不同，但這就是數(shù)學(xué)的魅力。你永遠(yuǎn)無(wú)法預(yù)測(cè)以何種方式解決問(wèn)題。”

圣杯為何依然“未竟”？

達(dá)斯古普塔和卡克德的突破固然輝煌，但它恰恰凸顯了希爾伯特第12問(wèn)那深不見(jiàn)底的魅力，也讓“圣杯”依然處于“未竟”的狀態(tài)。

首先，他們的工作主要針對(duì)“全實(shí)域”。而希爾伯特當(dāng)年心心念念的“虛二次域”，那個(gè)他猜想與橢圓函數(shù)緊密相連的起點(diǎn)，其完整的構(gòu)造之謎仍未完全解開(kāi)。這像是一場(chǎng)登山，我們從南坡登頂了，但北坡最險(xiǎn)峻的路線，依然等待著真正的征服者。

其次，也是最富哲學(xué)意味的一點(diǎn)：這個(gè)里程碑式的解答，是沿著p進(jìn)數(shù)這條“奇徑”抵達(dá)的。而希爾伯特最初設(shè)想的、期望在經(jīng)典復(fù)分析框架下看到的那個(gè)優(yōu)美答案，依然懸浮在遠(yuǎn)方。我們用一個(gè)精妙的平行宇宙的法則，解答了主宇宙的問(wèn)題，這本身不就是數(shù)學(xué)最神奇的地方嗎？

所以，圣杯依然“未竟”。它或許永遠(yuǎn)無(wú)法被完全捧起，因?yàn)槊恳淮斡|碰，都會(huì)照亮一片新的未知之地，催生出新的問(wèn)題。從克羅內(nèi)克的夢(mèng)，到希爾伯特的問(wèn)，從高木貞治的地圖，到達(dá)斯古普塔的算法與學(xué)生的代碼，這趟百年旅程的意義，早已超越了尋找一個(gè)終極答案。

它更像一場(chǎng)沒(méi)有終點(diǎn)的智力狂歡，每一代探險(xiǎn)者都在用自己的語(yǔ)言——無(wú)論是筆尖的公式、奇異的p進(jìn)數(shù)，還是屏幕上的代碼——去理解、去塑造、去無(wú)限逼近那個(gè)關(guān)于數(shù)學(xué)宇宙根本結(jié)構(gòu)的永恒之謎。