非平凡离散 torsion 无扭

我们从 Dijkgraaf--Witten 视角研究具有有限对称性群 G 的 n 环面上的离散 torsion。H^n(G,U(1)) 中的一个类为每个平坦 G 束（等效于每个在共轭下不变的 G 中的 commuting n 元组）分配一个相位。我们引入子群 Br^n(G)⊆H^n(G,U(1))，称为 \emph{untwisted} 类，即其 Dijkgraaf--Witten 相位在所有 commuting 元组上均平凡的那些类，并推导了一个涉及该不变式的普适系数完全序列。在二级，这恢复了 Bogomolov 乘子/无ramified Brauer 群。我们实现了计算 Br^n(G) 以及相应 torus 分区函数的算法，并报告了针对 SU(4) 中有限子群家族的计算结果。