[论文解读] An explicit estimate on multiplicity truncation in the second main theorem for holomorphic curves encountering hypersurfaces in general position in projective space

Ta Thi Hoai An, Ha Tran Phuong|ArXiv.org|Aug 7, 2007

Meromorphic and Entire Functions参考文献 12被引用 20

一句话总结

本文为射影空间中处于一般位置的超曲面与全纯曲线相交时，第二主定理中的截断阶数 $ M $ 提供了一个显式的上界。通过改进 Corvaja 和 Zannier 的滤子技术，并结合 Wronskian 分析，作者证明：当 $ M \geq 2d\lceil 2^n(n+1)n(d+1)\varepsilon^{-1}\rceil^n $ 时，不等式 $ (q - n - 1 - \varepsilon)T_f(r) \leq \sum_{j=1}^q d_j^{-1}N_f^M(r,D_j) $ 对于大 $ r $ 在有限测度的集合外成立。

ABSTRACT

Yan and Chen proved a weak Cartan-type second main theorem for holomorphic curves meeting hypersurfaces in projective space that included truncated counting functions. Here we give an explicit estimate for the level of truncation.

研究动机与目标

• 为全纯曲线与一般位置超曲面相交时第二主定理中的截断阶数 $ M $ 提供一个显式估计。
• 解决 Yan 和 Chen 的弱 Cartan 型第二主定理中截断计数函数对 $ \varepsilon $ 的依赖性问题。
• 使截断阶数 $ M $ 在值分布理论与丢番图逼近的具体应用中可计算。
• 通过量化确保不等式渐近成立的最小 $ M $，拓展截断计数函数在第二主定理中的适用性。

提出的方法

• 作者使用了对 Corvaja 和 Zannier 滤子方法的精细化分析，该方法最初用于丢番图逼近。
• 他们构造了一个齐次多项式空间 $ V_\alpha $，其次数为 $ \alpha $，并利用与多指标 $ \mathbf{i} $ 关联的单项式定义其基。
• 从基元素 $ \psi_t(f) $ 构造一个 Wronskian 行列式 $ W $，并通过估计其在公共零点处的零点阶数，以控制计数函数的截断。
• 关键不等式通过第一主定理与 Wronskian 估计导出，从而得到滤子总权重 $ \Delta $ 的下界。
• 通过计算 $ n+1 $ 个变量中总次数 $ \leq \alpha/d - n $ 的单项式数量，对截断阶数 $ M $ 进行估计，从而得到 $ M\alpha/\Delta $ 的界。
• 通过选择 $ \alpha $ 与 $ \varepsilon^{-1} $ 成正比，作者最终以 $ d $、$ n $ 和 $ \varepsilon $ 表示出显式的 $ M $-界。

实验结果

研究问题

• RQ1 在全纯曲线与一般位置超曲面相交时，第二主定理中截断计数函数仍有效的最小截断阶数 $ M $ 是多少？
• RQ2 在值分布理论的应用中，如何使 $ M $ 对 $ \varepsilon $ 的依赖关系显式化？
• RQ3 Corvaja 和 Zannier 的滤子技术能否被加强，以在截断计数函数的背景下得到 $ M $ 的有效界？
• RQ4 截断阶数在多大程度上能用超曲面的次数与射影空间的维数来量化？
• RQ5 能否推导出一个显式的 $ M $，使得不等式 $ (q - n - 1 - \varepsilon)T_f(r) \leq \sum d_j^{-1}N_f^M(r,D_j) $ 对所有大 $ r $ 在有限测度集合外成立？

主要发现

• 本文证明：当 $ M \geq 2d\lceil 2^n(n+1)n(d+1)\varepsilon^{-1}\rceil^n $ 时，第二主定理中截断计数函数的不等式对所有大 $ r $ 在有限勒贝格测度集合外成立。
• 截断阶数 $ M $ 显式地以超曲面次数的最小公倍数 $ d $、维数 $ n $ 和误差参数 $ \varepsilon $ 表示。
• 该界通过仔细选择的齐次多项式基的 Wronskian 的详细分析，结合 Corvaja 和 Zannier 的滤子方法导出。
• 该估计表明 $ M $ 关于 $ \varepsilon^{-1} $ 是多项式增长的，因此在 $ \varepsilon $ 固定且较小时具有有效性，这在应用中是典型的。
• 该结果不仅适用于从 $ \mathbb{C} $ 到 $ \mathbb{P}^n(\mathbb{C}) $ 的全纯曲线，还可推广至从 $ \mathbb{C}^m $ 出发的亚纯映射以及非阿基米德分析曲线。
• 关键不等式 $ (q - n - 1 - \varepsilon)T_f(r) \leq \sum d_j^{-1}N_f^M(r,D_j) $ 被证明是渐近成立的，且 $ o(T_f(r)) $ 误差被吸收进 $ \varepsilon $ 项中。