Locally rigid implies globally rigid in Kahler geometry

以下是穆林（Mu-Lin Li）论文《局部刚性蕴含凯勒几何中的整体刚性》的详细技术总结。

1. 问题陈述与背景

本文探讨了复几何中关于紧致凯勒流形在形变下刚性的一个基本问题。

• 定义：
  • 局部刚性： 若包含 $X$ 作为纤维的任意光滑族 $\pi: \mathcal{X} \to B$ 在该纤维附近是局部平凡的（即所有邻近纤维均同构于 $X$），则称流形 $X$ 是局部刚性的。
  • 整体刚性： 若任意与 $X$ 形变等价的流形 $X'$ 实际上均同构于 $X$，则称流形 $X$ 是整体刚性的。
  • 形变等价： 若两个流形可以通过有限次直接形变（即圆盘上的光滑族）连接，则称它们是形变等价的。
• 核心问题： 对于紧致非 uniruled（非直纹）凯勒流形，局部刚性是否蕴含整体刚性？
  • 已知无穷小刚性（$H^1(X, T_X)=0$）蕴含局部刚性（Kodaira-Spencer-Kuranishi 理论）。
  • 对于极小一般型曲面，局部刚性蕴含整体刚性（由文献 [1] 中的作者证明）。
  • 问题 1.1： 若 $X$ 是紧致非 uniruled 凯勒流形且是局部刚性的，它是否也是整体刚性的？

2. 方法论

作者结合了霍奇结构变分（VHS）、Barlet 循环空间和模理论，以弥合局部性质与整体性质之间的差距。

A. 极化族的构造

核心的技术挑战在于将局部同构扩展到整个族。作者构造了一个特定的上同调类以“极化”该族。

1. 局部平凡性： 给定一个纤维为凯勒流形且在 $t_1$ 附近局部平凡的族 $\pi: \mathcal{X} \to \Delta$，作者利用微分同胚 $T: \mathcal{X} \cong X_{t_1} \times \Delta$ 来传输上同调类。
2. 霍奇滤过： 利用该族在 $t_1$ 附近局部平凡的事实，Kodaira-Spencer 映射在局部为零。根据周期映射（到格拉斯曼流形的全纯映射）的性质，霍奇滤过 $F^p$ 被证明在整个圆盘 $\Delta$ 上是常数。
3. 整体类构造（引理 3.1）： 作者构造了一个整体实上同调类 $\alpha \in H^2(\mathcal{X}, \mathbb{R})$，使得其限制 $\alpha_t$ 对所有 $t$ 均属于 $H^{1,1}(X_t, \mathbb{C})$。
4. 凯勒态射构造（引理 3.2 和 3.3）： 利用 Demailly-Păun 定理和层上同调论证，作者将 $\alpha$ 提升为商层的截面，从而构造出相对凯勒形式。这确立了该族在稠密开集上是一个凯勒态射（具体而言，是极化凯勒流形的族）。

B. 模空间论证

证明严重依赖于极化非 uniruled 凯勒流形的粗模空间 $\mathcal{M}$ 的性质。

• 豪斯多夫性质： 极化非 uniruled 凯勒流形的模空间 $\mathcal{M}$ 已知是一个分离的（豪斯多夫的）复空间。
• 解析延拓： 该族诱导了一个从稠密开子集 $W \subset \Delta$ 到 $\mathcal{M}$ 的全纯映射 $f: W \to \mathcal{M}$。
• 常数性： 由于该族在 $t_1$ 附近局部平凡，映射 $f$ 在一个邻域内是常数。由于 $\mathcal{M}$ 是豪斯多夫的且映射是全纯的，如果像在某个开集上是一个点，则该映射在连通分支上（如果定义域不可约/连通，则在整个定义域上）必须是常数。

C. 处理“非 uniruled"条件

纤维 $X_{t_1}$ 是非 uniruled 这一条件至关重要。

• uniruled 流形（被有理曲线覆盖的流形）通常具有非分离的模空间，或者允许形变中的“跳跃”现象。
• 对于非 uniruled 流形，模空间表现良好（分离的）。作者引用 [8, 命题 11] 确保如果中心纤维是非 uniruled 的，则邻近纤维也保持非 uniruled，从而使到模空间的映射在整个定义域上良定义。

3. 主要结果与定理

定理 1.3（主定理）：
设 $\pi: \mathcal{X} \to \Delta$ 是一个具有凯勒纤维的固有光滑态射。如果该族在点 $t_1$ 处局部平凡（即对于 $t_1$ 附近的 $t$，有 $X_t \cong X_{t_1}$），且纤维 $X_{t_1}$ 是一个非 uniruled 凯勒流形，那么所有纤维均同构（即对于所有 $t \in \Delta$，有 $X_t \cong X_{t_1}$）。

推论 1.4：
一个紧致非 uniruled 凯勒流形，如果是局部刚性的，则它是整体刚性的。

• 证明逻辑： 如果 $X$ 是局部刚性的，任何形变等价的流形 $X'$ 都可以通过一族族链连接。将定理 1.3 应用于链中的每个族，证明每个中间纤维均同构于前一个纤维，因此 $X \cong X'$。

推论 1.5：
具体到曲面：一个紧致非 uniruled 凯勒曲面，如果是局部刚性的，则它是整体刚性的。

推论 1.7（整体不可形变性）：
如果一个紧致凯勒流形的光滑族在 $\Delta^* = \Delta \setminus \{0\}$ 上的所有纤维 $X_t$ 均同构于 $S$，且 $S$ 是一个非 uniruled 凯勒流形，那么中心纤维 $X_0$ 也全纯同构于 $S$。

• 这解决了凯勒态射下非 uniruled 流形的“整体不可形变”问题。

4. 意义与贡献

1. 解决猜想： 本文对问题 1.1 给出了肯定回答，确立了对于非 uniruled 凯勒流形这一广泛类别，局部刚性足以保证整体刚性。这将此前仅知适用于极小一般型曲面的结果进行了推广。
2. 模空间的应用： 该工作展示了极化非 uniruled 流形模空间的豪斯多夫性质在解决形变问题中的威力。它有效地利用模空间的分离性，防止了族中同构类的“跳跃”。
3. 技术革新： 构造一个在稠密开集上保持为凯勒类（并通过非 uniruled 条件扩展到整个族）的整体类 $\alpha$，是 Demailly-Păun 定理和 Barlet 循环空间的精妙应用。
4. 对整体不可形变性的影响： 这些结果为非 uniruled 流形的整体不可形变问题提供了强有力的肯定答案，补充了关于射影空间和有理齐性空间（通常具有 uniruled 性质或特定结构）的现有结果。

总结

穆林证明了在凯勒几何领域，如果一个紧致非 uniruled 流形无法在局部发生形变，那么它根本无法在整体上发生形变。证明的关键在于为族构造一个整体极化，并利用相应模空间的分离性质，表明局部常数的形变映射必须是整体常数。