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

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

Hilbert）——這位后來被譽為“數(shù)學世界的亞歷山大”的巨人——走上講臺，做了一件前人未曾做過的事：他沒有報告自己的某項突破，而是向新世紀拋出了23個問題。這像是一幅精心繪制的地圖，預言了接下來一百年數(shù)學探險的主要疆域。

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

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

說起來，這個故事的開端，還得再往前推半個多世紀，從一個男孩的夢想講起。

始于一個未竟的夢

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

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

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

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

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

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

希爾伯特之問：為圣杯塑形

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

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

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

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

來自東方的解答者與存在性地圖

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

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

高木貞治

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

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

進入二十世紀中葉，追尋圣杯的探險隊來到了一個分岔路口。

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

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

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

庫爾特·亨澤爾

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

接力棒的終點：當理論遇見代碼

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

他們?yōu)橐淮箢愔匾摹叭珜嵱颉保业搅藰?gòu)造阿貝爾擴張的顯式公式。這不僅再次確認了“寶藏存在”，更是第一次拿出了一份可以按圖索驥的詳細坐標與施工圖。

Mahesh Kakde

然而，這個時代最獨特的注腳，恰恰在論文之外。面對這些極度抽象、繁復到令人望而生畏的公式，如何驗證它們是對的？達斯古普塔的兩名學生做了一件非?！?1世紀”的事：他們寫了一套計算機程序。

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

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

圣杯為何依然“未竟”？

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

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

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

所以，圣杯依然“未竟”。它或許永遠無法被完全捧起，因為每一次觸碰，都會照亮一片新的未知之地，催生出新的問題。從克羅內(nèi)克的夢，到希爾伯特的問，從高木貞治的地圖，到達斯古普塔的算法與學生的代碼，這趟百年旅程的意義，早已超越了尋找一個終極答案。

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