[论文解读] Holomorphic rank-2 vector bundles on non-Kahler elliptic surfaces

Vasile Brînzănescu, Ruxandra Moraru|ArXiv.org|Jun 11, 2003

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文通过将谱构造方法推广至无截面的纤维化，建立了非凯勒椭圆曲面上全纯秩-2向量丛存在的充要条件。关键结果提出了一个基于判别式的准则，涉及内朗-塞弗雷群与基曲线亏格，解决了此类曲面上秩-2丛的存在性问题，并通过几何不变量识别了非可滤丛。

ABSTRACT

The existence problem for vector bundles on a smooth compact complex surface consists in determining which topological complex vector bundles admit holomorphic structures. For projective surfaces, Schwarzenberger proved that a topological complex vector bundle admits a holomorphic (algebraic) structure if and only if its first Chern class belongs to the Neron-Severi group of the surface. In contrast, for non-projective surfaces there is only a necessary condition for the existence problem (the discriminant of the vector bundles must be positive) and the difficulty of the problem resides in the lack of a general method for constructing non-filtrable vector bundles. In this paper, we close the existence problem in the rank-2 case, by giving necessary and sufficient conditions for the existence of holomorphic rank-2 vector bundles on non-K\" ahler elliptic surfaces.

研究动机与目标

• 解决长期悬而未决的难题：确定哪些拓扑秩-2向量丛在非凯勒椭圆曲面上可赋予全纯结构。
• 将谱构造方法扩展至无截面的非凯勒椭圆纤维化，其中先前方法失效。
• 为这类丛的存在性提供必要且充分的条件，特别关注非可滤情形。
• 阐明基曲线（亏格 g）的几何如何影响存在谱中的判别式间隙。
• 建立曲面上线丛与相对雅可比簇截面之间的对应关系，从而实现向量丛的构造。

提出的方法

• 通过引入专用于此类曲面的扭曲版本，将傅里叶-穆凯伊变换框架适配至非凯勒椭圆纤维化。
• 利用纤维的相对雅可比簇 $ J(X) $ 定义谱曲线，以编码每个纤维上丛的同构类。
• 通过从具有最小自交数的 $ J(X) $ 的双截线 $ \overline{C}_0 $ 出发，对基丛 $ E_0' $ 进行初等修改，构造全纯秩-2丛。
• 引入关键不变量 $ \Delta_0 = m_{c_1} - d/2 $，其中 $ d $ 为由谱曲线几何决定的非负整数，并用其定义判别式值的阈值。
• 应用条件 $ \Delta(2,c_1,c_2) \geq \Delta_0 $，等式成立时可通过谱对应构造丛。
• 利用丛在纤维上的限制，表明任何此类丛在每条光滑纤维上均为零度，这对谱方法至关重要。

实验结果

研究问题

• RQ1 非凯勒椭圆曲面上全纯秩-2向量丛存在的充要条件是什么？
• RQ2 纤维中缺乏截面如何影响通过谱方法构造向量丛？
• RQ3 基曲线 $ B $ 的亏格在决定判别式 $ \Delta(2,c_1,c_2) $ 的可能取值中起什么作用？
• RQ4 是否可系统地构造非凯勒椭圆曲面上的非可滤向量丛，其条件为何？
• RQ5 相对雅可比簇 $ J(X) $ 如何与非凯勒椭圆曲面上线丛与向量丛的分类相关联？

主要发现

• 在非凯勒椭圆曲面 $ X \to B $ 上，全纯秩-2向量丛（具有陈类 $ c_1 $ 与 $ c_2 $）存在的充要条件为 $ \Delta(2,c_1,c_2) \geq m_{c_1} - d/2 $，其中 $ d $ 为由谱曲线几何决定的非负整数。
• 当 $ \Delta(2,c_1,c_2) \in [m_{c_1} - d/2, m_{c_1}) $ 时，对应的向量丛为非可滤丛，解决了非射影情形下的关键困难。
• 当基曲线亏格 $ g < 2 $ 时，存在性条件简化为 $ \Delta(2,c_1,c_2) \geq 0 $，表明不存在判别式间隙。
• 当 $ g > 1 $ 时，若 $ m_{c_1} > d/2 $，则出现判别式间隙，表明基曲线的几何结构直接限制了存在谱。
• 只要存在 $ J(X) $ 的不可约双截线，该构造即可生成无穷多个非可滤丛，提供了一种系统生成方法。
• 最小自交数为 $ 8\Delta_0 $ 的谱曲线 $ \overline{C}_0 $ 作为起点，通过初等修改可构建所有此类丛。