从 M 理论与对称拓扑场论推导 (-1)-形式对称性

我们在 M 理论的几何工程框架内探讨(-1)-形式对称性。通过构建所选5d $\mathcal{N}=1$、4d $\mathcal{N}=2$和4d $\mathcal{N}=1$理论的对称拓扑场论(SymTFT)，我们形式化了这些对称性的几何起源并计算涉及(-1)-形式及更高形式对称性的混合异常多项式。我们的发现一致揭示了离散和连续(-1)-形式对称性，与既定场论结果相吻合，同时也发现新的(-1)-形式对称性因子和结构洞见。特别是，我们研究4d $\mathcal{N}=1$理论的SymTFT，这些理论源于G_2全微分形状空间，获得了如修改的即时和4群结构等性质，这些性质在其他4d规范理论中也有观察到。此外，我们系统构建了连续可约对称性的对称性算子，修订了现有方案，并为其提供了M 理论来源。