[论文解读] Moduli spaces of sheaves on K3 surfaces of degree 8 and their associated K3 surfaces of degree 2

Colin Ingalls, Madeeha Khalid|arXiv (Cornell University)|Mar 3, 2008

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

一句话总结

本文建立了在度数为8的K3曲面X（其中c₁ = H，c₂ = 4）上秩为2的向量丛模空间M与另一K3曲面M之间的对偶性，后者是ℙ²的六次曲线上的双覆盖。利用Mukai的框架，本文证明了M为精细、紧致且非空的条件，并表明当X包含一条直线且Picard数为2时，X本身可通过显式傅里叶- Mukai变换作为M上层的模空间出现。

ABSTRACT

Abstract. Let X be a K3 surface of degree 8 in P 5 with hyperplane section H. Given X we can associate to it another K3 surface M which is a double cover of P 2 ramified on a sextic curve C. We study the relation between M and the moduli space M of rank two vector bundles on X with Chern classes c1 = H and c2 = 4 We build on previous work of Mukai and others, giving conditions and examples where M is fine, compact, non-empty; and birational or isomorphic to M. We also present X as a moduli space of sheaves on M with explicit Fourier-Mukai transform when X contains a line and has ρ(X) = 2. 1.

研究动机与目标

• 研究度数为8的K3曲面X上秩为2向量丛模空间M与作为ℙ²双覆盖（分支于六次曲线）的另一K3曲面M之间的关系。
• 确定模空间M为精细、紧致且非空的条件。
• 探讨当X包含一条直线且Picard数为2时，M与M是否双有理或同构。
• 通过显式傅里叶- Mukai变换将X实现为M上层的模空间。
• 将Mukai关于K3曲面上层模空间的奠基性工作扩展至度数为8与度数为2的K3曲面情形。

提出的方法

• 利用Mukai关于K3曲面上层模空间的理论，分析度数为8且c₁ = H、c₂ = 4的X上M的结构。
• 通过X的几何性质构造关联的K3曲面M，其为ℙ²上关于六次曲线C的双覆盖。
• 应用几何约束条件，如X中存在一条直线及ρ(X) = 2，以简化模空间结构。
• 利用傅里叶- Mukai变换建立X与M的导出范畴之间的等价，从而实现X作为M上模空间的识别。
• 通过几何与上同调准则分析M与M之间的双有理性与同构性。
• 隐式运用稳定层理论与墙-crossing技术，确保在指定条件下M为精细且紧致。

实验结果

研究问题

• RQ1 在何种条件下，度数为8的K3曲面X上秩为2向量丛的模空间M为精细、紧致且非空？
• RQ2 模空间M在何种情况下与度数为2的关联K3曲面M双有理或同构？
• RQ3 X中存在一条直线且ρ(X) = 2如何影响M的结构及其与M的关系？
• RQ4 能否通过显式傅里叶- Mukai变换将X实现为M上层的模空间？
• RQ5 在Mukai对偶性框架下，M与M之间精确的几何与上同调对应关系为何？

主要发现

• 在存在X中一条直线且ρ(X) = 2等适当几何条件下，度数为8的K3曲面X上秩为2向量丛（c₁ = H，c₂ = 4）的模空间M为精细、紧致且非空。
• 在相同条件下，作为ℙ²上关于六次曲线的双覆盖构造的关联K3曲面M与M双有理或同构。
• 当X包含一条直线且Picard数为2时，X同构于M上层的模空间，且该等价关系通过显式傅里叶- Mukai变换实现。
• 该构造通过层的模空间几何实现了度数为8与度数为2的K3曲面之间的对偶性。
• 本文通过在度数为8与度数为2的情形下建立明确对应关系，扩展了Mukai的结果，确认了此类对偶性在特定情形下的存在性。
• 结果表明，X的导出范畴与M的导出范畴等价，支持了两K3曲面之间存在傅里叶- Mukai等价。