[论文解读] Self Rational Maps of K3 Surfaces

Xi Chen|arXiv (Cornell University)|Aug 10, 2010

Algebraic Geometry and Number Theory参考文献 4被引用 12

一句话总结

本文证明了，对于任意非常一般的、亏格 $ g \geq 2 $ 的射影 K3 曲面，不存在度大于一的主导有理自同态。作者使用退化技术，将 K3 曲面退化为沿一条光滑椭圆曲线相接的两个 Del Pezzo 曲面的并，通过分析其上吹破后的诱导映射，最终证明此类映射不可能存在，原因在于 Néron-Severi 群中除子类行为与拟正条件之间的矛盾。

ABSTRACT

We prove that a very general projective K3 surface does not admit a dominant self rational map of degree at least two.

研究动机与目标

• 解决关于非常一般的亏格 $ g \geq 2 $ K3 曲面上不存在度大于一的主导有理自同态的猜想。
• 理解 K3 曲面上自有理映射的几何与算术意义，特别是与有理点密度及 $ \mathbb{C}^2 $ 的全纯支配性之间的关系。
• 使用退化技术，通过将 K3 曲面退化为沿一条光滑椭圆曲线相接的 Del Pezzo 曲面并，分析自有理映射。
• 研究退化中心纤维上的诱导有理映射，并通过吹破解决其奇点，分析除子类的行为。
• 证明此类映射的存在性会导致 Néron-Severi 群中拟正条件的矛盾，从而证明其不存在性。

提出的方法

• 将一个非常一般的 K3 曲面退化为两个 Del Pezzo 曲面 $ S_1 \cup S_2 $ 沿一条光滑椭圆曲线 $ D $ 横截粘合的并 $ W_0 $，同时保持其度为 $ 2g-2 $ 的 ample 线丛。
• 利用映射 $ \operatorname{Ext}(\Omega_{W_0}, \mathcal{O}_{W_0}) \to H^0(\mathcal{E}xt(\Omega_{W_0}, \mathcal{O}_{W_0})) \cong H^0(\mathcal{O}_D(-K_{S_1} - K_{S_2})) $ 的满射性，确保 $ W_0 $ 可光滑化为 K3 曲面。
• 通过基变换后提升，研究一般纤维上的诱导有理映射 $ \phi_t: X_t \dashrightarrow X_t $，得到总空间上的有理映射 $ \phi: X \dashrightarrow X $。
• 通过一个双有理态射 $ f: Y \to X $ 解决 $ \phi $ 的奇点，得到正则映射 $ \varphi = \phi \circ f $，并分析有理曲面及其吹破上的除子类的像。
• 分析 $ \varphi_* $ 在 $ \mathbb{P}^2 $、$ \mathbb{F}_0 $ 和 $ \mathbb{F}_1 $ 的吹破的 Néron-Severi 群上的作用，特别关注超平面除子和例外曲线的像。
• 通过拟正性与大性条件的矛盾推导出结论，特别是证明 $ \varphi_* $-像的非负除子无法满足必要的交点条件，除非 $ \beta = 1 $，这与 $ \deg \phi > 1 $ 矛盾。

实验结果

研究问题

• RQ1 非常一般的射影 K3 曲面（亏格 $ g \geq 2 $）是否允许存在度大于一的主导有理自同态？
• RQ2 能否通过退化为 Del Pezzo 曲面的并来理解 K3 曲面上的自有理映射？
• RQ3 Néron-Severi 群与拟正条件对这些映射下除子类的像施加了何种限制？
• RQ4 是否存在一种有理映射，作用于 $ \mathbb{P}^2 $、$ \mathbb{F}_0 $ 或 $ \mathbb{F}_1 $ 的吹破上，保持线丛与例外曲线结构，且度 $ \beta > 1 $？
• RQ5 能否通过分析诱导映射在对偶化曲线 $ D $ 上的行为及其在映射 $ \delta $ 下的表现，排除此类映射的存在性？

主要发现

• 对于非常一般的射影 K3 曲面 $ X $（亏格 $ g \geq 2 $），不存在度大于一的主导有理自同态 $ \phi: X \dashrightarrow X $。
• 退化为 Del Pezzo 曲面的并使得可以通过分析有理曲面及其吹破上的行为，来研究自有理映射。
• 在假设 $ \deg \phi > 1 $ 的前提下，诱导映射 $ \varphi $ 的除子类的像会导致矛盾，特别是由于 $ \varphi_* $-像不满足拟正性与大性条件。
• 在所有情形下（$ R_2 \cong \mathbb{P}^2 $、$ \mathbb{F}_0 $ 或 $ \mathbb{F}_1 $），假设 $ \beta > 1 $ 会导致不可能的除子类关系，如 $ \beta = \beta^2 $，从而强制 $ \beta = 1 $。
• 分析表明，若 $ \phi $ 沿粘合曲线 $ D $ 不是正则的，则 $ \phi $ 的某点的原像的像是例外曲线 $ E $，除非 $ \beta = 1 $，否则将导致矛盾。
• 最终矛盾源于假设 $ \operatorname{Exec}(\phi_{R_2}) = \emptyset $，导致在 Néron-Severi 群中产生一组方程，其唯一解为 $ \beta = 1 $，从而排除了度大于一的映射。