$\mathbb Z_2$-Harmonic Spinors and 1-forms on Connected sums and Torus sums of 3-manifolds

技术摘要：连通和与环面和 3-流形上的 $\mathbb{Z}_2$-调和旋量与 1-形式

问题陈述
本文研究了在闭、定向黎曼 3-流形上构造 $\mathbb{Z}_2$-调和旋量与 $\mathbb{Z}_2$-调和 1-形式的具体显式示例。这些对象作为各种规范理论方程（包括 Seiberg-Witten 方程以及对 $SL(2, \mathbb{C})$ 表示簇的研究）的奇异极限解出现。虽然 Doan 和 Walpuski [DW21] 已经建立了针对 $b_1(Y) > 1$ 流形的广义存在性定理，但其证明是非构造性的。此外，之前的显式示例非常稀缺，大多局限于对称情形。一个主要的底层技术障碍在于，与这些对象相关的奇异 Dirac 算符在标准函数空间上无法成为 Fredholm 算符，这是由于与奇异集 $Z$ 相关的无限维阻碍所导致的。此外，$\mathbb{Z}_2$-调和 1-形式的行为受到 $L^2$-Hodge 理论的约束，这使其区别于旋量情形。

方法论
作者采用胶合论证（gluing argument），从组成流形的解来构造连通和（$Y_1 \# Y_2$）和环面和（$Y_1 \natural Y_2$）上的解。核心技术框架依赖于由 Donaldson [Don21] 和 Parker [Par26] 建立的参数化版本的 Nash-Moser 隐函数定理，这对于处理该问题中固有的“正则性损失”是必要的。

该方法论分为三个主要阶段：

1. 近似解： 作者在胶合流形上构造近似解，通过将来自组成部分的解进行拼接。
   • 对于连通和上的旋量，他们利用 Spin Dirac 算符的共形不变性以及“颈部拉伸”（neck-stretching）构造，其中颈部长度 $T \to \infty$。
   • 对于1-形式和环面和，共形不变性失效。相反，他们采用使用模型度量（球面或环面）的“颈部挤压”（neck-pinching）论证，并利用局部精确形式（原函数）构造近似解，以确保保持闭合条件（$d\nu = 0$）。
2. 一致估计与参数化逆算子拼接： 作者建立了退化 Dirac 算符在颈部区域的一致椭圆估计。这涉及分析在柱状端（球面或环面）上的模型算符，并通过将来自组成部分的逆与颈部上的逆进行拼接来构造参数化逆算子（parametrices）。一个关键组成部分是对谱流（spectral flow）以及算符在奇异集附近行为的分析，这揭示了无限维的阻碍。
3. 通过 Nash-Moser 理论进行修正： 为了将近似解修正为真正的解，作者在正则性紧致的 Fréchet 流形范畴内应用 Nash-Moser 隐函数定理。这允许他们变形奇异集 $Z$，并引入有限维扰动（参数）来抵消无限维的阻碍。该定理保证了对于特定开邻域内的参数，存在真正的解。

主要贡献与结果

• 胶合定理：

  • 定理 1.3（连通和）： 给定 $Y_1$ 和 $Y_2$ 上光滑、弱非退化的 $\mathbb{Z}_2$-调和旋量（或 1-形式），作者构造了 $Y_1 \# Y_2$ 上的 $\mathbb{Z}_2$-调和旋量。其奇异集是原始奇异集的并集，且解是原始旋量的线性组合。
  • 定理 1.5（环面和）： 对于旋量情形，作者在环面和 $Y_1 \natural Y_2$（通过识别纽结邻域形成）上构造了解。这需要匹配 Spin 结构和框架（framing）。由于双分支覆盖的 $L^2$-上同调的拓扑约束，该结果通常不适用于 1-形式。

• Seifert 纤维化空间中的丰富示例：

  • 利用 Seifert 纤维化流形作为构建模块，作者证明了定理 1.7，即对于每个 $k \geq 1$，都存在允许奇异集由不相交纤维组成的光滑、非退化 $\mathbb{Z}_2$-调和旋量的度量。
  • 推论 1.8 为 $S^3$（Hopf 链路）、$S^1 \times S^2$ 和庞加莱同调球提供了显式示例。

• 全局存在性与同伦类：

  • 通过结合 Bär 关于调和旋量的定理，作者在推论 1.10 中证明了每一个闭、定向 3-流形都存在无穷多个参数，产生光滑、非退化的 $\mathbb{Z}_2$-调和旋量。至关重要的是，这些奇异集代表了嵌入链路的无穷多个不同的同伦类。这通过移除 $b_1(Y) > 1$ 的限制并提供显式构造，强化了 Doan-Walpuski 的存在性结果。
  • 推论 1.11 利用环面和，构造了奇异集代表非平凡同调类（具体为 $2k$ 个不相交的纽结 $K$ 的副本）的示例。

• 在 Seiberg-Witten 理论中的应用：

  • 推论 1.12 作者展示了，如果 $b_1(Y) > 0$，则存在无穷多个 $\text{Spin}^c$ 结构，使得两个旋量 Seiberg-Witten 方程的解的模空间是非空且非紧的。这与标准的 Seiberg-Witten 理论形成了鲜明对比，在标准理论中，对于负形式维数，此类模空间通常是空集或紧的。

• 关于 1-形式与 $L^2$-上同调的结果：

  • 论文强调了旋量与 1-形式之间的根本区别。虽然旋量可以自由胶合，但 1-形式受到来自双分支覆盖的 $L^2$-上同调的严格约束。
  • 命题 1.13 在满足特定拓扑条件（例如 $n \geq 4$ 的 Brieskorn 同调球）的 Seifert 纤维化空间上构造了 $\mathbb{Z}_2$-调和 1-形式。
  • 猜想 1.14 作者猜想，在 $SL(2, \mathbb{C})$ 特征簇为零维的流形（例如 $S^3$）上，不存在具有非平凡奇异集的 $\mathbb{Z}_2$-调和 1-形式。
  • 定理 1.15 根据 $L^2$-上同调描述了 1-形式的连通和行为，显示了双覆盖中存在一个额外的 $\mathbb{R}$ 因子，这对应于表示簇中的新边界层。

意义
该论文声称提供了在一般 3-流形上构造显式、丰富的 $\mathbb{Z}_2$-调和旋量与 1-形式的首个系统化方法。通过超越非构造性的存在性证明和对称示例，这项工作阐明了这些奇异对象与流形全局拓扑之间的关系。

具体而言，这些结果：

1. 强化了存在性定理： 他们将 $\mathbb{Z}_2$-调和旋量的存在性扩展到了所有闭 3-流形，而不局限于 $b_1 > 1$ 的流形。
2. 澄清了模空间结构： 他们揭示了两个旋量 Seiberg-Witten 方程的模空间可以在无穷多个 $\text{Spin}^c$ 结构下是非紧的，这一现象与 $SL(2, \mathbb{C})$ 表示簇的非紧性相关联。
3. 区分了旋量与 1-形式的行为： 他们的工作严谨地证明了，虽然旋量在胶合下是稳健的，但 1-形式受到来自 Hodge 理论和双分支覆盖结构的更严格的拓扑约束。
4. 为未来研究提供了框架： 提供代表不同同伦类的奇异集的显式构造，为研究规范理论模空间的几何以及表示簇的紧化提供了一种新工具。