[论文解读] New examples of hyperbolic octic surfaces in $\PP^3$

Bernard Shiffman, Mikhail Zaidenberg|arXiv (Cornell University)|Jun 25, 2003

Algebraic Geometry and Number Theory参考文献 10被引用 3

一句话总结

该论文通过形变两个次数 ≥ 4 的一般锥面的并集，在 $$\mathbb{P}^3$$ 中构造了新的 Kobayashi 黄双曲曲面；形变方法确保所得次数为 $m+n \geq 8$ 的曲面为双曲曲面，从而首次为所有次数 $d \geq 8$ 提供了 $\mathbb{P}^3$ 中双曲曲面的显式构造。关键结果是：此类并集的一般小形变为双曲曲面，将已知例子扩展至次数 8 以上。

ABSTRACT

We show that a general small deformation of the union of two general cones in P3 of degree >= 4 is Kobayashi hyperbolic. Hence we obtain new examples of hyperbolic surfaces in P3 of any given degree d>= 8.

研究动机与目标

• 为所有次数 $d \geq 8$ 在 $\mathbb{P}^3$ 中构造新的 Kobayashi 双曲曲面示例。
• 将 $\mathbb{P}^3$ 中双曲曲面的已知族系扩展至此前已知的次数 8 例子之外。
• 证明两个次数 $\geq 4$ 的锥面并集的一般小形变可产生双曲曲面。
• 提供一种系统性的形变方法，确保在奇异曲面的小扰动下双曲性得以保持。

提出的方法

• 该方法使用 $\mathbb{P}^3$ 中两个一般锥面 $X'$ 和 $X''$（次数分别为 $m,n \geq 4$）的并集 $X = X' \cup X''$ 的形变，其顶点为不位于对方锥面上的不同点。
• 形变定义为 $X_t = \{f_1(z_1,z_2,z_3)f_2(z_1,z_2,z_4) + t f_\infty = 0\}$，其中 $t$ 为小的非零值，$f_\infty$ 为次数为 $m+n$ 的一般齐次多项式。
• 证明依赖于 Brody 定理，假设存在非平凡的全纯曲线，并通过 Picard 定理和横截性论证导出矛盾。
• 分析双曲线 $\Gamma = X' \cap X''$，并利用投影 $\pi_0: (z_1:z_2:z_3:z_4) \mapsto (z_1:z_2)$ 研究纤维交点，确保对一般 $X_\infty$，$\pi_0|\Gamma$ 为单射。
• 论证表明，对一般 $X_\infty$，$\Gamma \cap X_\infty$ 在 $\pi_0$ 下的像具有最大基数，且任一纤维不包含来自 $\Gamma \cap X_\infty$ 的两个点，从而阻止非平凡全纯曲线的存在。
• 若此类曲线存在，则导出矛盾：因为全纯曲线必位于通过锥顶点的直线上，而这样的直线与 $\Gamma \setminus X_\infty$ 至少交于三点，违反 Picard 定理。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^3$ 中，两个次数 $\geq 4$ 的锥面并集的一般小形变是否可产生双曲曲面？
• RQ2 本文所用的形变方法是否可产生次数 $d \geq 8$ 的双曲曲面？
• RQ3 能否通过锥面并集与形变构造 $\mathbb{P}^3$ 中所有次数 $d \geq 8$ 的双曲曲面？
• RQ4 对基曲线和投影的何种条件可确保形变后的曲面保持双曲性？
• RQ5 能否通过全纯曲线与 Picard 定理的反证法确立形变曲面的双曲性？

主要发现

• 在 $\mathbb{P}^3$ 中，两个次数 $m,n \geq 4$ 的锥面并集的一般小形变可产生次数为 $m+n \geq 8$ 的 Kobayashi 双曲曲面。
• 该构造为所有次数 $d \geq 8$ 的 $\mathbb{P}^3$ 中双曲曲面提供了显式示例，扩展了此前仅有的次数 8 例子。
• 该方法确保形变曲面中不存在非平凡全纯曲线，其论证为：任何此类曲线必位于通过锥顶点的直线上，而该直线与双曲线 $\Gamma$ 的交点至少有三个。
• 对一般 $X_\infty$，投影 $\pi_0$ 限制在双曲线 $\Gamma$ 上的像为单射，这对反证法论证至关重要。
• 证明依赖于零点集在小扰动下的横截性与连续性，确保对一般 $X_\infty$，$\pi_0(\Gamma \cap X_\infty)$ 的基数达到最大。
• 该构造具有鲁棒性：即使在 $f_1 = f_2$ 的退化情形下，方法仍能恢复原始的两个锥面并集，确认与先前构造的一致性。