给予 8D 规范反常一个 $KO$

在 \cite{Garcia-Etxebarria:2017crf} 中，发现探测 $O7^+$-面的 $k$ 个 D7-branes 系统在 $k>1$ 时存在 $\mathfrak{sp}(k)$ 规范反常。这些作者随后猜想该 8D $\mathcal{N}=1$ 规范理论耦合到一个 8D 拓扑场论 (TFT)，使得总系统无反常，从而充当“拓扑” Green-Schwarz 机制。在本文中，我们构造了这样一个 8D TFT，并证明它确实抵消了规范反常。关键步骤是从放置在距离 7-branes 堆叠无穷远处的 D3-branes 和 fluxbranes 构造相关的拓扑算子。这类对称算子上定义了拓扑向量丛，其 $KO/KSp$-同调类在反常抵消中发挥作用。