[论文解读] ACM bundles on a general quintic threefold

Luca Chiantini, Carlo Madonna|ArXiv.org|Oct 9, 2001

Algebraic Geometry and Number Theory参考文献 6被引用 7

一句话总结

本文证明了在 ℙ⁴ 中的一般五次三复形上，所有稳定秩 2 的算术 Cohen–Macaulay (ACM) 向量丛都是无穷小刚性，即其形变空间为零。通过利用 ACM 向量丛不变量的分类以及其关联的子正则曲线上的上同调技术，作者表明在所有情况下，法丛上同调 h⁰(N_C) 均满足刚性判别准则，从而确认了对这一类向量丛 Tyurin 猜想的部分解。

ABSTRACT

We give a partial positive answer to a conjecture of Tyurin (\cite {Tyu}). Indeed we prove that on a general quintic hypersurface of $\Pj^4$ every arithmetically Cohen--Macaulay rank 2 vector bundle is infinitesimally rigid.

研究动机与目标

• 研究 ℙ⁴ 中一般五次三复形上稳定秩 2 向量丛的形变理论。
• 检验 Tyurin 猜想，即所有此类稳定秩 2 向量丛均为无穷小刚性。
• 为非 ℙ⁴ 上丛的限制的 ACM 向量丛子类建立刚性。
• 对一般五次三复形上不可约 ACM 秩 2 向量丛及其关联的 0-横截曲线进行不变量分类。
• 扩展对 Calabi–Yau 三复形上 ACM 向量丛模空间的理解，特别是在非完全交曲线的背景下。

提出的方法

• 利用先前工作（Madonna, 2001）的结果，对一般五次三复形上归一化的不可约秩 2 ACM 向量丛的可能陈类进行分类。
• 使用 Serre 对应关系，将秩 2 ACM 向量丛与 X 中的子正则、算术 Cohen–Macaulay 曲线 C ⊂ X 关联起来。
• 通过理想层 I_C 的极小自由解析计算法丛的上同调 h⁰(N_C)。
• 应用 Kleppe 与 Miró–Roig（1997）提出的刚性判别准则，基于不等式 h⁰(N_C) ≤ 5/6 c₁³ − c₁c₂ + 25/6 c₁ + 5c₂。
• 验证在所有情况下该不等式均取等号，从而推出向量丛 E 的无穷小刚性。
• 利用 Riemann–Roch 与对偶性计算 h⁰(ℰ(1))，并确定解析式的 Betti 数，特别是对存在三次关系的案例。

实验结果

研究问题

• RQ1 所有在一般五次三复形上的稳定秩 2 ACM 向量丛是否都是无穷小刚性？
• RQ2 能否通过其关联的 0-横截曲线的上同调分析来建立 ACM 向量丛的刚性？
• RQ3 一般五次三复形上不可约秩 2 ACM 向量丛的完整不变量 (c₁, c₂) 是什么？
• RQ4 若五次三复形上存在非刚性秩 ≥3 的向量丛，是否意味着秩 2 ACM 向量丛必为刚性？
• RQ5 在一般五次三复形上，哪些 (c₁, c₂) 值对应非完全交 ACM 曲线的存在？

主要发现

• 在一般五次三复形上，所有稳定秩 2 ACM 向量丛均为无穷小刚性，因为 H¹(ℰ ⊗ ℰ∨) = 0。
• 法丛上同调 h⁰(N_C) 满足刚性不等式 h⁰(N_C) ≤ 5/6 c₁³ − c₁c₂ + 25/6 c₁ + 5c₂，且在所有情况下均取等号。
• 当 c₁ = 4 且 c₂ = 30 时，Beauville 的 Pfaffian 构造保证了此类向量丛的存在，从而在该情况下确认了结果。
• 当 c₁ = 1 且 c₂ = 8 时，解析式中包含三次关系，但上同调公式仍给出 h⁰(N_C) = 36，确认了刚性，即使 Betti 数未知。
• c₁ = 2, c₂ = 11, 13, 14 及 c₁ = 3, c₂ = 31 的情况在存在性上仍为开放问题，但所有已知配置的刚性均已确立。
• 该方法确认了从 Hilbert 模式到丛模空间的映射可能为满射，因为在所有情况下 I 的维数均为 125。