[论文解读] Effective finiteness theorems for maps between canonically polarized compact complex manifolds

Gordon Heier|ArXiv.org|Nov 6, 2003

Geometry and complex manifolds参考文献 18被引用 9

一句话总结

该论文为从一个固定的极化紧复流形到其他此类流形的满射全纯映射数量建立了有效且明确的上界，无论目标流形是否固定。通过有效 pluricanonical 嵌入和 Chow 变体分量的界，证明了有限性，且其常数可计算，取决于陈数和 canonical 体积。

ABSTRACT

Effective bounds for the finite number of surjective holomorphic maps between canonically polarized compact complex manifolds of any dimension with fixed domain are proven. Both the case of a fixed target and the case of varying targets are treated. In the case of varying targets, bounds on the complexity of Chow varieties are used.

研究动机与目标

• 建立从固定极化紧复流形到其他此类流形的满射全纯映射数量的有效、可计算的上界。
• 将 Riemann 曲面和一般型曲面的有效有限性结果推广至任意维度。
• 通过有效 pluricanonical 嵌入和 Chow 变体复杂度，对这类映射的模空间提供定量控制。
• 将先前关于自同构群的结果推广至目标流形可变的更广泛情形的满射全纯映射。

提出的方法

• 使用 pluricanonical 线丛 $kK_X$ 的有效非常ample界，其中 $k$ 显式计算为 $n$ 和 $e$ 的多项式上取整，确保 $kK_X$ 是非常ample的。
• 通过完整线性系统 $|kK_X|$ 将源流形 $X$ 嵌入射影空间，从而可应用代数几何工具。
• 应用对 Chow 变体中参数化 $X \times \mathbb{P}^{N_1}$ 中 $n$-维周期的不可约分量数量的界，利用 [Kol96] 和 [Gue99] 的次数界。
• 利用全纯映射的刚性：若两个映射在 Chow 变体中诱导相同的周期，则它们必相同，从而将计数问题简化为 Chow 变体分量的计数。
• 通过 [DPS94] 的有效陈类交数界，特别是 $c_i(\Omega_X^1) \cdot K_X^{n-i}$，控制目标几何的复杂度。
• 通过取一般超平面截面并迭代应用邻接公式，将非等维映射的一般情形约化为等维情形。

实验结果

研究问题

• RQ1 能否为从固定极化紧复流形到其他此类流形的满射全纯映射数量建立有效上界，且适用于任意维度？
• RQ2 如何利用有效代数几何技术控制此类映射模空间的复杂度？
• RQ3 有限性上界对 canonical 体积 $K_X^n$ 和陈数的依赖关系为何？
• RQ4 能否有效利用全纯映射的刚性，将计数问题简化为 Chow 变体不可约分量的数量？
• RQ5 当目标维数小于源流形维数时，上界如何变化？

主要发现

• 为从固定 $n$-维极化紧复流形 $X$ 到其他此类流形的满射全纯映射数量建立了有效上界，该上界仅依赖于 $n$、$K_X^n$ 以及从非常ample阈值 $k(n)$ 导出的有效常数。
• 该上界显式给出为 $\left((n+1)^2k^n n! 2^{n^2} (2k)^{\frac{1}{2}n(n+1)} (1+2kn)^n K_X^n \right)^{((k^n K_X^n + n)^2 - 1)}$，其中 $k(n)$ 为涉及 $e \approx 2.718$ 的 $n$ 的多项式的上取整，确保 $kK_X$ 是非常ample的。
• 对于目标维数 $n' < n$ 的情形，上界通过将 $K_X^n$ 替换为 $((n-n')k + 1)^{n'} k^{n-n'} K_X^n$ 而修改，反映了超平面截面后 canonical 体积的变化。
• 通过定义方程的次数界，对 Chow 变体 $\operatorname{Chow}_{n,d}(X \times \mathbb{P}^{N_1})$ 的相关不可约分量数量进行有界，从而对这类映射的数量给出有限的上界估计。
• 该方法依赖于全纯映射的刚性：若两个映射在 Chow 变体中诱导相同的周期，则它们完全相同，因此计数映射的问题可转化为计数相关分量。
• 本文提供了一种构造性、有效的方法，替代了以往依赖有限单群分类的证明，转而使用有界性与刚性，通过有效代数几何实现。