[论文解读] The Bloch Principle

Michael McQuillan|arXiv (Cornell University)|Sep 24, 2012

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

一句话总结

本文通过证明不与真 Zariski 闭子集 $ Z $（例外集）任意接近的全纯圆盘序列在 Gromov 意义下收敛于带泡的极限圆盘，建立了拟射影曲面的 Bloch 原理的最优版本。关键贡献在于使用改进的 Brody 引理和 Duval 的 Ahlfors 当量技术，直接证明了从 'infinito' 性质到 'in finito' 性质的蕴含关系，将 Bloch-Cartan 定理的适用范围扩展至 $ s_2 > 0 $ 的一般型曲面。

ABSTRACT

We formulate and prove an optimal version for quasi-projective surfaces of A. Bloch's dictum, "Nihil est in infinito quod prius non fuerit in finito" by way of a complement to a theorem of J. Duval.

研究动机与目标

• 提出并证明拟射影曲面的最优 Bloch 原理，将经典 Bloch-Cartan 定理的适用范围从 $ \mathbb{P}^2 \setminus \{4\text{ lines}\} $ 的情形推广至更一般情形。
• 将 'in finito' 性质——即不接近例外集 $ Z $ 的圆盘序列在 Gromov 意义下的一致收敛性——作为 'infinito' 性质的直接推论，避免依赖间接的基于微分方程的归纳方法。
• 通过使用 Duval 改进的 Brody 引理，解决先前方法中的方法论缺陷，该引理将圆盘的退化性与紧集上 Ahlfors 当量的质量联系起来。
• 证明对于一般型曲面且满足 $ s_2 = c_1^2 - c_2 > 0 $ 的情形，Bloch 原理在非空例外集 $ Z $ 下成立，且泡收敛是 'in finito' 条件的必要且充分条件。

提出的方法

• 利用 Julien Duval 改进的 Brody 引理，该引理将全纯圆盘的长度与面积之比与在紧集上切割的全纯曲线（带泡）的存在性联系起来。
• 应用 Ahlfors 当量理论分析全纯圆盘序列的极限行为，在存在例外集时，以 Gromov 泡泡收敛替代一致收敛。
• 采用 $ \mathrm{c}_1(\overline{K_X + D}) $ 的度量化邻接公式，通过对数度量和 Kähler-Einstein 模型调整奇点与边界分量的影响。
• 在 $ X \setminus \tilde{B} $ 的完备度量上使用 Nevanlinna 积分估计，将其与 Kähler 形式 $ \omega_{X \setminus \tilde{B}} $ 进行比较，以控制 Kobayashi 度量的退化性。
• 应用因子分解 $ (X,D) \to (S_0,B_0) \to (S,B) $ 将问题约化至典范模型，其中 $ K_S + B $ 是 ample 的，从而实现度量的比较。
• 建立 $ S \setminus \{B \cup P\} $ 上 Kobayashi 度量的拉回的下界，以对数奇点和有界函数表示，表明其与模型度量在可控退化下具有可比性。

实验结果

研究问题

• RQ1 Bloch 原理能否超越 Bloch-Cartan 定理，推广至例外集 $ Z $ 非空的拟射影曲面？若能，其条件为何？
• RQ2 对于一般型曲面，'in finito' 性质（不接近 $ Z $ 的圆盘的收敛性）是否与 'infinito' 性质（通过 $ Z $ 因子分解）等价？
• RQ3 全纯圆盘序列的收敛性能否不以一致收敛，而以 Gromov 泡泡收敛来刻画？这是否为 Bloch 原理提供了稳定框架？
• RQ4 Duval 的 Ahlfors 当量方法是否允许在不依赖 ODE 近似技术的前提下，直接证明 Bloch 原理？
• RQ5 Kobayashi 度量在例外集 $ Z $ 及边界分量附近的精确渐近行为是什么？其与典范度量有何关联？

主要发现

• 所有一般型且满足 $ s_2 > 0 $ 的拟射影曲面均满足 Bloch 原理，其中例外集 $ Z $ 为奇点的正规化像及典范模型的例外子集。
• 通过 Gromov 泡泡收敛确立了 'in finito' 性质：任何不与 $ Z \cup B $ 任意接近的全纯圆盘序列 $ f_n: \Delta \to X \setminus B $ 均存在子列收敛于带泡的极限圆盘。
• 在典范模型 $ (S,B) $ 上，Kobayashi 度量上界为常数倍的 Kähler-Einstein 度量，下界为包含 $ |\log |\log |\zeta||^{-2} $、$ |\log |p^*B_0|| $ 和 $ |\log |\zeta|| $ 的奇异模型，两者之间相差有界函数。
• 证明避免了基于 ODE 的归纳方法，转而使用 Duval 的 Ahlfors 当量技术，该技术将当量的质量与带泡全纯曲线的存在性联系起来，从而实现了从 'infinito' 到 'in finito' 的直接路径。
• 即使 $ \mathrm{c}_1(\overline{L}) $ 非代数，拉回的 $ \omega_{X \setminus \tilde{B}} $ 的 Nevanlinna 面积仍与 $ X \setminus D $ 上的度量面积保持可比，这是由于对数度量带来的可控退化。
• 通过有界函数 $ \psi $ 调整 $ \mathrm{c}_1(\overline{K_X + \partial}) $ 的邻接公式，所得曲率形式为 $ dd^c(\log \log^2 |\zeta| - \log \log^2 |\tilde{B}| + \psi) $，确保主不等式所需的正性。