[论文解读] Algebraic Surfaces Holomorphically Dominable by C2

Stephen S. Y. Lu, Gregery T. Buzzard|arXiv (Cornell University)|May 23, 2000

Geometry and complex manifolds被引用 9

一句话总结

本文利用Kodaira维数和基本群不变量对被ℂ²支配的代数曲面进行分类，表明对于Kodaira维数小于2的曲面（除去某些K3曲面），支配性等价于存在ℂ的Zariski稠密全纯像。关键结果是，此类曲面在移除有限点集的小邻域后仍保持支配性，唯一例外为非椭圆且非Kummer型K3曲面。

ABSTRACT

An n-dimensional complex manifold M is said to be (holomorphically) dominable by $\CC^n$ if there is a map $F:\CC^n a M$ which is holomorphic such that the Jacobian determinant $\det(DF)$ is not identically zero. Such a map F is called a dominating map. In this paper, we attempt to classify algebraic surfaces X which are dominable by $\CC^2$ using a combination of techniques from algebraic topology, complex geometry and analysis. One of the key tools in the study of algebraic surfaces is the notion of Kodaira dimension (defined in section 2). By Kodaira's pioneering work and its extensions, an algebraic surface which is dominable by $\CC^2$ must have Kodaira dimension less than two. Using the Kodaira dimension and the fundamental group of X, we succeed in classifying algebraic surfaces which are dominable by $\CC^2$ except for certain cases in which X is an algebraic surface of Kodaira dimension zero and the case when X is rational without any logarithmic 1-form. More specifically, in the case when X is compact (namely projective), we need to exclude only the case when X is birationally equivalent to a K3 surface (a simply connected compact complex surface which admits a globally non-vanishing holomorphic 2-form) that is neither elliptic nor Kummer (see sections 3 and 4 for the definition of these types of surfaces).

研究动机与目标

• 通过复几何与代数拓扑方法对被ℂ²支配的代数曲面进行分类。
• 确定曲面存在从ℂ²出发的支配全纯映射的精确条件。
• 研究在从曲面中移除有限点集的小邻域后，支配性是否仍然保持。
• 阐明Kodaira维数与基本群在决定支配性中的作用。
• 在非例外情形下，澄清支配性与ℂ的全纯像具有Zariski稠密性之间的等价性。

提出的方法

• 以Kodaira维数为主要不变量，限制所考虑曲面的类别。
• 应用复几何与分析中的技术，包括全纯映射和雅可比行列式非零条件。
• 利用Arakelian定理在指定定义域上构造逼近对数项的整函数。
• 在ℂ²上构造双全纯映射F₁和F₂，以形变离散格点的像，避开指定邻域V。
• 利用雅可比行列式准则，确保复合映射F = F₁⁻¹F₂⁻¹Φ为全纯且单射，其像进入小邻域的补集。
• 借助Brody引理及K3曲面模空间中的稠密性结果，支持将结论推广至所有K3曲面的猜想。

实验结果

研究问题

• RQ1 Kodaira维数小于2的哪些代数曲面被ℂ²支配？
• RQ2 被ℂ²支配是否等价于此类曲面中存在ℂ的Zariski稠密全纯像？
• RQ3 当从曲面中移除有限点集的小邻域后，支配性是否仍然保持？
• RQ4 基本群与Kodaira维数如何共同决定支配性？
• RQ5 支配性与性质C（ℂ的全纯像的代数退化性）的失败之间是否存在等价性？

主要发现

• 对于Kodaira维数小于2的射影曲面，被ℂ²支配等价于性质C的失败，即存在ℂ的Zariski稠密全纯像。
• 该等价性的例外情形是双有理等价于椭圆或Kummer型K3曲面的曲面，除非满足额外条件，否则不被ℂ²支配。
• 即使在移除任意有限点集的小邻域后，被ℂ²支配的性质依然保持，该结论通过显式构造避开这些邻域的全纯嵌入得到证明。
• 对于Kodaira维数为0且不双有理等价于K3曲面的曲面，被ℂ²支配无条件成立。
• 定理1.2中的基本群条件——即其为偶数秩≤4的阿贝尔群的有限扩张——刻画了非K3情形下被支配曲面的特征。
• 推论6.5确认，复环面或Kummer型K3曲面的双有理模型中，移除小邻域后的补集仍被ℂ²支配。