[论文解读] Class VII surfaces with $b_2$ curves

Georges Dloussky, Karl Oeljeklaus+1 more|arXiv (Cornell University)|Jan 2, 2002

Algebraic Geometry and Number Theory被引用 11

一句话总结

本文证明了Ma. Kato的猜想：若一个极小复曲面 $S$ 属于Kodaira的第$\rm{VII_0}$类，且满足 $b_2(S) > 0$ 以及恰好有 $b_2(S)$ 条有理曲线，则该曲面 admits 一个全局球形壳。证明方法基于在有理曲线补集的万有覆叠上构造扭曲的全纯向量场，证明该万有覆叠微分同构于 $\mathbb{H} \times \mathbb{C}$，并识别基本群的作用，从而重构出一个收缩的局部芽；根据Favre的分类，该芽对应于全局球形壳构造。

ABSTRACT

We give an affirmative answer to a conjecture of Ma. Kato, namely that every compact complex surface $S$ in Kodaira's class $VII_0$ with $b_2(S) > 0$ and $b_2(S)$ rational curves, admits a global spherical shell.

研究动机与目标

• 证明Ma. Kato的猜想：即任一极小复曲面 $S$ 属于Kodaira的第$\rm{VII_0}$类，且满足 $b_2(S) > 0$ 以及恰好有 $b_2(S)$ 条有理曲线，则该曲面 admits 一个全局球形壳。
• 建立此类曲面（Nakamura称为“特殊”曲面）即使不依赖额外结构（如同调平凡除子或全纯向量场）也 admit 全局球形壳。
• 通过解决“中间类型”特殊曲面的剩余情形，完成对 $\rm{VII_0}$ 类曲面在 $b_2 > 0$ 情形下的分类。

提出的方法

• 利用有理曲线的构型及在有限分支覆盖上反canonical除子的数值除子性，构造曲面 $S$ 上的扭曲对数1-形式。
• 取 $S \setminus D$ 的万有覆叠 $\tilde{S}$，其中 $D$ 为有理曲线的并集，并证明扭曲向量场可上拉为 $\tilde{S}$ 上的真正全纯向量场。
• 证明 $\tilde{S} \setminus \tilde{D}$ 上的全纯向量场是完全可积的，且 $\tilde{S} \setminus \tilde{D}$ 微分同构于 $\mathbb{H} \times \mathbb{C}$。
• 分析 $\pi_1(S \setminus D)$ 在 $\mathbb{H} \times \mathbb{C}$ 上的作用，证明其由一个平移和一个收缩的全纯映射生成。
• 通过共轭将群作用化为标准型，识别出该收缩映射为定义一个极小曲面的全局球形壳的局部芽。
• 利用C. Favre对这类芽的分类，得出曲面 $S$ 同构于通过全局球形壳方法构造出的曲面。

实验结果

研究问题

• RQ1 每个极小复曲面 $S$ 属于Kodaira的第$\rm{VII_0}$类，且满足 $b_2(S) > 0$ 以及恰好有 $b_2(S)$ 条有理曲线，是否都 admit 一个全局球形壳？
• RQ2 能否利用有理曲线补集的万有覆叠上的基本群作用，重构出曲面的定义芽？
• RQ3 在中间类型特殊曲面中，有理曲线的构型是否足以推出全局球形壳的存在，而无需额外的几何假设？
• RQ4 能否利用万有覆叠上扭曲全纯向量场的存在性，推导出曲面的全局结构？
• RQ5 Favre对收缩芽的分类是否意味着曲面必须源于全局球形壳构造？

主要发现

• 主要定理得证：所有极小复曲面 $S$ 属于第$\rm{VII_0}$类，且满足 $b_2(S) > 0$ 以及恰好有 $b_2(S)$ 条有理曲线，均 admit 一个全局球形壳。
• 曲面 $S \setminus D$（其中 $D$ 为有理曲线的并集）的万有覆叠微分同构于 $\mathbb{H} \times \mathbb{C}$，且基本群作用由一个平移和一个收缩的全纯映射生成。
• $\pi_1(S \setminus D)$ 在 $\mathbb{H} \times \mathbb{C}$ 上的作用共轭于由映射 $ (w,z) \mapsto (w+2\pi i, z) $ 和 $ (w,z) \mapsto (kw, \lambda z + Q(e^{-w})) $ 生成的群，其中 $Q$ 为具有特定整除性质的多项式。
• 收缩芽 $f(\xi,z) = (\xi^k, \lambda \xi^{l'(k-1)} z + P(\xi))$ 局部单射，且源于一个具有全局球形壳的极小曲面。
• 曲面 $S$ 的同构类型完全由该芽决定；由于该芽已知可定义一个具有全局球形壳的曲面，因此 $S$ 本身也必须 admit 该球形壳。
• 曲面 $S \setminus D$ 与全局球形壳曲面中最大除子的补集之间的同构可延拓为完整曲面的同构，这是由于交点矩阵的负定性及不存在 $(-1)$-曲线。