[论文解读] Automorphisms of moduli spaces of vector bundles over a curve

Indranil Biswas, Tomás L. Gómez+1 more|arXiv (Cornell University)|Feb 14, 2012

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

一句话总结

本文为在亏格 $ g \geq 4 $ 的光滑复射影曲线上，稳定向量丛模空间的自同构群结构提供了简化证明。结果表明，自同构来源于曲线的自同构、与线丛的张量积，以及当 $ r \mid 2\deg(\Lambda) $ 时的对偶化；证明利用 Hitchin 判别式与幂零锥丛，避免了 Hecke 变换与极小有理曲线的使用。

ABSTRACT

Let X be an irreducible smooth complex projective curve of genus g at least 4. Let M(r,Λ) be the moduli space of stable vector bundles over X or rank r and fixed determinant Λ, of degree d. We give a new proof of the fact that the automorphism group of M(r,Λ) is generated by automorphisms of the curve X, tensorization with suitable line bundles, and, if r divides 2d, also dualization of vector bundles.

研究动机与目标

• 为 $ M(r,\Lambda) $（即在亏格 $ g \geq 4 $ 的曲线上，秩为 $ r $ 且固定行列式 $ \Lambda $ 的稳定向量丛模空间）的自同构群结构提供一种更简洁的证明。
• 消除对先前证明中复杂工具（如 Hecke 变换与极小有理曲线）的依赖。
• 直接从 Hitchin 判别式与幂零锥丛的几何结构重构自同构。
• 将结果统一推广至所有 $ g \geq 4 $，避免对低亏格情形的特殊处理。
• 建立 $ M(r,\Lambda) $ 的 Torelli 型定理，表明模空间可确定曲线与秩。

提出的方法

• 利用 Hitchin 映射及其判别式（奇异谱曲线的集合）来分析模空间的几何结构。
• 从 Hitchin 判别式重构幂零锥丛，后者编码了典型稳定丛的自同构信息。
• 应用 $ \operatorname{End}_0 E $ 的李代数结构，通过 $ \operatorname{PGL}_r $-丛的结构群约化来分类可能的自同构。
• 利用短正合列 $ 1 \to \mathbb{C}^* \to \operatorname{GL}_r \to \operatorname{PGL}_r \to 1 $ 来分类约化，从而导出同构 $ E' \cong E \otimes L $ 或 $ E' \cong E^\vee \otimes L $。
• 利用 $ \operatorname{Aut}(M(r,\Lambda)) \to \operatorname{Aut}(\overline{M}(r,\Lambda)) $ 是同构的事实，因为光滑部分即为 $ M(r,\Lambda) $，且线丛可通过同调同构延拓。
• 利用 $ \operatorname{Pic}(M(r,\Lambda)) \cong \mathbb{Z} $ 上作用的平凡性，证明 $ M(r,\Lambda) $ 的自同构可延拓至紧化模空间。

实验结果

研究问题

• RQ1 在亏格 $ g \geq 4 $ 的曲线上，稳定向量丛模空间 $ M(r,\Lambda) $ 的完整自同构群是什么？
• RQ2 自同构群能否在不依赖 Hecke 变换或极小有理曲线的前提下被描述？
• RQ3 Hitchin 判别式的几何结构如何编码 $ M(r,\Lambda) $ 的自同构结构？
• RQ4 在何种条件下，丛的对偶化会成为 $ M(r,\Lambda) $ 的自同构？
• RQ5 在多大程度上 $ M(r,\Lambda) $ 可以确定其底层曲线 $ X $ 与秩 $ r $？

主要发现

• 模空间 $ M(r,\Lambda) $ 的自同构群由曲线自同构 $ \sigma $ 的拉回、满足 $ L^r \otimes \sigma^*\Lambda \cong \Lambda $ 的线丛 $ L $ 的张量积，以及当 $ r \mid 2\deg(\Lambda) $ 时的对偶化生成。
• 该证明避免使用极小有理曲线与 Hecke 变换，转而依赖 Hitchin 判别式与幂零锥丛。
• 紧化模空间 $ \overline{M}(r,\Lambda) $ 的自同构群与 $ M(r,\Lambda) $ 相同，原因在于线丛的延拓与同调同构。
• 对于典型稳定丛 $ E $，$ M(r,\Lambda) $ 的任意自同构诱导出同构 $ E' \cong E \otimes L $ 或 $ E' \cong E^\vee \otimes L $，其中 $ L $ 满足一个次数条件。
• Torelli 型定理成立：若 $ M_X(r,\Lambda) \cong M_{X'}(r',\Lambda') $，则 $ X \cong X' $ 且 $ r = r' $，表明模空间可分类曲线与秩。
• 该结果可推广至其他模空间（如辛丛模空间），表明该方法具有更广泛的应用潜力。