[论文解读] An Extension of Uniqueness Theorems for Meromorphic Mappings

Gerd Dethloff, Van Tan Tran|arXiv (Cornell University)|May 28, 2004

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

一句话总结

本文通过减少唯一性定理所需的超平面数量并改进重数截断条件，将亚纯映射的唯一性定理从复射影空间推广。证明了在特定重数截断界和超平面数量下，与给定映射共享原像的映射集合中至多包含两个元素，从而解决了Fujimoto于1998年提出的一个开放问题。

ABSTRACT

In this paper, we give some results on the number of meromorphic mappings of C^m into P^n under a condition on the inverse images of hyperplanes in P^n. At the same time, we give an answer for an open question by H.Fujimoto.

研究动机与目标

• 解决H. Fujimoto于1998年提出的关于亚纯映射唯一性定理中所需最小超平面数的开放问题。
• 通过将超平面数从3n+1减少到更小的值，将现有的从ℂ^m到ℂP^n的亚纯映射唯一性定理进行推广。
• 改进唯一性定理中对重数的截断条件，使结果更具灵活性和普遍性。
• 建立f₁×f₂: ℂ^m → ℂP^n×ℂP^n为线性退化的条件，为共享映射提供结构约束。
• 在截断计数函数下，推广先前关于代数退化性和唯一性的结果，特别是针对共享超平面原像的映射。

提出的方法

• 引入细化的计数函数v_{(f,H)}^{k)}，在层级k处截断交点重数，从而控制重数增长。
• 在多复变函数的Nevanlinna理论中应用第一与第二主定理，以估计计数函数和特征函数。
• 利用Segre嵌入Ψ: ℂP^n×ℂP^n → ℂP^{n²+2n}定义乘积映射的线性退化性，从而在共享映射上施加代数约束。
• 基于特征函数T_f(r)和计数函数N_f^{k)}(r,H_j)的增长估计，采用反证法，利用不等式(q−n−2)T_f(r) ≤ ... 来界定q。
• 应用定理2.2推导出类似交比的函数(f_s,H_j)/(f_s,H_i)的成比例性，从而在给定界下得出α_ij = 1。
• 利用密度论证和全纯函数理论，将恒等式从可稠密子集延拓至整个ℂ^m，确保比值的全局等价性。

实验结果

研究问题

• RQ1 Fujimoto唯一性定理中q = 3n+1的超平面数能否在保持唯一性性质的前提下减少？
• RQ2 在重数截断至层级k时，使至多两个映射共享相同原像的最小超平面数是多少？
• RQ3 当f₁和f₂在重数截断至层级k时共享原像，f₁×f₂: ℂ^m → ℂP^n×ℂP^n为线性退化的条件是什么？
• RQ4 在高维亚纯映射的唯一性定理中，截断层级k能否被减少或优化？
• RQ5 当重数截断设为p=1或p=2而非p=∞时，是否可能在更少的超平面数下实现唯一性结果？

主要发现

• 当1 ≤ n ≤ 3，q = 3n+1，p = 2，且23n ≤ k ≤ ∞时，集合F_k({H_j}, f, p)中至多包含两个不同的映射。
• 当4 ≤ n ≤ 6，q = 3n，p = 2，且(6n−1)n/(n−3) ≤ k ≤ ∞时，集合F_k({H_j}, f, p)中至多包含两个不同的映射。
• 当n ≥ 7，q = 3n−1，p = 1，且(6n−4)n/(n−6) ≤ k ≤ ∞时，集合F_k({H_j}, f, p)中至多包含两个不同的映射。
• 当q = [5(n+1)/2]，且k ≥ (65n+171)n时，要么F_k({H_j}, f, 1)中至多包含两个映射，要么所有f₁,f₂ ∈ F_k({H_j}, f, 1)均导致线性退化的乘积映射f₁×f₂。
• 证明表明对所有i ≠ j有α_ij = 1，意味着共享的超平面函数比值完全相同，从而推出f₁ ≡ f₂或线性退化性。
• 反证法表明，假设存在超过两个映射将导致不等式T_f(r) ≤ (n + nq/k)T_f(r)被违反，而该不等式在给定的k ≥ (65n+171)n和q = [5(n+1)/2]条件下不成立。