第363章 能走的那條路
第362章 能走的那條路
這句話寫完之後，陳拙沒有繼續往下推。
筆尖停在紙面上方，懸了幾秒，最後被他放回了桌上。
辦公室里很安靜，暖氣片偶爾響一下。
不是很響。
咔。
又停住。
像一個年紀很大的老教授想說話，但臨時忘了要說什麼。
陳拙靠在椅背上，看著紙上那行字。
這句話當然很好寫。
難的是下面該寫什麼。
從已知勝利處反向拆解。
那就得先找到那條已經走通的路。
陳拙伸手，把面前那摞寫著存在性的草稿紙往旁邊挪了挪，然後站起身，走到辦公室右側的書架前。
書架是高研院給他配的。
木頭很舊，但擦得很乾淨，上面擺著不少皮埃爾讓人送來的書和講義，有些是全新的，有些則顯然不知道在多少個教授手裡轉過一圈，書脊上有磨痕，扉頁邊角捲起，夾縫裡還藏著舊便簽和已經發黃的索引條。
陳拙抬手，從第二層抽出一本厚講義。
結果它旁邊一本薄冊子也被帶了出來，啪地一下掉在地毯上。
他低頭看了一眼。
那本薄冊子的封面上寫著一行法文，底下還有皮埃爾年輕時留下的簽名，字跡飛揚得有點不像數學家，反倒像某種不太靠譜的詩人。
陳拙彎腰把它撿起來，隨手拍了拍封面上的灰。
書架上這些東西和機械廠家屬樓陽台上的舊零件其實差不多。
看起來都很嚴肅。
真翻起來，也全是灰。
他把幾本書抱回桌邊，放在那摞霍奇草稿旁邊。
書一放下，桌面就顯得更擠了。
常數C答辯文件夾被鎮紙壓在左側，像一塊已經歸檔的石頭，右側是亂七八糟的霍奇草稿，中間還有瑪蒂爾達師母的餅乾盒，咖啡館小票被壓在盒子底下，露出一點白邊。
陳拙把餅乾盒往旁邊推了推。
他打開最上面那本舊講義。
紙頁邊緣已經有點脆，翻動的時候會發出很細的沙沙聲，陳拙沒有直接從目錄看起，而是順著幾張舊便簽的位置往後翻。
這些便簽不是他夾的。
上面有皮埃爾的字跡，也有幾處明顯來自別人的批註，有人在一個定理旁邊畫了一個星號，又在頁邊寫了一句非常簡短的評語。
「這裡是門。」
陳拙盯著那四個字看了兩秒。
字跡很老，墨水顏色已經淡了。
但這句話倒是很清楚。
這裡是門。
陳拙繼續往下看。
那一頁的標題下面，寫著一個他早就見過很多次的名字。
萊夫謝茨（1，1）定理。
霍奇猜想里少數真正讓人安心的地方。
或者說，唯一能稱得上全面勝利的地方。
陳拙把那頁紙按平，坐回椅子上。
他沒有馬上看細節，而是伸手拿起粉筆，走到黑板前，把昨天留下的幾行公式擦掉。
陳拙後退半步，看著那塊重新露出乾淨底色的黑板。
然後，他在左邊寫下：
已經走通。
又在右邊寫下：
還沒走通。
這兩個標題一點也不學術。
甚至有點像張強當年整理錯題本時會寫出來的東西。
但陳拙覺得挺好。
至少看得懂。
左邊，是人類已經走通過的那條路。
右邊，是霍奇猜想真正的深水區。
他在左邊已經走通下面寫了兩個詞。
霍奇類。
除子。
寫完之後，他盯著這兩個詞看了一會兒。
這就是那個成功案例最樸素的樣子。
一邊是看不見的影子。
一邊是看得見的幾何東西。
在最簡單的那類情況下，人類真的找到了一條路，能讓影子落到地面上，變成一個可以被代數方程描述出來的對象。
陳拙低頭看了一眼舊講義。
講義上當然寫得更複雜。
它不會說影子，也不會說地面。
它會寫更精確的詞，會寫一行又一行漂亮但不太像人話的定義，會把每一個連接都標得嚴絲合縫，那是數學應該有的樣子。
但陳拙現在不是在寫論文。
他是在拆東西。
拆東西的時候，不需要先管名字好不好看。
先看它怎麼動。
陳拙又在霍奇類和除子之間畫了一條線。
這條線很短。
短得讓人覺得這件事似乎並不難。
但陳拙知道，真正難的地方就藏在這條短線里。
他小時候第一次看懷表也是這樣。
齒輪從外面看都差不多，圓的，帶齒，亮晶晶，放在桌上還挺好看，可一旦真要把它們裝回去，才會發現有的齒輪只負責傳動，有的負責限位，有的根本不能裝反。
裝錯一顆。
整塊表都不走。
左邊這條已經走通的路，就是一塊能走的舊錶。
現在的問題不是它走不走。
問題是，它為什麼能走。
陳拙把粉筆在手裡轉了半圈，又在那條短線下面寫了一個詞。
抓手。
寫完之後，他停住了。
這不是講義上的詞，也不是什么正式數學語言。
但它很準確。
那條已經走通的路之所以能走，是因為在那個簡單情形里，人類有一個能抓住影子的東西。
就像你知道牆後面有一根繩子，還得有辦法把它從縫裡鉤出來。
有抓手，東西才不會只停留在應該存在上。
有抓手，它才能被拉出來，落到桌面上，讓所有人看見。
陳拙轉過身，回到桌邊，翻了幾頁舊講義。
講義里用的是更正式的說法。
線叢。
第一陳類。
這些詞當然重要。
但陳拙沒有把它們全抄到黑板上。
黑板不是垃圾桶，不是什麼詞都該往上扔。
他只在抓手旁邊小小地寫了一個括號。
線叢。
然後就停了。
夠了。
他不是要在這一章里重講半本代數幾何。
他要找的是那塊齒輪。
在余維一的情況下，這個齒輪確實存在，它能把那些原本只在上同調里留下痕跡的影子，拉回到一個更具體的位置。
這就是那條路能走通的原因。
它不是靠奇蹟，它靠的是接口。
陳拙抬頭看向黑板左邊。
已經走通。
霍奇類。
除子。
抓手。
線叢。
幾個詞擺在那裡，並不複雜，甚至有點樸素。
樸素到讓人容易誤以為霍奇猜想也不過如此。
這當然是錯覺。
數學裡最坑人也是最常見的事情，就是一個低維情形看起來很自然，於是你以為高維也能照著走。
真走上去才發現，前面不是路，是沼澤。
陳拙把視線移到黑板右邊。
還沒走通。
他在右邊寫下：
霍奇類。
然後在下面隔了很遠的位置，寫下：
代數循環。
中間空出一大片。
這片空白看起來比左邊那條短線刺眼得多。
陳拙拿著粉筆，在中間畫了一條虛線。
虛線畫到一半，他停住了。
因為這條線現在還不能畫實。
左邊那條路，是已經被人鋪好的石板路。
右邊這條，只能算站在霧裡看見了對岸的輪廓。
常數C能做什麼？
陳拙回到桌邊，從那摞霍奇草稿里抽出幾頁。
正規函數。
漸進包絡面。
代數剛性鄰域。
這些東西已經把問題往前推了一大步。
常數C可以像一張收緊的網，把原本在連續變化里游移不定的拓撲痕跡釘住，它能證明那道影子不會亂跑，能證明它被限制在某個非常小、非常硬的代數鄰域裡。
這很重要。
非常重要。
如果沒有這一步，後面連找都不知道往哪裡找。
但陳拙盯著那片空白，越看越清楚一件事。
釘住影子，不等於抓住實體。
中間還差一次正確的用力。
陳拙把那幾頁草稿重新放下。
他走到黑板前，在右邊的虛線中間寫了兩個字。
缺口。
寫完之後，他又皺了皺眉。
這個詞不夠准。
缺口太像是牆上破了個洞。
而眼下的問題不是洞。
是手伸不過去。
陳拙拿起黑板擦，把缺口兩個字擦掉。
粉筆灰落下來，沾在他的袖口上。
他重新寫。
抓手。
這一次，對了。
左邊已經走通的路里，有抓手。
右邊還沒走通的路里，缺抓手。
陳拙後退一步，看著黑板。
事情終於變得稍微清楚了一點。
這不是說第六階段突然變簡單了。
相反，它還是很麻煩。
但麻煩的形狀開始出現了。
之前它像一團霧。
現在霧裡至少露出了一小截輪廓。
陳拙重新坐回桌邊，拿起那塊黃油餅乾，發現只剩一個很小的角。
他把那個角放進嘴裡，慢慢嚼著。
他低頭看了看餅乾盒。
空了。
陳拙沉默了一下。
瑪蒂爾達師母的多吃任務完成得非常徹底。
問題是，盒子又空了。
明天送回去的時候，最好不要讓皮埃爾教授先看見。
不然老頭子很可能會再次提出沒有數學意義、但情緒很充分的抗議。
陳拙把空盒子蓋好，往桌角推了推。
然後他重新拿起鉛筆，在存在性那頁紙上補了幾行。
第一行：
簡單情形能走通，是因為有抓手。
第二行：
常數C能定位影子，但不能直接替代抓手。
第三行：
第六階段的核心，不是繼續釘住，而是拉出來。
寫到第三行時，陳拙停了一下。
他覺得拉出來這個詞看起來有點粗糙。
但也不能說不對。
數學當然應該精確。
可在真正找到辦法之前，有些粗糙的詞反而更有用。
它像是一根臨時插在泥地里的木棍，不好看，但能讓人知道路大概往哪邊走。
他把紙放下，再次看向黑板。
左邊：
已經走通。
右邊：
還沒走通。
中間的差別，不是常數C夠不夠鋒利。
常數C已經足夠鋒利。
它能切開很多東西，能釘住很多東西，能把原本飄著的影子壓到一個固定的位置。
可刀再鋒利，也不能自動把東西從影子後面拽出來。
刀是刀。
手是手。
陳拙靠在椅背上，忽然想起很久以前，自己還在陽光家屬院那個小書房裡，和陳建國一起對著一堆懷表零件發呆。
那時候他什麼都不懂。
不懂齒輪為什麼轉，不懂棘輪為什麼要卡在那裡，也不懂遊絲為什麼一松一緊就能讓時間變得有秩序。
他只會試。
這個不對，換下一個。
還不對，再換。
直到某一個零件咔噠一音效卡進正確的位置，整套結構突然動起來。
那一瞬間的感覺，他到現在都還記得。
不是因為修好了表。
而是因為他第一次明白，複雜東西並不是靠複雜本身運轉的。
它總有幾個關鍵的咬合點。
找到那些點，整個系統才會動。
現在也是一樣。
霍奇猜想當然比那塊舊懷表複雜一萬倍。
但道理沒有變。
他不是要把所有零件同時裝回去。
他要先找到那顆真正負責咬合的齒輪。
辦公室外，走廊里又傳來一點動靜，有人在不遠處低聲說話，聲音隔著厚門板，模模糊糊，聽不清內容，很快，腳步聲遠去。
陳拙沒有理會。
他起身走到黑板前，拿起粉筆，在右邊還沒走通的下方重新整理了一遍。
霍奇類。
影子。
常數C。
定位。
抓手。
代數循環。
這些詞一個接一個排下來。
比剛才清楚了一些。
但仍然不是完整的路。
陳拙看著抓手兩個字，想了想，在旁邊加了一個問號。
這個問號並不讓人沮喪。
相反，它讓陳拙覺得舒服了一點。
因為問號總比一團霧好。
一團霧看起來什麼都像問題。
一個問號至少說明，問題開始被壓縮了。
他拿著粉筆，輕輕點了點那個問號。
下一步，不是繼續把常數C磨得更亮。
也不是立刻去寫什麼新的大定理。
下一步，是找高維里的抓手。
找一個能像簡單情形里的那條舊路一樣，把看不見的霍奇類，一步步拖到看得見的代數循環上的東西。
陳拙把粉筆放回粉筆槽。
手指上沾了粉筆灰。
他低頭看了看，隨手拍了兩下。
白色粉塵在空氣里散開，很快就不見了。
窗外，雪終於開始下得明顯了一點。
細小的雪粒在燈光和暮色之間飄動，落在范恩樓外光禿禿的樹枝上，很快積出一層淺淺的白。
陳拙回到桌前，把那張寫著存在性的紙重新擺正。
然後，在剛才那三行下面，慢慢寫下第四行。
找到那個能把影子拽出來的抓手。
寫完這句話，他沒有再繼續。
有些東西，寫到這裡就夠了。
再往下寫，就不是學習，是胡來。
他把筆放下，伸手拿過那摞舊講義，將夾著萊夫謝茨（1，1）定理的那一頁折了一個小角。
折完之後，他又覺得有點對不起這本書。
畢竟它已經夠舊了。
陳拙想了想，從桌邊撕下一小張便簽，夾在那頁裡面，把剛才折起的角又撫平。
這下順眼多了。
他把講義合上，放在右側草稿紙上方。
左邊是常數C答辯文件。
右邊是霍奇存在性的草稿。
中間隔著一個空掉的餅乾盒和一張露出邊角的咖啡小票。
陳拙看著這張桌面，忽然覺得這畫面很有普林斯頓特色。
一邊是足以讓三百多個頂級學者起立鼓掌的數學成果。
一邊是一個還不知道怎麼下手的世紀猜想。
中間，是瑪蒂爾達師母烤空了的餅乾盒。
挺合理。
人類文明大概就是這樣推進的。
靠紙，靠粉筆，靠一點不太穩定的暖氣。
以及足夠的黃油。
陳拙靠回椅背，閉上眼睛休息了幾秒。
再睜開時，他把那張存在性草稿抽出來，放到最上方。
>