[论文解读] ACM bundles on K3 surfaces of genus 2

K. Watanabe|arXiv (Cornell University)|Jul 7, 2014

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

一句话总结

本文对双 cover 分支于六次曲线的 genus 2 K3 表面（即作为 ℙ² 上的三重覆盖）上的初始线丛与阿基米德 Cohen-Macaulay (ACM) 线丛进行了数值刻画。在 Picard 滞留数 ρ = a = 9 的条件下，通过这些线丛的扩张构造了高秩的半稳定、不可约 ACM 向量丛族，其维数随秩线性增长。

ABSTRACT

Let $π:X ightarrow \mathbb{P}^2$ be a K3 surface of genus 2 and $L=π^{\ast}\mathcal{O}_{\mathbb{P}^2}(3)$, and assume that $π^{\ast}\mathcal{O}_{\mathbb{P}^2}(1)$ is ample as a line bundle on $X$. In this paper, we give a numerical characterization of initialized and ACM line bundles on $X$ with respect to $L$ and construct families of semistable indecomposable ACM bundles of higher rank, by using extensions of ACM line bundles.

研究动机与目标

• 针对非常 ample 线丛 L = π*O(3)，提供 K3 表面在 genus 2 情形下初始线丛与 ACM 线丛的完整数值分类。
• 研究 Néron-Severi 滞留数为 2-初等的 K3 表面上 ACM 向量丛的结构，特别是当 Picard 数 ρ(X) = a = 9 时的情形。
• 通过 ACM 线丛的扩张构造高秩半稳定、不可约 ACM 向量丛族。
• 建立此类丛族的存在性，且其维数至少随丛的秩线性增长。

提出的方法

• 利用双覆盖 π: X → ℙ²，分支于光滑六次曲线，定义非常 ample 线丛 L = π*O(3)，条件为 π*O(1) 在 X 上为 ample。
• 应用 K3 表面上双椭圆线性系统理论，通过除子 D 上的交比理论条件刻画 ACM 与初始线丛。
• 采用形如 0 → ⨁E_i → G → O_X(D_3) → 0 的扩张序列，从低秩 ACM 线丛构造高秩 ACM 向量丛。
• 利用上同调消去与 Ext-群计算（例如 dim Ext^1(O_X(D_i), E_j) = 4）确保所得丛为简单丛且为 ACM。
• 利用具有 2-初等 Néron-Severi 滞留数的 K3 表面上的典范对合 θ，识别不动点集 X^θ 为 genus 2 曲线，其生成线丛 L = O_X(3X^θ)。
• 应用定理 6.1 关于扩张族，证明此类丛族的维数至少为 n（对于秩为 n 的丛），并由射影空间参数（如秩为 2m+2 时的 ℙ^{4m+1}）给出显式下界。

实验结果

研究问题

• RQ1 在 genus 2 K3 表面上，关于线丛 L 的初始与 ACM 线丛 O_X(D) 的除子 D，其数值条件为何？
• RQ2 如何系统性地构造此类 K3 表面上高秩半稳定、不可约 ACM 向量丛族？
• RQ3 Néron-Severi 滞留数的 2-初等结构在 Donagi-Morrison 线性系统 |L| 的存在性与放大性中起何作用？
• RQ4 在何种 Picard 数与滞留数结构条件下，线丛 L = O_X(3X^θ) 成为非常 ample，且构成 Harris-Mumford 猜想的反例？
• RQ5 此类 K3 表面上非同构、半稳定、不可约 ACM 向量丛族（秩为 n）的维数是多少？

主要发现

• 给出了 genus 2 K3 表面上初始与 ACM 线丛的完整数值分类：O_X(D) 关于 L 为 ACM 且初始当且仅当 D 满足涉及 D² 与 H.D 的八种情形之一（H ∈ |L|）。
• Ulrich 线丛被刻画为具有最大可能自交数的初始与 ACM 线丛，对应情形 (h)，其中 D² = 20, 26, 或 32，且 D² = 2H.D - 22。
• 对于具有 2-初等 Néron-Severi 滞留数且 ρ(X) = a = 9 的 K3 表面，Donagi-Morrison 例子 |L| 为 ample，且等于 |3X^θ|，其中 X^θ 为典范对合的不动曲线。
• 对任意 n ≥ 3，存在维数至少为 n 的非同构、不可约、半稳定 ACM 向量丛族，其秩为 n。
• 通过扩张序列构造的丛族参数化于维数至少为 4m+1 的射影空间（秩为 2m+2 时），表明族的维数随秩线性增长。
• 所得高秩丛为半稳定（但非稳定），原因在于构成线丛的 Hilbert 多项式相等，且通过引理 6.1 的归纳稳定性论证。