[论文解读] Effectivity in the Hyperbolicity-related problems

Ya Deng|arXiv (Cornell University)|Jun 13, 2016

Algebraic Geometry and Number Theory参考文献 8被引用 15

一句话总结

本文为射影空间中一般超曲面的Kobayashi双曲性提供了有效的下界，解决了双曲性理论中的一个开放性有效性问题。通过从Nakamaye定理和Demailly-Semple层上的Wronskian理想层计算临界常数 $ M $ 和 $ m_∞ $，作者得出了明确的界限：对于Kobayashi双曲性，$ d \geq n^{n+1}(n+1)^{n+2}(n^3+2n^2+2n-1)+n^3+3n^2+3n $；对于完全交中的幅面上的余切丛，$ d \geq 4c_0(2N-1)^{2c_0+1}+6N-3 $，其中 $ c_0 = \lfloor (N+1)/2 \rfloor $。

ABSTRACT

The aim of this work is to deal with effective questions related to the Kobayashi and Debarre conjectures, and based on the work of Damian Brotbek and Lionel Darondeau. We first show that if a line bundle $L$ generates $k$-jets, the $k$-th Wronskian ideal sheaf associated with global sections of $L$ reaches its largest possible value. Then we obtain an effective estimate for a weaker version of a theorem of Nakamaye on certain universal Grassmannians. We finally derive from this explicit effective bounds for the Kobayashi and Debarre conjectures.

研究动机与目标

• 通过计算超曲面双曲性或具有幅面上余切丛的次数的显式数值界限，解决Kobayashi与Debarre猜想中的有效性问题。
• 确定渐近Wronskian理想层构造中常数 $ m_\infty $ 的有效值，该值控制Demailly-Semple层上Wronskian截面的稳定化。
• 在通用格拉斯曼流形上，有效计算Nakamaye定理中常数 $ M $，以实现对大且诺米尼安线丛的零点集的有效界限。
• 通过量化此前由诺特性论证隐含的常数，将Brotbek对Kobayashi猜想的证明扩展为有效版本。
• 为$ \mathbb{P}^N $中的一般完全交提供显式次数阈值，确保其具有幅面上余切丛，适用于超曲面及更高余维数的代数簇。

提出的方法

• 通过分析 $ mL - A $ 的基点集（其中 $ L $ 为典范线丛，$ A $ 为一个非常ample除子），在通用格拉斯曼流形上建立Nakamaye定理的有效版本，从而显式界定 $ m_0 $。
• 证明若线丛 $ L $ 生成 $ k $-阶截面，则渐近Wronskian理想层 $ \mathfrak{m}_\infty(X_k, L) $ 在 $ m_\infty = 1 $ 处稳定；当 $ L $ 为非常ample时，$ m_\infty = k $，这为Wronskian构造提供了精确界限。
• 利用Demailly-Semple层 $ (X_k, V_k) $ 定义Wronskian截面 $ W(s_0, \dots, s_k) $ 为 $ X_k $ 上扭曲线丛的全局截面，并研究其基理想 $ \mathfrak{w}(X_k, L) $。
• 应用Wronskian理想序列的诺特性，证明其在 $ m_\infty $ 处稳定，并证明当 $ L $ 生成 $ k $-阶截面时 $ m_\infty = 1 $，这对有效性至关重要。
• 将 $ m_\infty $ 和 $ M $ 的界限与Brotbek的框架结合，推导出双曲性与余切丛幅面性的显式次数阈值。
• 使用条件 $ 2\sum_p(\epsilon_p + \delta_p)b_p < r $ 确保对称微分上扭曲的负性，并施加 $ \min \delta_i + 1 > 2N - 1 $ 以避免例外点集，从而导出有效的幅面性准则。

实验结果

研究问题

• RQ1 能否为一般超曲面在 $ \mathbb{P}^n $ 中的最小次数 $ d_0 $ 提供有效下界，使得当 $ d \geq d_0 $ 时该超曲面为Kobayashi双曲？
• RQ2 当线丛生成 $ k $-阶截面时，Demailly-Semple层上渐近Wronskian理想层构造中常数 $ m_\infty $ 的有效值是多少？
• RQ3 在通用格拉斯曼流形上，Nakamaye定理中基于诺特性的常数 $ M $ 能否对典范线丛有效计算？
• RQ4 何种显式次数阈值可确保 $ \mathbb{P}^N $ 中一般超曲面的完全交具有幅面上余切丛？
• RQ5 如何将Nakamaye定理与Wronskian理想层中的有效常数结合，以在双曲性与幅面性问题中得出显式、定量的结果？

主要发现

• 本文为一般超曲面在 $ \mathbb{P}^n $ 中的Kobayashi双曲性提供了显式有效下界：$ d \geq n^{n+1}(n+1)^{n+2}(n^3+2n^2+2n-1)+n^3+3n^2+3n $，解决了Kobayashi猜想中的有效性问题。
• 证明若复流形 $ X $ 上的线丛 $ L $ 生成 $ k $-阶截面，则渐近Wronskian理想层满足 $ m_\infty(X_k, L) = 1 $；当 $ L $ 为非常ample时，$ m_\infty = k $，这有效稳定了Wronskian构造。
• 在通用格拉斯曼流形上，Nakamaye定理中的常数 $ M $ 被有效计算，从而实现了对大且诺米尼安线丛的增强基点集的有效界限。
• 对于 $ \mathbb{P}^N $ 中的完全交，本文证明：若 $ d \geq 4c_0(2N-1)^{2c_0+1}+6N-3 $，其中 $ c_0 = \lfloor (N+1)/2 \rfloor $，则由 $ H_1, \dots, H_{c_0} $（次数为 $ d $）及其他任意次数的分量构成的一般完全交具有幅面上余切丛。
• 该结果可推广至任意光滑射影 $ N $-流形 $ M $，若其具有非常ample线丛 $ A $，则满足相同界限的任意一般超曲面完全交也具有幅面上余切丛。
• 有效界限通过结合Wronskian理想稳定化与对称微分上扭曲的负性条件推导得出，确保相关线丛为诺米尼安，从而余切丛为幅面。