還不等其他聽眾反應過來,法爾廷斯又站了起來。
“Dr. Xiao,你的整個證明建立在一個核心前提上,那就是和樂群在光滑解演化過程中的嚴格守恆性。
我仔細看過你的證明,你用的論證是基於辛流形上陳省身類的不變性。
但我不太明白,你在從渦量場的連續極限過渡到離散近似時,使用了格點規範理論中的一個截斷技巧,這個截斷在紫外區域會不會破壞和樂群的拓撲結構?如果破壞了,守恆性就無法保證了。”
他這個問題問的很細。
肖宿想了想,轉身在白板上寫了幾行。
“這個問題我在第四篇論文裡專門處理過,在從連續極限過渡到格點截斷時,和樂群的拓撲結構確實有可能被破壞,但是,這個前提是截斷尺度要小於某個臨界長度,而這個臨界長度正好等於科爾莫戈羅夫耗散尺度的倒數和樂不變數的乘積。
我在NS方程的框架下證明了,任何物理上合理的截斷尺度都遠大於這個臨界值,所以紫外截斷不會破壞拓撲結構。”
他又在白板上寫了一個簡潔的不等式。
“格點截斷的紫外截斷能量,遠小於和樂拓撲的激發能量,這個能量間隙的存在性,本身也是由曲率正則化定理保證的,這個我也在第五篇論文的第三部分裡給出了嚴格估計。”
法爾廷斯沉默的思考了一會兒,然後緩緩點了點頭。
他在學術界一向以嚴苛著稱的,但是現在,法爾廷斯覺得,肖宿比他明顯更適合這個評價,他的證明環環相扣,每一步都嚴謹的可怕。
經歷過兩位頂尖大佬的提問,報告廳裡的氣氛變得更微妙了。
後排那些本來還在消化內容的學者,乾脆都放棄了掙扎,轉而當起了吃瓜群眾。
眼看沒什麼人提問,馬克·安德森忍不住站了起來。
“Dr.Xiao,”安德森的聲音在麥克風裡聽起來有些發緊,“我想問的不是關於NS方程的,而是你剛才寫在白板左側的那個公式。”
“你剛才說,這個公式指出了質量間隙問題的一個解決方向,我想確認一下,這是認真的嗎?你真的認為,從這個方向出發,楊米爾斯質量間隙的存在性可以被嚴格證明?”
全場都豎起了耳朵。
肖宿等他說完,沒有任何猶豫,回答道:“是。”
話音落下,報告廳裡頓時響起一陣嗡嗡聲。
安德森深吸一口氣,追問道:
“那你能詳細說明一下這個方向的思路嗎?畢竟質量間隙問題在克雷研究所的千禧年大獎難題榜單上已經掛了二十多年了,全球不知道多少頂尖團隊都折在了這個問題上,我們都很關注。”
肖宿想了想,簡單說說思路的話,也不費多少時間。
他點了點頭,拿起馬克筆,在白板上重新寫下了那個公式,然後在旁邊補充了幾個關鍵的推導步驟。
“這個研究的核心思想其實和我證明NS方程全域性正則性的思路一致。
在楊米爾斯規範場中,膠子場的自相互作用和非阿貝爾規範對稱性,會自然產生一個能量壁壘,而這個壁壘的存在性,等價於規範場構型空間上一個和樂約束條件。”
他一邊說一邊寫。
“當我們把這個約束條件表示為一個變分不等式的形式,左邊是規範場的和樂約束運算元作用在商空間上,右邊是能隙泛函的極小值條件。
”。證保了到得就在存的隙能麼那,立都群範規爾貝阿非的意任對式等不分變個這明證能果如
”。題問隙間量質擊攻來用接直以可,後之廣推群範規的當適過經,工套全的則正域全程方SN明證來用我,著味意就這,的構同全完是式等不分積率曲的程方SN和上構結學數在式等不分變個這,於在鍵關“








