[论文解读] ACM vector bundles on prime Fano threefolds and complete intersection Calabi Yau threefolds

Carlo Madonna|ArXiv.org|Mar 2, 2001

Algebraic Geometry and Number Theory参考文献 10被引用 23

一句话总结

本文通过将存在性问题约化为这些三叉上具有特定不变量的曲线的存在性，对初等法诺三叉和判别数为一的完全交卡拉比-丘三叉上的不可约化归一化秩二 ACM 向量丛进行了分类。它提供了一份完整的可能陈类及其相关曲线不变量的列表，表明此类丛存在当且仅当三叉上存在相应的曲线，并通过已知构造验证了若干情形下的存在性。

ABSTRACT

In this paper we derive a list of all the possible indecomposable normalized rank--two vector bundles without intermediate cohomology on the prime Fano threefolds and on the complete intersection Calabi Yau threefolds, say $V$, of Picard number $ρ=1$. For any such bundle $\E$, if it exists, we find the projective invariants of the curves $C \subset V$ which are the zero-locus of general global sections of $\E$. In turn, a curve $C \subset V$ with such invariants is a section of a bundle $\E$ from our lists. This way we reduce the problem for existence of such bundles on $V$ to the problem for existence of curves with prescribed properties contained in $V$. In part of the cases in our lists the existence of such curves on the general $V$ is known, and we state the question about the existence on the general $V$ of any type of curves from the lists.

研究动机与目标

• 对初等法诺三叉和判别数为一的完全交卡拉比-丘三叉上的所有不可约化归一化秩二 ACM 向量丛进行分类。
• 将此类丛的存在性问题约化为三叉上具有指定次数与亏格的拟正则曲线的存在性问题。
• 提供一份完整的可能陈类及其相关曲线不变量的列表，以确定此类丛可能存在的条件。
• 通过将丛与已知曲线（如椭圆曲线或 Pfaffian 表示）关联，验证特定情形下丛的存在性。
• 利用 Serre 构造建立丛的全局截面与零点曲线之间的对应关系，从而通过曲线重构丛。

提出的方法

• 利用 Serre 对应关系，将三叉中满足特定次数与亏格的曲线与一个秩二向量丛关联，前提是该曲线为算术正则且具有指定不变量。
• 应用文献 [13] 中的同调准则，确保丛无中间同调，依赖于所有扭量的 h^1 和 h^2 的消失。
• 利用条件 Pic(V) = Z[D] 和 h^1(O_V(nD)) = 0 对所有 n 成立，以确保三叉满足必要的同调性质。
• 对每种可能的丛，通过一般全局截面的零点计算陈类 c1 和 c2，并确定相应的曲线不变量（亏格 p 和次数 d）。
• 利用已知的几何构造——如 V6 的 Pfaffian 表示，以及 V10 和 V14 上由椭圆曲线生成的全局生成丛——来验证特定情形下丛的存在性。
• 利用 Hartshorne–Serre 对应关系从曲线构造丛，通过 c2 ≠ 0 确保无中间同调且丛不可约。

实验结果

研究问题

• RQ1 在初等法诺三叉和判别数为一的完全交卡拉比-丘三叉上，哪些归一化秩二 ACM 向量丛可能存在？
• RQ2 对于哪些陈类 (c1, c2) 组合，此类丛存在，其零点曲线的对应不变量（亏格与次数）为何？
• RQ3 此类丛的存在性能否约化为三叉上特定曲线（如椭圆曲线、canonical 曲线或 Pfaffian 曲线）的存在性？
• RQ4 在哪些情形下，对应曲线的存在性已知，而在哪些情形下仍为一般三叉上的开放问题？
• RQ5 如 Pfaffian 表示或由椭圆曲线生成的全局生成丛等构造，如何导致 ACM 丛的构造？

主要发现

• 本文为初等法诺三叉和判别数为一的完全交卡拉比-丘三叉上的所有可能归一化秩二 ACM 丛提供了一份完整列表，其参数由陈类及其相关曲线不变量确定。
• 对于列表中的每类丛，其一般全局截面的零点为具有明确定义亏格 p 和次数 d 的拟正则曲线，且此类曲线存在当且仅当丛存在。
• 在 V6（P^5 中一个二次曲面与一个三次曲面的交）的情形下，Pfaffian 表示与亏格 6、次数 10 的曲线之间存在一一对应关系。
• 对于 V10 和 V14，通过存在次数为 4 和 5 的椭圆曲线，确立了 c1=1, c2=4 和 c1=1, c2=5 的全局生成秩二丛的存在性。
• 对于 ciCY 三叉，本文列出了所有可能的归一化 ACM 丛的陈类，其中情形 (1)–(4) 和 (7) 的存在性通过已知曲线的存在性得到确认，而 (5)–(6) 则由标准同调计算推导得出。
• 通过 Serre 对应关系构造丛可确保所得丛无中间同调且不可约，前提是曲线为算术正则且非完全交曲线。