[论文解读] The geometry of the divisor of K3 sections

Gavril Farkas, Mihnea Popa|arXiv (Cornell University)|May 7, 2003

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文对在 K3 曲面上传播的非 Brill-Noether 类型的除子在 genus 10 曲线的模空间中的交比理论进行了详细分析。该除子揭示了其四种几何实现形式，包括一种作为高秩 Brill-Noether 除子的形式，并利用此结果描述了 M_{10,n} 的双有理几何结构，同时在 M_{11} 中构造了具有大 Iitaka 维数的有效最小斜率除子，挑战了经典 Brill-Noether 除子是 M_g 中唯一最小斜率除子的信念。

ABSTRACT

We carry out a detailed intersection theoretic analysis of the Deligne-Mumford compactification of the divisor on M_{10} consisting of curves sitting on K3 surfaces. This divisor is not of classical Brill-Noether type, and is known to give a counterexample to the Slope Conjecture. The computation relies on the fact that this divisor has four different incarnations as a geometric subvariety of the moduli space of curves, one of them as a higher rank Brill-Noether divisor consisting of curves with an exceptional rank 2 vector bundle. As an application we describe the birational nature of the moduli space of n-pointed curves of genus 10, for all n. We also show that on M_{11} there are effective divisors of minimal slope and having large Iitaka dimension. This seems to contradict the belief that on M_g the classical Brill-Noether divisors are essentially the only ones of slope 6+12/(g+1).

研究动机与目标

• 使用交比理论分析 M_{10} 中位于 K3 曲面上的曲线的除子的几何结构。
• 理解该除子的多种几何实现形式，包括其作为高秩 Brill-Noether 除子的实现形式。
• 确定对所有 n ≥ 0，模空间 M_{10,n} 的双有理类型。
• 研究 M_{11} 中有效最小斜率除子的存在性与性质。
• 挑战普遍认为经典 Brill-Noether 除子是 M_g 中唯一有效最小斜率除子的信念。

提出的方法

• 在 M_{10} 的 Deligne-Mumford 紧化空间上使用交比理论，研究位于 K3 曲面上的曲线的除子。
• 利用该除子的四种不同几何实现形式——特别是通过一个例外秩 2 向量丛实现为高秩 Brill-Noether 除子的形式。
• 利用该除子多重实现的结构，推导出对所有 n 的 M_{10,n} 的双有理性质。
• 将交比理论结果应用于 M_{11}，以构造具有最小斜率和大 Iitaka 维数的有效除子。
• 分析这些除子的斜率与 Iitaka 维数，评估其对 Slope 猜想及 M_g 中除子分类的影响。

实验结果

研究问题

• RQ1 M_{10} 中位于 K3 曲面上的曲线的除子的交比理论结构是什么？
• RQ2 该除子的四种不同几何实现形式之间有何关联，又如何与已知除子类相关联？
• RQ3 对任意 n，模空间 M_{10,n} 的双有理性质是什么？
• RQ4 在 M_{11} 中，是否存在非经典 Brill-Noether 类型的有效最小斜率除子？
• RQ5 M_{11} 中此类除子是否具有大 Iitaka 维数？这对 Slope 猜想有何含义？

主要发现

• M_{10} 中位于 K3 曲面上的曲线的除子并非经典 Brill-Noether 类型，且为 Slope 猜想提供了一个反例。
• 该除子具有四种不同的几何实现形式，其中一种是与一个例外秩 2 向量丛相关的高秩 Brill-Noether 除子。
• 基于该除子的交比理论分析，M_{10,n} 对所有 n 的双有理几何结构已完全描述。
• 在 M_{11} 中，存在具有最小斜率的有效除子，且其 Iitaka 维数较大，这与仅经典 Brill-Noether 除子可实现最小斜率的信念相矛盾。
• 这些发现挑战了普遍认为经典 Brill-Noether 除子是 M_g 中唯一有效最小斜率除子的既有理解。