[论文解读] Non-Archimedean analytic curves in the complements of hypersurface divisors

Ta Thi Hoai An, Julie Tzu‐Yueh Wang+1 more|arXiv (Cornell University)|Apr 22, 2020

Algebraic Geometry and Number Theory参考文献 13被引用 5

一句话总结

本文研究了光滑射影簇中关于超曲面除子的补集的非阿基米德分析映射，建立了此类映射代数退化或为常值的条件。证明了当每个 $ D_i $ 为次数至少为 2 的一般超曲面时，$ \mathbb{P}^n\setminus\bigcup_{i=1}^n D_i $ 是 $ K $-双曲的；且当 $ \deg D_1 + \deg D_2 \geq 4 $ 时，$ \mathbb{P}^2\setminus\bigcup_{i=1}^2 D_i $ 是 $ K $-双曲的，通过显式构造展示了该界限的最优性。

ABSTRACT

We study the degeneration dimension of non-archimedean analytic maps into the complement of hypersurface divisors of smooth projective varieties. We also show that there exist no non-archimedean analytic maps into $P^n\setminus\cup_{i= 1}^n D_i$ where $D_i, 1\le i\le n$, are hypersurfaces of degree at least 2 in general position and intersecting transversally. Moreover, we prove that there exist no non-archimedean analytic maps into $P^2\setminus\cup_{i=1}^2 D_i$ when $D_1, D_2$ are generic plane curves with deg$D_1+$deg$D_2\ge 4$.

研究动机与目标

• 研究光滑射影簇中关于超曲面除子补集的非阿基米德分析映射的退化性与双曲性。
• 将非阿基米德版本的 Brody 双曲性与 Green-Griffiths 型猜想推广至多个超曲面的补集。
• 建立此类映射代数退化或为常值的最优条件，特别是在 $ \mathbb{P}^n $ 与 $ \mathbb{P}^2 $ 中。
• 当双曲性不成立时，提供非恒等分析映射的显式构造，以证明界限的最优性。
• 验证 $ \mathbb{P}^n $ 中 $ n $ 个次数 $ \geq 2 $ 的一般超曲面的非阿基米德版本 Kobayashi-Zaidenberg 猜想。

提出的方法

• 使用非阿基米德 Nevanlinna 理论中的第二主定理（Ru [10]）来控制避开除子的分析映射的增长。
• 应用除子的一般位置条件，以确保横截相交并控制其公共点的余维数。
• 通过将问题约化为子簇上的分析映射，并在非阿基米德设定下应用 Picard 定理，将问题归约为曲线情形。
• 运用 Bézout 定理来界定交点重数，并在交点条件被违反时排除非恒等映射的存在。
• 通过直线与圆锥的有理参数化构造显式分析映射。
• 使用坐标线性变换将问题约化为标准形式（例如 $ D_1 = \{X_0 = 0\} $，$ D_2 = \{X_1 = 0\} $），以显式验证非恒等映射的存在。

实验结果

研究问题

• RQ1 在 $ \mathbb{P}^n $ 中，$ n $ 个超曲面的次数与位置满足何种条件时，补集 $ \mathbb{P}^n \setminus \bigcup_{i=1}^n D_i $ 是 $ K $-双曲的？
• RQ2 在何种条件下，补集 $ \mathbb{P}^2 \setminus (D_1 \cup D_2) $ 允许存在非恒等的非阿基米德分析映射，又在何种条件下是 $ K $-双曲的？
• RQ3 对于光滑射影簇 $ X $，非恒等分析映射 $ f: K \to X \setminus \bigcup_{i=1}^q D_i $ 的像的 Zariski 闭包的最高可能维数是多少？
• RQ4 相切与拐点条件如何影响 $ \mathbb{P}^2 $ 减去一条直线与一条圆锥后，非恒等分析映射的存在性？
• RQ5 猜想：当 $ \sum_{i=1}^q \deg D_i \geq 2n $ 且 $ q \leq n $ 时，$ \mathbb{P}^n \setminus \bigcup_{i=1}^q D_i $ 是 $ K $-双曲的，该猜想是否成立？在何种条件下其界限是最优的？

主要发现

• 对于光滑射影 $ n $-重叠 $ X $ 及一般位置的 $ q $ 个除子 $ D_i $，任意非阿基米德分析映射 $ f: K \to X \setminus \bigcup_{i=1}^q D_i $ 的像包含于余维数为 $ \min\{n+1, q\} - 1 $ 的子簇中。
• $ \mathbb{P}^n \setminus \bigcup_{i=1}^n D_i $ 是 $ K $-双曲的，若每个 $ D_i $ 为次数至少为 2 的一般超曲面，从而证明了 $ n $ 个除子情形下非阿基米德版本的 Kobayashi-Zaidenberg 猜想。
• $ \mathbb{P}^2 \setminus \bigcup_{i=1}^2 D_i $ 是 $ K $-双曲的，若 $ \deg D_1 + \deg D_2 \geq 4 $，且当 $ \deg D_1 = 1 $、$ \deg D_2 = 2 $ 时，通过显式构造证明该界限是最优的。
• 当 $ D_1 $ 为直线，$ D_2 $ 为在最大拐点处与 $ D_1 $ 相切的圆锥时，存在非恒等分析映射进入 $ \mathbb{P}^2 \setminus (D_1 \cup D_2) $，表明此情形下双曲性条件不成立。
• 若 $ D_1 $ 为直线，$ D_2 $ 为三次或更高次曲线，且不与 $ D_1 $ 在最大拐点处相交，则 $ \mathbb{P}^2 \setminus (D_1 \cup D_2) $ 是 $ K $-双曲的，因为任何非恒等映射都必须通过交点过多的曲线，从而被强制退化。
• 例子 $ f(z) = (1,1,z) $ 在 $ \mathbb{P}^2 \setminus \{X_0=0\} \cup \{X_1=0\} $ 中表明，$ K $-双曲性在两个坐标超平面上不成立，且其像位于不包含原点的直线上，从而证明了余维数界限的最优性。