《學霸的征途是星辰大海》第391章 博士答辯 五(1)

作者:見習人類觀察員·2個月前

“什麼?!”

孔採維奇臉上的笑容瞬間僵住了。

拉福格和雨果也用一種看怪物一樣的眼神看著徐辰。

白板上,徐辰開始寫。

“首先,Fourier-Mukai變換之所以有侷限,是因為它的核物件被限制在了X×Y的有界匯出範疇裡,它捕捉的是“線性”等價——也就是說,它本質上還是在用Abel範疇的語言去描述三角範疇的結構。“

“但匯出範疇的等價,遠比Abel層的等價更豐富。這裡面有大量的“非線性”成分,也就是高階同倫資訊,是Fourier-Mukai的核語言根本表達不了的。“

他在白板上畫了一個簡單的範疇圖。

“所以,問題的關鍵在於:我們需要一個能夠捕捉高階同倫資訊的“廣義核”。“

“我的想法是,不要在匯出範疇本身找核,而是把問題提升到∞-範疇的語言裡,在那裡去構造一個“譜核”——也就是一個作用在穩定∞-範疇上的核物件。“

孔採維奇的眉頭悄悄地皺了一下,然後又緩緩鬆開了。

這個方向……他和學生們也不是沒想過。但每次試圖提升到∞-範疇時,就會遇到一個棘手的相容性問題:譜核在退回到經典的三角範疇時,必須和原有的Fourier-Mukai結構保持相容,否則這個提升就是無意義的平凡構造。

“然後呢?“孔採維奇忍不住開口,語氣己經和剛才隨意的“你回去慢慢想“完全不同了。

“然後,“徐辰繼續寫,“相容性的問題,可以用“扭形變”來處理。“

“在非交換代數幾何裡,X的形式鄰域可以被賦予一個B欄位——也就是一個來自H^2的量子化引數。這個B欄位扭曲了層的範疇結構,讓原本在交換情形下不存在的等價“浮現”出來。“

“如果我們在譜核的構造中,自洽地引入這個扭曲引數,那麼譜核在退化到經典極限時,它就會還原成普通的Fourier-Mukai核;而在非交換形變的方向上,它會生長出一系列“經典Fourier-Mukai無法看見”的新的等價類。“

“這些新的等價類……“

徐辰停頓了一下,抬起筆,轉過頭,看向孔採維奇。

“……它們的分類,應該由X的形式非交換形變空間的同倫自同構群來控制。而這個群,在卡拉比-丘情形下,和辛幾何側的Fukaya範疇的自同構之間,存在一個自然的對偶關係。“

“所以,如果這個框架是對的,那麼“隱藏等價”的系統性構造方案,就不是某幾個孤立的例子,而是由這個非交換形變空間的幾何整體決定的。“

徐辰放下馬克筆,稍微退後一步,看了看白板上那密密麻麻的幾何圖和公式。

“大概就是這個思路。細節還需要驗證,但框架應該是對的。“

……

整個辦公室裡死一般的寂靜。

只有徐辰的馬克筆在白板上摩擦的沙沙聲。

孔採維奇、拉福格、雨果,這三位站在人類數學巔峰的菲爾茲獎得主,此刻全都屏住了呼吸,死死地盯著白板上那些如同行雲流水般傾瀉而出的公式。

半個小時。

整整半個小時。

徐辰沒有停頓哪怕一秒鐘。

!路道的理真往通條一了開劈地生生,裡間空何幾數代的維高在,機算計子量的轉運率功全臺一是像就腦大的他

。筆的中手了下放,氣口一了出吐地長長他,時論結的映對構同行一後最下寫他當

”……呼“

。容笑的足滿分十個一了出上臉,師導的呆口瞪目位三著看,汗細的上頭額過轉辰徐

”。大常非都躍跳輯邏和量算計,的難實確題問個這,授教“

”!爽真,覺這。了力的辯答種那到於終我。授教,您謝謝“

……

。擊衝的烈強了到觀界世的己自覺,輯邏明證的完稱堪那上板白著看奇維採孔

。音聲出不發本己自現發卻,麼什點說想,張了張他

?爽

!?爽這管麼特你

猜你喜歡

同題材或同分類的其他作品。