[论文解读] Ulrich bundles on surfaces with $q=p_g=0$

Arnaud Beauville|arXiv (Cornell University)|Jul 4, 2016

Algebraic Geometry and Number Theory参考文献 5被引用 12

一句话总结

本文证明了，任何通过足够大的线性系统嵌入到射影空间中的、具有不规则性 $q = p_g = 0$ 的曲面，均 admits 一个秩 2 的 Ulrich 纤维丛，其构造基于 Lazarsfeld–Mukai 方法。关键结果是：每个 Enriques 曲面均 admits 这类纤维丛，从而解决了关于所有射影代数簇上 Ulrich 纤维丛存在性这一开放问题的一个情形。

ABSTRACT

We prove that any surface with q=p_g=0 embedded by a sufficiently large linear system admits a rank 2 Ulrich bundle. In particular every Enriques surface admits a rank 2 Ulrich bundle.

研究动机与目标

• 建立通过射影空间嵌入的、满足 $q = p_g = 0$ 的曲面上 Ulrich 纤维丛的存在性。
• 解决关于每个射影代数簇是否都存在 Ulrich 纤维丛这一开放问题，特别关注 $q = p_g = 0$ 的曲面。
• 将已知的 Ulrich 纤维丛结果推广至 Enriques 曲面及其他 Kodaira 维数为 0 的极小曲面。
• 提供一种利用线性系统与向量丛扩张构造秩 2 Ulrich 纤维丛的显式方法。

提出的方法

• 通过在线性系统 $|K_S^{-1}(1)|$ 中选取一条不可约曲线 $C$，应用 Lazarsfeld–Mukai 构造。
• 将曲面 $S$ 上的秩 2 向量丛 $E$ 构造为从 $H^0(C, A) o A$ 的求值映射的核，其中 $A$ 是 $C$ 上的一般线丛，满足 $\deg A = g(C)+1$。
• 利用正合列 $0 o E o H^0(C, A) o A o 0$ 推出 $H^ullet(S, E) = 0$。
• 利用对偶性 $E(1) o E^* o K_S$ 证明 $H^ullet(S, E(1)) = 0$，从而推出 $E(2)$ 是 Ulrich 纤维丛。
• 应用条件 $\mathcal{O}_S(1)|_C = \omega_C$，以确保该纤维丛构造与 canonical 纤维丛相容。
• 将结果推广至 $\mathcal{O}_S(1) \cong K_S^r$ 且 $r \geq 3$ 的情形，证明 $|K_S^{r-1}|$ 包含一条不可约曲线。

实验结果

研究问题

• RQ1 当通过足够大的线性系统嵌入射影空间时，每个满足 $q = p_g = 0$ 的曲面是否都 admits 秩 2 Ulrich 纤维丛？
• RQ2 Lazarsfeld–Mukai 构造是否可用于在满足 $q = p_g = 0$ 的曲面上生成 Ulrich 纤维丛？
• RQ3 所有 Enriques 曲面是否都 admits 秩 2 Ulrich 纤维丛？
• RQ4 线性系统 $|K_S^{-1}(1)|$ 需满足何种条件，才能保证秩 2 Ulrich 纤维丛的存在？
• RQ5 Ulrich 纤维丛的存在性是否可推广至其他 Kodaira 维数为 0 的极小曲面，如双椭圆曲面？

主要发现

• 通过足够大的线性系统嵌入射影空间的每个 Enriques 曲面均 admits 秩 2 Ulrich 纤维丛。
• 若 $|K_S^{-1}(1)|$ 中存在不可约曲线，则可保证在满足 $q = p_g = 0$ 的曲面上构造出秩 2 Ulrich 纤维丛。
• 作为求值映射核构造的向量丛 $E$ 满足 $H^ullet(S, E) = 0$ 且 $H^ullet(S, E(1)) = 0$，因此 $E(2)$ 是 Ulrich 纤维丛。
• 对于满足 $\mathcal{O}_S(1) \cong K_S^r$ 且 $r \geq 3$ 的曲面，线性系统 $|K_S^{r-1}|$ 包含不可约曲线，从而确保秩 2 Ulrich 纤维丛的存在。
• 双椭圆曲面可通过从阿贝尔曲面的提升构造出 Ulrich 纤维丛，从而完成了对 Kodaira 维数为 0 的极小曲面 Ulrich 纤维丛的分类。
• 该结果支持一个猜想：所有满足 $q = p_g = 0$ 的曲面均 admits Ulrich 纤维丛，除非是某些特殊的 K3 曲面。