S^1/Z_2 上的 M 理论：细致分析得到的新事实

我们仔细重新检验在 M 理论的 S^1/Z_2 轨形中求解修正 Bianchi 恒等式、反常相消和通量量子化的问题，采用无边界的“楼上”形式体系，避免了早先文献中的若干误解。虽然修正 Bianchi 恒等式下四形式 G 的解似乎依赖于任意参数 b，我们证明要求 G 全局良定义，即在小规范变换、大规范变换和局域 Lorentz 变换下不变，可固定 b=1。该值对于在小半径极限下一致约化到异弦也是必要的。坚持在圆上恰当定义所有场，我们发现存在一个先前未被注意到的来自十一维拓扑项的反常流入附加贡献。反常相消于是要求 b 与规范和引力耦合常数 lambda 和 kappa 的组合 lambda^6/kappa^4 之间的二次关系。这与先前认为反常相消会给出 b 的三次方程的观点相反。我们观察到我们的 G 解自动满足对适当循环的整或半整数通量量子化。我们显式写出了作为从 M 理论方法继承的异弦反常相消项。它们与通常的项不同，多出一项良定义的局域抵消项。我们也展示了五膜如何进入我们的分析。