[论文解读] Special Linear Series and Syzygies of Canonical Curves of Genus 9

Michael Sagraloff|ArXiv.org|May 30, 2006

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

一句话总结

本文对亏格 9 的光滑、不可约、canonical 曲线的 Betti 表进行了完整分类，建立了这些表与曲线上特殊线性系列（例如 $g^1_5$、$g^2_7$）的数量和类型的直接对应关系。论文证明了 Clifford 指数为 3 的曲线必然是五边形的，并通过柱面构造其 syzygy 分解，关键结果包括列出全部 7 种可能的 Betti 表，以及通过从平面五次曲面模型的二重点投影，对 $g_5^1$ 线性系列进行表征。

ABSTRACT

In this thesis we give a complete description of the syzygies of irreducible, nonsingular, canoncial curves $C$ of genus 9. This includes a collection of all possible Betti tables for $C$. Moreover a direct correspondence between these Betti tables and the number and types of special linear series on $C$ is given. Especially for $\operatorname{Cliff}(C)=3$ the curve $C$ is contained in determinantal surface $Y$ on a 4-dimensional rational normal scroll $X\subset \mathbb{P}^8$ constructed from a base point free pencil of divisors of degree 5.

研究动机与目标

• 为光滑、不可约、canonical 曲线的亏格 9 提供 Betti 表的完整分类。
• 建立这些曲线上 Betti 表与特殊线性系列（例如 $g^1_5$、$g^2_7$）的数量和类型的直接对应关系。
• 将 Clifford 指数为 3 的曲线表征为五边形的，并确定其 syzygy 分解的结构。
• 证明三个 $g^1_5$ 线性系列的存在性可推出 $g^2_7$ 的存在性，并通过柱面构造与形变理论加以验证。

提出的方法

• 从度数为 5 的无基点线性系统构造四维有理正则柱面 $X \subset \mathbb{P}^8$，使其包含 canonical 曲线 $C$。
• 对 $\mathcal{O}_X$ 与 $\omega_X$ 的极小自由解析式应用映射锥构造，计算 $\mathcal{O}_C$ 作为 $\mathcal{O}_{\mathbb{P}^8}$-模的解析式。
• 应用 Riemann-Roch 与上同调计算，确定 $H^0(C, \mathcal{O}_C(nD))$ 的维数，将柱面类型分类为 $S(2,1,1,1)$、$S(2,2,1,0)$ 或 $S(3,1,1,0)$。
• 从七次平面模型的二重点投影得到 $g^1_5$ 系，证明当 $C$ 的 Clifford 指数为 3 时，这些系涵盖了所有此类线性系列。
• 利用形变理论与行列式曲面理论，验证在各种线性系列条件下 Betti 表的存在性与唯一性。
• 通过计算机辅助计算验证 Betti 表，并与 Schreyer 早先对亏格 9 曲线的猜想进行比较。

实验结果

研究问题

• RQ1 光滑、不可约、canonical 曲线的亏格 9 的所有可能 Betti 表是什么？它们与曲线上特殊线性系列之间有何关系？
• RQ2 亏格 9 canonical 曲线的 Clifford 指数如何决定其极小自由解析式的结构？
• RQ3 能否利用亏格 9 曲线上多个 $g^1_5$ 线性系列的存在性，推导出 $g^2_7$ 的存在性？
• RQ4 具有 Clifford 指数 3 的亏格 9 canonical 曲线的几何结构是什么？它如何嵌入到柱面中？
• RQ5 此类曲线的 syzygies 如何从有理正则柱面上的行列式曲面的几何中产生？

主要发现

• 光滑、不可约、canonical 曲线的亏格 9 恰好有七种不同的 Betti 表，分别对应于特殊线性系列的不同构型。
• 具有 Clifford 指数 3 的 canonical 曲线必然是五边形的，即它具有一个 $g^1_5$ 线性系列。
• 三个 $g^1_5$ 系的存在性意味着 $g^2_7$ 系的存在，且该结论在几何上通过具有六个二重点的平面五次曲面模型实现。
• 具有 $g^2_7$ 与六个 $g^1_5$ 系的曲线的 Betti 表唯一确定为：$\beta_{1,2} = 64$，$\beta_{1,3} = 70$，$\beta_{1,4} = 24$，$\beta_{2,4} = 24$，$\beta_{2,5} = 70$，$\beta_{2,6} = 64$，$\beta_{3,7} = 1$，其余所有 $\beta_{i,j} = 0$。
• 具有 Clifford 指数 3 的四边形曲线的 Betti 表由 $\beta_{1,2} = 64$，$\beta_{1,3} = 75$，$\beta_{1,4} = 44$，$\beta_{2,4} = 44$，$\beta_{2,5} = 75$，$\beta_{2,6} = 64$，$\beta_{3,7} = 1$ 表征，确认了不存在 $g^2_6$ 或 $g^3_8$ 系。