[论文解读] Stability of the Poincaré bundle

V. Balaji, L. Brambila Paz+1 more|ArXiv.org|Jun 15, 1995

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

一句话总结

该论文证明了在任意极化下，光滑射影曲线 $C$（亏格 $g \geq 2$）与稳定丛的模空间 $M_\xi$（秩为 $n$，固定行列式 $ξ$）的乘积上的 Poincaré 簛束的稳定性。此外，它进一步证明了包含该 Poincaré 簋束的模空间的连通分支同构于曲线 $C$ 的雅可比簇，为代数几何中模空间的结构提供了深刻结果。

ABSTRACT

Let $C$ be a nonsingular projective curve of genus $g\ge2$ defined over the complex numbers, and let $M_ξ$ denote the moduli space of stable bundles of rank $n$ and determinant $ξ$ on $C$, where $ξ$ is a line bundle of degree $d$ on $C$ and $n$ and $d$ are coprime. It is shown that the universal bundle $\cu_ξ$ on $C imes M_ξ$ is stable with respect to any polarisation on $C imes M_ξ$. It is shown further that the connected component of the moduli space of $\cu_ξ$ containing $\cu_ξ$ is isomorphic to the Jacobian of $C$.

研究动机与目标

• 证明在任意极化下，$C \times M_\xi$ 上的普遍 Poincaré 簋束 $\mathcal{U}_\xi$ 的稳定性。
• 研究 Poincaré 簋束 $\mathcal{U}_\xi$ 的模空间的结构。
• 确定包含 $\mathcal{U}_\xi$ 的 $\mathcal{U}_\xi$ 的模空间的连通分支。
• 将该连通分支与代数几何中的经典对象（特别是 $C$ 的雅可比簇）联系起来。
• 为曲线上的向量丛模空间几何提供一个基础性结果。

提出的方法

• 利用射影代数簇上稳定向量丛的理论，特别是关于极化下 $G$-稳定性概念。
• 应用纤维积上普遍丛稳定性的判别准则，利用 $n$ 与 $d$ 互素的秩与次数条件。
• 运用稳定丛模空间的理论，包括当 $n$ 与 $d$ 互素时 $M_\xi$ 作为精细模空间的构造。
• 通过其在纤维上的限制及在形变下的行为，分析 $C \times M_\xi$ 上的普遍丛 $\mathcal{U}_\xi$。
• 利用 $M_\xi$ 是维数为 $n^2(g-1)+1$ 的光滑、不可约代数簇的事实，分析 $\mathcal{U}_\xi$ 的几何性质。
• 应用形变理论与行列式线丛理论的结果，研究 $\mathcal{U}_\xi$ 的模空间的连通分支。

实验结果

研究问题

• RQ1 在乘积簇 $C \times M_\xi$ 上的任意极化下，普遍 Poincaré 簋束 $\mathcal{U}_\xi$ 是否稳定？
• RQ2 包含 $\mathcal{U}_\xi$ 的 $\mathcal{U}_\xi$ 的模空间的连通分支的结构是什么？
• RQ3 该连通分支如何与曲线 $C$ 的雅可比簇相关联？
• RQ4 $\mathcal{U}_\xi$ 的稳定性是否在 $C \times M_\xi$ 的所有可能极化下均成立？
• RQ5 能否将 $\mathcal{U}_\xi$ 的模空间与 $C$ 的雅可比簇等经典代数几何对象联系起来？

主要发现

• 在乘积簇上任意极化下，$C \times M_\xi$ 上的 Poincaré 簋束 $\mathcal{U}_\xi$ 是稳定的。
• 包含 $\mathcal{U}_\xi$ 的 $\mathcal{U}_\xi$ 的模空间的连通分支同构于曲线 $C$ 的雅可比簇，记为 $J(C)$。
• 该同构关系在丛的秩 $n$ 与次数 $d$ 互素的假设下成立，从而保证了精细模空间 $M_\xi$ 的存在性。
• $\mathcal{U}_\xi$ 的稳定性独立于 $C \times M_\xi$ 上极化的选择，这是一个强有力的结构性结果。
• 该结果证实，普遍丛的稳定性源自模空间 $M_\xi$ 和曲线 $C$ 的几何性质，并通过一个典范同构将其与雅可比簇联系起来。
• 本文完整描述了 $\mathcal{U}_\xi$ 的模理论行为，表明其模空间分支不仅是一个形式对象，而是一个熟知的几何对象。