[论文解读] On the Hitchin fibration for algebraic surfaces

Tsao-Hsien Chen, Ngô Bảo Châu|arXiv (Cornell University)|Nov 7, 2017

Mathematics and Applications被引用 3

一句话总结

本文将赫钦在黎曼曲面上的希茨-布恩斯可积系统推广至特征零的代数曲面，通过谱数据构造希茨纤维化，并证明谱映射的像位于与曲面内嵌入的曲线 $C$ 相关联的典范子簇 $\mathscr{A}_C$ 中。关键结果表明，希茨映射的通用纤维为阿贝尔簇，通过退化技术与希茨丛上的幂零作用，将赫钦原始结果推广至高维情形。

ABSTRACT

In this paper, we explore the structure of the Hitchin map for higher dimensional varieties with emphasis on the case of algebraic surfaces.

研究动机与目标

• 将赫钦在黎曼曲面上的希茨-布恩斯可积系统推广至高维代数曲面。
• 在代数闭域特征为零的光滑射影曲面上，定义并研究希茨纤维化。
• 构造从希茨丛模空间到与嵌入曲面的曲线 $C$ 相关联的参数空间 $\mathscr{A}_C$ 的谱数据映射。
• 证明谱数据映射的像恰好为 $\mathscr{A}_C$，且希茨映射的通用纤维为阿贝尔簇。

提出的方法

• 通过堆 $[\mathfrak{C}_G^d / (G \times \mathrm{GL}_d)]$ 的谱数据构造，将希茨丛解释为到商堆的映射。
• 应用切瓦莱限制定理及其在李代数中 $d$-维交换元组上的推广，该推广猜想同构于 $k[\mathfrak{t}^d]^W$。
• 构造谱映射到 $\mathrm{Spec}(k[\mathfrak{t}^d]^W)$ 的 $\mathrm{GL}_d$-等变提升，从而定义希茨映射。
• 分析相对切丛 $\mathcal{T}_{X^0/C}$ 在希茨丛限制到开子集 $X^0$ 上的作用，通过迹论证证明其幂零性。
• 利用 $\pi: X \to C$ 具有约化纤维的事实，证明对称幂 $\mathrm{S}^i\Omega^1_X$ 的截面可从开子集延拓至整个曲面。
• 通过希茨映射经 $\mathscr{B}_C$ 的分解，证明谱数据映射的像位于 $\mathscr{A}_C$ 中。

实验结果

研究问题

• RQ1 如何将希茨纤维化从曲线推广至代数曲面？
• RQ2 代数曲面上希茨丛的谱数据映射结构如何？其在参数空间中的像位于何处？
• RQ3 谱数据映射的像在何种条件下与曲面内嵌曲线 $C$ 关联的典范子簇 $\mathscr{A}_C$ 重合？
• RQ4 在曲面上，希茨映射的通用纤维是否仍为阿贝尔簇，如同经典情形？
• RQ5 相对切丛 $\mathcal{T}_{X^0/C}$ 在希茨丛上的幂零作用如何约束谱数据？

主要发现

• 谱数据映射 $\mathrm{sd}_X$ 的像是子簇 $\mathscr{A}_C$，其微分同构于曲线 $C$ 上谱数据模空间。
• 希茨映射 $h_X$ 的通用纤维为阿贝尔簇，将赫钦原始结果从曲线推广至曲面。
• 谱数据映射经 $\mathscr{A}_C$ 分解，且 $\mathscr{A}_C$ 在 $\mathscr{A}_X$ 中既不可约又闭，故 $\overline{\mathscr{A}_X^{\heartsuit}} = \mathscr{A}_C$。
• 通过迹论证证明 $\mathcal{T}_{X^0/C}$ 在希茨丛限制到 $X^0$ 上的作用为幂零，表明特征值必为零。
• $\mathrm{S}^i\Omega^1_X$ 的截面 $a_i$ 可从开子集 $X^0$ 延拓至整个曲面，因补集的余维数 $\geq 2$，故 $a_i \in \mathrm{H}^0(C, \mathrm{S}^i\Omega^1_C)$。
• 希茨映射经 $\mathscr{B}_C$ 的分解意味着 $h_X(E,\theta) \in \mathscr{B}_C(F)$，从而确认像位于 $\mathscr{A}_C$ 中。