第391章 肯定還有更簡便的路徑
肖宿在NS方程講座上提出的那個方向，核心思路就是這個。
他把規範場在低能區域的非微擾行為，映射到了一個幾何框架里。
這套幾何框架的核心，是他之前在證明NS方程全局正則性時建立的和樂群約束理論。
在和樂框架下，規範場的所有物理構型都被投影到了一個商空間上，而這個商空間的結構，是由規範場的和樂群完全決定的。
而能隙的存在性，就等價於這個商空間上某個能量泛函的極小值條件。
換句話說，他不是在算能隙是多少，而是在證明能隙必須存在。
這就像證明一個山谷里必然有一個最低點，而不需要知道這個最低點的海拔到底是多少。
你可以從山谷兩側的山脊線出發，用拓撲學和變分原理證明，給定地形的約束條件下，一定存在至少一個局部極小值。
這個極小值可能很淺，也可能很深，但是存在性是由地形的幾何結構保證的，不需要任何近似。
而肖宿要做的，就是在規範場的商空間上，找到那個保證極小值存在的幾何結構。
他之前已經完成了這個框架的大部分核心構造。
從NS方程的渦量商空間出發，把渦量場的和樂約束算子推廣到了楊-米爾斯規範場的構型空間，定義規範場商空間上的加權度量，建立推廣的曲率正則化定理，用高階群胚的骨架截斷消除格里博夫拷貝……
這些他都做完了。
但是每次翻到文檔最後一頁，看著那個還沒填完的最後一步，肖宿總覺得有什麼地方可以更簡潔一些。
就像一條路，明明已經走得通了，但總覺得旁邊草叢裡還藏著一條更直的小徑。
數學最美的地方，就在於極致的簡潔與對稱。
真正的終極公式，從來都是大道至簡，絕不會拖泥帶水的。
「肯定還有更簡便的路徑。」
肖宿低聲自語，把鍵盤往旁邊推了推，重新拿起筆和紙。
電腦屏幕上的公式他太熟了，以至於閉著眼睛都能推導出來。
但是正是這種熟悉，有時候反而會讓人看不見另一種可能。
筆尖落在紙上，發出細微的沙沙聲。
他從SU(3)和樂群的基本表示出發，把八維根系畫在紙上。
SU(3)的根系是一個六邊形的圖案，六個根矢量均勻分布在平面上，中心是一個原點。
每一個根矢量都對應著一個規範場的分量，根系之間的角度決定了這些分量之間的對易關係。
傳統的處理方法是把每一個根矢量對應的模式單獨拿出來做正則化，然後用群的表示論把它們重新組合起來。
這套方案是葉臻他們在文件中嘗試的路徑，邏輯上當然沒問題，但是真正算起來是極其繁瑣的，因為SU(3)有八個獨立的生成元，每一個生成元的模式都需要單獨處理，再加上它們之間的非交換關係會產生大量的交叉項，整個推導像一團打了無數個結的毛線球一樣，多且亂。
肖宿埋首寫了幾行，忽然停下了筆。
他的目光直直的落在了那個六邊形的根系圖的中心點上。
SU(3)的根系有一個非常特殊的性質，那就是它的六個根矢量的和為零。
這當然不是巧合，而是非交換和樂群的拓撲約束直接導致的。
如果所有根矢量的和為零，那就意味著這個根系天然具有一個零模，一個可以被商掉的冗餘自由度。
零模。
冗餘自由度。
商掉。
這幾個詞在他腦海里碰撞了一下。
他翻開手邊那篇格羅滕迪克1960年發表的關於概形理論的經典論文，目光掃過其中一段關於商空間上同調的論述。
格羅滕迪克在這篇論文裡證明過一個結論，那就是如果一個代數群的作用是自由的，那麼商映射的存在性由該群的上同調群的第一階障礙類決定。
對於SU(3)來說，它的第一階上同調群是平凡的，這就意味著，和樂群在規範場構型空間上的作用，天然就是自由的。
沒有障礙。
不需要處理任何上同調障礙！
而葉臻他們在文件里花了整整三章去論證怎麼繞開上同調障礙，繞了半天，其實這個障礙壓根就不存在。
他們被經典規範場論教科書里的標準方法給框住了。那些教科書在處理非交換群的時候，總是先做規範固定，然後發現規範固定不徹底，再然後引入補償場，也就是鬼場來抵消冗餘自由度，最後在路徑積分里留下一堆複雜的行列式。
但是如果直接從和樂群的拓撲結構出發，用格羅滕迪克的概形語言來重新描述規範場商空間，就會發現，規範固定這步操作本身就是多餘的。
規範場的物理構型天然就構成了一個良定義的商空間，不需要任何額外的固定條件，因為和樂群在構型空間上的作用是自由的，商空間從一開始就是良好定義的。
這就像是你想給一群人分組，傳統的做法是給每個人發一個號碼牌，然後按號碼分組。但是，你發現號碼牌有重複，有人拿了兩個號，有人沒拿到號，於是你又設計了一套複雜的校驗機制去消除重複。
這當然可以，但是毫無疑問，最後得到的東西肯定極其複雜累贅的。
這當然不行。
肖宿拿起筆，把之前寫的五頁推導全部劃掉了。
得重新開始。
這一次他決定轉換方向，不再從規範固定出發，而是直接從和樂群在構型空間上的群作用開始構造商空間。
用格羅滕迪克的概形語言，他把規範場的構型空間看作一個代數疊，和樂群的作用定義了疊上的等價關係，而商空間就是這個代數疊的模空間。
在模空間上，能量泛函的極小值條件不再需要處理任何冗餘自由度。
格里博夫拷貝的問題就自動消失了。
因為在代數疊的框架下，所有格里博夫拷貝都被識別為同一個疊點，它們本來就是一回事。
推導的速度越來越快，筆尖在紙上幾乎不停。
從模空間的定義，到加權度量的推廣，到曲率正則化定理的非交換版本，一步接一步，像多米諾骨牌一樣順次倒下。
他把規範場在低能區域的非微擾行為，映射到了一個幾何框架里。
這套幾何框架的核心，是他之前在證明NS方程全局正則性時建立的和樂群約束理論。
在和樂框架下，規範場的所有物理構型都被投影到了一個商空間上，而這個商空間的結構，是由規範場的和樂群完全決定的。
而能隙的存在性，就等價於這個商空間上某個能量泛函的極小值條件。
換句話說，他不是在算能隙是多少，而是在證明能隙必須存在。
這就像證明一個山谷里必然有一個最低點，而不需要知道這個最低點的海拔到底是多少。
你可以從山谷兩側的山脊線出發，用拓撲學和變分原理證明，給定地形的約束條件下，一定存在至少一個局部極小值。
這個極小值可能很淺，也可能很深，但是存在性是由地形的幾何結構保證的，不需要任何近似。
而肖宿要做的，就是在規範場的商空間上，找到那個保證極小值存在的幾何結構。
他之前已經完成了這個框架的大部分核心構造。
從NS方程的渦量商空間出發，把渦量場的和樂約束算子推廣到了楊-米爾斯規範場的構型空間，定義規範場商空間上的加權度量，建立推廣的曲率正則化定理，用高階群胚的骨架截斷消除格里博夫拷貝……
這些他都做完了。
但是每次翻到文檔最後一頁，看著那個還沒填完的最後一步，肖宿總覺得有什麼地方可以更簡潔一些。
就像一條路，明明已經走得通了，但總覺得旁邊草叢裡還藏著一條更直的小徑。
數學最美的地方，就在於極致的簡潔與對稱。
真正的終極公式，從來都是大道至簡，絕不會拖泥帶水的。
「肯定還有更簡便的路徑。」
肖宿低聲自語，把鍵盤往旁邊推了推，重新拿起筆和紙。
電腦屏幕上的公式他太熟了，以至於閉著眼睛都能推導出來。
但是正是這種熟悉，有時候反而會讓人看不見另一種可能。
筆尖落在紙上，發出細微的沙沙聲。
他從SU(3)和樂群的基本表示出發，把八維根系畫在紙上。
SU(3)的根系是一個六邊形的圖案，六個根矢量均勻分布在平面上，中心是一個原點。
每一個根矢量都對應著一個規範場的分量，根系之間的角度決定了這些分量之間的對易關係。
傳統的處理方法是把每一個根矢量對應的模式單獨拿出來做正則化，然後用群的表示論把它們重新組合起來。
這套方案是葉臻他們在文件中嘗試的路徑，邏輯上當然沒問題，但是真正算起來是極其繁瑣的，因為SU(3)有八個獨立的生成元，每一個生成元的模式都需要單獨處理，再加上它們之間的非交換關係會產生大量的交叉項，整個推導像一團打了無數個結的毛線球一樣，多且亂。
肖宿埋首寫了幾行，忽然停下了筆。
他的目光直直的落在了那個六邊形的根系圖的中心點上。
SU(3)的根系有一個非常特殊的性質，那就是它的六個根矢量的和為零。
這當然不是巧合，而是非交換和樂群的拓撲約束直接導致的。
如果所有根矢量的和為零，那就意味著這個根系天然具有一個零模，一個可以被商掉的冗餘自由度。
零模。
冗餘自由度。
商掉。
這幾個詞在他腦海里碰撞了一下。
他翻開手邊那篇格羅滕迪克1960年發表的關於概形理論的經典論文，目光掃過其中一段關於商空間上同調的論述。
格羅滕迪克在這篇論文裡證明過一個結論，那就是如果一個代數群的作用是自由的，那麼商映射的存在性由該群的上同調群的第一階障礙類決定。
對於SU(3)來說，它的第一階上同調群是平凡的，這就意味著，和樂群在規範場構型空間上的作用，天然就是自由的。
沒有障礙。
不需要處理任何上同調障礙！
而葉臻他們在文件里花了整整三章去論證怎麼繞開上同調障礙，繞了半天，其實這個障礙壓根就不存在。
他們被經典規範場論教科書里的標準方法給框住了。那些教科書在處理非交換群的時候，總是先做規範固定，然後發現規範固定不徹底，再然後引入補償場，也就是鬼場來抵消冗餘自由度，最後在路徑積分里留下一堆複雜的行列式。
但是如果直接從和樂群的拓撲結構出發，用格羅滕迪克的概形語言來重新描述規範場商空間，就會發現，規範固定這步操作本身就是多餘的。
規範場的物理構型天然就構成了一個良定義的商空間，不需要任何額外的固定條件，因為和樂群在構型空間上的作用是自由的，商空間從一開始就是良好定義的。
這就像是你想給一群人分組，傳統的做法是給每個人發一個號碼牌，然後按號碼分組。但是，你發現號碼牌有重複，有人拿了兩個號，有人沒拿到號，於是你又設計了一套複雜的校驗機制去消除重複。
這當然可以，但是毫無疑問，最後得到的東西肯定極其複雜累贅的。
這當然不行。
肖宿拿起筆，把之前寫的五頁推導全部劃掉了。
得重新開始。
這一次他決定轉換方向，不再從規範固定出發，而是直接從和樂群在構型空間上的群作用開始構造商空間。
用格羅滕迪克的概形語言，他把規範場的構型空間看作一個代數疊，和樂群的作用定義了疊上的等價關係，而商空間就是這個代數疊的模空間。
在模空間上，能量泛函的極小值條件不再需要處理任何冗餘自由度。
格里博夫拷貝的問題就自動消失了。
因為在代數疊的框架下，所有格里博夫拷貝都被識別為同一個疊點，它們本來就是一回事。
推導的速度越來越快，筆尖在紙上幾乎不停。
從模空間的定義，到加權度量的推廣，到曲率正則化定理的非交換版本，一步接一步，像多米諾骨牌一樣順次倒下。