”

    顾长钧从公文包里掏出一个巴掌大的笔记本和一支圆珠笔，飞快地记了起来。

    他一边记，一边在心里暗自庆幸自己没有空手来。

    “其他几个问题也都属于类似性质，”肖宿继续说，“Gribov拷贝那个，叶所长在文档里的分析方向是对的，问题确实出在局部坐标卡复盖和全局骨架索引的维度错配。

    你们用的方法是把局部截断用单位分解粘合成全局截断，这条路对于交换群没问题，因为交换群的规范等价类是良定义的商集。

    非交换群的和乐等价类在商空间上会形成一种叫层化辛叶状结构的东西，不同叶之间的规范变换不是孤立的点对点映射，而是一个连续的同伦路径族。

    局部坐标卡只能看到单个叶上的结构，看不到叶与叶之间的骨架关系，所以用局部截断粘合出来的全局截断天然就是不完整的。”

    顾长钧在笔记本上飞快地写着，字迹潦草到大概只有他自己认识了。

    他记到“层化辛叶状结构”的时候，笔尖在纸上顿了一下。

    层化辛叶状结构这个表述，他从来没在任何文献里见过，但是肖宿说的那么自然……难道是自己脱离前沿太久，已然跟不上如今的学术进展了？

    “那解法呢？”

    “解法很简单，不用局部坐标卡做单位分解，而是直接从规范场的和乐群作用出发，在高阶群胚的骨架上定义截断。

    高阶群胚的骨架天然包含了所有叶之间的同伦关系，所以在骨架层面上定义的截断可以自动复盖整个商空间，这样就不需要再粘合了。”

    “那这个骨架具体要怎么构造呢？”顾长钧皱着眉，继续追问道。

    “先把规范场构型空间上的和乐群作用定义为一个二维群胚，那它的对象就是规范场构型，态射是和乐变换，然后取这个群胚的脉，得到它的骨架分片。

    骨架分片上的每个单形映射一组彼此可以通过和乐变换互变的规范场构型，这就是一个等价类，接着，在这些单形上定义截断条件，然后沿着骨架往上递推，一层一层推到最高维就行了。”