不過整體看下來，肖宿反而有些意外。
他以為以他們的速度，怎麼也得一個多月才能打好地基，沒想到，短短幾天時間，葉臻他們就整理出了一條相當完整的研究路線了。
雖然中間有幾段繞了遠路，但是大方向是對的。
路線圖上的每一個節點都標註了需要攻克的數學工具，每一個預期的階段性成果都有明確的驗證標準。
即使沒有他幫忙，以這個路線圖的清晰程度，他們自己摸索著走下去，大概半年到一年也能把主要障礙清乾淨了。
當然，有一兩個地方確實不是靠時間就能推過去的。
因為要用到的數學工具，目前在標準教科書裡還不存在。
肖宿抬起頭，發現顧長鈞正一臉期待地看著他。
“你們的路線圖整體來看沒什麼偏離，大方向是對的，只是在路線設計上有幾個地方繞了遠路，多繞了大概三四個步驟而已。”
他把檔案翻到最後幾頁，指著其中一個式子淡淡說道：
“翻譯階段的工作可以直接跳過第三步和第四步，從第二步的規範群對應關係直接跳到第五步的商空間纖維叢分解，中間那步區域性座標卡驗證沒什麼必要，因為商空間的整體結構已經由和樂群的同倫類完全確定了，不需要再做區域性驗證了。”
顧長鈞從公文包裡掏出一個巴掌大的筆記本和一支圓珠筆，飛快地記了起來。
他一邊記，一邊在心裡暗自慶幸自己沒有空手來。
“其他幾個問題也都屬於類似性質，”肖宿繼續說，“Gribov複製那個，葉所長在檔案裡的分析方向是對的，問題確實出在區域性座標卡覆蓋和全域性骨架索引的維度錯配。
你們用的方法是把區域性截斷用單位分解粘合成全域性截斷，這條路對於交換群沒問題，因為交換群的規範等價類是良定義的商集。
非交換群的和樂等價類在商空間上會形成一種叫層化辛葉狀結構的東西，不同葉之間的規範變換不是孤立的點對點對映，而是一個連續的同倫路徑族。
區域性座標卡只能看到單個葉上的結構，看不到葉與葉之間的骨架關係，所以用區域性截斷粘合出來的全域性截斷天然就是不完整的。”
顧長鈞在筆記本上飛快地寫著，字跡潦草到大概只有他自己認識了。
他記到“層化辛葉狀結構”的時候，筆尖在紙上頓了一下。
層化辛葉狀結構這個表述，他從來沒在任何文獻裡見過，但是肖宿說的那麼自然……難道是自己脫離前沿太久，已然跟不上如今的學術進展了？
“那解法呢？”
“解法很簡單，不用區域性座標卡做單位分解，而是直接從規範場的和樂群作用出發，在高階群胚的骨架上定義截斷。
高階群胚的骨架天然包含了所有葉之間的同倫關係，所以在骨架層面上定義的截斷可以自動覆蓋整個商空間，這樣就不需要再粘合了。”
“那這個骨架具體要怎麼構造呢？”顧長鈞皺著眉，繼續追問道。
“先把規範場構型空間上的和樂群作用定義為一個二維群胚，那它的物件就是規範場構型，態射是和樂變換，然後取這個群胚的脈，得到它的骨架分片。
骨架分片上的每個單形對應一組彼此可以透過和樂變換互變的規範場構型，這就是一個等價類，接著，在這些單形上定義截斷條件，然後沿著骨架往上遞推，一層一層推到最高維就行了。”
