[论文解读] Nodal curves with general moduli on K3 surfaces

Flaminio Flamini, Andreas Leopold Knutsen+2 more|ArXiv.org|Jul 2, 2007

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

一句话总结

该论文证明，对于度数为 $2p-2$ 的 $K3$ 表面（其中 $3 \leq p \leq 11$），具有几何亏格 $g = p - \delta$ 且 $δ \leq p-2$ 的节点曲线，在正规化下会主导模空间 $Χ_g$。通过研究对偶 $(S,X)$ 的变形理论，作者证明从这类对偶的堆栈到 $Χ_g$ 的映射是主导的，表明一般亏格 $g \leq 10$ 的曲线可作为 $K3$ 表面上节点曲线的正规化出现，即使相同亏格的光滑曲线无法嵌入此类 $K3$ 表面中。

ABSTRACT

We investigate the modular properties of nodal curves on a low genus K3 surface. We prove that a general genus g curve C is the normalization of a d-nodal curve X sitting on a primitively polarized K3 surface S of degree 2p-2, for p any integer between 3 and 11 and g = p - d between 2 and p. The proof is based on a local deformation-theoretic analysis of the map from the stack of pairs (S,X) to the moduli space of curves of genus g that associates to X the isomorphism class [C] of its normalization.

研究动机与目标

• 研究 $K3$ 表面上节点曲线的模性质，特别是其正规化是否主导模空间 $\mathcal{M}_g$。
• 将博伊莱（Beauville）的变形理论方法从光滑曲线推广至 $K3$ 表面上的节点曲线。
• 解决光滑亏格 10 曲线在 $K3$ 表面上非主导与节点亏格 9 曲线在相同设定下主导之间的矛盾。
• 分析从对偶 $(S,X)$ 到 $\mathcal{M}_g$ 的正规化映射 $c_{p,\delta}$ 的变形理论行为。

提出的方法

• 使用堆栈 $\mathcal{V}_{p,\delta}$ 参数化对偶 $(S,X)$，其中 $S$ 是具有初等极化 $H$ 的 $K3$ 表面，其截面亏格为 $p$，且 $X \in |H|$ 是一个 $\delta$-节点的不可约曲线。
• 研究 $\mathcal{T}_S\langle X\rangle$ 的层，即 $S$ 上切向量场中与 $X$ 相切的部分，其上同调控制对偶 $(S,X)$ 的变形。
• 在 $X$ 的节点处对 $S$ 进行爆破，以分析正规化映射 $c_{p,\delta}$ 的局部变形理论。
• 将 $c_{p,\delta}$ 的主导性归约为 $H^0(\mathcal{I}_N/S \otimes \Omega_S^1(H))$ 的消失，其中 $N = \operatorname{Sing}(X)$。
• 应用上同调判别准则：若 $H^0(\mathcal{I}_N/S \otimes \Omega_S^1(H)) = 0$，则主导性成立，该结论通过 $H^0(\Omega_S^1(H)) \cong \mathbb{C}$ 上的全局截面论证得以证明。
• 在爆破后的曲面上使用正合列与求值映射，以控制 $c_{p,\delta}$ 的微分，确保其光滑性或无分支性。

实验结果

研究问题

• RQ1 从对偶 $(S,X)$ 到 $\mathcal{M}_g$ 的正规化映射 $c_{p,\delta}$ 是否在 $K3$ 表面上的节点曲线上主导模空间？
• RQ2 为何 $V_{11,1}$ 主导 $\mathcal{M}_{10}$，而 $V_{10,0}$ 不主导 $\mathcal{M}_{10}$，尽管两者亏格相同？
• RQ3 能否为节点曲线定义类似于光滑曲线在 $K3$ 表面上的 Wahl 型障碍？
• RQ4 映射 $c_{p,\delta}$ 的像是否与 $\mathcal{M}_g$ 中的双曲几何局部 $\mathcal{H}_g$ 相交，此类交点的维数是多少？
• RQ5 这些结果如何推广至 $p \geq 12$？对于 $g \geq 12$，$c_{p,\delta}$ 的行为如何？

主要发现

• 对于 $3 \leq p \leq 11$ 且 $0 \leq \delta \leq p-2$，任意 $V_{p,\delta}$ 的不可约分支 $V$ 上的正规化映射 $c_{p,\delta}|_V$ 是主导的，因此一般亏格 $g = p - \delta$ 的曲线是 $K3$ 表面上节点曲线的正规化。
• 映射 $c_{p,\delta}$ 的纤维维数为 $22 - 2g$，与预期维数一致，确认该映射在一般位置是光滑且主导的。
• 在 $p = 11, \delta = 1$ 的情形下，$V_{11,1}$ 的每个不可约分支都主导 $\mathcal{M}_{10}$，这令人惊讶，因为 $V_{10,0}$ 并不主导 $\mathcal{M}_{10}$。
• 在 $p = 10, \delta = 1$ 的情形下，$V_{10,1}$ 中的节点曲线仅填满边界 $\partial\overline{\mathcal{M}}_{10}$ 中的一个除子，尽管其正规化是亏格 9 的一般曲线。
• 在一般亏格 9 曲线 $C$ 上，使得 $X = C/(P=Q)$ 位于某 $K3$ 表面上的有效除子 $P+Q$ 的集合构成 $C^{(2)}$ 中的一个 1 维循环 $\Gamma$。
• 对于 $p \geq 12$，本文猜想：当 $g \leq 11$ 时，$c_{p,\delta}|_V$ 是主导的；当 $12 \leq g < p$ 时，$c_{p,\delta}|_V$ 是一般有限的，该猜想基于 $H^0(\mathcal{I}_N/S \otimes \Omega_S^1(H))$ 与 $H^1(\mathcal{I}_N/S \otimes \Omega_S^1(H))$ 的上同调条件。