肖宿听完叶臻的话，偏头想了几秒，然后拿起了马克笔。

“这个问题確实会存在，非交换和乐群带来的gribov拷贝，在传统的变分框架下是无法自动消除的。”

他在白板上画了一个简单的示意图，几条线交叉缠绕，然后在交叉点上画了一个圈。

“但是，如果用和乐群本身的上同调来重新定义商空间的截断条件的话，这个问题就可以被绕开。

具体来说就是，gribov拷贝对应的冗余自由度，在数学上可以被编码成一个高阶群胚的叠加结构。

如果把商空间的截断条件从传统的朗道规范提升到这个高阶群胚的骨架截断上，那么所有拷贝之间的规范等价性就会被自动识別为一个和乐等价类，不会再產生独立的变分贡献。”

他的马克笔在白板上快速划过，写下了一个紧凑的推导链。

“换句话说，gribov拷贝在传统的变分框架里之所以是噩梦，是因为它把同一个物理態分解成了多个虚假的局部极小值。

但是在我的这个框架里，商空间的定义本身就包含了和乐等价类的群胚结构，所以这些拷贝在进入变分泛函之前就已经被商掉了，那么也就不存在虚假极小值了，而极小能量轨跡的唯一性由推广后的曲率正则化定理保证。”

叶臻越听，眼睛瞪的越大，等肖宿说完，他忍不住惊嘆道：

“肖教授，如果你这个思路是对的，那么它解决的不仅仅是gribov拷贝的技术问题了，你等於是在规范场的构型空间上建立了一个全新的商空间结构，而在这个商空间里，规范等价类的几何性质，直接决定了能隙的存在性啊。”

“这个商空间结构本身，就是一个全新的数学对象了，而它的存在性和性质，还不是一条已知定理的推论，这么看的话，这已经构成了一个独立的新猜想了。”

一个独立的新猜想？

叶臻这话一出，报告厅里短暂的安静了片刻，然后就是一片譁然。

猜想。

一个全新的猜想？

这个分量有多重，在场所有的学者都清楚。

数学史上，能被冠以“猜想”之名而被后人铭记的，只有极少数，费马猜想、黎曼猜想、庞加莱猜想、哥德巴赫猜想……每一个都是数学史上的里程碑啊。

而现在，肖宿就这么创造了一个全新的猜想？

哪怕是之前没有完全听懂肖宿讲座的人，此时也都陷入了无比的震惊当中。

肖宿自己可能不太在意，但在场的所有学者都意识到，刚才肖宿那一番隨口的提点，对数学界意味著什么。

之前ns方程的全局正则性证明，已经是一座丰碑了。

但证明那是一个封闭的工作，是一个句號，而肖宿提出的这个猜想就不一样了，它將是一个新的开始，一个通向未知领域的路標。

任何一个猜想的出现，都將为数学界增添新的动力，就像黎曼猜想，从提出到现在一百六十多年，它催生了整个解析数论的繁荣，光是假定黎曼猜想成立而得到的命题就有上千条。

一旦黎曼猜想被证明，这些命题都將荣升为定理。

而肖宿刚刚提到的这个方向，它的辐射范围也是清晰可见的。