第362章 另一摞紙
第361章 另一摞紙
從咖啡館回范恩樓的路上，天色已經比剛才暗了一些。
普林斯頓的冬天下午，總有一種很短促的錯覺。
明明還沒到傍晚，陽光就已經從樹枝後面斜了下去，落在地面上時，只剩下一層薄薄的灰白色。
陳拙沿著主幹道往回走。
風從湖的方向吹過來，卷著一點潮冷的氣息，路邊的積雪還沒有完全化乾淨，被來來往往的鞋底踩得發硬，邊緣泛著不太乾淨的灰色。
他把圍巾往上拉了一點，手插在外套兜里。
兜里有一張小票。
更多精彩內容盡在🅂🅃🄾５５.🄲🄾🄼
剛才咖啡館給的。
陳拙本來想在出門的時候隨手扔掉，但走出兩步後又覺得沒必要，便順手塞進了口袋。
紙片在兜里被揉得有些發軟，邊角硌著手指，存在感比那杯咖啡本身還頑強。
這倒也正常。
很多東西都是這樣。
發生的時候沒什麼特別，留下來的憑證反倒顯得更正式。
比如一張咖啡小票。
再比如博士答辯通知。
范恩樓在冷風裡顯得格外安靜。
門廳里沒有圖書館那種臨近期末的緊繃，也沒有咖啡館裡被暖氣和咖啡味撐起來的熱鬧。
這裡只有紙張和粉筆灰混在一起的味道，偶爾有一兩個學者從走廊深處經過，手裡夾著文件，腳步輕得像是不想打擾這棟樓里那些尚未寫完的定理。
陳拙順著樓梯往上走。
走到自己辦公室門口，推門進去。
辦公室里的暖氣開著，靠窗的地方仍然有些冷，玻璃上蒙著一層薄薄的水汽，像是被人輕輕哈了一口氣。
桌面靠左的位置空了一塊。
那本《十九世紀機械構造與連杆演變》下午已經還回了圖書館，連帶著幾本數學期刊和俄文論文集一起交給了管理員，原本被它壓著的幾張草稿紙現在沒有了遮擋，歪歪斜斜地露在桌面上。
陳拙脫下外套，掛在衣帽架上。
書旁邊是一個圓形鐵皮餅乾盒。
瑪蒂爾達師母烤的黃油小餅乾。
盒子原本屬於皮埃爾，但在所有權問題上，陳拙在幾天前和師母進行了一番嚴肅的探討之後師母把暫時劃歸到了自己名下。
論證過程非常簡單。
瑪蒂爾達讓他多吃點。
盒子裡裝的是高熱量餅乾。
所以他拿走盒子。
邏輯閉環。
皮埃爾對此似乎有不同意見，但沒有形成有效反證。
他從盒子裡拿出一塊黃油餅乾，咬了一口。
餅乾烤得很酥，咬下去的時候會發出很輕的碎裂聲，黃油香氣在嘴裡散開，帶著一點香草味，比咖啡館的小蛋糕更紮實。
陳拙一邊嚼，一邊從口袋裡摸出那張咖啡館小票。
上面寫著兩杯拿鐵，一杯卡布奇諾，一塊小蛋糕。
和常數C，霍奇猜想，博士答辯相比，這張小票顯然沒什麼學術價值。
但它至少證明，下午那一杯咖啡確實存在過。
陳拙想了想，沒有把它扔進紙簍，他隨手把小票壓在牛皮紙袋下面，露出一小截邊角。
然後，他才坐到桌前。
桌面中央，壓著一份文件。
文件不像皮埃爾平時隨手丟給他的東西那麼潦草，邊緣整齊，最上方印著普林斯頓大學的校徽，下面是一行正式得讓人一看就覺得應該少說兩句廢話的英文標題。
博士論文答辯安排通知。
陳拙盯著那行字看了兩秒。
然後伸手把文件拿了起來。
通知寫得很規範，時間在月底，地點是一號會議室。
答辯人：陳拙。
論文題目：《離散代數網格上的局部奇點收束與截斷算子》。
陳拙的目光停在這個題目上。
這個題目當然比常數C正式很多。
答辯委員會名單已經列好。
皮埃爾。
阿瑟。
羅伯特。
愛德華。
康萊爾。
五個名字整整齊齊地排在那裡，像五根已經提前準備好的粉筆，安靜地等著月底那天在一號會議室里消耗他的手腕。
陳拙看著這個名單，忽然覺得這份通知表面上叫博士答辯安排，實際上更像一份粉筆消耗預警。
他把通知放回桌上，抬手揉了揉眉心。
倒不是緊張。
如果說波士頓三校聯合研討會是把一整棟樓從地基到屋頂都當眾蓋完，那麼月底這場答辯，大概就是幾個老頭子拿著茶杯，繞著那棟樓走一圈，順手敲敲牆磚，看看有沒有地方能聽出空響。
問題是，這幾個老頭子都很會敲。
而且大概率敲得很開心。
陳拙把剩下半塊餅乾塞進嘴裡，把桌面上的幾摞材料往自己面前拉了拉。
第一摞，是波士頓那十五頁原始底稿的複印件。
紙張已經不是最初從傳真機里吐出來的那批了，原稿被西里爾當成某種史前文物一樣鎖了起來，後來流到陳拙手邊的，基本都是複印件。
即便如此，複印件上的手寫符號仍然顯得很鋒利。
那些離散矩陣，商空間摺疊，局部奇點收束，截斷算子，密密麻麻地擠在十五頁紙上，像一把被磨得極薄的刀，它不解釋自己為什麼鋒利，也不關心別人握上去會不會割手。
它只負責切開問題。
第二摞，是普林斯頓後來組織數學系眾人出具的官方白皮書。
厚得多。
紙面也漂亮得多。
標題、目錄、注釋、推導編號、參考文獻，一應俱全，和那十五頁原始底稿相比，這份白皮書像是一個被西里爾強行穿上西裝戴上領帶按進普林斯頓學術法統里的正式版本。
第三摞，是波士頓三校聯合研討會的整理材料。
山姆的計算機並發調度報告。
阿倫的十一維物理場模型。
還有陳拙自己的那一場數學收束報告。
陳拙翻開其中一頁，看到了第九塊黑板的照片。
照片拍得很清楚。
夕陽從報告廳高窗斜斜地落下來，黑板上那行巨大的顯式解析延拓公式占據了將近三分之一版面，最後的那個字母C，孤零零地站在等號右邊。
那是一個很安靜的字母。
安靜得讓人很難想像，為了把它寫到那裡，前面已經填滿了八塊黑板，踩碎了不知道多少根粉筆，還有理察那支從桌板上滾到了地毯上的筆。
陳拙看著那張照片，過了一會兒，伸手把它翻了過去。
事情已經發生過了。
而且已經被足夠多的人看見過了。
月底的一號會議室，並不會改變常數C本身，它只是給普林斯頓的程序補上一個位置，像是在一份已經生效的圖紙上，蓋一個遲到但必要的章。
這就是這場博士答辯的真實意義。
陳拙很清楚這一點。
西里爾他們更清楚。
所以他們才會選擇這篇東西作為他的博士論文。
因為它已經足夠重，足夠硬，也足夠沒有爭議。
至少在數學意義上沒有爭議。
陳拙拍了拍手上的餅乾碎屑。
然後，他拿過一個文件夾，把答辯通知，十五頁底稿複印件，普林斯頓白皮書和波士頓報告整理材料依次放了進去。
陳拙拿起筆，在封面貼紙上寫下：常數C答辯文件寫完之後，他盯著這兩個詞看了一會兒，覺得還算清楚。
常數C。
答辯。
一件已經講過，被認可，等待程序蓋章的事情。
他把這個文件夾放到了桌子左側，又拿起桌角的鎮紙壓在上面。
鎮紙很重，壓在文件夾上，像是給這件已經發生過的事情蓋了一個不太正式的章。
桌子的右側，則完全是另一種景象。
那裡還有一摞紙。
沒有文件夾，沒有編號，沒有標題頁。
有些紙是A4，有些是從舊講義背面撕下來的空白頁，還有幾張明顯是陳拙隨手從某本書里抽出來夾進去的便簽紙，最上面那一頁甚至有一道淺淺的咖啡痕，邊緣微微發皺。
這摞紙不像正式材料，更像是某種還沒有被允許長成論文的東西。
陳拙伸手，把那摞紙從另一枚小鎮紙下面抽了出來。
最上面一頁，寫著幾個簡單的詞彙。
正規函數。
常數C拆解。
漸進包絡面。
奇點定位。
代數剛性鄰域。
存在性。
陳拙的目光停在最後那個詞上。
存在性。
常數C已經被證明足夠鋒利。
它可以在波士頓的小酒館裡，順手給山姆的代碼搭一個不溢出的底層支架，也可以給阿倫那個走到物理極值點的十一維模型補上一塊代數地基。
它能切開連續流形的某些死結，也能在離散網格里釘住原本看起來無法解釋的奇點。
在波士頓那場報告以後，沒有人再懷疑它是一件工具。
問題只剩下一個。
工具能做什麼。
陳拙伸手翻過幾頁草稿。
這些紙的來源很雜。
有些是波士頓之後寫下的，有些是回到普林斯頓後在范恩樓夜裡推出來的，還有幾張上面的字跡很潦草，顯然是在某個思路突然冒出來的時候順手記下的。
紙頁之間夾雜著幾個熟悉的詞。
正規函數。
漸進包絡面。
代數剛性鄰域。
奇點定位。
從超越到代數。
這部分路已經走過了一段。
不能說徹底完成。
數學裡最好不要輕易說徹底完成，尤其是在霍奇猜想這種東西面前，太容易被後來某一行不起眼的邊界條件打臉。
但至少，通道已經成形。
常數C不再只是波士頓那場跨學科風暴里的地基。
它可以被拆開，可以被放進正規函數的奇點外圍，可以構造出緊緻的漸進包絡面，可以把原本游移不定的拓撲痕跡壓進一個具備代數剛性的鄰域裡。
也就是說，它確實有資格回到西里爾當初那句半開玩笑半認真的評價里。
一把能拆霍奇猜想核心零件的扳手。
只是之前，它被拿去給物理和計算機當錘子用了。
而現在，錘子的活已經幹完了。
陳拙把那幾張寫著漸進包絡面的草稿攤開。
紙面上有很多箭頭。
有些從正規函數指向霍奇軌跡，有些從奇點邊界指向代數鄰域，還有些箭頭畫到一半就停住了，旁邊只寫了一個問號。
比克拉麗絲那本美第奇筆記稍微好一點。
至少這些箭頭大部分還有方向。
不過也沒有好太多。
陳拙看著這些箭頭，忽然想起咖啡館裡克拉麗絲低頭寫下「錢，婚姻，麻煩」的樣子。
她那本筆記的問題，是名字太多，關係太亂，每個人都像是可以連到另一個人身上，於是到最後，所有線都擠成一團，看起來像一張即將放棄自我的蜘蛛網。
霍奇猜想當然比美第奇家族麻煩得多。
但麻煩的方式，在某些地方倒也並不陌生。
名字換成概念。
婚姻換成映射。
麻煩換成存在性。
陳拙用手指輕輕敲了敲最上面那張草稿紙。
第五階段的核心，是跨越。
從解析，拓撲意義上的霍奇類，跨向代數循環所在的那一側。
常數C已經能幫他把橋搭到對岸附近。
可第六階段不是繼續搭橋。
第六階段要做的是，在對岸那片霧裡，真正找到一個東西。
一個具體的代數循環。
不是證明那裡應該有，而是把它構造出來。
陳拙靠在椅背上，抬頭看向黑板，黑板上還留著昨天幾行沒擦乾淨的符號。
其中一行寫到一半就斷了，像是一條走到懸崖邊的路。
他盯著那行符號看了一會兒，伸手拿起桌上的筆。
沒有立刻寫字。
辦公室里很安靜。
窗外有幾片雪花被風吹著，從玻璃前飄過去，它們落不下來，只是在半空中打著旋，很快就消失在灰藍色的天色里。
走廊深處傳來一陣很輕的腳步聲，隨後又遠去。
范恩樓重新恢復了那種近乎固執的安靜。
陳拙低下頭，把左邊那個常數C答辯文件夾又往旁邊推了推。
它已經足夠正式。
足夠清楚。
足夠等待月底那場名義上嚴肅實際上大概率會變成幾位老教授聯手消耗粉筆的答辯。
然後，他把右邊這摞沒有編號的草稿拉到了自己正前方。
最上面那一頁，那個被圈出來的詞仍然安靜地躺在那裡。
存在性。
陳拙拿起筆，在這個詞下面畫了一條橫線。
這條線畫下去之後，紙面好像終於有了某種起點。
陳拙把左邊的答辯文件夾重新壓好，又把那張咖啡小票往餅乾盒下面塞了塞。
常數C的博士答辯，只是一場遲早會發生的過場。
真正麻煩的，是另一摞紙。
陳拙拿起一塊餅乾，咬了一口，慢慢嚼著。
黃油的甜味在口腔里散開。
他低頭，在存在性下面寫下了第一行字。
從已知勝利處反向拆解。
>