時鐘倒回一個月前。
2008年11月初。
普林斯頓,範?霍恩街。
普林斯頓高等研究院(IAS)。
紅磚樓裏,一臺老式惠普激光打印機已經連續工作了一個小時,發出了不堪重負的焦糊味。
《數學年刊》(Annals of Mathematics)的主編彼得?薩納克(Peter Sarnak)看着桌上那摞還在不斷增高的打印紙,感覺太陽穴突突直跳。
旁邊放着兩杯已經喝乾的黑咖啡,杯底殘留着褐色的漬跡。
事實上,這篇題爲《函數域上幾何朗蘭茲猜想的範疇等價性》的論文出現在《數學年刊》的投稿郵箱裏時,整個普林斯頓高等研究院(IAS)的數學樓裏,打印機的聲音就沒停過。
三百七十三頁。
不僅是普林斯頓。
同一時間,在莫斯科的斯捷克洛夫數學研究所,在京都大學的數理分析研究所(RIMS),甚至在波恩的馬普所......
全世界最聰明的那些大腦,都在對着這同一份文檔發愁。
“瘋了。”
薩納克揉了揉眉心,拿起紅筆在第一頁的目錄上畫了個圈。
如果是別人發這種東西,甚至不用等到審稿階段,祕書就會回一封拒稿信。
理由是“篇幅過長且缺乏可讀性”。
但作者欄裏寫着:Yunning Lin。
那個剛解決了權重單值性猜想,發明了“完美狀空間”,解決了楊米爾斯存在性問題,在《數學年刊》發文章如同喝水一般的華夏年輕天才。
薩納克再傲慢,也無法拒絕這篇稿子。
18......
“這根本沒法審。”
坐在對面沙發上的審稿編輯,菲爾茲獎得主德林費爾德(Vladimir Drinfeld)把眼鏡摘下來,疲憊地擦了擦,“哪怕是我和貝林森(Beilinson)加起來,要想徹底讀通這玩意兒,至少也得半年。
“他的引理太密集了。
“從第50頁開始,他引入了一套全新的‘赫克算子(Hecke Operators)定義,而且完全跳過了常規的相乾性驗證。
“爲了節省篇幅,他默認讀者能跟上他那種跳躍性的直覺。
薩納克嘆了口氣,把那摞紙分成了好幾份。
“沒辦法,拆吧。”
他像是在分發救援物資,“前一百頁關於D-模的部分,寄給芝加哥的加茨古利(Gaitsgory);中間關於希欽纖維(Hitchin Fibrations)的部分,發給牛津大學的希欽教授本人;還有這部分關於範疇等價性的,發給日本的
柏原。
“至於這最後一部分......”
他頓了頓,把最厚的一疊推給德林費爾德。
“只能辛苦你了,弗拉基米爾。
“只有你能看懂他在奇異支集(Singular Support)上到底幹了什麼。”
隨後的一個月裏,整個數學界的高層就像是被捅了窩的馬蜂。
薩納克的郵箱幾乎每天都要爆炸。
芝加哥那邊,加茨古利發來郵件:“前五十頁的引理邏輯自洽,但他對D-模的擴充定義太大膽了,我們正在用計算機輔助驗證第82頁的同構式,還需要幾周時間。”
牛津的希欽教授回覆得更直白:“很有趣,他比我更懂希欽纖維。我在第150頁卡住了三天,剛剛纔弄明白他是怎麼處理譜曲線的奇異性的。別催我,我在看。”
而京都大學的柏原正樹,這位代數分析的大師,發來的只有一張照片??滿黑板的草稿和一地空咖啡罐,附言只有一行字:“框架沒問題,但引理太密集了,我們在熬夜驗證。”
所有人都在忙,忙得焦頭爛額。
而這一切的始作俑者,卻像人間蒸發了一樣,消失在了法國南部的大山之中。
時間進入十二月。
不知從哪一天開始,伊維特河畔比爾突然熱鬧了起來。
IHES的行政祕書瑪麗女士快要崩潰了。
她桌上的兩部電話輪流尖叫,傳真機還在不知疲倦地吐着紙,那是來自世界各地數學系發來的邀請函和詢問函。
“對不起,波恩大學的教授......是的,林先生是我們的訪問學者......不,我不知道他在哪。”
“哈佛?抱歉,林先生現在不接電話。”
“《費加羅報》?無可奉告。他不在公寓,也不在辦公室。他在哪?我也想知道!”
瑪麗掛斷電話,絕望地看向窗外。
所長布吉尼翁剛剛又來了一遍,問能不能聯繫上林允寧。
全世界都在找他。
數學家們迫切地需要一個解釋,哪怕是一個簡短的說明。
可那個閣樓公寓的門一直緊閉着,掛着“請勿打擾”的牌子。
閣樓公寓內。
與外界的喧囂截然不同,這裏安靜得只有開水衝進杯子的聲音。
林允寧把一杯速溶咖啡放在愛德華?威滕面前。
杯子是超市買的廉價馬克杯,上面還印着一隻傻笑的加菲貓。
“抱歉,只有速溶的。”
林允寧在對面的木椅子上坐下,“這幾天沒怎麼出門。”
威滕並不介意。他端起杯子,視線卻沒有離開桌上那疊剛剛完成的厚厚手稿。
但他很剋制,沒有去碰。
他是爲了那個已經在arXiv上掛了一個月的“幾何朗蘭茲猜想”來的。
“我讀了你關於量子化希欽系統(Quantized Hitchin System)的處理。”
威滕的聲音很輕,帶着特有的物理學家視角,“你在第214頁,把對偶羣GV的蘭茲參數,解釋爲希欽模空間上的特徵膜(Eigenbranes)。
“這讓我想起了我在弦論裏看到的東西。”
威滕身子前傾,眼神銳利,“在物理上,這是電磁對偶性(S-duality)的直接體現。但我很好奇,你是怎麼處理威爾遜算子(Wilson Operators)和特胡夫特算子('t Hooft Operators)在邊界上的非交換性的?”
林允寧笑了。
和聰明人說話就是省勁。
他隨手扯過一張草稿紙,拔出筆帽。
“我沒有處理它們。”
林允寧在紙上寫下了一個對易關係式:
[W(C),T(C')]= exp(2ni * Intersection(C,C'))
“在幾何側,這表現爲兩個環路算子的非對易性。但在我想構建的範疇裏,這種非對易性被‘量子化參數’吸收了。”
林允寧指着那個指數項,“對於物理學家來說,這是普朗克常數。但對於數學家來說,這只是D-模的一個扭曲參數(Twisting Parameter)。”
威騰盯着那張餐巾紙看了足足一分鐘。
然後他抬起頭,臉上露出一種孩童般純粹的驚訝。
“你把量子力學的不確定性,變成了幾何結構的內在屬性……………”
話音未落,一旁牀上的手機震動起來。
林允寧看了一眼來電顯示:阿蘭?孔涅。
他接起電話,順手按了免提。
“林!感謝上帝,瑪麗說你房間的燈終於亮了。”
孔涅的聲音透着掩飾不住的興奮,“告訴你一個消息,德林費爾德和加茨古利剛剛給所裏發了郵件。他們初步審覈了你論文的核心部分,結論是??邏輯閉合。”
“也就是說,IHES現在可以正式爲你舉辦報告會了。
孔涅頓了頓,語氣變得嚴肅,“下週三下午兩點。準備好你的粉筆。這次可不是那種只有幾個人的內部研討會了。全世界各地的數學家們,現在可能都在訂機票。”
“我也正想找您說這事。”
林允寧平靜地說道,“麻煩您找一面夠大的黑板,我可能要寫很多東西。光是PPT的話,可能不太夠”
“那就好。對了,威教授是不是去你那兒了?如果他還在......”
“我在。”
威騰對着手機說道,“阿蘭,幫我在比爾鎮的旅館訂個房間。我也想要留下來聽這場報告。”
電話那頭沉默了兩秒,隨即傳來孔涅爽朗的笑聲:
“看來我們得把大禮堂的椅子再加幾排了。”
一週後。
IHES,瑪麗?居裏大禮堂。
這大概是佈雷沃河谷有史以來人口密度最大的一天。
三百人的階梯教室,連過道裏都坐滿了人。
空氣中瀰漫着各種牌子的咖啡味,汗味兒,以及難以名狀的焦躁情緒。
前排坐着的,簡直是現代數學的名人堂。
德利涅、孔涅、孔採維奇.......
甚至還有從波恩趕來的格爾德?法爾廷斯(Gerd Faltings)。
這位以“數學皇帝”格羅滕迪克的接班人自居,以提問尖銳刻薄著稱的德國數學家,正板着臉坐在第二排,手裏拿着一個小本子,目光陰沉地盯着講臺。
而在他不遠處,坐着一位即使在衆神雲集的場合也顯得格外壓抑的老人??讓-皮埃爾?塞爾(Jean-Pierre Serre)。
哪怕已經八十多歲,這頭昔日的“布爾巴基雄獅”依然目光如電。
彼得舒爾茨也從波恩大學趕了過來,老老實實地坐在後排。
朗蘭茲綱領也是他的研究方向。
下午兩點整。
林允寧準時走上講臺。
他沒穿西裝,依然是那件有點皺巴巴的深灰色連帽衫,袖口挽起,露出清瘦的小臂。
沒有開場白,沒有“榮幸之至”的客套。
他拿起粉筆,轉身,在黑板正中央寫下了一行大字:
Geometric Langlands Conjecture: A Proof via D-modules
(幾何朗蘭茲猜想:基於D-模的證明)
接下來的一個小時,是枯燥而高密度的純數學展示。
林允寧沒有展示任何花哨的技巧。
他像是一個冷靜的外科醫生,將那個龐大而複雜的400頁證明體系,在黑板上層層拆解。
黑板被寫滿了三次,又被擦掉了三次。
粉筆灰在聚光燈下飛舞。
當林允寧寫下最後一行關於“量子化希欽纖維”的同構式時,他停下筆,轉身面向觀衆。
“這就是幾何朗蘭茲猜想的完整幾何圖像。”
臺下沒有掌聲。
只有翻動筆記本和低聲討論的嗡嗡聲。
在這個級別的學術會議上,沒有人會因爲你講完了就鼓掌。
他們來這裏,是爲了尋找漏洞,爲了看到思想的火花碰撞。
“現在,可以提問了。”林允寧說道。
一隻手舉了起來。
是法爾廷斯。
現場的氣氛瞬間凝固了。
所有人都知道,如果有一個人能在這套證明裏挑出骨頭,那一定是他。
這位素來以觀點犀利,問題尖刻著稱的數學家站起來,沒有拿話筒,聲音洪亮得像是在吵架:
“在第34步,你構造那個量子化希欽系統'的時候,你聲稱所有的拉格朗日葉層(Lagrangian Foliation) 都是非奇異的。”
德國人指着黑板的左下角,“但這在全局冪零錐(Global Nilpotent Cone)上顯然不成立。那些奇異點你是怎麼處理的?如果不處理,你的範疇等價性就是一句空話。”
這個問題太毒了。
它直指整個證明中最脆弱的幾何結構。
臺下的德利涅微微皺眉,他在看文章時也注意到了這個問題,但當時內容太多,還沒來得及仔細推敲。
林允寧看着法爾廷斯,笑了。
“法爾廷斯教授,您的直覺非常敏銳。’
林允寧走到黑板左下角,圈出了那個看似致命的漏洞。
“在經典的代數幾何裏,這裏確實是奇異的。”
“但是。”
他拿起粉筆,在那個圓圈旁邊加了一個下標 op。
“我並沒有在概形(Scheme)的層面上操作。我是在‘堆棧(Stack)的層面上。
林允寧飛快地寫下了一行新的推導:
Bun_G is a smooth algebraic stack
“在堆棧的語言裏,這些奇異點被‘展開了。就像把一個折皺的紙團在更高維度展開一樣。在這裏,冪零錐的奇異性不再是阻礙,反而成爲了定義‘微局域支集(Microlocal Support)”的關鍵約束條件。”
法爾廷斯盯着黑板看了足足半分鐘。
然後,他哼了一聲,重新坐回椅子上,把手裏的小本子合上了。
“行吧。”
他嘟囔了一句,“算你圓回來了。”
臺下響起一陣輕微的驚歎聲。
但還沒等衆人鬆口氣,前排又一位老人站了起來。
讓-皮埃爾?塞爾。
“年輕人,你的堆棧技巧很漂亮。”
塞爾的聲音不大,但每一個音節都清晰無比,“但是,在尖點(Cusps)附近,你的D-模與伽羅瓦表示的兼容性如何保證?如果不兼容,這就是一個局部同構,而非全局證明。”
這又是一個致命的問題。
如果說法爾斯攻擊的是幾何結構,那塞爾攻擊的就是算術邊界。
林允寧沒有絲毫慌亂。
“這是一個關於邊界條件的問題。”
他在黑板的另一側畫了一個拋物線誘導(Parabolic Induction)的圖示。
“在尖點處,我們可以使用艾森斯坦級數(Eisenstein Series)來進行展開。雖然局部系統發散,但在重整化羣流的作用下,其L-函數依然保持不變。”
L(s,n)= L(s,a)
“只要L-函數匹配,全局兼容性就是自然推論。”
塞爾眯起眼睛,看着那行公式。
良久,他點了點頭,重新坐下。
“無可挑剔。”
這一次,臺下的低語聲變成了讚歎。
連續擋住了當今數學界最鋒利的兩把刀,這本身就是一種加冕。
而兩人的提問,也揭開的問答環節的大幕。
德涅利、希欽、阿蘭孔涅......一個個數學大師站起來,向着這份長達近四百頁證明中略過的地方進行提問。
林允寧一一作答,無懈可擊。
時間一分一秒過去。
但沒人覺得疲憊,所有的數學家們,都處於極度的亢奮之中。
沒有被問住,這就說明這個證明很可能是正確的。
數學界的“大一統理論”,很可能要向前跨出一大步了。
布吉尼翁所長看了一眼時間,已經晚上六點半了。
他站起身,拿起話筒,臉上帶着輕鬆的笑容:
“看來,我們今天見證了一個歷史性的時刻。如果沒有更多的問題,我想我們可以結束今天的報告,移步宴會廳......”
臺下的聽衆們開始收拾筆記本,有的已經站起身準備鼓掌。
空氣中那種焦躁的情緒消散了,取而代之的是一種見證歷史後的滿足感。
幾何朗蘭茲猜想。
這座大山,即將被翻過去了。
“請等一下。”
林允寧的聲音突然通過麥克風傳了出來,打斷了所長的結語。
他沒有下臺。
反而轉身,再次拿起了板擦。
“滋??”
黑板被擦得乾乾淨淨,只留下一點還沒幹的水漬。
全場愣住了。
所長拿着話筒的手在半空。
正準備離場的法爾廷斯停下了腳步,疑惑地回頭。
林允寧轉過身,雙手撐在講桌上,目光掃過臺下的德利涅、法爾斯、威滕......以及那些數學界最聰明的大腦。
他的眼神裏,沒有那種“終於結束了”的釋然。
反而跳動着一種近乎瘋狂的,讓在場所有人都感到心驚肉跳的火焰。
“如果大家對幾何朗蘭茲猜想沒有更多疑問了。”
林允寧頓了頓,嘴角微微上揚。
“那麼,我想佔用大家一點時間,介紹一下我這周在佈雷沃河谷閉關時,做出的另外一個成果。
“由於時間太緊,還沒有來得及提交到預印本網站,但我在這裏可以簡要講述一下框架。”
林允寧拍了拍手中的粉筆灰,一衆數學大師們疑惑的目光中繼續開口道,“幾何朗蘭茲很美,但它只是一個身體。
“一個沒有算術靈魂的身體。”
他的聲音不大,卻像是一聲驚雷,在安靜的大廳裏炸響。
“他要幹什麼?"
“幾何朗蘭茲猜想的證明不是已經講解完了麼?”
“還有什麼成果,比這個還重要,值得專門佔用時間講出來?”
臺下竊竊私語,但很快被臺上少年清脆的嗓音蓋過。
“我們都知道,朗蘭茲綱領的終極目標,是連接數論、幾何以及表示論等。而不僅僅是在幾何內部打轉。”
他拿起一支新的粉筆。
動作很慢,很穩。
在黑板的中央,寫下了一行讓無數數學家魂牽夢繞,卻又望而卻步的單詞:
The Langlands Reciprocity Conjecture
(朗蘭茲互反猜想)
“今天,我造好了一座橋,證明了朗蘭茲互反猜想,打通了數論與幾何的一座橋。”
“砰”
第一排,孔涅手裏的咖啡杯沒拿穩,翻倒在桌上。
褐色的液體流了一地,滴在地毯上。
但沒人去管。
原本已經鬆弛下來的大廳,在一瞬間被抽成了真空。
所有人都死死地盯着黑板,像是見到了鬼。
定時炸彈,終於引爆!