[论文解读] Second main theorem and unicity of meromorphic mappings for hypersurfaces in projective varieties

Si Duc Quang, Do Phuong An|arXiv (Cornell University)|Dec 3, 2014

Meromorphic and Entire Functions参考文献 15被引用 6

一句话总结

本文为从 ℂ^m 到射影子簇 V ⊂ ℙ^n(ℂ) 的亚纯映射建立了第二个主定理，涉及截断计数函数的 N-次一般位置超曲面。关键贡献在于引入了 Hilbert 函数 H_V(d) 的缺陷关系，将经典结果推广至退化映射，并推广了不计重数共享超曲面的唯一性定理。

ABSTRACT

Let $V$ be a projective subvariety of $\mathbb P^n(\mathbb C)$. A family of hypersurfaces $\{Q_i\}_{i=1}^q$ in $\mathbb P^n(\mathbb C)$ is said to be in $N$-subgeneral position with respect to $V$ if for any $1\le i_1

研究动机与目标

• 将 Nevanlinna 理论的第二个主定理推广至射影子簇 V ⊂ ℙ^n(ℂ)，而不仅限于 ℙ^n(ℂ)。
• 将亚纯映射共享超曲面的唯一性定理推广至映射可能线性退化的情形，而不仅限于代数非退化的情形。
• 引入并运用关于子簇 V 的 N-次一般位置概念，推广经典的一般位置概念。
• 通过 Hilbert 函数 H_V(d) 建立使用截断计数函数的缺陷关系，实现显著低于先前结果的截断水平。
• 证明亚纯映射在不计重数下共享超曲面的唯一性定理，即使映射在 I_d(V) 上退化也成立。

提出的方法

• 定义关于射影子簇 V（维数为 k）的超曲面的 N-次一般位置，要求任意 N+1 个超曲面与 V 的交集非平凡。
• 引入 Hilbert 函数 H_V(d) = dim I_d(V)，即模 V 的理想后，次数为 d 的齐次多项式空间的维数。
• 使用截断计数函数 N^{[H_V(d)−1]}_{Q_i(f)}(r) 衡量 f 与超曲面 Q_i 的接近程度，截断水平为 H_V(d)−1。
• 建立第二个主定理：对于 I_d(V) 上非退化的映射，有 (q − (2N−k+1)H_V(d)/(k+1))T_f(r) ≤ ∑(1/d_i)N^{[H_V(d)−1]}_{Q_i(f)}(r) + o(T_f(r))。
• 通过反证法应用第二个主定理证明唯一性定理：假设两个不同的映射 f 和 g 共享超曲面，通过特征函数估计导出矛盾。
• 利用 Jensen 公式和特征函数恒等式，对结式函数 P_i = Q_i(f)Q_σ(i)(g) − Q_i(g)Q_σ(i)(f) 的计数函数进行有界，当共享超曲面数量超过阈值时导致矛盾。

实验结果

研究问题

• RQ1 Nevanlinna 理论的第二个主定理能否推广至射影子簇 V ⊂ ℙ^n(ℂ) 上的亚纯映射，而不仅限于 ℙ^n(ℂ)？
• RQ2 当超曲面关于 V 处于 N-次一般位置时，第二个主定理中计数函数的最优截断水平是什么？
• RQ3 是否可以在不计重数的情况下建立亚纯映射的唯一性定理，即使映射是线性退化的？
• RQ4 处于 N-次一般位置的多少个超曲面足以强制两个射入 V 的亚纯映射完全相同？
• RQ5 Hilbert 函数 H_V(d) 在次一般位置背景下如何影响缺陷关系与唯一性阈值？

主要发现

• 为从 ℂ^m 到维数为 k 的射影子簇 V 的亚纯映射 f: ℂ^m → V 建立了第二个主定理，其中超曲面关于 V 处于 N-次一般位置。
• 计数函数的截断水平为 H_V(d)−1，显著低于以往结果如 (M+1) 或 (n+d choose n)−1。
• 缺陷关系为 (q − (2N−k+1)H_V(d)/(k+1))T_f(r) ≤ ∑(1/d_i)N^{[H_V(d)−1]}_{Q_i(f)}(r) + o(T_f(r))，其中 H_V(d) 为 V 的 Hilbert 函数。
• 唯一性定理表明：若两个射入 V 的亚纯映射 f 和 g 共享 q 个处于 N-次一般位置的超曲面且不计重数，且 q > 2(2N−k+1)H_V(d)/(k+1)，则 f ≡ g。
• 该结果推广了经典的 Cartan-Nochka 定理：当 V 为维数 k 的线性空间且每个 Q_i 为超平面时，H_V(d) = k+1，结果退化为经典第二个主定理。
• 唯一性阈值 q ≤ 2(2N−k+1)H_V(d)/(k+1) 是精确的，通过反证法证明，利用特征函数估计与 Jensen 公式得出。