[论文解读] ACM bundles on del Pezzo surfaces

Joan Pons-Llopis, Fabio Tonini|arXiv (Cornell University)|Mar 17, 2010

Algebraic Geometry and Number Theory被引用 25

一句话总结

本文通过证明秩 1 ACM 线丛在度数 ≤6 的 del Pezzo 曲面上同构于结构层或对应于度数 ≤d 的有理正则曲线的线丛，对这些曲面上的秩 1 ACM 向量丛进行了分类。此外，通过迭代扩张构造了任意 n≥2 的秩 n 的非同构简单 ACM 向量丛族，其维数 ≥n−1，从而证明这些曲面具有野性表示型。

ABSTRACT

ACM rank 1 bundles on del Pezzo surfaces are classified in terms of the rational normal curves that they contain. A complete list of ACM line bundles is provided. Moreover, for any del Pezzo surface $X$ of degree less or equal than six and for any $n\geq 2$ we construct a family of dimension $\geq n-1$ of non-isomorphic simple ACM bundles of rank $n$ on $X$.

研究动机与目标

• 对度数 d ≤ 6 的 del Pezzo 曲面上的初始化且 ACM 的线丛进行分类。
• 确定线丛为 ACM 的几何条件，重点关注有理正则曲线。
• 在度数 ≤6 的 del Pezzo 曲面上构造高秩简单 ACM 向量丛族。
• 通过展示任意大族的非同构简单 ACM 向量丛，确立这些曲面为野性表示型。
• 利用 Hilbert 多项式与扩张序列分析所构造 ACM 向量丛的半稳定性性质。

提出的方法

• 利用 del Pezzo 曲面作为 P² 在最多 6 个点上的 blown-up 的分类，分析线丛与曲线。
• 应用类 Bertini 定理，根据与例外除子的交数，确定哪些线性系统包含光滑曲线。
• 通过有理正则曲线 D ⊆ X ⊆ P^d 且 deg(D) ≤ d 的对应关系表征 ACM 线丛。
• 通过使用 Ext^1 群对低秩 ACM 向量丛进行迭代扩张，构造高秩 ACM 向量丛。
• 通过 Riemann-Roch 与交点理论计算 Ext^1 群的维数，具体为 dim Ext^1(O_X(R), E_i) = 2 - 2N + C·R + D·R。
• 利用引理 5.1.6，通过在扩张序列中验证相等的斜率比，归纳证明所构造向量丛的半稳定性。

实验结果

研究问题

• RQ1 在度数 d ≤ 6 的 del Pezzo 曲面上，哪些线丛是初始化且 ACM 的？
• RQ2 此类 ACM 线丛在曲面上嵌入曲线的几何表征为何？
• RQ3 能否在度数 ≤6 的 del Pezzo 曲面上，对任意 n ≥ 2 的秩 n，构造出非同构简单 ACM 向量丛族？
• RQ4 此类 ACM 向量丛族的维数是多少？其是否随 n 增大而增长？
• RQ5 所构造的 ACM 向量丛是否为半稳定或稳定？其斜率为何？

主要发现

• 在度数 d ≤ 6 的 del Pezzo 曲面 X 上，线丛 L 是初始化且 ACM 的，当且仅当 L ≅ O_X 或 L ≅ O_X(D)，其中 D ⊆ X 为度数 ≤ d 的有理正则曲线。
• 对任意 n ≥ 2，任何度数 ≤6 的 del Pezzo 曲面上均存在维数 ≥ n−1 的非同构简单 ACM 向量丛族，其秩为 n。
• 所构造的向量丛为常斜率 d 的严格半稳定丛，所有子丛与商丛均具有相同的斜率比。
• 构造过程通过秩 1 与秩 2m+1 丛的迭代扩张实现，Ext^1 维数通过交点理论与 Riemann-Roch 计算。
• 秩 2m+1 丛族的维数为 (P²)^m，而秩 2m+2 丛族的维数为 P^{1+3m}，从而确认了 ≥n−1 的下界。
• 由于存在违反稳定性条件中严格不等式的子丛，这些丛并非稳定。