[论文解读] Degeneration of SL(n)-bundles on a reducible curve

Xiaotao Sun|ArXiv.org|Dec 7, 2001

Algebraic Geometry and Number Theory被引用 11

一句话总结

本文为在节点处相交的两个光滑分支组成的可约曲线上的 $SL(n)$-丛的退化现象建立了模空间解释。通过定义一个模函子 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$，该函子对在穿孔曲线上满足行列式条件的半稳定无挠层进行分类，证明了紧化模空间的特殊纤维由一个约化且拟正规的代数簇普遍核心表示，从而解决了法尔廷斯（Faltings）遗留下来的 $SL(n)$-丛退化情形中的开放问题。

ABSTRACT

We constructed a projective moduli space of semistable torsion free sheaves with `fixed determinant' on a reducible curve. When a family of smooth curves degenerates to the reducible curve, our moduli space is a degeneration of the moduli spaces of semistable vector bundles with a fixed determinant on the smooth curves. Moreover, the moduli space is reduced and seminormal.

研究动机与目标

• 为在节点处相交的两个光滑分支组成的可约曲线上半稳定 $SL(n)$-丛的模空间提供一个模理论紧化。
• 解决退化程序中 $SL(n)$-丛的开放情形，此前法尔廷斯虽在 $Sp(n)$ 和 $O(n)$ 情形取得进展，但此问题仍悬而未决。
• 定义一个模函子 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$，其普遍核心表示给出了紧化模空间的退化纤维。
• 证明退化模空间是一个约化且拟正规的代数簇，其闭点对应于 $\mathcal{X}_0 \setminus \{x_0\}$ 上满足行列式条件的半稳定层的 $s$-等价类。

提出的方法

• 定义一个模函子 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$，对 $X \times S$ 上满足固定秩 $n$、欧拉示性数 $\chi$ 且满足 $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ 的 $\mathcal{O}_S$-平坦半稳定层进行分类。
• 通过几何不变理论（GIT）和商构造，将模空间 $S\mathcal{U}_{\mathcal{X}_0}$ 构造为 $\mathcal{X}_0$ 上半稳定无挠层模空间的闭子概形。
• 通过分析局部形变函子并利用行列式映射的形式光滑性，证明 $S\mathcal{U}_{\mathcal{X}_0}$ 是约化且拟正规的。
• 利用条件 $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ 来刻画退化支集，表明其精确捕捉了当曲线退化时 $SL(n)$-丛的极限点。
• 应用 [F2] 和 [NS] 的结果，表明模空间中任意点的局部环同构于由矩阵关系 $\mathbb{X}\mathbb{Y} = t$，$\mathbb{Y}\mathbb{X} = t$ 定义的奇点的完成，从而在曲线为非奇异时蕴含光滑性。
• 通过在基空间 $B$ 上的族中使用专门化与闭包论证，确立半稳定 $SL(n)$-丛模空间的退化由 $S\mathcal{U}_{\mathcal{X}_0}$ 给出。

实验结果

研究问题

• RQ1 在具有节点的可约曲线上，哪个几何对象能正确紧化半稳定 $SL(n)$-丛的模空间？
• RQ2 如何通过层论条件来刻画 $SL(n)$-丛模空间退化纤维的性质？
• RQ3 条件 $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ 是否能唯一刻画 $SL(n)$-丛在退化过程中的极限点？
• RQ4 此类层的模空间是否为约化且拟正规的？它是否普遍核心表示退化现象？
• RQ5 能否通过矩阵奇点模型来描述模空间在退化点附近的局部结构？

主要发现

• 模空间 $S\mathcal{U}_{\mathcal{X}_0}$ 普遍核心表示模函子 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$，为在退化曲线上半稳定 $SL(n)$-丛的模空间提供了紧化。
• 模空间 $S\mathcal{U}_{\mathcal{X}_0}$ 的闭点恰好是满足 $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ 的半稳定层的 $s$-等价类，确认了退化纤维的正确几何解释。
• 概形 $S\mathcal{U}_{\mathcal{X}_0}$ 是约化且拟正规的，确保模空间无嵌入分量或非约化结构。
• 在 $S\mathcal{U}_{\mathcal{X}_0}$ 中任意点的局部环同构于由 $\mathbb{X}\mathbb{Y} = t$，$\mathbb{Y}\mathbb{X} = t$ 定义的奇点的完成，这意味着若曲线为非奇异，则模空间是光滑的。
• 通过在基空间 $B$ 上的族中使用专门化与闭包论证，半稳定 $SL(n)$-丛模空间的退化现象恰好由 $S\mathcal{U}_{\mathcal{X}_0}$ 给出。
• 行列式条件 $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ 对于半稳定层属于退化纤维而言，既是必要条件也是充分条件，从而解决了模空间程序中的一个关键技术难题。