[论文解读] Moduli of Generalized Line Bundles on a Ribbon

Dawei Chen, Jesse Leo Kass|arXiv (Cornell University)|Jun 27, 2011

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

一句话总结

本文构建并分析了在肋状结构（光滑曲线的一阶加厚）上斜率半稳定的层的模空间，表明该模空间通过广义线丛和约化曲线上的秩2向量丛，实现了线丛模空间的紧化。关键结果是：当肋状结构的亏格为偶数时，模空间是射影的，并满足Eisenbud与Green对度数为0的广义线丛（非负指标）的紧化条件。

ABSTRACT

A ribbon is a first-order thickening of a non-singular curve. Motivated by a question of Eisenbud and Green, we show that a compactification of the moduli space of line bundles on a ribbon is given by the moduli space of semi-stable sheaves. We then describe the geometry of this space, determining the irreducible components, the connected components, and the smooth locus.

研究动机与目标

• 解决Eisenbud与Green关于有理肋状结构上度数为0的线丛模空间是否能通过非负指标的广义线丛实现紧化的问题。
• 描述Simpson半稳定层模空间在肋状结构上的整体与局部几何结构，包括其不可约与连通分支。
• 确定模空间的光滑点集，并识别其与线丛集合重合的条件。
• 建立模空间为射影的条件，特别是当肋状结构的亏格为偶数时。

提出的方法

• 使用Simpson对具有固定希尔伯特多项式半稳定层模空间的构造方法，作者分析了极化肋状结构 $(X, {\mathcal{L}})$ 上的模空间 $\operatorname{M}({\mathcal{O}}_X, P_d)$。
• 对 $\operatorname{M}({\mathcal{O}}_X, P_d)$ 中层的分类基于两类：有界指标的广义线丛，以及约化曲线 $X_{\text{red}}$ 上稳定向量丛的拉回像。
• 作者利用Riemann–Roch公式与Ext群计算，计算了对应于稳定层的点处切空间的维数，特别是 $\dim \operatorname{Ext}^1(i_*{\mathcal{E}}, i_*{\mathcal{E}})$。
• 通过Serre对偶性与稳定性条件，证明了某些丛的高阶上同调消失，从而实现精确的维数计算。
• 通过比较切空间维数与局部维数，确定了光滑点集，表明奇点恰好出现在层不是线丛时。
• 分析依赖于严格半稳定的层是稳定层的极限这一事实，该结论在特定亏格条件下成立。

实验结果

研究问题

• RQ1 肋状结构上广义线丛的模空间是否可通过半稳定层实现紧化？
• RQ2 Simpson模空间 $\operatorname{M}({\mathcal{O}}_X, P_d)$ 在何种条件下是射影的？
• RQ3 模空间的光滑点集在何种情况下与线丛集合重合？
• RQ4 模空间的不可约与连通分支如何根据约化曲线上的广义线丛与向量丛分解？

主要发现

• 模空间 $\operatorname{M}({\mathcal{O}}_X, P_d)$ 参数化指标 $\leq 1 + g - 2\bar{g}$ 的广义线丛，以及约化曲线 $X_{\text{red}}$ 上度数为 $d + 2\bar{g} - 1 - g$ 的斜率半稳定秩2向量丛的拉回像。
• 当肋状结构的亏格 $g$ 为偶数时，模空间 $\operatorname{M}({\mathcal{O}}_X, P_0)$ 是射影的，满足Eisenbud与Green所期望的紧化条件。
• 当 $\bar{g} \geq 2$ 且 $g \geq 4\bar{g} - 2$ 时，$\operatorname{M}({\mathcal{O}}_X, P_d)$ 的光滑点集等于参数化线丛的开子集。
• 当 $\bar{g} \geq 2$ 且 $g \geq 4\bar{g} - 2$ 时，稳定秩2丛在 $X_{\text{red}}$ 上的切空间维数超过局部维数，证明这些点为奇点。
• 当 $g$ 足够负且 $\bar{g} \geq 2$ 时，模空间可能具有唯一一个维数为 $4\bar{g} - 3$ 的分支，其光滑点集包含稳定秩2丛。
• 当 $\bar{g} \geq 2$ 时，严格半稳定部分包含于奇点部分，原因在于稳定点在向量丛分支中稠密。