超引力 SymTFT 的沼泽地约束

我们考虑在紧致空间 $X=X^\text{loc} \cup X^\circ$ 上的 string/M-theory 约化，其中 $X^\text{loc}$ 包含奇异轨迹，$X^\circ$ 为其补集。对于所得的超引力理论，我们构造了一个与边界 $\partial X^\text{loc} \coprod \partial X^\circ$ 相关联的合适的对称拓扑场论（Symmetry Topological Field Theory, SymTFT）。我们提出，为使 SymTFT 给出与量子引力一致的绝对理论，包裹相同边界循环的不同 BPS 膜的边界条件必须相互关联。利用 heterotic/M-theory 对偶性，该约束可转化为一个场论表述，它将 $d\geq 7$、$\mathcal{N}=1$ 超引力理论的全局结构限制为精确重现非扭曲环面 heterotic 紧化的景貌。此外，对于 6d $(2,0)$ 理论，我们利用规范化的 0-形式、2-形式和 4-形式对称性之间的微妙相互作用，为 type IIB 的 K3 紧化中关联边界条件提供了一种自底向上的解释。