第23章 無法傳授的直覺
看著劉浩然匆匆離去的背影，肖宿重新把注意力放回了《量子場論路徑積分》。
但看了幾頁之後，他忽然想起什麼，打開瀏覽器，搜索「羅伯特·格林 論文」。
很快，紐約大學數學系的教授頁面彈了出來，上面列出了格林教授近年來的主要工作。
肖宿快速瀏覽著那些標題和摘要，手指在觸摸板上滑動。
《高維代數簇上有理點分布的有效界》
《模曲線與阿貝爾簇的算術性質》
《p進霍奇理論與應用》……
肖宿的目光在最後一個標題上停留了片刻。
p進霍奇理論，這不正是彼得·舒爾茨那套「perfectoid spaces」理論涉及的方向嗎？
他記得之前看過舒爾茨2011年的那篇奠基性論文《p-adic Hodge Theory for Rigid-analytic Spaces and Perfectoid Spaces》。
那篇文章他花了差不多一周才完全消化，裡面的思想極其深刻，用p進幾何的工具重構了古典的霍奇理論。
如果格林教授的研究也涉及這個方向，那講座可能會很有趣。
肖宿點開格林教授最近的一篇預印本，開始快速閱讀。
他的閱讀速度極快。
大概二十分鐘之後，肖宿已經對格林教授的工作風格和主要技術手段有了大致把握。
很紮實的算術幾何研究，偏重經典方法，但也能看到一些現代p進幾何思想的影子。
就在這時，手機又震動了一下。
這次是陳林發來的消息。
「肖哥！！！救命啊！！！」
後面跟了一串崩潰的表情。
肖宿回覆：「？」
陳林秒回：「數學分析期中捲髮下來了，我最後那道題證明寫崩了，扣了15分！老周說那道題用的技巧跟你上周跟我講的一個引理很像，但我當時沒完全聽懂……你現在有空嗎？求指點！」
肖宿看了看時間，下午四點十分。
他回覆：「圖書館東區四樓，過來吧。」
五分鐘後，陳林抱著一沓草稿紙和試卷，哭喪著臉出現在肖宿對面。
「肖哥，你看這題。」
他把試卷推過來，指著最後一道壓軸題。
「證明：若f在[0,1]上連續，在(0,1)內可導，且f(0)=f(1)=0，則存在ξ∈(0,1)，使得f'(ξ)=f(ξ)。」
肖宿掃了一眼題目，點點頭。
「嗯，用你之前問我的那個『微分中值定理的推廣形式』。」
「對啊！你當時說構造輔助函數F(x)=e^{-x}f(x)，然後用羅爾定理。但我考試時腦子一抽，構造了個F(x)=f(x)e^{x}，然後就全錯了……」
陳林欲哭無淚。
肖宿拿過草稿紙，寫下一個簡潔的證明過程。
「設F(x)=e^{-x}f(x)。則F在[0,1]上連續，在(0,1)內可導，且F(0)=f(0)=0，F(1)=e^{-1}f(1)=0。由羅爾定理，存在ξ∈(0,1)，使F'(ξ)=0。」
「而F'(x)=e^{-x}f'(x)-e^{-x}f(x)=e^{-x}[f'(x)-f(x)]。故F'(ξ)=e^{-ξ}[f'(ξ)-f(ξ)]=0。由於e^{-ξ}≠0，故f'(ξ)-f(ξ)=0，即f'(ξ)=f(ξ)。證畢。」
陳林盯著那幾行字，表情從困惑到恍然再到懊惱。
「就這麼簡單？！我考試時怎麼就沒想到用e^{-x}呢……」
「因為你被形式迷惑了。」
肖宿平靜地說。
「這道題的本質是要構造一個函數，讓它的導數能產生f'(x)-f(x)的結構。e^{-x}的導數是-e^{-x}，所以乘上去後，乘積的導數會出現f'(x)-f(x)項。這是標準技巧。」
陳林撓著頭：「道理我都懂，可考試時就是反應不過來。肖哥，你這種一眼看穿問題本質的能力到底是怎麼練出來的？」
肖宿沉默了幾秒，似乎在思考如何回答。
最後他說：「多想想『為什麼』，少記『怎麼做』。
每個技巧背後都有它的幾何或代數原因。
比如這個e^{-x}，它是指數函數，是指數函數導數的自相似性導致了這種構造可行。
想明白這一點，下次遇到類似問題自然就能想到。」
陳林似懂非懂地點點頭，把肖宿寫的證明過程仔細抄在筆記本上。
抄完後，他忽然壓低聲音，神秘兮兮地問：「肖哥，我聽說……你那篇投JAMS的論文，有消息了？」
肖宿搖搖頭：「還沒。審稿周期通常很長。」
「哦……」陳林有點失望，但馬上又興奮起來，「那《數學發明》那篇呢？我聽說劉師兄最近走路都帶風，是不是快發了？」
「在修改，順利的話下個月。」
「牛！」
陳林豎起大拇指，隨即又嘆了口氣，「同樣是學數學的，差距怎麼就這麼大呢……我現在還在為數學分析的期中考試掙扎，你已經兩篇頂刊在望了。我有時候都懷疑，咱們是不是同一個物種。」
肖宿沒接這話。
他不太擅長應對這種帶著羨慕或崇拜的情緒，那會讓他感到不自在。
陳林也意識到了，趕緊轉移話題。
「對了，下周咱們系有個新生交流會，你要不要去？就是大家聚在一起聊聊，認識認識。老周讓我務必把你拉去，說你是咱們這屆的『門面』。」
肖宿想拒絕，他對這種社交活動沒什麼興趣。
但話到嘴邊，又想起顧清塵說的「多和同齡人接觸」，於是改了口：「什麼時候？」
「周三晚上，在明德樓活動室。不過……」
陳林想起什麼，「周三下午是不是有個什麼講座？紐約大學來的教授？」
「嗯，格林教授的講座，在三點。」
「那時間正好錯開！講座結束差不多五點，吃個飯，七點交流會開始。」
陳林眼睛一亮，「就這麼定了！你一定要來啊，不然老周又要念叨我辦事不力。」
「……好。」肖宿答應了。
一次講座加一個交流會，應該不會占用太多時間。
陳林心滿意足地抱著筆記本走了。
肖宿重新拿起《量子場論路徑積分》，但看了幾頁後，思緒卻飄到了別處。
他想起了格林教授那篇預印本中的一個細節，在討論高維代數曲線有理點分布時，格林用了一個基於經典模形式理論的估計方法，雖然有效，但肖宿總覺得有點「笨重」。
如果引入perfectoid spaces的思想呢？
用p進幾何的工具重新審視那些有理點的分布，會不會得到更精細、更本質的結果？
這個念頭一旦產生，就像種子落進肥沃的土壤，開始迅速的生根發芽。
肖宿隨手抓過一張草稿紙，開始寫寫畫畫起來。
「設X是定義在數域K上的高維代數曲線，考慮其在完備化空間中的幾何結構……」
他寫得很快，仿佛一下子打通了任督二脈，思路如泉涌。
那些在閱讀舒爾茨論文時形成的幾何直覺，此刻與格林教授研究的問題碰撞在一起，迸發出了耀眼的火花。
不知不覺間，時間悄悄溜走，窗外天色漸暗。
圖書館的燈自動亮起，在書頁上投下溫暖的光暈。
肖宿渾然不覺，完全沉浸在自己構建的數學世界中。
直到手機震動，是顧清塵打來的。
「肖宿，還在圖書館嗎？該吃晚飯了。」
肖宿看了眼時間，驚訝地發現已經六點半了。
他居然坐了兩個多小時，完全沒感覺到時間流逝。
「嗯，馬上回去。」
「直接來教職工食堂吧，我在這兒等你。順便聊聊你最近看的書。」
掛斷電話，肖宿收拾好東西，把那張寫滿公式和構想的草稿紙仔細疊好，放進書包最裡層。
走出圖書館時，京大的校園已籠罩在暮色中。
路燈依次亮起，未名湖對岸的教學樓燈火通明，倒映在湖面上，隨著湖中的漣漪碎成了一片搖曳的光斑。
肖宿走在石板路上，腳步輕快。
他忽然想起陳林那個問題，「你這種一眼看穿問題本質的能力到底是怎麼練出來的？」
其實肖宿自己也不太清楚。
對他來說，數學從來不是需要「練習」的技能，而是他感知世界的一種本能。
就像鳥會飛、魚會游，他天生就懂得如何從紛繁的表象中剝離出本質的結構。
這個世界，無論是物理的、幾何的、代數的，在他眼中都是一座巨大而精妙的建築。
其他人還在為外牆的裝飾嘖嘖稱奇時，他已經看穿了承重牆的位置、樑柱的布局、結構的力學原理。
也許這就是所謂的「天賦」吧。
一種他無法解釋、也無法傳授的直覺。
但看了幾頁之後，他忽然想起什麼，打開瀏覽器，搜索「羅伯特·格林 論文」。
很快，紐約大學數學系的教授頁面彈了出來，上面列出了格林教授近年來的主要工作。
肖宿快速瀏覽著那些標題和摘要，手指在觸摸板上滑動。
《高維代數簇上有理點分布的有效界》
《模曲線與阿貝爾簇的算術性質》
《p進霍奇理論與應用》……
肖宿的目光在最後一個標題上停留了片刻。
p進霍奇理論，這不正是彼得·舒爾茨那套「perfectoid spaces」理論涉及的方向嗎？
他記得之前看過舒爾茨2011年的那篇奠基性論文《p-adic Hodge Theory for Rigid-analytic Spaces and Perfectoid Spaces》。
那篇文章他花了差不多一周才完全消化，裡面的思想極其深刻，用p進幾何的工具重構了古典的霍奇理論。
如果格林教授的研究也涉及這個方向，那講座可能會很有趣。
肖宿點開格林教授最近的一篇預印本，開始快速閱讀。
他的閱讀速度極快。
大概二十分鐘之後，肖宿已經對格林教授的工作風格和主要技術手段有了大致把握。
很紮實的算術幾何研究，偏重經典方法，但也能看到一些現代p進幾何思想的影子。
就在這時，手機又震動了一下。
這次是陳林發來的消息。
「肖哥！！！救命啊！！！」
後面跟了一串崩潰的表情。
肖宿回覆：「？」
陳林秒回：「數學分析期中捲髮下來了，我最後那道題證明寫崩了，扣了15分！老周說那道題用的技巧跟你上周跟我講的一個引理很像，但我當時沒完全聽懂……你現在有空嗎？求指點！」
肖宿看了看時間，下午四點十分。
他回覆：「圖書館東區四樓，過來吧。」
五分鐘後，陳林抱著一沓草稿紙和試卷，哭喪著臉出現在肖宿對面。
「肖哥，你看這題。」
他把試卷推過來，指著最後一道壓軸題。
「證明：若f在[0,1]上連續，在(0,1)內可導，且f(0)=f(1)=0，則存在ξ∈(0,1)，使得f'(ξ)=f(ξ)。」
肖宿掃了一眼題目，點點頭。
「嗯，用你之前問我的那個『微分中值定理的推廣形式』。」
「對啊！你當時說構造輔助函數F(x)=e^{-x}f(x)，然後用羅爾定理。但我考試時腦子一抽，構造了個F(x)=f(x)e^{x}，然後就全錯了……」
陳林欲哭無淚。
肖宿拿過草稿紙，寫下一個簡潔的證明過程。
「設F(x)=e^{-x}f(x)。則F在[0,1]上連續，在(0,1)內可導，且F(0)=f(0)=0，F(1)=e^{-1}f(1)=0。由羅爾定理，存在ξ∈(0,1)，使F'(ξ)=0。」
「而F'(x)=e^{-x}f'(x)-e^{-x}f(x)=e^{-x}[f'(x)-f(x)]。故F'(ξ)=e^{-ξ}[f'(ξ)-f(ξ)]=0。由於e^{-ξ}≠0，故f'(ξ)-f(ξ)=0，即f'(ξ)=f(ξ)。證畢。」
陳林盯著那幾行字，表情從困惑到恍然再到懊惱。
「就這麼簡單？！我考試時怎麼就沒想到用e^{-x}呢……」
「因為你被形式迷惑了。」
肖宿平靜地說。
「這道題的本質是要構造一個函數，讓它的導數能產生f'(x)-f(x)的結構。e^{-x}的導數是-e^{-x}，所以乘上去後，乘積的導數會出現f'(x)-f(x)項。這是標準技巧。」
陳林撓著頭：「道理我都懂，可考試時就是反應不過來。肖哥，你這種一眼看穿問題本質的能力到底是怎麼練出來的？」
肖宿沉默了幾秒，似乎在思考如何回答。
最後他說：「多想想『為什麼』，少記『怎麼做』。
每個技巧背後都有它的幾何或代數原因。
比如這個e^{-x}，它是指數函數，是指數函數導數的自相似性導致了這種構造可行。
想明白這一點，下次遇到類似問題自然就能想到。」
陳林似懂非懂地點點頭，把肖宿寫的證明過程仔細抄在筆記本上。
抄完後，他忽然壓低聲音，神秘兮兮地問：「肖哥，我聽說……你那篇投JAMS的論文，有消息了？」
肖宿搖搖頭：「還沒。審稿周期通常很長。」
「哦……」陳林有點失望，但馬上又興奮起來，「那《數學發明》那篇呢？我聽說劉師兄最近走路都帶風，是不是快發了？」
「在修改，順利的話下個月。」
「牛！」
陳林豎起大拇指，隨即又嘆了口氣，「同樣是學數學的，差距怎麼就這麼大呢……我現在還在為數學分析的期中考試掙扎，你已經兩篇頂刊在望了。我有時候都懷疑，咱們是不是同一個物種。」
肖宿沒接這話。
他不太擅長應對這種帶著羨慕或崇拜的情緒，那會讓他感到不自在。
陳林也意識到了，趕緊轉移話題。
「對了，下周咱們系有個新生交流會，你要不要去？就是大家聚在一起聊聊，認識認識。老周讓我務必把你拉去，說你是咱們這屆的『門面』。」
肖宿想拒絕，他對這種社交活動沒什麼興趣。
但話到嘴邊，又想起顧清塵說的「多和同齡人接觸」，於是改了口：「什麼時候？」
「周三晚上，在明德樓活動室。不過……」
陳林想起什麼，「周三下午是不是有個什麼講座？紐約大學來的教授？」
「嗯，格林教授的講座，在三點。」
「那時間正好錯開！講座結束差不多五點，吃個飯，七點交流會開始。」
陳林眼睛一亮，「就這麼定了！你一定要來啊，不然老周又要念叨我辦事不力。」
「……好。」肖宿答應了。
一次講座加一個交流會，應該不會占用太多時間。
陳林心滿意足地抱著筆記本走了。
肖宿重新拿起《量子場論路徑積分》，但看了幾頁後，思緒卻飄到了別處。
他想起了格林教授那篇預印本中的一個細節，在討論高維代數曲線有理點分布時，格林用了一個基於經典模形式理論的估計方法，雖然有效，但肖宿總覺得有點「笨重」。
如果引入perfectoid spaces的思想呢？
用p進幾何的工具重新審視那些有理點的分布，會不會得到更精細、更本質的結果？
這個念頭一旦產生，就像種子落進肥沃的土壤，開始迅速的生根發芽。
肖宿隨手抓過一張草稿紙，開始寫寫畫畫起來。
「設X是定義在數域K上的高維代數曲線，考慮其在完備化空間中的幾何結構……」
他寫得很快，仿佛一下子打通了任督二脈，思路如泉涌。
那些在閱讀舒爾茨論文時形成的幾何直覺，此刻與格林教授研究的問題碰撞在一起，迸發出了耀眼的火花。
不知不覺間，時間悄悄溜走，窗外天色漸暗。
圖書館的燈自動亮起，在書頁上投下溫暖的光暈。
肖宿渾然不覺，完全沉浸在自己構建的數學世界中。
直到手機震動，是顧清塵打來的。
「肖宿，還在圖書館嗎？該吃晚飯了。」
肖宿看了眼時間，驚訝地發現已經六點半了。
他居然坐了兩個多小時，完全沒感覺到時間流逝。
「嗯，馬上回去。」
「直接來教職工食堂吧，我在這兒等你。順便聊聊你最近看的書。」
掛斷電話，肖宿收拾好東西，把那張寫滿公式和構想的草稿紙仔細疊好，放進書包最裡層。
走出圖書館時，京大的校園已籠罩在暮色中。
路燈依次亮起，未名湖對岸的教學樓燈火通明，倒映在湖面上，隨著湖中的漣漪碎成了一片搖曳的光斑。
肖宿走在石板路上，腳步輕快。
他忽然想起陳林那個問題，「你這種一眼看穿問題本質的能力到底是怎麼練出來的？」
其實肖宿自己也不太清楚。
對他來說，數學從來不是需要「練習」的技能，而是他感知世界的一種本能。
就像鳥會飛、魚會游，他天生就懂得如何從紛繁的表象中剝離出本質的結構。
這個世界，無論是物理的、幾何的、代數的，在他眼中都是一座巨大而精妙的建築。
其他人還在為外牆的裝飾嘖嘖稱奇時，他已經看穿了承重牆的位置、樑柱的布局、結構的力學原理。
也許這就是所謂的「天賦」吧。
一種他無法解釋、也無法傳授的直覺。