[论文解读] Espace des modules des faisceaux semi-stables de rang 2 et de classes de Chern $c_{1}=0$, $c_{2}=2$ et $c_{3}=0$ sur une hypersurface cubique lisse de $\mathbb{P}^{4}$

Stéphane Druel|ArXiv.org|Feb 8, 2000

Geometry and complex manifolds被引用 12

一句话总结

本文证明了在光滑三次三复数曲面 $X \subset \mathbb{P}^4$ 上，具有陈类 $c_1=0$，$c_2=2$，$c_3=0$ 的秩 2 半稳定向量丛的模空间 $M_X$ 同构于中间雅可比簇 $J(X)$ 中某个 Fano 曲面 $-B$ 的平移的 blows-up。该构造利用了阿贝尔-雅可比映射，并通过双有理几何与普里姆簇识别了模空间，表明稳定丛对应于五次椭圆曲线，而严格半稳定的丛则对应于 $X$ 上的直线对。关键结果是将 $M_X$ 几何地实现为 $J(X)$ 中的 blows-up，通过 Fano 曲面与中间雅可比簇的几何结构解析了其结构。

ABSTRACT

In this note we study the moduli space of rank two semistable sheaves on a smooth cubic hypersurface $X\subset\mathbb{P}^{4}$ with $c_{1}=0$, $c_{2}=2$ and $c_{3}=0$. We show that it is isomorphic to the blow-up of the intermediate jacobian $J(X)$ of $X$ along the Fano surface of $X$. We complete previous results of Iliev-Markushevich AG/9910058 and Markushevich-Tikhomirov AG/9910063.

研究动机与目标

• 描述光滑三次三复数曲面 $X \subset \mathbb{P}^4$ 上，具有固定陈类 $c_1=0$，$c_2=2$，$c_3=0$ 的秩 2 半稳定向量丛的模空间 $M_X$ 的几何结构。
• 在中间雅可比簇 $J(X)$ 中，建立 $M_X$ 与 Fano 曲面 $-B$ 的平移的 blows-up 之间的精确同构。
• 通过 $X$ 上的几何对象（如五次椭圆曲线和直线对）阐明稳定丛与严格半稳定丛的参数化方式。
• 证明第二陈类诱导出从 $M_X$ 到 $J(X)$ 的双有理态射，且在 blows-up 后成为同构。

提出的方法

• 本文使用中间雅可比簇 $J(X)$，其定义为 $(H^{2,1}(X))^*/\alpha(H_3(X,\mathbb{Z}))$，是一个五维的主极化阿贝尔簇。
• 通过一个普遍族的第二陈类构造一个态射 $c_2: M_X \to J(X)$，证明其为代数态射且在群作用下保持不变。
• 证明模空间 $M_X$ 是光滑且不可约的，维数为 5，其开稠密子集 $U$ 参数化稳定丛。
• 通过 $X$ 上直线对的参数化分析严格半稳定丛的结构，从而得到一个准有限态射 $B \times B \to M_X$。
• 关键技术工具是将阿贝尔-雅可比映射与中间雅可比簇识别，利用同构 $P \simeq A \subset A_1(X)$，其中 $P$ 是与 $X$ 中一条直线 $\ell$ 相关的双覆盖 $C \to C_0$ 的普里姆簇。
• 最终同构 $M_X \simeq \widetilde{(-B)}$ 由以下事实导出：态射 $c_2$ 是双有理的，且将例外除子映射到 $-B$ 的一个平移，而 blows-up 则消除了像的奇点。

实验结果

研究问题

• RQ1 在 $c_1=0$，$c_2=2$，$c_3=0$ 条件下，光滑三次三复数曲面 $X$ 上秩 2 半稳定向量丛的模空间 $M_X$ 的几何结构是什么？
• RQ2 $X$ 上的稳定丛与严格半稳定丛如何通过几何对象（如五次椭圆曲线与直线对）进行几何参数化？
• RQ3 第二陈类态射 $c_2: M_X \to J(X)$ 是否为双有理的？其几何解释是什么？
• RQ4 模空间 $M_X$ 是否可以实现为中间雅可比簇 $J(X)$ 中某个子簇的 blows-up？
• RQ5 $X$ 上直线的 Fano 曲面 $B$ 在 $M_X$ 的几何中起什么作用？

主要发现

• 模空间 $M_X$ 同构于中间雅可比簇 $J(X)$ 中某个 Fano 曲面 $-B$ 的平移的 blows-up，通过几何 blows-up 解析了其结构。
• 由第二陈类诱导的态射 $c_2: M_X \to J(X)$ 是双有理的，且在 blows-up 后成为同构，从而将 $M_X$ 识别为 $\widetilde{(-B)} \subset J(X)$。
• 通过 Serre 构造，$X$ 上的稳定丛由位于 $X$ 上的光滑五次椭圆曲线参数化。
• 严格半稳定丛由 $X$ 上一对不同的直线参数化，且相应态射 $B \times B \to M_X$ 的像为余维数 1 的闭子簇。
• 中间雅可比簇 $J(X)$ 同构于与双覆盖 $C \to C_0$ 相关的普里姆簇 $P$，其中 $C$ 是与固定直线 $\ell$ 相交的 $X$ 上直线的簇，$C_0$ 是一个二次纤维丛的退化点集。
• 从 $M_X$ 到 $J(X)$ 的阿贝尔-雅可比映射是代数的，且将周期类 $z_t - z_{t_0}$ 与相对 3-周期的积分（模同调）对应起来，从而确认了 $M_X$ 作为 $J(X)$ 中 blows-up 的几何实现。