第425章 記住我
經過這一出，底下的學生更是不敢提問了，又是一陣沉默。
肖宿的目光掃過全班，那雙琥珀色的眼睛掃過的時候，底下的學生都移開了眼神，避免和他對視。
這一節確實很簡單，應該沒什麼問題了。
看來他已經說明白了。
他正這麼想著，忽然從後排傳來一個聲音。
「肖教授，我有一個問題。」
所有人都回頭了。
說話的是一個坐在後排靠走廊位置的男生，穿著一件華清大學的校服衛衣，胸前印著顯眼的校徽。
在一屋子京大學生中間，這身打扮顯得格外扎眼。
事實上，今天這間教室里坐著的不只是京大的學生。
因為肖宿的第一堂課早就在京大和華清的學生論壇上傳開了，不少華清的學生特地騎車穿過中關村大街跑過來旁聽。
華清校內的選課系統里當然沒有這門課，但是這攔不住他們自帶摺疊椅來蹭課，不過大家都很默契的選擇了低調處事，不會像他那麼高調的穿著標誌性的衣服。
這個華清的男生叫彭知行，是華清數學科學中心研二的學生。
他今天來旁聽，目的很純粹，就是想親眼看看傳說中的肖宿到底是什麼樣的。
能考上華清數學系的研究生，他自然也是同齡人中的佼佼者，甚至在班級里也是被同學們稱為「大佬」的存在。
但是這堂課他越聽越覺得自己的專業基礎跟一張紙片一樣薄，他引以為傲的那些知識儲備在肖宿的推導速度面前連入門都算不上。
這讓彭知行心裡很不舒服。
倒不是嫉妒，可就是心裡不舒服。
他不甘心就這麼默默地走出這間教室，他想讓肖宿注意到自己，證明自己也不是一個純粹來湊熱鬧的旁觀者。
所以他舉起了手。
「肖教授，」彭知行站起來，儘量讓自己的聲音聽起來平靜一些，「我最近在看非交換幾何方面的文獻，對Connes的譜三元組理論有些興趣。
您剛才講的商空間降維框架里，商空間上的譜分解處理的是交換代數上的模結構。
如果把這個框架推廣到非交換的情形，譜三元組的局部指標定理在模空間的退化邊界上會怎麼表現呢？」
這個問題一出，教室里至少一半的人連問題本身都沒聽懂。
剩下那一半聽懂了問題表述的人，比如曹平和許昌寧，則是同時在心裡倒吸了一口涼氣。
非交換幾何，那是阿蘭·孔涅在八十年代建立的用來描述量子空間幾何結構的數學分支。
這個領域已經夠偏門了，彭知行居然還追問到了譜三元組的局部指標定理在模空間退化邊界上的行為，這個問題如果展開討論，已經不只是高階選修課的水平，而是實打實的開放研究課題了。
後排的沈殊清微微皺了一下眉，目光從肖宿身上移到了彭知行身上。
這個問題根本就不是一個課堂提問能夠解決的，這個學生提這個問題根本不是為了求知解惑，更像是刻意拋出一個超高難度的學術難題，想在課堂上博取教授的關注。
彭知行自己其實也只讀過幾篇相關的綜述，對譜三元組和局部指標定理的理解還停留在概念層面，真要讓他把這個問題繼續往下展開，他大概率也說不清楚。
他的想法很簡單：我問一個足夠難的問題，哪怕肖教授不能當場回答，至少也能讓他看我一眼，記住這個提問的華清學生。
肖宿看了他一眼。
然後，讓彭知行比較意外的是，他那雙琥珀色的眼睛裡沒有被打擾的不耐煩，也沒有被刁難的不悅，反而亮了一下。
那一瞬間的眼神變化很細微，但是坐在第一排的幾個學生捕捉到了。
「你這個問題問的挺好的。」肖宿說。
後排的沈殊清和陳遠山同時坐直了身體。
肖宿轉過身，換了一張新的黑板，又拿起一支新的粉筆，寫了起來。
「非交換幾何里，譜三元組的局部指標定理在模空間退化邊界上的行為，確實是一個開放的問題。
不過你說它和商空間降維框架的關係，本質上是同一個問題在交換和非交換兩種代數結構上的不同表現。」
他一邊說一邊快速在黑板上寫著。
「我們先定義模空間的退化邊界。
模空間M是材料參數空間的商結構，它的邊界∂M對應於某種材料性能指標的極值退化情形。
在交換情形下，商空間上的譜分解由Atiyah-Singer指標定理保證，局部指標是拓撲不變量，在M的內部處處有定義。」
「但是在退化邊界上，模空間的底流形不再是光滑的，這個時候交換代數上的譜分解框架就失效了，需要引入非交換代數來替代。
而這就是你提到的Connes譜三元組的作用。」
他的粉筆又在黑板上寫出了一個譜三元組的定義。
「(A,H,D)，A是非交換C代數，H是希爾伯特空間，D是狄拉克算子。
在商空間的退化邊界上，交換代數C∞(M)需要用非交換代數A來替代，這時候局部指標定理的推廣形式就是Connes的譜三元組局部指標公式。」
他停了半秒，側過頭看著黑板上的公式。
粉筆在公式上方懸停，像是在腦海里驗證一條剛剛浮現的路徑。
「在光滑的內部區域，局部指標由曲率形式給出，它依賴於狄拉克算子D的譜分解。
但是在退化邊界上，D的譜會出現簡併，局部指標的離散性會被打破，轉變為一種連續分布，這種分布恰好可以由商空間的凸性條件來控制。」
沈殊清和陳遠山同時微微張嘴，交換了一個眼神。
能在短短几秒內切中非交換幾何中關於退化邊界正則性的核心難點，這不是隨機應變，而是那種只有全局推演過整套構造的人才會有的從容。
肖宿的思考速度，簡直強的可怕。
符宴民握緊了保溫杯，手指關節有些發白。
他有預感，自己可能正在見證一套全新數學工具的誕生。
他今天只是來聽肖宿講一堂基礎課的，卻沒想到能親眼見到一個尚未被攻克的開放難題被當場拆解。
這種學術機緣，一輩子也碰不上幾次。
肖宿的目光掃過全班，那雙琥珀色的眼睛掃過的時候，底下的學生都移開了眼神，避免和他對視。
這一節確實很簡單，應該沒什麼問題了。
看來他已經說明白了。
他正這麼想著，忽然從後排傳來一個聲音。
「肖教授，我有一個問題。」
所有人都回頭了。
說話的是一個坐在後排靠走廊位置的男生，穿著一件華清大學的校服衛衣，胸前印著顯眼的校徽。
在一屋子京大學生中間，這身打扮顯得格外扎眼。
事實上，今天這間教室里坐著的不只是京大的學生。
因為肖宿的第一堂課早就在京大和華清的學生論壇上傳開了，不少華清的學生特地騎車穿過中關村大街跑過來旁聽。
華清校內的選課系統里當然沒有這門課，但是這攔不住他們自帶摺疊椅來蹭課，不過大家都很默契的選擇了低調處事，不會像他那麼高調的穿著標誌性的衣服。
這個華清的男生叫彭知行，是華清數學科學中心研二的學生。
他今天來旁聽，目的很純粹，就是想親眼看看傳說中的肖宿到底是什麼樣的。
能考上華清數學系的研究生，他自然也是同齡人中的佼佼者，甚至在班級里也是被同學們稱為「大佬」的存在。
但是這堂課他越聽越覺得自己的專業基礎跟一張紙片一樣薄，他引以為傲的那些知識儲備在肖宿的推導速度面前連入門都算不上。
這讓彭知行心裡很不舒服。
倒不是嫉妒，可就是心裡不舒服。
他不甘心就這麼默默地走出這間教室，他想讓肖宿注意到自己，證明自己也不是一個純粹來湊熱鬧的旁觀者。
所以他舉起了手。
「肖教授，」彭知行站起來，儘量讓自己的聲音聽起來平靜一些，「我最近在看非交換幾何方面的文獻，對Connes的譜三元組理論有些興趣。
您剛才講的商空間降維框架里，商空間上的譜分解處理的是交換代數上的模結構。
如果把這個框架推廣到非交換的情形，譜三元組的局部指標定理在模空間的退化邊界上會怎麼表現呢？」
這個問題一出，教室里至少一半的人連問題本身都沒聽懂。
剩下那一半聽懂了問題表述的人，比如曹平和許昌寧，則是同時在心裡倒吸了一口涼氣。
非交換幾何，那是阿蘭·孔涅在八十年代建立的用來描述量子空間幾何結構的數學分支。
這個領域已經夠偏門了，彭知行居然還追問到了譜三元組的局部指標定理在模空間退化邊界上的行為，這個問題如果展開討論，已經不只是高階選修課的水平，而是實打實的開放研究課題了。
後排的沈殊清微微皺了一下眉，目光從肖宿身上移到了彭知行身上。
這個問題根本就不是一個課堂提問能夠解決的，這個學生提這個問題根本不是為了求知解惑，更像是刻意拋出一個超高難度的學術難題，想在課堂上博取教授的關注。
彭知行自己其實也只讀過幾篇相關的綜述，對譜三元組和局部指標定理的理解還停留在概念層面，真要讓他把這個問題繼續往下展開，他大概率也說不清楚。
他的想法很簡單：我問一個足夠難的問題，哪怕肖教授不能當場回答，至少也能讓他看我一眼，記住這個提問的華清學生。
肖宿看了他一眼。
然後，讓彭知行比較意外的是，他那雙琥珀色的眼睛裡沒有被打擾的不耐煩，也沒有被刁難的不悅，反而亮了一下。
那一瞬間的眼神變化很細微，但是坐在第一排的幾個學生捕捉到了。
「你這個問題問的挺好的。」肖宿說。
後排的沈殊清和陳遠山同時坐直了身體。
肖宿轉過身，換了一張新的黑板，又拿起一支新的粉筆，寫了起來。
「非交換幾何里，譜三元組的局部指標定理在模空間退化邊界上的行為，確實是一個開放的問題。
不過你說它和商空間降維框架的關係，本質上是同一個問題在交換和非交換兩種代數結構上的不同表現。」
他一邊說一邊快速在黑板上寫著。
「我們先定義模空間的退化邊界。
模空間M是材料參數空間的商結構，它的邊界∂M對應於某種材料性能指標的極值退化情形。
在交換情形下，商空間上的譜分解由Atiyah-Singer指標定理保證，局部指標是拓撲不變量，在M的內部處處有定義。」
「但是在退化邊界上，模空間的底流形不再是光滑的，這個時候交換代數上的譜分解框架就失效了，需要引入非交換代數來替代。
而這就是你提到的Connes譜三元組的作用。」
他的粉筆又在黑板上寫出了一個譜三元組的定義。
「(A,H,D)，A是非交換C代數，H是希爾伯特空間，D是狄拉克算子。
在商空間的退化邊界上，交換代數C∞(M)需要用非交換代數A來替代，這時候局部指標定理的推廣形式就是Connes的譜三元組局部指標公式。」
他停了半秒，側過頭看著黑板上的公式。
粉筆在公式上方懸停，像是在腦海里驗證一條剛剛浮現的路徑。
「在光滑的內部區域，局部指標由曲率形式給出，它依賴於狄拉克算子D的譜分解。
但是在退化邊界上，D的譜會出現簡併，局部指標的離散性會被打破，轉變為一種連續分布，這種分布恰好可以由商空間的凸性條件來控制。」
沈殊清和陳遠山同時微微張嘴，交換了一個眼神。
能在短短几秒內切中非交換幾何中關於退化邊界正則性的核心難點，這不是隨機應變，而是那種只有全局推演過整套構造的人才會有的從容。
肖宿的思考速度，簡直強的可怕。
符宴民握緊了保溫杯，手指關節有些發白。
他有預感，自己可能正在見證一套全新數學工具的誕生。
他今天只是來聽肖宿講一堂基礎課的，卻沒想到能親眼見到一個尚未被攻克的開放難題被當場拆解。
這種學術機緣，一輩子也碰不上幾次。