On the meagerness of the set of irregular bundles on Hopf surfaces

以下是 Edoardo Ballico 和 Elizabeth Gasparim 所著论文《Hopf 曲面上非正则丛集合的贫乏性》的详细技术总结。

1. 问题陈述与动机

本文探讨了 Hopf 曲面上稳定向量丛模空间的结构，Hopf 曲面是与 $S^3 \times S^1$ 微分同胚的非凯勒复曲面。具体而言，作者研究了这些模空间中非正则丛（irregular bundles）的性质。

• 背景：该研究受 Edward Witten 描述的 $S^3 \times S^1$ 上瞬子模空间的未决问题所驱动。一个具体目标是解决 $SU(2)$ 瞬子模空间的连通性问题。
• 核心问题：在代数几何（射影曲面）中，稳定丛通常表现出“良好”的行为（例如可滤性）。然而，在 Hopf 曲面等非凯勒曲面上，其行为尚不明确。作者旨在确定“非正则”丛（即具有跳跃或特定结构退化的丛）是否构成了模空间的重要组成部分，还是说它们可以忽略不计。
• 定义：
  • Hopf 曲面 ($X$)：一个经典的 Hopf 曲面，椭圆纤维化于 $\mathbb{P}^1$ 之上，纤维同构于椭圆曲线 $T$。
  • 模空间 ($M_{r,c}$)：秩为 $r$、第二陈类 $c > 0$ 且行列式平凡的稳定向量丛的空间。
  • 跳跃 (Jump)：若丛 $E$ 限制在纤维 $T_x$ 上不是半稳定的，则称 $E$ 具有跳跃。
  • 非正则丛 (Irregular Bundle)：若丛 $E$ 限制在某个纤维 $T_x$ 上是椭圆曲线上的非正则丛（定义为具有在 $\text{Pic}(T)$ 中不两两不同的不可约因子），则称 $E$ 为非正则丛。
  • 贫乏集 (Meager Set)：若一个集合是可数个无处稠密子集的并集，则称其为贫乏集。在拓扑学中，贫乏集是“小”的（其补集是稠密的）。

2. 方法论与技术途径

作者结合了形变理论、上同调分析以及椭圆曲线上向量丛的分类。

A. 与代数情形的对比

文章首先强调了标准代数论证为何在此非凯勒设定下失效：

1. 可滤性 (Filtrability)：在射影曲面上，丛通常是可滤的（即线丛的扩张）。而在 Hopf 曲面上，可滤丛必须具有跳跃。因此，没有跳跃的稳定丛的稠密开集完全由不可滤丛组成。
2. 不稳定分量：在一般型簇中，模空间可能包含仅由不稳定丛组成的大分量。作者研究了 Hopf 曲面上是否存在类似的“大”非正则丛分量，并证明不存在。

B. 上同调分析（引理 3）

证明的核心技术引擎是引理 3，它分析了椭圆曲线 $T$ 上向量丛的自同态空间。

• 前提：设 $F$ 是 $T$ 上秩 $r \ge 2$ 的半稳定丛，且 $\det(F) \cong \mathcal{O}_T$。
• 结果：
  • 若 $F$ 是正则的（不可约因子互不相同），则 $\dim H^0(T, \text{End}(F)) = r$。
  • 若 $F$ 是非正则的（分解中存在重复因子），则 $\dim H^0(T, \text{End}(F)) \ge r + 2$。
• 意义：自同态空间维数的这种跳跃（从 $r$ 增加到至少 $r+2$）意味着非正则丛具有更高程度的对称性（自同构），这在几何上对应于模空间中一个“更细”的轨迹。

C. 形变理论与满射性（定理 4）

作者利用层的正合序列，将曲面上丛的形变空间与纤维上的形变空间联系起来：
$$0 \to \text{End}(E)(-T_x) \to \text{End}(E) \to \text{End}(F) \to 0$$

• 满射性：通过分析上同调群（特别是 $H^1$），他们证明了限制映射 $\rho: H^1(X, \text{End}(E)) \to H^1(T_x, \text{End}(F))$ 是满射的。
• 余维数论证：由于纤维 $T_x$ 上非正则丛的空间具有更高的余维数（这是由于 $H^0(\text{End}(F))$ 的维数增加所致），且映射 $\rho$ 是满射，因此在模空间 $M_{r,c}$ 中限制为 $T_x$ 上非正则丛的丛 $E$ 的轨迹，在模空间中必须具有至少为 2 的余维数。
• 贫乏性：由于纤维化的底空间是 $\mathbb{P}^1$（维数为 1），这些轨迹在所有 $x$ 上的并集仍然是贫乏的（可数个余维数 $\ge 2$ 的集合的并集）。

3. 主要贡献与结果

主定理

定理 4：设 $U$ 是模空间 $M_{r,c}$ 的一个连通分支。$U$ 中所有非正则（即具有跳跃或在纤维上非正则）的丛 $E \in U$ 的集合在 $U$ 中是贫乏的。

• 推论：正则丛的集合在模空间的每个开子集中都是稠密的。正则丛是“典型”情况。

推论：模空间的连通性

推论 5：对于秩 $r=2$，复流形 $M_{2,c}$ 是连通的。

• 证明逻辑：
  1. 根据主定理，只需证明正则丛集合的连通性。
  2. 正则丛对应于谱曲线 $C_E$，这些曲线是亏格为 $2n-1$ 的光滑连通曲线。
  3. 与这些丛相关的图表集合构成一个不可约的 Zariski 开子集。
  4. 从丛到谱曲线的映射的纤维是这些光滑曲线的雅可比簇，它们是连通的。
  5. 因此，整个模空间是连通的。

4. 意义与影响

1. 解决 Witten 的问题：本文对 Edward Witten 提出的关于 $S^3 \times S^1$ 上 $SU(2)$ 瞬子模空间连通性的问题给出了肯定的回答。
2. 非凯勒几何：它确立了尽管缺乏凯勒度量且标准代数性质（如可滤性）失效，Hopf 曲面上稳定丛的模空间仍然具有由正则丛主导的“典型”结构。
3. 技术新颖性：本文表明，非凯勒设定下的“不良”行为（非正则性）并不一定导致模空间出现大的、不连通的分量，这与从一般型簇的类比中可能预期的结果相反。
4. 基础定义：它在 Hopf 曲面的背景下严格定义并区分了“跳跃”与“非正则性”，为非凯勒规范理论的未来研究澄清了几何图景。

总之，本文证明了非正则丛在 Hopf 曲面的模空间中在拓扑上是可忽略的（贫乏的），从而确立了正则丛的稠密性，并确认了秩 2 模空间的连通性。