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