我们在(3 + 1)d中探索2形拓扑规范理论。 可以将这些理论构建为sigma模型,目标空间为对称群G的第二个分类空间B 2 G,并按B 2 G的同调类进行分类。对于有限对称群,2形拓扑理论具有自然格 解释,我们用它来构造可完全求解的(3 + 1)d晶格哈密顿量模型。 这种构造依赖于引入代数同循环的同构,称为2-形式同同,该同构由B 2 G的单纯同循环来确定,这由所谓的Eilenberg-MacLane空间的W构造提供。 我们以代数和几何方式展示了2形式的4同余循环如何归结为G级矢量空间的预