[论文解读] Holomorphic vector bundles on non-algebraic surfaces

Andrei Teleman, Matei Toma|arXiv (Cornell University)|Jan 24, 2002

Geometry and complex manifolds参考文献 7被引用 5

一句话总结

该论文解决了非代数曲面上全纯向量丛的存在性问题，证明了在非代数K3曲面上的秩2丛以及在已知的Ⅶ类曲面上的任意秩丛，当且仅当其第一陈类属于内朗-塞弗雷群且其判别式满足涉及m(r,a)不变量的特定不等式时，存在全纯结构。证明结合了唐纳森理论、形变理论以及4-流形上瞬子模空间的性质。

ABSTRACT

The existence problem for holomorphic structures on vector bundles over non-algebraic surfaces is in general still open. We solve this problem in the case of rank 2 vector bundles over K3 surfaces and in the case of vector bundles of arbitrary rank over all known surfaces of class VII. Our methods, which are based on Donaldson theory and deformation theory, can be used to solve the existence problem of holomorphic vector bundles on further classes of non-algebraic surfaces.

研究动机与目标

• 解决复向量丛在非代数曲面上全纯结构存在的长期悬而未决问题。
• 为非代数K3曲面上秩2丛的全纯结构存在性建立精确的拓扑与上同调准则。
• 将存在性准则推广至所有已知Ⅶ类曲面（包括b2=0者及含椭圆曲线者）上的任意秩丛。
• 证明全纯结构的存在性由拓扑不变量（c1, Δ）与m(r,a)不变量决定，尤其在非代数曲面上成立。
• 通过形变理论将问题约化至经吹胀的霍普夫曲面，证明在Ⅶ类曲面上，全纯结构的存在性与可滤全纯结构的存在性条件相同。

提出的方法

• 运用唐纳森理论分析与PU(2)-丛相关的多项式不变量qP(X)的非零性，该不变量可检测秩2丛上全纯结构的存在性。
• 应用形变理论分析Ⅶ类曲面上向量丛的全纯结构模空间，特别通过Atiyah序列及上同调群H^i(X, Σ)进行研究。
• 采用通过NS(X)中类a的有理分解下确界定义的m(r,a)不变量，该不变量在非代数曲面上非负。
• 通过小形变与P_r性质，将含椭圆曲线的Ⅶ类曲面上的存在性问题约化至吹胀霍普夫曲面的情形。
• 利用吹胀下陈类的拉回，比较不同曲面上Δ(E) − m(r, c1(E))的值，证明其在正规变换下保持非减。
• 利用Ⅶ类曲面上H^2(X, End(E)) = 0与H^2(X, Θ_X) = 0的事实，确保形变空间的光滑性及形变映射的子mersivity。

实验结果

研究问题

• RQ1 在非代数K3曲面上，一个秩2的微分复向量丛在何种条件下允许全纯结构？
• RQ2 能否通过拓扑不变量表征已知Ⅶ类曲面上任意秩向量丛的全纯结构存在性？
• RQ3 m(r,a)不变量在多大程度上控制非代数曲面上全纯结构的存在性？
• RQ4 唐纳森不变量qP(X)的非零性与秩2丛上全纯结构的存在性有何关系？
• RQ5 在Ⅶ类曲面上，全纯结构的存在性是否等价于可滤全纯结构的存在性？

主要发现

• 对于非代数K3曲面X上的秩2丛E，E存在全纯结构当且仅当c1(E) ∈ NS(X)且Δ(E) ≥ min(6, m(2, c1(E)))，但当a(X) = 0、Δ(E) = 4且c1(E) ∈ 2NS(X)时，不存在全纯结构。
• 对于非代数K3曲面上的秩2丛，E存在可滤全纯结构当且仅当c1(E) ∈ NS(X)且Δ(E) ≥ m(2, c1(E))。
• 在所有已知Ⅶ类曲面（包括b2=0者或含椭圆曲线者）上，秩r丛E存在全纯结构当且仅当c1(E) ∈ NS(X)且Δ(E) ≥ m(r, c1(E))。
• Ⅶ类曲面上全纯结构的存在性等价于可滤全纯结构的存在性，通过形变至吹胀霍普夫曲面及P_r性质得以证明。
• 在非代数曲面上，m(r,a)为非负整数，其量化了给定陈类a下全纯结构存在的最小判别式。
• 证明表明Δ(E) − m(r, c1(E))在正规变换下保持非减，从而可将问题约化至极小模型与已知情形。