[论文解读] Holomorphic curves into algebraic varieties intersecting moving hypersurface targets

Gerd Dethloff, Van Tan Tran|arXiv (Cornell University)|Mar 30, 2015

Meromorphic and Entire FunctionsMathematics参考文献 24被引用 20

一句话总结

本文建立了代数非退化全纯曲线在复射影簇中与移动超曲面目标相交的第二主定理，扩展了Ru关于固定目标的结果。通过在簇的坐标环上引入一种新颖的滤子方法，并分析Hilbert序列渐近性，作者克服了在一般簇中正则序列失效的问题，证明了计数函数满足带误差项o(T_f(r))的精确不等式。

ABSTRACT

27 pages. arXiv: 1503.08801v2. We correct an error in the proof: The second part of equation (2.12) in the the first version of this paper does not hold in general.

研究动机与目标

• 将Min Ru关于固定超曲面的第二主定理推广至射影簇中移动超曲面目标的情形。
• 克服一般簇中正则序列性质的失效问题，该失效使得依赖于正则序列线性同构的先前方法失效。
• 在簇的齐次坐标环上发展一种新的滤子技术，即使在缺乏正则序列的情况下也能保持维数控制。
• 即使理想非主理想，也通过一个自守理想元素控制移动超曲面不在一般位置的点集。
• 为全纯曲线建立一个带误差项o(T_f(r))的精确计数函数不等式，将结果推广至任意射影簇，无需完备性或Cohen-Macaulay假设。

提出的方法

• 在射影簇V的齐次坐标环上构造滤子，利用移动超曲面的定义多项式。
• 通过组合技巧分析滤子的Hilbert序列渐近性，以计算商向量空间维数之和。
• 证明滤子中几乎所有商向量空间具有相同维数，从而实现精确的渐近估计。
• 使用一般性特化论证，表明在一般点处对亚纯系数进行取值时，向量空间维数保持稳定。
• 引入移动超曲面自守理想的控制元素，以管理非一般位置点集，即使理想非主理想亦成立。
• 通过Evertse-Ferretti估计结合对数范数比的最大函数估计，应用广义Mumford恒等式。

实验结果

研究问题

• RQ1 全纯曲线在射影簇中与移动超曲面相交的第二主定理能否从固定目标推广至移动目标？
• RQ2 当正则序列性质失效时，如何在坐标环的滤子中保持维数控制？
• RQ3 处理移动超曲面不在一般位置的非横截点集的正确方法是什么？
• RQ4 在不假设簇为完全交的情况下，能否将计数函数不等式中的误差项减少至o(T_f(r))？
• RQ5 是否能仅通过坐标环上的代数与Hilbert函数渐近技术，将Evertse-Ferretti与Ru的方法推广至移动目标？

主要发现

• 作者证明了代数非退化全纯曲线f: ℂ → ℙ^M与移动超曲面相交的第二主定理，计数函数满足：对任意ε > 0，有∑_{j=1}^q N_f(r, Q_j) ≥ d(q−n−1−ε)T_f(r) + o(T_f(r))。
• 该方法成功避免了对正则序列性质的依赖，通过Hilbert序列渐近性与滤子中组合维数控制实现。
• 证明了滤子中商向量空间的维数几乎恒定，即使簇非Cohen-Macaulay，也能实现精确渐近估计。
• 通过自守理想中的单个元素控制移动超曲面不在一般位置的点集，足以支持误差项分析。
• 证明表明误差项为o(T_f(r))，在给定假设下确认了该界为最优。
• 该结果推广了Ru的固定目标第二主定理，以及Dethloff-Tan在ℙ^n中关于移动目标的结果，适用于任意射影簇，无需要求簇为完全交。