Higher rank bundles on Hopf surfaces

技术摘要：Hopf 曲面上高秩丛的研究

问题陈述
本文研究了经典 Hopf 曲面上高秩（$r \ge 2$）向量丛与无挠层（torsion-free sheaves）的几何与稳定性性质。经典 Hopf 曲面 $X$ 是一种非 Kähler 复曲面，微分同胚于 $S^1 \times S^3$，并存在椭圆纤维化 $\pi: X \to \mathbb{P}^1$。作者探讨了以下几个相互关联的问题：

1. 可过滤性（filtrability，即存在由子丛构成的过滤序列）与跳跃行为（jumping behavior，即丛在椭圆纤维上的限制的不稳定性）之间的关系。
2. 具有特定拓扑不变量（特别是平凡行列式和给定的第二 Chern 类 $c_2$）的稳定且不可约丛的存在性。
3. 秩为 $r$、 $c_2=n$ 的稳定丛模空间 $M_{r,n}$ 的结构，特别是其边界以及丛族极限的性质（无挠层）。
4. 引入并刻画了极不可约丛（very irreducible bundles），其定义为所有对称幂 $S_n(E)$ 仍保持不可约的丛。

研究方法
作者采用了一套针对 Hopf 曲面非 Kähler 环境调整后的代数几何技术：

• 稳定性与度量： 稳定性通过关于 Gauduchon 度量（满足 $\partial\bar{\partial}\omega = 0$ 的 $(1,1)$-形式 $\omega$）的斜率稳定性来定义。丛的次数是通过对该度量进行积分来定义的。
• 过滤分析： 作者利用了可过滤层的概念，其定义为由满足 $0 = E_0 \subset E_1 \subset \dots \subset E_r = E$ 且商层为无挠层的过滤序列。他们分析了这些丛的 Chern 类，注意到在 Hopf 曲面上，交截形式是平凡的（$H^2(X, \mathbb{Z}) \times H^2(X, \mathbb{Z}) \to \mathbb{Z}$ 为零），这简化了迭代扩张的 $c_2$ 计算。
• 初等变换： 为了研究模空间的边界，作者在余维数为 2 的情形下执行了初等操作。从稳定丛 $E \in M_{r,n}$ 出发，通过满射 $v: E \to \mathbb{C}_p$（其中 $\mathbb{C}_p$ 是 $X$ 上一点 $p$ 处的标量层），构造核 $E'$。由此得到的 $E'$ 是一个 $c_2(E') = c_2(E) + 1$ 的无挠层。
• 形变理论： 作者利用 Ext 群分析了这些层的局部形变空间。他们证明了对于稳定丛，$\text{Ext}^2(E, E) = 0$，并将此分析扩展到构造出的无挠层，以证明这些层位于具有更高 $c_2$ 的丛的模空间的闭包中。
• 丛的图（Graph of Bundles）： 对于秩 2 丛，作者利用了其“图”——这是一个在 $\mathbb{P}^1 \times \mathbb{P}^1$ 中的除子，由经由通用 Poincaré 线丛扭转后的第一导出像导出。该图的几何性质（特别是对应于满射 $\mathbb{P}^1 \to \mathbb{P}^1$ 的一个分量）被用于推导不可约性性质。

主要贡献与结果

1. 可过滤性与跳跃：

   • 定理 3.9： 作者证明，在经典 Hopf 曲面上，任何具有 $c_2 > 0$ 的可过滤向量丛必然存在跳跃（即存在一个纤维，其限制是不半稳定的）。
   • 定理 3.19： 相反，他们证明了存在具有平凡行列式且具有任意给定 $c_2 = c > 0$ 的稳定、可过滤秩 $r$ 向量丛。

2. 无跳跃丛：

   • 定理 4.12： 作为对比结果，作者证明了存在具有平凡行列式且 $c_2 = 1$ 的不可约（从而也是稳定）秩 $r$ 向量丛，且这些丛没有跳跃（其在每个纤维上的限制都是半稳定的）。这突显了可过滤丛与不可约丛在跳跃行为上的二分性。

3. 模空间的边界：

   • 定理 5.6： 本文确立了通过初等变换（由满射 $E \to \mathbb{C}_p$ 的核构成）从稳定丛 $E \in M_{r,n}$ 得到的无挠层位于模空间 $M_{r,n+1}$ 的闭包中。
   • 命题 5.5： 他们表明，对于一个简单丛 $E$，向点 $p$ 处的标量层做满射的核构成了一个维数为 $2r-1$ 的互不同构的无挠层族。
   • 解释： 这些结果描述了代数几何语境下的“泡状化”（bubbling）现象，即一系列稳定丛退化为一个在某点具有奇点的无挠层。

4. 极不可约丛：

   • 定义 6.1： 作者引入了“极不可约”丛的概念，即所有对称幂 $S_n(E)$ 均为不可约的丛。
   • 定理 6.3： 他们论证了，若一个秩 2 丛的图包含一个对应于满射 $\mathbb{P}^1 \to \mathbb{P}^1$ 的分量，则该丛是极不可约的。
   • 定理 6.4： 该结果被推广到对称群的表示上，即在类似条件下，$S_\rho(E)$ 是不可约的（或为零）。

意义与主张
本文声称为 Hopf 曲面上高秩丛的图景提供了全面的描述。具体而言：

• 它阐明了可过滤丛的约束，表明当 $c_2 > 0$ 时，它们与跳跃现象本质相关。
• 它证明了模空间 $M_{r,n}$ 足够丰富，既能包含可过滤丛（带有跳跃），也能包含极不可约丛（无跳跃）。
• 它为这些模空间的边界提供了具体的代数几何描述，将特定的无挠层识别为稳定丛的极限。这建立了 Hopf 曲面几何与微分几何中瞬子泡状化（instanton bubbling）概念之间的联系。
• “极不可约”丛的引入提供了一类新的具有强稳定性性质（在对称幂下）的刚性丛，扩展了此前关于强不可约性的工作。

作者得出结论，Hopf 曲面上的稳定高秩丛的模空间是复杂的结构，包含了多样化的丛类型，从易于分解的可过滤丛到在所有对称幂下都高度刚性和不可约的丛。