[论文解读] Holomorphic mappings into compact complex manifolds

Do Duc Thai, Vu Duc Viet|arXiv (Cornell University)|Jan 29, 2013

Meromorphic and Entire Functions参考文献 14被引用 5

一句话总结

本文在复平面（或紧致黎曼曲面）到紧致复流形的全纯映射的 Nevanlinna 理论中建立了第二个主定理，证明了在 N-次一般位置的除子中存在显式的截断阶数。关键贡献在于提出了一个截断阶数与误差项 ε 无关的缺陷关系，解决了抽象复流形值分布理论中长期存在的难题。

ABSTRACT

The purpose of this article is to show a second main theorem with the explicit truncation level for holomorphic mappings of $ \mathbb{C} $ (or of a compact Riemann surface) into a compact complex manifold sharing divisors in subgeneral position.

研究动机与目标

• 将 Nevanlinna 理论的第二个主定理推广至进入具有 N-次一般位置除子的紧致复流形的全纯映射。
• 解决长期以来关于获得与误差项 ε 无关的截断阶数这一开放问题，此前当 ε→0 时该阶数趋于无穷。
• 将 Ru 的缺陷关系推广至紧致复流形和抽象除子，而不仅限于射影簇。
• 利用喷丛度量和分歧理论，建立全纯映射族一致正规的条件。
• 为高维复几何中的唯一性与五点定理类比提供一个定量框架。

提出的方法

• 通过喷丛度量和 Cartan-Nochka 型第二个主定理，将 Nevanlinna 理论适配于紧致复流形。
• 为紧致复流形上的除子引入一种新的 N-次一般位置定义，推广了射影空间中的经典条件。
• 使用 $J_m(X)$ 上的 m-阶喷丛度量 $F_m$ 及其关联的 $K^m_X$-半范数，以控制导数的增长。
• 应用分歧定理和 Hurwitz 引理，分析极限映射的行为，并从非正规性中导出矛盾。
• 采用 Brody 极限映射和 Joseph–Kwack 正规性准则，刻画一致正规族。
• 推导出一个显式不等式，涉及截断计数函数 $N_f^{[L_j]}(r, D_j)$，其中 $L_j$ 显式依赖于 $n, \text{deg} V, N, d_j, q, \text{ 和 } \epsilon$。

实验结果

研究问题

• RQ1 能否将进入紧致复流形的全纯曲线的第二个主定理推广至处于 N-次一般位置的除子，并获得显式且与 ε 无关的截断阶数？
• RQ2 在何种条件下，进入紧致复流形的全纯映射族是统一正规的？
• RQ3 如何将缺陷关系推广至任意紧致复流形，而不仅限于射影簇？
• RQ4 喷丛度量和分歧在刻画处于次一般位置的非退化全纯映射中起什么作用？
• RQ5 能否利用该框架将 Lappan 的五点定理推广至高维紧致复流形？

主要发现

• 本文建立了具有显式截断阶数 $L_j$ 的第二个主定理，该阶数与误差项 $\epsilon$ 无关，解决了值分布理论中的一个关键开放问题。
• 对于进入 n 维光滑复射影簇 $V$ 的代数非退化全纯映射 $f: \mathbb{C} \to V$，以及处于 $N$-次一般位置的超曲面 $D_j$，当 $q \geq 2N - n + 1$ 时，对所有不在有限测度集合中的 $r$，有不等式 $(q - 2N + n - 1 - \epsilon)T_f(r) \leq \sum_{j=1}^q \frac{1}{d_j} N_f^{[L_j]}(r, D_j)$ 成立。
• 截断阶数 $L_j$ 显式地以 $n, \deg V, N, d_j, q, \epsilon$ 表示，即使当 $\epsilon \to 0$ 时仍为有限值。
• 全纯映射族 $\mathcal{F} \subset \text{Hol}(\Omega, X)$ 进入紧致复流形 $X$ 是一致正规的，当且仅当在 $\bigcup_{f \in \mathcal{F}} f^{-1}(D)$ 上，导数范数 $|df(p)|_{F_m}$ 一致有界，且所有 Brody 极限在向量空间 $E$ 的截面零点集上限制为常值。
• 该结果蕴含一个唯一性定理：若两个全纯映射共享足够多处于 $N$-次一般位置的除子且具有显式截断阶数，则它们必完全相同。
• 在高维中建立了 Lappan 五点定理的类比，表明在适当条件下，一个全纯映射由其在五个处于 $N$-次一般位置的除子上的原像唯一确定。