[论文解读] An ampleness criterion for rank 2 vector bundles on surfaces

Arnaud Beauville|arXiv (Cornell University)|Jun 1, 2018

Geometry and complex manifolds参考文献 1被引用 1

一句话总结

本文建立了光滑射影曲面上全局生成的秩2向量丛丰沛性的判别准则：若Néron-Severi群由该丛的一阶陈类生成，且丛至少有四个整体截面，则该丛要么是丰沛的，要么可分解为一个线丛与其行列式之直和。该结果适用于Lazarsfeld-Mukai丛、P³中的直线线丛族，以及可能具有丰沛余切丛的曲面。

ABSTRACT

We observe that the proof of the Bogomolov stable restriction theorem can be adapted to give an ampleness criterion for globally generated rank 2 vector bundles on certain surfaces. This applies to the Lazarsfeld-Mukai bundles, to congruences of lines in P^3, and possibly to the construction of surfaces with ample cotangent bundle (help welcome!).

研究动机与目标

• 建立光滑射影曲面上全局生成的秩2向量丛丰沛性的充分条件。
• 将该判别准则应用于Lazarsfeld-Mukai丛、P³中直线线丛族等特殊几何对象。
• 探讨利用该准则构造具有丰沛余切丛的新曲面的可能性。
• 阐明Néron-Severi群与全局生成条件在确定丰沛性中的作用。

提出的方法

• 利用丛的全局生成性及其一个4维整体截面子空间，构造从平凡丛到该向量丛的满射。
• 通过其陈类分析核丛，并在H¹(det(E)⁻¹)消失的条件下应用引理：c₁²(E) > c₂(E)。
• 应用Gieseker引理，推导出存在曲线C及满射E → OC，从而得到核丛的滤子结构。
• 利用Bogomolov定理将核丛分解为一个线丛与一个挠层的直和，并通过陈类分析导出不等式。
• 利用H¹(det(E)⁻¹)的消失性，推导出核丛的对偶分裂，从而在h⁰(E) ≥ 4时，除非E可分解，否则导致矛盾。
• 将该判别准则应用于具体情形：Lazarsfeld-Mukai丛、P³中的直线线丛族，以及曲面的余切丛。

实验结果

研究问题

• RQ1 在何种条件下，曲面上的全局生成秩2向量丛是丰沛的？
• RQ2 秩2丛的丰沛性是否可仅由其一阶陈类结构与整体截面维数确定？
• RQ3 条件N¹(S) = Z·c₁(E)在丰沛性判别准则中是否为必要条件？
• RQ4 该判别准则是否可用于构造具有丰沛余切丛的新曲面？
• RQ5 当丛可分解为OS ⊕ det(E)而非丰沛时，其几何意义为何？

主要发现

• 若E是光滑射影曲面S上满足h⁰(E) ≥ 4且N¹(S) = Z·c₁(E)的全局生成秩2向量丛，则E要么是丰沛的，要么同构于OS ⊕ det(E)。
• 关键技术步骤是引理：在H¹(S, det(E)⁻¹) = 0的假设下，有c₁²(E) > c₂(E)。
• 对于Lazarsfeld-Mukai丛，当H¹(S, OS) = 0、N¹(S) = Z·[C]，且NC ⊗ L⁻¹是全局生成且非平凡时，该丰沛性判别准则适用。
• 在P³中直线线丛族的情形下，若曲面S ⊂ G(1,3)的次数>1且N¹(S)由OG(1)的限制生成，则E是丰沛的，故S无基本点。
• 该判别准则表明，当Horrocks-Mumford阿贝尔曲面在P⁴中拉回到格拉斯曼簇时，所得曲面无基本点。
• 对于余切丛Ω¹_S，若其全局生成、q(S) ≥ 4，且N¹(S) = Z·[K_S]，则Ω¹_S是丰沛的，尽管尚未知存在满足所有假设的显式例子。