On the connectedness of the singular set of holomorphic foliations

以下是关于论文《ON THE CONNECTEDNESS OF THE SINGULAR SET OF HOLOMORPHIC FOLIATIONS》（全纯叶状结构奇异集的连通性）的详细技术总结：

1. 研究背景与问题 (Problem)

• 核心问题：研究复射影流形 $X$ 上 $k$ 维 ($k>1$) 奇异全纯叶状结构 $\mathcal{F}$ 的奇异集 $\text{Sing}(\mathcal{F})$ 的拓扑性质，特别是其最高维分量（维度为 $k-1$）的连通性。
• 历史背景：
  • 20 世纪 60 年代，Raoul Bott 证明了拓扑约束可以阻碍全局可积叶状结构的存在性（Bott 消失定理）。
  • 对于 $n \ge 3$ 的射影空间 $\mathbb{P}^n$ 上的全纯分布（holomorphic distributions），已知存在奇异集包含多个连通分量（维度为 $k-1$）的情况。
  • D. Cerveau 的提问：在 $\mathbb{P}^3$ 上，对于 2 维叶状结构，其奇异集的一维分量是否必然连通？
• 研究动机：建立一种全局拓扑障碍，用于判断奇异全纯分布是否可积。如果分布可积，其奇异集的某些拓扑性质必须满足特定条件；反之，若违反这些条件，则分布不可积。

2. 主要假设与定义 (Assumptions & Definitions)

• 对象：$X$ 是 $n$ 维射影流形，$\mathcal{F}$ 是 $X$ 上维度 $k > 1$ 的奇异全纯叶状结构。
• 关键条件：
  1. 法丛行列式线丛的丰沛性 (Ampleness)：法丛 $\mathcal{N}_{\mathcal{F}}$ 的行列式线丛 $\det(\mathcal{N}_{\mathcal{F}})$ 是丰沛的 (ample)。
  2. 奇异集维度：奇异集 $\text{Sing}(\mathcal{F})$ 的维度 $\le k-1$。
• 分解：设 $\text{Sing}(\mathcal{F}) = Z \cup Z_-$，其中 $Z$ 是维度恰好为 $k-1$ 的分量之并，$Z_-$ 是维度更低的部分。

3. 方法论 (Methodology)

论文的核心证明工具是 Baum-Bott 余数理论 (Baum-Bott residues)。

1. 余数局部化：利用 Baum-Bott 公式，将法丛的 Chern 类 $c_1(\mathcal{N}_{\mathcal{F}})^{n-k+1}$ 的积分值局部化到奇异集的各个连通分量 $Z_1, \dots, Z_s$ 上。
   • 每个分量 $Z_i$ 对应一个余数 $\text{Res}(\mathcal{F}, Z_i) \in H_{2k-2}(Z_i)$。
2. 上同调提升：通过庞加莱对偶 (Poincaré duality) 和包含映射，将这些局部余数提升到整体流形 $X$ 的上同调群 $H^{2(n-k+1)}(X)$ 中。
3. 丰沛性的应用：
   • 由于 $\det(\mathcal{N}_{\mathcal{F}})$ 是丰沛的，其 Chern 类 $c_1(\mathcal{N}_{\mathcal{F}})$ 的幂次积分非零。
   • 作者通过构造正则邻域和截断，证明每个连通分量 $Z_i$ 上的局部余数贡献必须等于整体的 Chern 数。
4. 计数论证：
   • 设 $Z$ 有 $s$ 个连通分量。
   • 通过计算 $c_1(\mathcal{N}_{\mathcal{F}})^{n-k+1} \cap [X]$ 的两种表达方式（整体积分 vs. 各分量余数之和），得出 $s \cdot (\text{非零常数}) = \text{非零常数}$。
   • 从而推导出 $s=1$，即 $Z$ 是连通的。

4. 主要结果 (Key Results)

定理 1 (Theorem 1)

• 内容：在上述假设下（$X$ 为射影流形，$k>1$，$\det(\mathcal{N}_{\mathcal{F}})$ 丰沛），奇异集 $\text{Sing}(\mathcal{F})$ 中维度为 $k-1$ 的部分 $Z$ 是连通的。
• 推论：如果存在一个奇异分布，其 $k-1$ 维奇异分量不连通，则该分布不可积。这为分布的可积性提供了一个拓扑障碍。

推论 1 (Corollary 1)

• 场景：$X$ 为光滑射影三维流形，$\mathcal{F}$ 为余维 1 叶状结构，$h^1(\mathcal{O}_X)=0$。
• 条件：奇异集的一维分量 $C$ 是既约的 (reduced)，且 $\det(\mathcal{N}_{\mathcal{F}})$ 丰沛。若 $h^1(T_X \otimes \det(\mathcal{N}_{\mathcal{F}})^*) = h^2(T_X \otimes \det(\mathcal{N}_{\mathcal{F}})^*) = 0$。
• 结论：孤立奇点的数量（计重数）等于 $h^2(\mathcal{F} \otimes \det(\mathcal{N}_{\mathcal{F}})^*)$。
• 特例：在 $\mathbb{P}^3$ 上，若切丛局部自由且满足上述条件，则 $h^2(\mathcal{F} \otimes \det(\mathcal{N}_{\mathcal{F}})^*) = 0$。这意味着如果切丛局部自由，则奇异集不能是光滑曲线（除非是平面束）。

推论 2 (Corollary 2)

• 内容：设 $\mathcal{F}$ 是 $\mathbb{P}^3$ 上的余维 1 叶状结构。如果其切丛 $\mathcal{F}$ 是局部自由的，那么要么 $\mathcal{F}$ 是平面束 (pencil of planes)，要么其奇异集 $\text{Sing}(\mathcal{F})$ 是奇异曲线 (singular curve)。
• 意义：回答了 Cerveau 关于 $\mathbb{P}^3$ 上切丛局部自由的叶状结构奇异集性质的问题。

5. 必要性与反例 (Necessity & Examples)

论文通过反例证明了定理中假设的必要性：

• 非射影流形：在 Hopf 流形上，可以构造奇异集不连通的叶状结构（因为 $\det(\mathcal{N}_{\mathcal{F}})$ 不丰沛）。
• 乘积流形：在 $X \times Y$ 上构造的叶状结构，其法丛行列式不丰沛，导致奇异集不连通。
• 维度限制：
  • 若 $k=1$（曲线叶状结构），奇异集通常是 0 维的，可能由多个离散点组成，不连通。因此 $k>1$ 是必要的。
  • 若 $n \le 2(k-1)$，在 $\mathbb{P}^n$ 中任意两个 $k-1$ 维子流形必然相交，此时连通性是几何必然的，定理退化为平凡结论。定理的非平凡性在于 $n > 2k-2$ 的情况。
• 丰沛性：在 $\mathbb{P}^n$ 上，全纯叶状结构的 $\det(\mathcal{N}_{\mathcal{F}})$ 总是丰沛的，因此定理在 $\mathbb{P}^n$ 上具有普适性。

6. 意义与贡献 (Significance)

1. 回答经典问题：正面回答了 D. Cerveau 关于 $\mathbb{P}^3$ 上 2 维叶状结构奇异集连通性的问题。
2. Bott 现象的推广：将 Bott 关于可积叶状结构的拓扑障碍理论推广到了奇异分布领域。证明了在丰沛性假设下，奇异集的连通性是可积性的必要条件。
3. 切丛分裂问题：为 Cerveau 提出的“切丛是否必须分裂为线丛之和”的问题提供了新的视角。结果表明，如果切丛局部自由且奇异集光滑，则往往导致矛盾（除非是平凡情况），暗示了非分裂切丛（如扭曲的零相关丛）与奇异奇异集之间的紧密联系。
4. 技术突破：巧妙地结合了 Baum-Bott 余数、庞加莱对偶以及代数几何中的丰沛性理论，建立了局部奇点性质与全局拓扑不变量之间的精确联系。

总结：该论文证明了在射影流形上，对于法丛行列式丰沛的高维全纯叶状结构，其最高维奇异分量必然是连通的。这一结果不仅解决了具体的几何问题，还揭示了全纯分布可积性背后的深层拓扑障碍。