[论文解读] Nodal Curves on K3 Surfaces

Xi Chen|arXiv (Cornell University)|Nov 22, 2016

Algebraic Geometry and Number Theory参考文献 6被引用 3

一句话总结

本文证明，在一般的极化K3曲面 $(X,L)$ 上， Severi 代数曲线族 $V_{L,g}$ 中每个不可约分支都包含一个 $V_{L,g-1}$ 的分支，从而通过归纳法得出：每个分支的一般成员均为节点型曲线。核心方法是退化到一个Bryan-Leung型K3曲面，并利用模空间 $ar{ackslash{}mathcal{M}}_g$ 中稳定曲线的单值性论证，表明该族的像与边界除子相交，从而推出通过 $g-1$ 个点的线性系统与之交集的不完备性。

ABSTRACT

In this paper, we study the Severi variety $V_{L,g}$ of genus $g$ curves in $|L|$ on a general polarized K3 surface $(X,L)$. We show that the closure of every component of $V_{L,g}$ contains a component of $V_{L,g-1}$. As a consequence, we see that the general members of every component of $V_{L,g}$ are nodal.

研究动机与目标

• 纠正先前研究中一个有缺陷的论断：即K3曲面上任意 $|L|$ 中的 genus $g>0$ 曲线均为节点型。
• 建立对于一般极化K3曲面 $(X,L)$，Severi代数曲线族 $V_{L,g}$ 的每个分支的闭包都包含一个 $V_{L,g-1}$ 的分支。
• 利用此结果，通过归纳法证明：对所有 $0 \leq g \leq p_a(L)$，$V_{L,g}$ 的每个分支的一般成员均为节点型。
• 通过验证其关键条件之一，支持K3曲面上通用Severi代数曲线族 $\mathcal{V}_{L,g}$ 的不可约性猜想。

提出的方法

• 通过退化到Picard格为 $\begin{bmatrix}-2&1\\1&0\end{bmatrix}$ 的Bryan-Leung型K3曲面，分析极限线性系统。
• 构造一个在圆盘 $\mathcal{X} \to \Delta$ 上的曲线族，其中心纤维为有理曲线与椭圆曲线的并。
• 分析模映射 $\rho: S \to \overline{\mathcal{M}}_g \times T$，并证明其像与边界 $\Delta_0 \times T$ 相交。
• 应用维数与不可约性论证，证明对 $t \neq 0$ 有 $\rho^{-1}(\Delta \times T) \cap S_t \neq \emptyset$，从而推出 $W \cap \Lambda_\sigma$ 的不完备性。
• 利用 $\dim \rho(S) = 2$ 且对 $\rho^{-1}(\Delta_0 \times T)$ 的分支 $G$ 有 $\dim \rho(G) = 1$ 的事实，若像避开边界则导出矛盾。
• 依赖于 $|F|$ 中的节点型纤维在极限下产生有理尾，从而迫使模点位于 $\Delta_0$。

实验结果

研究问题

• RQ1 在一般极化K3曲面的Severi代数曲线族 $V_{L,g}$ 中，每个分支是否都包含一个 $V_{L,g-1}$ 的分支？
• RQ2 对所有 $0 \leq g \leq p_a(L)$，$V_{L,g}$ 的每个分支的一般成员是否都是节点型？
• RQ3 用于有理曲线的退化方法能否推广至K3曲面上的高亏格曲线？
• RQ4 在 $|L|$ 中的有理曲线节点上的单值性作用是否为全对称群 $\Sigma_p$？
• RQ5 是否每个 $\overline{V}_{L,g}$ 的分支的闭包都包含一个 $V_{L,0}$ 的分支，从而支持通用Severi代数曲线族的不可约性？

主要发现

• 通过退化至Bryan-Leung型K3曲面，证明了一般极化K3曲面上 $V_{L,g}$ 的每个不可约分支的闭包都包含一个 $V_{L,g-1}$ 的分支。
• 此包含关系通过归纳法推出：对所有 $0 \leq g \leq p_a(L)$，$V_{L,g}$ 的每个分支的一般成员均为节点型，从而纠正了先前一个有缺陷的论断。
• 模映射 $\rho: S \to \overline{\mathcal{M}}_g \times T$ 的像维数为2，且与边界除子 $\Delta_0 \times T$ 相交于维数1，这对论证至关重要。
• 存在一点 $b \in S_0$，使得纤维 $Y_b$ 具有节点型有理尾，从而迫使 $\rho(b) \in \Delta_0 \times T$，确保像与边界相交。
• 若假设 $\rho^{-1}(\Delta_0 \times T) \subset S_0$ 且 $\rho$ 在分支上为常值，则导出矛盾，从而说明 $W \cap \Lambda_\sigma$ 不可能完备。
• 该结果支持通用Severi代数曲线族 $\mathcal{V}_{L,g}$ 不可约的猜想，因其验证了Harris型不可约性证明所需的两个条件之一。