On the symplectic forms of Groechenig's Higgs moduli over an elliptic curve

技术摘要：关于 Groechenig 在椭圆曲线上的 Higgs 模空间之辛形式的研究

问题陈述
本文探讨了在椭圆曲线 $E$ 及有限循环群 $\Gamma \subset \text{Aut}(E, o)$（其中阶数 $|\Gamma| \in \{1, 2, 3, 4, 6\}$）的背景下，两个截然不同的模空间之间的几何关系。

1. 希尔伯特方案侧： 空间 $S[m]_\Gamma$ 定义为曲面 $S_\Gamma = \Gamma\text{-Hilb}(T^*E)$ 上 $m$ 个点的希尔伯特方案。当 $|\Gamma|=1$ 时，$S_\Gamma = T^*E$。当 $|\Gamma|>1$ 时，$S_\Gamma$ 是商曲面 $X_\Gamma = T^*E/\Gamma$ 的唯一斜向解（crepant resolution），该商曲面具有有理二重点（rational double points）。
2. 抛物 Higgs 侧： 粗曲线 $C_\Gamma$（取决于 $\Gamma$，可能是 $E$ 或 $\mathbb{P}^1$）上稳定、强抛物（strongly parabolic）Higgs 丛的模空间 $M_{\Gamma,m}$，其抛物数据由仿射 Dynkin 类型 $\tilde{A}_0, \tilde{D}_4, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$ 确定。

Gorsky, Nekrasov 和 Rubtsov（针对 $|\Gamma|=1$）以及 Groechenig（针对 $|\Gamma|>1$）的前期工作已经通过相对 Fourier–Mukai 变换建立了这两个空间作为代数簇的同构关系。然而，这两个空间是否保持自然的全纯辛结构这一问题仍悬而未决。本文旨在证明同构映射 $\Phi_{\Gamma,m}: S[m]_\Gamma \to M_{\Gamma,m}$ 是一个全纯辛同构。

方法论
证明过程通过在稠密开局部进行显式计算，并将其结果扩展到全局。该方法包含三个主要部分：

1. 形变理论与辛形式：
   本文利用抛物 Higgs 丛的形变复形（遵循 Biswas 和 Ramanan 的方法）来构造 $M_{\Gamma,m}$ 上的全纯辛形式 $\Omega_{M_{\Gamma,m}}$。这涉及将切空间识别为涉及抛物端丛（parabolic endomorphisms）和强抛物 Higgs 场的二项复形的第一超上同调。辛形式是通过该复形上的迹配对（trace pairing）导出的。

2. 约化局部上的局部分析：
   作者将研究限制在由约化子方案（不同点）组成的开稠密局部 $U_m \subset S[m]_\Gamma$ 上。

   • 情况 $|\Gamma|=1$： 通过相对 Fourier–Mukai 变换分析同构。论文表明，在约化局部，抛物 Higgs 模空间对应于具有不同谱数据的线丛的直和。通过比较抛物与普通（半稳定）Higgs 丛的形变复形，作者展示了 Higgs 侧的辛形式与 $T^*E$ 上点集的自然辛形式相匹配。
   • 情况 $|\Gamma|>1$： 作者采用了“轨道集–抛物对应关系”（orbifold–parabolic correspondence）。他们将粗曲线 $C_\Gamma$ 上的抛物 Higgs 丛与 $E$ 上的 $\Gamma$-等变（轨道集）Higgs 丛联系起来。利用 Cartan–Leray 谱序列，他们建立了 $C_\Gamma$ 上的抛物形变复形的超上同调与 $E$ 上轨道集复形的超上同调的 $\Gamma$-不变部分之间的同构。这使得抛物侧的辛配对可以通过经过 $1/|\Gamma|$ 缩放后的椭圆曲线上的配对来计算。

3. 全局扩展与 Hitchin 相容性：
   由于两种辛形式都是正则（全纯）的，且空间是光滑且不可约的，因此在稠密开集 $U_m$ 上的相等意味着全局相等。此外，论文验证了该同构与 Hitchin 映射（谱数据映射）是相容的，从而确保了可积系统结构的对齐。

核心贡献与结果

• 主定理（定理 1.1）： 论文证明了对于所有五种情况（$|\Gamma| \in \{1, 2, 3, 4, 6\}$），Groechenig 构建的同构 $\Phi_{\Gamma,m}$ 是一个全纯辛同构。具体而言，$\Phi_{\Gamma,m}^* \Omega_{M_{\Gamma,m}} = \omega_{S[m]_\Gamma}$，其中 $\omega_{S[m]_\Gamma}$ 是由 $S_\Gamma$ 上的余切丛结构诱导的辛形式。
• 显式抛物数据： 论文提供了用于定义各仿射 Dynkin 类型下模空间的抛物旗（parabolic flags）、权重及稳定性条件的详细分类。这包括 $\tilde{A}_0$ 情况下的“标记”直线以及 $\tilde{D}_4, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$ 情况下的多步旗的具体构造。
• 轨道集–抛物对应关系： 论文严谨地建立了粗覆盖上的抛物丛与覆盖上等变丛之间的辛形式相容性，阐明了 Serre 对偶配对中的缩放因子 $1/|\Gamma|$。
• 可积系统： 作为结果，论文在点集的希尔伯特方案 $S[m]_\Gamma$ 上构造了一个代数可积系统（Hitchin 系统），确认了希尔伯特方案侧的谱数据映射与 Higgs 侧的特征多项式映射相对应。

意义
本文完成了由 Gorsky, Nekrasov, Rubtsov 和 Groechenig 发起的几何图景。虽然这些模空间之间的同构此前已知，但保持辛结构是一个至关重要的性质，对于数学物理领域，特别是几何朗兰兹纲领以及超凯勒流形的研究具有重要应用价值。通过证明其为辛同构，本文确认了 $T^*E/\Gamma$ 的斜向解的点集希尔伯特方案携带了与抛物 Higgs 丛模空间相同的辛几何。这统一了平凡情况与非平凡循环群情况下的研究，为与椭圆曲线相关的五种仿射 Dynkin 类型提供了一个一致的框架。