“什麼?!”
孔採維奇臉上的笑容瞬間僵住了。
拉福格和雨果也用一種看怪物一樣的眼神看著徐辰。
白板上,徐辰開始寫。
“首先,Fourier-Mukai變換之所以有侷限,是因為它的核物件被限制在了X×Y的有界匯出範疇裡,它捕捉的是“線性”等價——也就是說,它本質上還是在用Abel範疇的語言去描述三角範疇的結構。“
“但匯出範疇的等價,遠比Abel層的等價更豐富。這裡面有大量的“非線性”成分,也就是高階同倫資訊,是Fourier-Mukai的核語言根本表達不了的。“
他在白板上畫了一個簡單的範疇圖。
“所以,問題的關鍵在於:我們需要一個能夠捕捉高階同倫資訊的“廣義核”。“
“我的想法是,不要在匯出範疇本身找核,而是把問題提升到∞-範疇的語言裡,在那裡去構造一個“譜核”——也就是一個作用在穩定∞-範疇上的核物件。“
孔採維奇的眉頭悄悄地皺了一下,然後又緩緩鬆開了。
這個方向……他和學生們也不是沒想過。但每次試圖提升到∞-範疇時,就會遇到一個棘手的相容性問題:譜核在退回到經典的三角範疇時,必須和原有的Fourier-Mukai結構保持相容,否則這個提升就是無意義的平凡構造。
“然後呢?“孔採維奇忍不住開口,語氣己經和剛才隨意的“你回去慢慢想“完全不同了。
“然後,“徐辰繼續寫,“相容性的問題,可以用“扭形變”來處理。“
“在非交換代數幾何裡,X的形式鄰域可以被賦予一個B欄位——也就是一個來自H^2的量子化引數。這個B欄位扭曲了層的範疇結構,讓原本在交換情形下不存在的等價“浮現”出來。“
“如果我們在譜核的構造中,自洽地引入這個扭曲引數,那麼譜核在退化到經典極限時,它就會還原成普通的Fourier-Mukai核;而在非交換形變的方向上,它會生長出一系列“經典Fourier-Mukai無法看見”的新的等價類。“
“這些新的等價類……“
徐辰停頓了一下,抬起筆,轉過頭,看向孔採維奇。
“……它們的分類,應該由X的形式非交換形變空間的同倫自同構群來控制。而這個群,在卡拉比-丘情形下,和辛幾何側的Fukaya範疇的自同構之間,存在一個自然的對偶關係。“
“所以,如果這個框架是對的,那麼“隱藏等價”的系統性構造方案,就不是某幾個孤立的例子,而是由這個非交換形變空間的幾何整體決定的。“
徐辰放下馬克筆,稍微退後一步,看了看白板上那密密麻麻的幾何圖和公式。
“大概就是這個思路。細節還需要驗證,但框架應該是對的。“
……
整個辦公室裡死一般的寂靜。
只有徐辰的馬克筆在白板上摩擦的沙沙聲。
孔採維奇、拉福格、雨果,這三位站在人類數學巔峰的菲爾茲獎得主,此刻全都屏住了呼吸,死死地盯著白板上那些如同行雲流水般傾瀉而出的公式。
半個小時。
整整半個小時。
徐辰沒有停頓哪怕一秒鐘。
!路道的理真往通條一了開劈地生生,裡間空何幾數代的維高在,機算計子量的轉運率功全臺一是像就腦大的他
。筆的中手了下放,氣口一了出吐地長長他,時論結的映對構同行一後最下寫他當
”……呼“
。容笑的足滿分十個一了出上臉,師導的呆口瞪目位三著看,汗細的上頭額了,過轉辰徐
”。大常非都躍跳輯邏和量算計,的難實確題問個這,授教“
”!爽真,覺這。了力的辯答種那到於終我。授教,您謝謝“
……
。擊衝的烈強了到觀界世的己自覺,輯邏明證的完稱堪那上板白著看奇維採孔
。音聲出不發本己自現發卻,麼什點說想,張了張他
?爽
!?爽這管麼特你








