第226章 再起風波的偏微分樹洞，劉正陽教授的驚嘆【除夕快樂！】
臨海，震旦大學教職工公寓。
書房的燈光昏黃。
劉正陽摘下眼鏡，揉了揉有些發脹的眉心。
𝑺𝒕𝒐𝟓𝟓.𝒄𝒐𝒎第一時間更新，精彩不容錯過
作為震旦大學數學科學學院的教授，雖然寒假還沒正式結束，但他已經提前進入了工作狀態。
畢竟是老師嘛，學生放假能夠放到元宵節之後，而他們這些當老師的早就提前一個周開始上班了。
這幾天光是處理新學期的教學大綱和科研項目的申報材料，就讓他忙腳不沾地。
「總算是弄完了。」
他長舒一口氣，靠在椅背上，端起手邊的杯子喝了一口已經有些涼的水。
隨後他就準備關電腦去休息了，明天早上還有幾場會要開呢。
只不過，當滑鼠滑過瀏覽器的書籤欄時，他忽然停住了。
那裡靜靜躺著一個名為【偏微分樹洞】的連結。
其實劉正陽以前是不玩這種網絡論壇的，在他看來，網上的學術討論大多浮躁且淺薄。 也就是他手下的一名博士生喜歡逛，還經常在這上面提問。
直到半年前，他看見自己的博士生拿著在這個論壇上找到的一道題在那裡認真鑽研，有些好的他，於是也看了看那個問題，然後就立馬被吸引住了。
那道題很難，但最重要的是，很有趣。
到這個級別的數學問題，能夠既難又有趣，可不是一件容易的事情。
雖然像是他們這樣的教授，對於那種應試教育的題目已經沒有什麼興趣了，心思也都主要放在自身的科研上面，但是有時候遇到這種和自己專業的關係比較緊密的挑戰題也還是會嘗試的。
只不過當時讓他也有些沒想到的是，那個問題直接在整個數學圈子裡面都出名了，也有了一個專有稱呼，就叫做【一杯奶茶問題】，就像是當年的那道十杯馬天尼問題一樣。
即使是到了現在，提起這個問題，都能夠引來一番討論。
而也就是從那之後，徹底改變了他對這種網上論壇的看法，網絡上也是會有大神出沒的。
於是乎，他也在這個偏微分樹洞上面註冊了一個自己的帳號，而就叫做【震旦劉教授】，沒事就上來潛潛水，看看年輕人的想法，偶爾也會拋出幾個自己研究中遇到的瓶頸問題。
「前兩天發那個關於非線性薛丁格方程的帖子，不知道有沒有人回復。」
劉正陽也沒報太大希望。
畢竟那個臨界質量下的爆破格點分析，屬於非常前沿且刁鑽的難點，就算是同樣搞這個方向的教授，沒個十天半個月的深入研究也說不出個所以然來。 他隨手點開了連結。
：
剛一登錄，右上角那紅彤彤的【消息提醒：99】差點閃瞎了他的眼。
「嗯？」
劉正陽愣了一下，下意識地坐直了身子。
「怎麼這麼多消息？我也沒發什麼引戰帖啊？」
要是換個平台什麼的，估計都要開始懷疑自己是不是被網暴了。
但好在這裡是學術論壇，大家素質普遍比較高，並且管理員也都算是比較盡職盡責，保證這個論壇的學術純粹性。
帶著一絲疑惑，他點開了自己的帖子。
好傢夥，蓋樓都蓋到好幾頁了。
他耐著性子往下翻。
【前排膜拜劉教授！大佬竟然親自來提問了！】 【這就是震旦的大佬嗎？雖然看不懂題目，但感覺很厲害怕。】
【劉老師，這個問題是不是可以用傳統的有限元方法試一下？】
劉正陽搖了搖頭，繼續往下滑。
前面的回覆大多是這種沒營養的水貼，或者是對他身份的驚訝。
偶爾有幾個正經答題的，提出的思路也是他早就嘗試過但行不通的死胡同。
「果然，還是太難為人了嗎……」
劉正陽嘆了口氣，有些失望。
這種級別的難題，指望在論壇上到解答，確實有點異想天開。
他快速滾動滑鼠，準備關掉網頁睡覺。
然而，就在翻到第三頁中間的時候。
他的手指猛地一僵，滑鼠滾輪戛然而止。
屏幕正中央，那個默認頭像旁邊，赫然頂著一個讓他記憶猶新的：【ly2000】 「臥槽？！」
平日裡溫文爾雅的劉教授，此刻竟沒忍住爆了一句粗口，眼睛瞪比銅鈴還大。
偏微分樹洞的是唯一的，不可以起重複。
：
所以，這個ly2000，肯定就是當初提出了一杯奶茶問題的那位大佬。
「這一失蹤就是大半年，今天居然詐屍了？」
劉正陽的心跳瞬間加速，甚至顧不上感慨大神的回歸，連忙將視線移向了那條回復的內容。
字數不多，也就寥寥幾行。
【與其糾結於臨界點的辛結構保持，不如試著引入一個共形因子，將格點映射到雙曲空間上處理。在這個視角下，爆破點的異性會被雙曲幾何的度規拉平，剩下的就是簡單的譜分析了。】
轟！
看完這段話的一瞬間，劉正陽只覺腦海中仿佛有一道閃電划過。
「引入共形因子……映射到雙曲空間……」 他連忙就從旁邊扯來了草稿紙，然後拿起筆就直接在上面推導了起來。
刷刷刷！
筆尖在紙上飛快地遊走。
如果是別人說這話，他可能還會懷疑是不是在胡扯。
但這是ly2000說的！
「原來如此！我一直死磕在歐氏空間的格點上，想怎麼保留那個該死的辛結構，卻忘了異性本身就是空間扭曲的體現！」
「只要映射到雙曲空間，異點就真的被拉平了！」
短短五分鐘的推導。
當最後一個等式在草稿紙上閉合時，劉正陽激動滿臉通紅，狠狠地揮了一下拳頭。
「通了！完全通了！」
雖然ly2000沒有直接給出計算過程，但這個核心思路簡直就是點石成金，直接幫他繞開了那個卡了他一個多月的死結！
「高！實在是高！」 劉正陽看著屏幕上那個，眼中的敬佩之色簡直要溢出來了。
「一針見血，直指本質。這個ly2000對幾何與分析的理解，依然是強可怕啊……」
平復了一下激動的心情，劉正陽深吸了一口氣，雙手放在鍵盤上，鄭重其事地敲下了一行回覆：
【感謝 ly2000的指點！引入共形因子映射到雙曲空間這一步簡直是神來之筆，原本困擾我兩周的異性問題迎刃而解。這種對幾何與分析的深刻洞察力，令人佩服！】
點擊【發送】。
：
表示了感謝之後，他又往下面翻了翻，果然，他能夠收到那麼多的回覆，都和這位ly2000大佬的出現有關係。
毫無疑問，下面的更多回復，基本上都是衝著 ly2000來的。
他好地往下滑了滑滑鼠。
【臥槽！合影留念！竟然真的是活的 ly2000！】
【這就是傳說中一杯奶茶難倒菲爾茲獎的大神嗎？前排膜拜！】
【我草！ly2000大佬詐屍了！】 【大神大神，能不能幫我看看我那個熱傳導方程的弱解問題啊？我也卡了好久了嗚嗚嗚……連結在此……】
【樓上的就不要在這裡丟人現眼了，你那個就是教科書上的習題變種，也好意思拿來問大神？沒看大神只回了震旦劉教授這種級別的難題嗎？別浪費大神的時間！】
【只有我注意到大神說那只是簡單的譜分析嗎？ly大佬不愧是ly大佬，感覺比以前還要離譜了。】
看著這些五花八門的回覆，劉正陽不禁啞然失笑。
這位ly2000大佬也算是他們這個論壇上面的頂流了吧？
繼續往後翻，風向突然變了。
【兄弟們別在這兒膜拜了！快去隔壁！大神發新帖了！】
【看了新帖才過來的，我已經神志不清了。神特麼睡前小思考，這要是睡前想這個，我這輩子都別想睡著了。】
【那個新帖簡直是屠殺！ly2000不是搞 p的嗎？怎麼代數幾何也這麼變態？】
「新帖？」
劉正陽眉毛一挑。
這位大神剛回來，難道說又整了一個大活？ 他沒有猶豫，迅速把滑鼠移到 ly2000的頭像上，點擊進入了對方的主頁。
果然，在發帖記錄的最上方，已經不再是之前的那個一杯奶茶問題了，赫然是一個新發布的帖子：
【睡前小思考：關於函數域上費馬型超曲面的有理點】
看到「睡前小思考」這幾個字，劉正陽的嘴角忍不住抽搐了一下。
之前的一杯奶茶問題就已經把整個數學界折騰雞飛狗跳了，這次又變成「小思考」了？
怕不是又要引起腥風血雨。
劉正陽深吸一口氣，點進了帖子。
：
剛掃了一眼題目描述，他的眉頭就皺了起來。
「費馬型超曲面……函數域……幾何微分算子……」
這每一個詞他都認識，但連在一起，怎麼就透著一股讓人絕望的陌生感呢？
「這是純粹的算術幾何啊。」劉正陽喃喃自語，「跟咱們偏微分樹洞的主業八竿子打不著吧？」 雖然自從論壇火了之後，確實吸引了不少搞代數、拓撲甚至數論的人進來，管理員見到這種情況後，也給論壇擴充了相關領域的板塊出來。
但 ly2000作為一個公認的 p大神，突然發這麼一道純代數幾何的難題，還是讓他感到極其違和。
而且，憑藉他的數學直覺，一眼就能看出這道題的難度簡直是核爆級別的。
構造微分算子去鎖死代數簇？
這種事情是輕而易舉就能解決的嗎？
「這大神是想跨界打擊嗎？」劉正陽搖了搖頭，不再多想。
這時候，他打了個哈欠，應該是到休息的時候了。
然而，正當他準備關掉頁面時，他的視線不經意下移，掃到帖子末尾那行加粗的p時，整個人瞬間僵住了。
【p：不要以為這只是一道純粹的代數題。如果有誰能看懂這道題背後的微分算子構造，那麼恭喜你，你已經摸到了納維-斯托克斯方程全局正則性證明的門把手。】
咚！
仿佛一顆重磅炸彈在腦海中引爆。
剛剛哈欠帶來的睡意瞬間消散，劉正陽立馬就猛地湊近屏幕，死死盯著那行字，呼吸都變急促起來。 「n方程……全局正則性？！」
作為搞流體的，這幾個字對他的殺傷力比任何東西都大。
他太清楚這意味著什麼了。
這可是他們這個領域的聖杯！
人人夢寐以求想要解決的問題！
「這道代數幾何題……竟然能夠幫助證明n方程？」
「真的假的？」
劉正陽感到一陣口乾舌燥。
如果這句話是別人說的，他只會當成是民科的瘋言瘋語……嗯，好吧，民科也不可能出這樣一道題出來。
：
但不管如何，這也都是ly2000說的！
一個剛剛用一句提示就幫他解決了辛結構異性的大神！ 這一刻，他的神情變前所未有的嚴肅。
他重新把目光投向那道複雜的題目，試圖從中找出所謂的「門把手」。
一分鐘。
五分鐘。
十分鐘。
劉正陽眼中的光芒逐漸黯淡，最後化為一聲充滿無力感的長嘆。
他頹然地靠回椅子上，摘下眼鏡，揉了揉酸澀的眼眶。
「看不懂……完全看不懂。」
隔行如隔山。
雖然他知道這裡面藏著驚天的秘密，但他更清楚，想要讀懂這道題背後的深意，需要的不僅僅是 p的知識，更需要極其深厚的現代代數幾何與數論功底。
「除非我現在放下手頭所有工作，從頭去啃格羅滕迪克的那些書，還啃個三年五載，或許……才有機會看懂這道題的第一步。」
劉正陽看著屏幕上那個靜靜躺著的題目，苦笑著搖了搖頭。 「這算什麼睡前小思考啊……」
這位ly2000大佬，感覺有時候可真是一點都不正經，就像是之前的一杯奶茶問題一樣。
給人一種其本人非常年輕的感覺，但是其本人表現出來的能力，又總是讓人感覺肯定是一個學術界裡面的大前輩。
劉正陽控制著滑鼠滾輪，繼續向下滑動。
僅僅不過一小時的功夫，這個帖子的回覆量竟然已經突破了200大關。
這在學術論壇里簡直是個跡。
要知道，平時那些求助帖，掛上一周能有十幾個回復就算燒高香了。
哪怕是他也是因為自己有一定的名氣，所以他的那個帖子在林葉回復之前才能夠有三十來個回復。
看來，ly2000大神重出江湖的消息，已經像長了翅膀一樣，通過各種學術群、師門群傳遍了圈子，那些在偏微分樹洞上面有帳號的人都跑過來圍觀了。
再往下面一看，前幾頁的回覆畫風相當統一。
【膜拜！失蹤人口回歸！】
： 【這就是強者的世界嗎？睡前小思考？我睡前只會思考明天早上吃什麼……】
【我就想問一句，上次那杯奶茶還有人領嗎？那個李-泊松算子分裂法簡直就是把路給堵死了啊！我想破了腦袋也沒想出比那個更優的解法。】
【1，那個ztln截斷也是，把有限維逼近做到了極致。想要超越樓主的這兩個解法，感覺除非是數學物理這塊能有啥新的理論突破，否則那杯奶茶估計要放到發霉了。】
劉正陽看著這些評論，深以為然地點了點頭。
確實，半年前的那兩套解法，可以說是將當時現有的數學工具運用到了某種藝術般的極限。
以至於後來有不少心高氣傲的博士生或者是學者試圖挑戰，最後都只能灰溜溜地承認：樓主是不可戰勝的。
像是他當初研究了一段時間之後，再看到最後擺出來的那兩個方法時，都徹底放棄了。
再往後翻，又有人開始討論起了ly2000的身份。
【話說回來，ly2000到底是不是上京大學的那位林神啊？前段時間林葉剛證明了n方程的有條件全局正則性，這時間點、這研究方向，再加上這個和名字，你要說不是，我真的很難相信啊】
【我也覺，除了林神之外，學術界感覺也找不到第二個能夠起這個的人了】
看到這裡，劉正陽握著滑鼠的手微微一頓。
「林葉……」 他靠在椅背上，陷入了沉思。
這個猜測，其實在他心裡也閃過好幾次。
對於那位上京大學的天才少年，劉正陽雖然還沒見過真人，但心裡是真正服氣的。
別的先不說，光是這小子能把震旦數院那位眼高於頂的張正院士給折服，這就足以讓劉正陽豎起大拇指了。
張正那是誰？出了名的學閥作風，脾氣又臭又硬。
劉正陽作為同學院的教授，平時那都是能繞著走就繞著走。
可自從半年前金陵那個會議之後，張院士回來就像變了個人似的，不僅收斂了許多，連帶著整個數院的學術氛圍都清朗了不少。
聽說，就是被這個林葉在學術上給硬生生「斗」服的。
「如果是林葉的話，那這一切似乎就解釋通了……」
「再加上這個……」
劉正陽喃喃自語，手指輕輕敲擊著桌面。
但下一秒，他又搖了搖頭，否定了這個看似合理的推測。 「不對，邏輯上說不通。」
：
劉正陽的目光重新落回到了那個關於【費馬型超曲面】的題目上。
「林葉目前展現出來的天賦，無論是幾何剛性交換子，還是那些流體算法，核心都在 p和調和分析上，那是他的基本盤。」
「但這道題……這是純不能再純的算術幾何。」
「而且還是涉及到函數域、丟番圖逼近這種極深極偏的領域。」
雖然坊間傳聞林葉說過n方程的終極鑰匙在代數幾何里，但知道是一回事，掌握又是另一回事。
總不能說，這小子在搞定n方程有條件正則性、去普林斯頓做報告的間隙里，還有空把格羅滕迪克搞出來的代數幾何給啃透了吧？
「那可是需要三年五載坐冷板凳才能入門的學問啊……」
劉正陽失笑著搖了搖頭。
天才也是人，不是神。
時間對每個人都是公平的。 他繼續往下滑，果然，論壇里也有不少明眼人提出了同樣的質疑。
【樓上的別瞎猜了。林神確實牛逼，但他不是全能神。這道題涉及到的可是算術幾何！而且光看這個問題，沒有極其深厚的數論功底是寫不出來的，特別是ly2000大佬在最後還給了三個小提示，這說明這個問題ly2000大佬都已經做出來了，所以他才出了這個問題，而林神才大一，他哪來的時間學這個？】
【附議。術業有專攻，我覺 ly2000可能是一位隱世不出的全能型數學大牛，甚至我現在都懷疑可能是某個團隊的公共帳號了。】
就在這時，帖子終於迎來了重量級的回覆。
自從偏微分樹洞火了之後，吸引進來的可不僅僅是搞偏微分方程的，還有不少其他領域的大佬也進來了，其中不管是搞代數幾何還是搞數論，都有。
【謝邀，剛下飛機。看到這題我人都傻了。我是專門搞函數域算術的，但我說，樓主這道題的切入點極其刁鑽，它要求構造的那個幾何微分算子，在現有文獻里根本找不到現成的。】
【這題……很難，非常難。它不是那種普通的難題，而是那種……怎麼說呢，感覺像是從某個龐大的理論體系里切片下來的一角。這個問題要是證明出來，最後的理論感覺都可以用來發一篇四大了。】
【連專門搞這個的大佬都說難？那樓主到底是誰啊？一個搞 p的論壇，為什麼會出現這種級別的代數幾何題？而且樓主還說這跟 n方程有關？難道真的有人打通了這兩個領域？】
看著這些專業人士的評價，劉正陽倒吸了一口涼氣。
連搞數論的都覺難？
甚至覺能發四大？
這位ly2000大佬……究竟是何方神聖？ 竟然能夠想出這樣的問題出來……
甚至就像是這些評論裡面所說的，對方既然能夠給出三個小提示，肯定說明對方已經將這個問題給解出來了。
劉正陽盯著屏幕上那個【ly2000】的 ，眼神變極其複雜。
：
本來他都已經基本停下了對這位身份的好，但是現在……
他對於這位的真實身份變越發的好了。
如果這個人不是林葉，那華國數學界到底還藏著怎樣一尊深不可測的大佛？
而如果這個人真的是林葉……
那這個少年的恐怖程度，恐怕要超出所有人的想像力邊界了。
……
【祝大家除夕快樂！】
【今天就這一章了，這幾天過年期間的更新量相對會少點】 ：