[论文解读] Higher rank Clifford indices of curves on a K3 surface

Soheyla Feyzbakhsh, Chunyi Li|arXiv (Cornell University)|Oct 25, 2018

Algebraic Geometry and Number Theory参考文献 18被引用 4

一句话总结

本文在 Picard 群为 ℤH 的 K3 曲面之上，建立了半稳定向量丛全局截面维数的精确上界，从而实现了高阶 Clifford 指数的计算。证明了当 $ g \geq r^2 \geq 4 $ 时，此类曲线的秩 $ r $ Clifford 指数等于 $ \frac{2}{r}(g-1) - \frac{2}{r}\left\lfloor \frac{g}{r}\right\rfloor $，该结果通过 Lazarsfeld-Mukai 丛的限制获得，并通过证明 $ \mathrm{Cliff}_r(C) = l - 4 $ 验证了光滑平面曲线情形下 Mercat 猜想的第一部分，其中 $ l \geq 5 $。

ABSTRACT

Let $(X,H)$ be a polarized K3 surface with $\mathrm{Pic}(X) = \mathbb Z H$, and let $C\in |H|$ be a smooth curve of genus $g$. We give an upper bound on the dimension of global sections of a semistable vector bundle on $C$. This allows us to compute the higher rank Clifford indices of $C$ with high genus. In particular, when $g\geq r^2\geq 4$, the rank $r$ Clifford index of $C$ can be computed by the restriction of Lazarsfeld-Mukai bundles on $X$ corresponding to line bundles on the curve $C$. This is a generalization of the result by Green and Lazarsfeld for curves on K3 surfaces to higher rank vector bundles. We also apply the same method to the projective plane and show that the rank $r$ Clifford index of a degree $d(\geq 5)$ smooth plane curve is $d-4$, which is the same as the Clifford index of the curve.

研究动机与目标

• 在 Picard 群为 ℤH 的 K3 曲面之上，建立半稳定向量丛全局截面维数的新、更强上界。
• 当 $ g \geq r^2 \geq 4 $ 时，计算此类曲线的高阶 Clifford 指数 $ \mathrm{Cliff}_r(C) $，将 Green 与 Lazarsfeld 的结果推广至高阶丛。
• 通过证明 $ \mathrm{Cliff}_r(C) = l - 4 $，验证光滑平面曲线情形下 Mercat 猜想的第一部分。
• 将该方法推广至其他曲面（如射影平面与 del Pezzo 曲面），利用 Bridgeland 稳定性条件与 Bogomolov-Gieseker 型不等式。

提出的方法

• 利用曲面 $ X $ 的凝聚层导出范畴 $ D^b(X) $ 上的 Bridgeland 稳定性条件，聚焦于稳定性条件的二维子空间。
• 通过 $ Z(\mathcal{O}_X) \to 0 $ 时的中心电荷与斜率行为，结合墙穿插技术，应用 Harder-Narasimhan 多边形方法来界定 $ h^0(C,E) $。
• 通过精确正合列 $ 0 \to E_{C,A}^\vee \to H^0(C,A) \otimes \mathcal{O}_X \to A \to 0 $ 构造 $ X $ 上的 Lazarsfeld-Mukai 丛 $ E_{C,A} $，其限制用于计算 Clifford 指数。
• 利用 Harder-Narasimhan 多边形的凸性与斜率和陈特征的几何约束，推导 $ h^0(C,E) $ 的上界。
• 在射影平面上应用该方法，通过分析由陈特征界定义的三角形内的 Harder-Narasimhan 多边形，得到 $ h^0(C,E) $ 的分段上界。
• 利用所得上界计算 $ \mathrm{Cliff}_r(C) $，并证明对于 $ l \geq 5 $ 的光滑平面曲线，其值为 $ l - 4 $。

实验结果

研究问题

• RQ1 对于 Picard 群为 $ \mathrm{Pic}(X) = \mathbb{Z}H $ 的 K3 曲面 $ X $ 上的光滑曲线 $ C \subset X $，以及满足 $ d \leq r(g-1) $ 的半稳定丛 $ E $，$ h^0(C,E) $ 的精确上界是什么？
• RQ2 当 $ g \geq r^2 \geq 4 $ 时，是否可通过 $ X $ 上 Lazarsfeld-Mukai 丛的限制来计算高阶 Clifford 指数 $ \mathrm{Cliff}_r(C) $？
• RQ3 对于 $ l \geq 5 $ 的光滑平面曲线，Mercat 猜想的第一部分是否成立，即 $ \mathrm{Cliff}_r(C) = l - 4 $？
• RQ4 基于 Bridgeland 稳定性与 Harder-Narasimhan 多边形的方法，如何推广至射影平面或 del Pezzo 曲面等其他曲面？

主要发现

• 对于 Picard 群为 $ \mathrm{Pic}(X) = \mathbb{Z}H $ 的 K3 曲面 $ X $ 上的光滑曲线 $ C \subset X $，当 $ d \leq r(g-1) $ 时，对半稳定丛 $ E $ 有不等式 $ h^0(C,E) < r + \frac{g}{4r(g-1)^2}d^2 + \frac{r}{g} $，该上界强于经典高阶 Clifford 定理。
• 当 $ g \geq r^2 \geq 4 $ 时，秩 $ r $ Clifford 指数为 $ \mathrm{Cliff}_r(C) = \frac{2}{r}(g-1) - \frac{2}{r}\left\lfloor \frac{g}{r}\right\rfloor $，其通过 Lazarsfeld-Mukai 丛的限制计算得出。
• 对于 $ l \geq 5 $ 的光滑平面曲线，秩 $ r $ Clifford 指数为 $ \mathrm{Cliff}_r(C) = l - 4 $，从而确认了 Mercat 猜想的第一部分。
• 平面曲线上 $ h^0(C,E) $ 的上界为分段形式：当 $ d \geq rl $ 时为 $ r + \left(\frac{3}{2l} + \frac{d}{2rl^2}\right)d $；当 $ r(l-1) \leq d < rl $ 时为 $ \max\{3r + d - rl, r + \frac{rl + r}{rl^2 - d}d\} $。
• 该上界足够紧致，可证明 $ \mathrm{Cliff}_r(C) = l - 4 $，且当 $ E = \mathcal{O}_C(1)^{\oplus r} $ 时取等，且不存在满足 $ h^0(C,E) \geq 2r $ 但 Clifford 指数更小的丛。
• 该方法可推广至 K3 曲面之外：其在射影平面上适用，且相同 Clifford 指数结果成立，同时暗示其对具有强 Bogomolov-Gieseker 不等式的其他曲面亦具适用性。