Connected components of real loci in moduli spaces of vector and Higgs bundles over a Klein surface

技术摘要：克莱因曲面上向量丛与 Higgs 丛模空间中实轨迹的连通分支

问题陈述
设 $X$ 为一个亏格 $g \geqslant 2$ 的紧致、连通黎曼曲面，并配备一个反全纯对合 $\sigma: X \to X$（即实结构）。作者研究了实轨迹 $RN(r, d)$的拓扑结构，其中$RN(r, d)$定义为诱导的反全纯对合在秩为$r$、次数为$d$的半稳定向量丛模空间$N(r, d)$ 上的不动点集。

虽然几何稳定点集的连通分支之前已通过实向量丛和四元数向量丛的模解释得到了理解（特别是在 $\gcd(r, d) = 1$ 时），但在非互质情况 $\gcd(r, d) \neq 1$ 下，情况变得非常复杂。在非互质情形下，严格半稳定点并不具备直观的实或四元数丛的模描述，且向量丛实轨迹与 Picard 簇 $R\text{Pic}_d$ 之间的关系也变得更加复杂。本文旨在确定所有 $r \geqslant 1$ 及 $d \in \mathbb{Z}$ 时 $RN(r, d)$ 的连通分支数量，并随后将这些结果推广到 Higgs 丛的模空间。

方法论
作者采用了基于先前工作（如 [5], [16]）建立的规范理论方法。关键方法论要素包括：

1. 拉格朗日商 (Lagrangian Quotients)： 作者并未仅仅依赖代数几何，而是构造了代表实和四元数丛模空间的拓扑空间。他们利用光滑厄米特向量丛 $(E, \tau)$ 上的酉联络空间 $\mathcal{A}_h$，其中 $\tau$ 是实或四元数结构。$\tau$-相容的全纯结构集合对应于反辛对合 $\beta_\tau$ 的不动点集。
2. 杨-米尔斯联络 (Yang-Mills Connections)： 通过限制在杨-米尔斯联络空间 $\mathcal{A}_{YM}$ 上（根据 Donaldson-Narasimhan-Seshadri 定理，这些联络对应于多稳定丛），他们定义了拉格朗日商 $\mathcal{A}^\tau_{YM} / \mathcal{G}^\tau_h$。定理 3.2 确立了这些商空间是非空且连通的。
3. 归纳分解 (Inductive Decomposition)： 为了处理 $\gcd(r, d) = m > 1$ 的情况，作者使用关于 $m$ 的归纳策略。他们将实轨迹 $RN(r, d)$分解为低秩模空间乘积的连续映射图像的并集。具体而言，他们分析了行列式映射$c_{r,d}: RN(r, d) \to \pi_0(R\text{Pic}_d)$ 的纤维。
4. 交集论证 (Intersection Arguments)： 证明的核心在于展示这些较小的连通子空间（拉格朗日商的图像以及直和构造）具有非空交集，从而证明了纤维 $RN(r, d, s)$ 的连通性。

主要贡献与结果

1. 纤维的连通性 (定理 1.1 / 定理 4.1)：
   主要结果是，对于任何 $s \in \pi_0(R\text{Pic}_d)$，纤维 $RN(r, d, s) := c_{r,d}^{-1}(s)$ 是连通的。因此，$RN(r, d)$的连通分支分解完全由映射$c_{r,d}$ 的像决定。
   $$RN(r, d) = \bigsqcup_{s \in \text{Im } c_{r,d}} RN(r, d, s)$$

2. 连通分支计数 (定理 4.5 与 表 1)：
   作者根据 $g, r, d$ 的奇偶性以及曲面上是否存在实点（$X^\sigma \neq \emptyset$ 与 $X^\sigma = \emptyset$）提供了 $RN(r, d)$ 连通分支的完整计数：

   • 情况 $X^\sigma \neq \emptyset$： 实轨迹 $RN(r, d)$始终具有$2^{n-1}$个连通分支（其中$n$是$X^\sigma$的连通分支数），无论$\gcd(r, d)$是否等于 1。行列式映射诱导了$RN(r, d)$的分支与$R\text{Pic}_d$ 之间的双射。
   • 情况 $X^\sigma = \emptyset$： 当 $\gcd(r, d) \neq 1$ 时，分支数量可能严格小于 $R\text{Pic}_d$ 的分支数量。
     • 若 $g$ 为偶数，$d$ 为奇数且 $r$ 为偶数，$RN(r, d)$为空集，尽管$R\text{Pic}_d$ 可能存在分支。
     • 若 $g$ 为奇数，$d$ 为偶数且 $r$ 为偶数，$RN(r, d)$具有 1 个连通分支（包含实丛与四元数丛），而$R\text{Pic}_d$ 有 2 个分支。
   • 四元数丛： 本文澄清了当 $X^\sigma \neq \emptyset$ 且 $\gcd(r, d) \neq 1$ 时，四元数向量丛（要求偶数秩和偶数次数）确实存在，但它们完全包含在对应于行列式线丛平凡 Stiefel-Whitney 类之纤维内。

3. 向 Higgs 丛的推广 (定理 1.2 / 定理 5.1)：
   这些结果被推广到半稳定 Higgs 丛的模空间 $R\mathcal{M}_{Dol}(r, d)$。作者证明了子空间 $R\mathcal{M}_{Dol}(r, d, s)$ 是包含 $RN(r, d, s)$ 的实 Higgs 模空间的连通分支。这证实了 Higgs 丛的连通分支数量与底层向量丛的连通分支数量一致。

4. 对 Brane 的拓扑意义 (定理 1.3 / 定理 5.3)：
   通过将这些结果应用于非阿贝尔 Hodge 对应，作者研究了特征簇 $M_B(r, 0)$ 上特定对合的固定点集的拓扑结构。他们证明了 $(A, A, B)$-brane（由 $\beta$ 固定）与 $(A, B, A)$-brane（由 $\tilde{\beta}$ 固定）是同胚的。其连通分支的数量由用于 $RN(r, d)$ 的相同计数给出。

重要性
本文解决了任意秩和次数下向量丛模空间中实轨迹的拓扑分类，消除了 $\gcd(r, d) = 1$ 的限制性假设。它表明，尽管在严格半稳定情况下模解释会失效，但基于规范理论的连通拉格朗日商构造为确定连通性提供了一个稳健的框架。

作者强调，实轨迹的行为在很大程度上取决于 $r$ 和 $d$ 相对于亏格以及曲面上是否存在实点的算术性质。特别是，本文纠正了在不存在实点时 $RN(r, d)$的分支数总是等于$R\text{Pic}_d$ 分支数的朴素预期，展示了行列式映射的像可以是 Picard 簇分支的一个真子集。这些发现被用于完善对超凯勒商中 brane 拓扑结构的理解，特别是建立了由不同实结构定义的不同类型 brane 之间的同胚关系。