[论文解读] Some recent transcendental techniques in algebraic and complex geometry

Yum-Tong Siu|ArXiv.org|Dec 1, 2002

Mathematics and Applications被引用 29

一句话总结

本文利用基于$L^2$ $\bar{\nabla}$-估计和乘子理想层的超越方法，解决了代数几何与复几何中的三个核心问题：全纯形变下 plurigenera 的不变性、$\mathbb{P}^2$ 中光滑 Levi-平面超曲面的不存在性，以及$\mathbb{P}^n$ 中高次一般超曲面的双曲性。关键贡献在于通过扭曲$\bar{\partial}$-估计扩展 pluricanonical 形式，并构造具有可控零点阶数的喷射微分，从而证明双曲性。

ABSTRACT

This article discusses the recent transcendental techniques used in the proofs of the following three conjectures. (1)~The plurigenera of a compact projective algebraic manifold are invariant under holomorphic deformation. (2)~There exists no smooth Leviflat hypersurface in the complex projective plane. (3)~A generic hypersurface of sufficiently high degree in the complex projective space is hyperbolic in the sense that there is no nonconstant holomorphic map from the complex Euclidean line to it.

研究动机与目标

• 通过$L^2$ $$\bar{\partial}$$-估计与乘子理想层，建立紧致射影族下 plurigenera 的形变不变性。
• 通过曲率与$\bar{\partial}$-Neumann 问题的$L^2$-估计，证明$\mathbb{P}^2$ 中光滑 Levi-平面超曲面的不存在性。
• 通过构造在充足除数上具有可控阶数的全纯喷射微分，建立$\mathbb{P}^n$ 中高次一般超曲面的双曲性。
• 将喷射微分的方法扩展至通过形变与嵌入技术控制零点阶数，从而实现对整曲线的消除。

提出的方法

• 使用从强拟凸函数导出的权函数的$L^2$ $$\bar{\partial}$$-估计，构造扭曲 canonical 线丛的全局截面。
• 应用 Ohsawa-Takegoshi 延拓定理，将中心纤维上的全纯形式延拓至形变的全空间。
• 构造与强拟凸权函数相关的乘子理想层，以控制奇点并确保全局生成性。
• 利用喷射丛上极点阶数较低的亚纯向量场，对一族超曲面的全空间进行喷射微分的形变。
• 在喷射空间上使用扭曲切丛，生成在充足除数上具有可控零点阶数的全纯喷射微分。
• 采用嵌入技术，包括与次数为$$\delta_1$$的映射的复合及乘积嵌入，以改进零点阶数的界，并消除次数乘积的约束。

实验结果

研究问题

• RQ1 能否使用超越方法，通过$L^2$ $$\bar{\partial}$$-估计证明紧致射影流形的 plurigenera 在全纯形变下保持不变？
• RQ2 能否利用$L^2$ $$\bar{\partial}$$-估计与曲率技术，证明$\mathbb{P}^2$ 中光滑 Levi-平面超曲面的不存在性？
• RQ3 在何种条件下，$\mathbb{P}^n$ 中高次的一般超曲面是双曲的，即不包含从复直线$\mathbb{C}$ 到其上的非平凡全纯映射？
• RQ4 如何构造具有充分可控零点阶数的喷射微分，以确保任意整曲线必位于一个真子簇中？
• RQ5 能否通过嵌入与形变技术，消除双曲性证明中对次数为乘积形式的限制？

主要发现

• 紧致射影代数流形的 plurigenera 在全纯形变下保持不变，证实了射影族下猜想 2.1 的成立。
• $\mathbb{P}^2$ 中不存在光滑 Levi-平面超曲面，解决了长期悬而未决的公开问题。
• $\mathbb{P}^n$ 中足够高次的一般超曲面是双曲的，即不包含从复直线到其上的非平凡全纯映射。
• 所构造喷射微分系数的零点阶数可被控制在$$\delta^{1-\eta}$$以内，其中$$\eta>0$$，该界足以证明双曲性。
• 通过使用嵌入$$\mathbb{P}^n \to \mathbb{P}_{\hat{n}_1} \times \mathbb{P}_{\hat{n}_2}$$的乘积嵌入，消除了双曲性证明中对次数乘积的约束，使结果适用于所有足够高的次数。
• 通过在喷射丛上低极点阶数的向量场的 Lie 导数构造喷射微分的方法，确保了足够的独立性，从而可从定义方程中消除导数项。