Topological 8d $\mathcal{N}=1$ Gauge Theory: Novel Floer Homologies, and $A_\infty$-categories of Six, Five, and Four-Manifolds

技术摘要：拓扑 8d $N=1$ 规范理论：新型 Floer 同调以及六、五、四维流形的 $A_\infty$-范畴

问题陈述
本研究旨在为数学上已有的关于四、五、六及七维流形的 Floer 同调与 $A_\infty$-范畴的各种猜想，提供物理上的推导与范畴化。具体而言，本文寻求为以下关于猜想提供物理证明：

1. 规范理论 Floer 同调：六维流形的 Donaldson-Thomas (DT) Floer 同调、五维流形的 Haydys-Witten (HW) Floer 同调，以及七维流形的 $\text{Spin}(7)$ 瞬时子 Floer 同调。
2. Hyperkähler 与辛 Floer 同调：由超接触（hypercontact）三维流形定义的同调，及其与瞬时子模空间之辛交点 Floer 同调的关系。
3. 范畴化：构建用于范畴化这些 Floer 同调的 Fukaya-Seidel (FS) 型 $A_\infty$-范畴，特别是针对 Calabi-Yau (CY) 流形及其积空间的构型。
4. 对偶性：建立规范理论 Floer 同调与辛交点 Floer 同调之间的 Atiyah-Floer 型对偶。

这些结构此前曾由 Donaldson-Thomas、Donaldson-Segal、Hohloch-Noetzel-Salamon、Salamon、Haydys 以及 Cherkis 和 Bousseau 提出过猜想或推测，但缺乏统一的物理推导。

方法论
作者采用了一种定义在 $\text{Spin}(7)$-流形（具有 $\text{Spin}(7)$ 霍洛诺米性的八维流形）上的拓扑扭转 8d $N=1$ 规范理论。核心方法包括：

• 维度与拓扑约化：通过沿圆周 ($S^1$) 的 Kaluza-Klein (KK) 约化，以及沿 Calabi-Yau 曲面 ($CY_2$) 的拓扑约化，从 8d 理论导出低维（7d, 6d, 5d, 4d）有效理论。
• 超对称量子力学 (SQM) 诠释：将约化后的理论重新表述为无限维规范联络或映射空间上的 1d SQM 模型。这些 SQM 的配分函数被诠释为临界点之和，从而在物理上实现 Floer 同调群。
• Landau-Ginzburg (LG) 模型：通过考虑在带有 $\mathbb{R}^2$ 因子（如 $CY_3 \times \mathbb{R}^2$）上的理论，作者将该理论重新表述为 2d 规范化 Landau-Ginzburg 模型。这使得配分函数可以被诠释为孤子弦（soliton strings）树级散射振幅之和，从而实现 $A_\infty$-范畴。
• Tyurin 降解：为了建立对偶性，作者对 Calabi-Yau 三重流形 ($CY_3$) 沿 $CY_2$ 曲面进行 Tyurin 降解，通过分裂 $\text{Spin}(7)$-流形来联系规范理论构型与辛交点数据。

主要贡献与结果

1. 新型 Floer 同调：

   • 七维流形：为 $G_2$-流形定义了 $\text{Spin}(7)$ 瞬时子 Floer 同调。链由时间不变的 $G_2$ 瞬时子构型生成，微分是 Chern-Simons 型泛函梯度流的流线。这为 Donaldson-Thomas 猜想提供了物理证明。
   • 六维流形：为 Calabi-Yau 三重流形 ($CY_3$) 定义了 全纯 $G_2$ 单极子 Floer 同调。它通过包含一个非零实标量场（Calabi-Yau 单极子）推广了 Donaldson-Segal 猜想。当标量为零时，它退化为全纯向量丛情形。
   • 五维流形：为 $CY_2 \times S^1$ 定义了 全纯 Donaldson-Thomas Floer 同调。链由时间不变的 Haydys-Witten 构型生成，其中一个自对偶二形式分量为零。
   • Hyperkähler/辛同调：定义了由映射到 $CY_2$ 瞬时子模空间的超接触三维流形 ($HC_3$) 指定的 hyperkähler Floer 同调。研究表明，特殊情况（$HC_3 = T^3, I \times T^2, I \times S^1 \times \mathbb{R}$）分别等价于三重圈空间、双圈空间及瞬时子路径空间的辛交点 Floer 同调。

2. Atiyah-Floer 型对偶：

   • 建立了 $CY_3 \times S^1$ 的 $\text{Spin}(7)$ Atiyah-Floer 对偶，将规范理论的 $\text{Spin}(7)$ 瞬时子 Floer 同调与 $CY_2$ 上双圈空间瞬时子的辛交点 Floer 同调联系起来。
   • 推导了 $CY_3$ 的 7d-$\text{Spin}(7)$ Atiyah-Floer 对偶，将全纯 $G_2$ 单极子 Floer 同调与瞬时子圈空间的辛交点 Floer 同调联系起来。

3. Fukaya-Seidel 型 $A_\infty$-范畴：

   • 为 $CY_3$（六维流形）构建了一个 FS 型 $A_\infty$-范畴，其对象是 $\theta$-变形的 DT 构型（全纯向量丛）。态射被识别为相交分歧（thimbles，即孤子）的 Floer 同调类。
   • 为 $CY_2 \times S^1$（五维流形）构建了一个 FS 型 $A_\infty$-范畴，使 HW 构型范畴化。
   • 为 $CY_2$（四维流形）构建了一个 FS 型 $A_\infty$-范畴，使 Vafa-Witten (VW) 构型范畴化。
   • 证明了分别在 $\mathbb{R}^2$ 上的相应规范理论的归一化配分函数对应于孤子弦的树级散射振幅之和，从而定义了 $A_\infty$ 复合映射。

4. 范畴化方案：

   • 提出了一个系统性方案：$D$-流形 $M_D$ 上的构型与一个 0-范畴（Floer 同调）相关联，该 0-范畴由 $M_D \times \mathbb{R}$ 上的规范理论实现。
   • 该结构被范畴化为一个 1-范畴（FS 型 $A_\infty$-范畴），由 $M_D \times \mathbb{R}^2$ 上的规范理论实现。
   • 作者指出，这可以通过 $M_D \times \mathbb{R}^3$ 上的规范理论扩展到 2-范畴（Fueter 型），从而提供了一套更高阶的范畴结构层级。

5. 对猜想的物理证明：

   • 为 Donaldson-Thomas（$\text{Spin}(7)$ 瞬时子 Floer 同调）、Donaldson-Segal（DT Floer 同调）、Cherkis（通过八元数单极子实现的实 Floer 同调）、Hohloch-Noetzel-Salamon（hyperkähler Floer 同调）、Salamon（Atiyah-Floer 类比）、Haydys（全纯向量丛的 FS $A_\infty$-范畴）以及 Bousseau（Lagrangians 的 Hom-范畴与 $G_2$ 瞬时子 Floer 同调之间的对应关系）的猜想提供了物理证明。

意义
本文声称提供了一个统一的物理框架，不仅证明了这些数学猜想结构的客观存在，而且对其进行了推广（例如通过 $\theta$-变形和非零标量场）。通过将规范理论诠释为 SQM 和 LG 模型，作者建立了一个连接规范理论不变量、辛不变量及高阶范畴结构的“关系网”。本研究表明，$\text{Spin}(7)$ 理论中的拓扑不变性自然地导致了这些对偶性和范畴化。通过将规范理论视为 SQM 和 LG 模型，作者建立了一个连接规范理论不变量、辛不变量及高阶范畴结构的“关系网”。研究表明，$\text{Spin}(7)$ 理论中的拓扑不变性自然地导致了这些对偶性和范畴化。该工作展示了 $\text{Spin}(7)$ 理论中的拓扑不变性如何自然地导出这些对偶性与范畴化，为低维拓扑与代数几何中的深层数学结构提供了物理实现。这些结果是对先前工作 [1] 的推广，并搭建了高维规范理论与 Floer 同调范畴化之间的桥梁。