平凡群的平衡呈示，是数学里天生的隐形人。

它们同调上一片死寂，又没有任何非平凡的商群。

说人话就是，凡是现成的经典尺子，去量这类对象，量谁读数都一样。

而读数全都一样的尺子，就等於没有尺子。

於是莎拉自己动手，从张量范畴里搭出了一把新尺子。

然而结果却是……

这把新尺子量这种对象，照样全瞎。

接着她又想从物理那边借兵器，可是结果也一样。

所以经典的不行，新造的不行，外借的也不行，想证伪这个猜想，就这麽被她砌成了三面墙。

换个一般人，到这儿多半就放弃了。

可莎拉盯着这三面墙看了几个月，终於看到了一条缝。

三面墙拚在一起，反过来恰好画出了能用的那把尺子的样子。

她照着造了出来，取名挠精化不变量。

信息藏进代数结构最底下的根基里，读数活在有限环上，专门去量经典尺子量不了的东西。

现在只差最後一步：证明那几种变换确实动不了它的读数。

可问题是这一步被拆成了十一万条恒等式，每一条都是非交换环里上千个符号的精确硬算，错一条，整把尺子就废了。

按照一个熟手一天啃两三条算，这活儿交给一个人，得干上两百年。

就算凑出二十个熟手一起上，也得闷头啃整整十年，而现成的计算机代数系统，没有一个支持这种取值方式的精确运算。

这两个月，彭罗斯带着莎拉满世界飞，前前後後拉来了十几位同行分头啃。

到今天也才啃下来几百条。
本章已完成！