Symplectic leaves of meromorphic Hitchin systems

技术摘要：亚纯 Hitchin 系统的辛叶 (Symplectic Leaves)

问题陈述
本文研究了稳定亚纯 Higgs 丛的模空间 $\text{Higgss}(C, D)$ 的几何结构，其中 $C$ 是光滑射影曲线，$D$ 是一个约化的有效除子。虽然该空间携带一个全纯 Poisson 结构（由 Bottacin 和 Markman 建立），但它缺乏全局的全纯辛结构。在 Poisson 几何中，一个基本问题是识别并理解其辛叶。

在亚纯 Higgs 丛的背景下，Higgs 场在标记点 $D$ 处的留数提供了局部模型。作者研究了通过将 Higgs 场的留数固定在特定的伴随轨道乘积 $\mathcal{O} = \prod \mathcal{O}_i$ 中所定义的区域 $\text{Higgs}_{\mathcal{O},s}(C, D)$。核心问题包括：

1. 这些区域 $\text{Higgs}_{\mathcal{O},s}(C, D)$ 是否确实是该环境 Poisson 簇的辛叶？
2. 当轨道不是极大秩（导致谱曲线奇异）或当叶不是闭集时，Hitchin 映射在限制到这些叶上时，能否被部分紧致化为一个代数完全可积系统 (ACIS)？

方法论
作者结合了形变理论、代数几何和谱对应关系 (spectral correspondence) 来解决这些问题。

1. 无穷小分析： 作者利用具有固定留数条件的亚纯 Higgs 丛的形变理论。他们构造了切复形 $C^\bullet_{\mathcal{O},E}$ 及其 Serre 对偶，以显式地将 $\text{Higgs}_{\mathcal{O},s}(C, D)$ 的切空间与 Bottacin–Markman Poisson 结构的特征分布联系起来。这证实了该区域与 Poisson 结构相切。
2. 抛物化分解 (Parabolic Resolution)： 为了解决由轨道闭包引起的奇异性以及限制 Hitchin 映射缺乏紧致性的问题，作者引入了 $\vec{\xi}$-抛物 Higgs 丛。这些是三元组 $(E, E^\bullet_D, \Phi)$，其中 Higgs 场 $\Phi$ 的留数在 $\mathcal{O}$ 中，且丛 $E$ 在标记点处配备了一个与留数特征值 $\vec{\xi}$ 相容的旗结构 $E^\bullet_D$。
3. 谱对应关系： 基于前人的工作（[LL24], [LL25]），作者利用 $\vec{\xi}$-抛物 Higgs 丛的谱对应关系。这种关系将模空间与特定曲面 $Z_{\vec{\xi}}$（通过对有理曲面的迭代吹胀构造而成）上的纯一维层模空间联系起来。这种对应关系允许他们将 Hitchin 映射的纤维描述为谱曲线的紧致化 Jacobian。
4. 遗忘映射 (Forgetful Morphism)： 一个关键的技术工具是构造遗忘映射 $F: \text{Higgs}^{\vec{\xi}\text{-par}}_{\vec{\alpha}}(C, D, \vec{m}, \vec{\alpha}) \to \text{Higgs}_{\mathcal{O},ss}(C, D)$，该映射丢弃了抛物旗结构。作者通过分析稳定性条件（使用足够小的抛物权重 $\vec{\alpha}$）来确保该映射是良定义的、射影的，并且在稳定层面上是同构的。

主要贡献与结果

• 辛叶的识别：
  本文证明，对于满足迹条件 (trace condition) 的共轭类乘积 $\mathcal{O}$，区域 $\text{Higgs}_{\mathcal{O},s}(C, D)$ 是 $\text{Higgss}(C, D)$ 的一个不可约辛叶。其在模空间中的闭包即为 $\text{Higgs}_{\mathcal{O},s}(C, D)$（定理 1.3，定理 3.12，定理 3.13）。这解决了连通性问题，并证实了这些层级的辛性质。

• 向 ACIS 的部分紧致化：
  作者展示了 $\vec{\xi}$-抛物 Higgs 丛的模空间 $\text{Higgs}^{\vec{\xi}\text{-par}}(C, D, \vec{m}, \vec{\alpha})$ 为限制 Hitchin 映射提供了部分紧致化。

  • 证明了限制 Hitchin 映射 $h^{(\vec{m})}_{\vec{\xi}}: \text{Higgs}^{\vec{\xi}\text{-par}} \to \mathcal{B}^{(\vec{m})}_{\vec{\xi}}$ 是一个射影的、平坦的、拉格朗日纤维化，其泛型纤维为阿贝尔簇（定理 1.7，定理 5.4）。
  • 这确立了即使在底层谱曲线是奇异的或原始叶不是闭集的情况下，该限制系统也是一个代数完全可积系统。

• 辛解 (Symplectic Resolution)：
  遗忘映射 $F$ 被证明是 $\text{Higgs}_{\mathcal{O},ss}(C, D)$ 闭包之正规化的辛解（定理 1.9，定理 5.11）。具体而言，亚纯叶闭包的正规化具有辛奇异性，而光滑的 $\vec{\xi}$-抛物 Higgs 丛模空间在保持辛结构的同时解除了这些奇异性。

• Betti 模空间的连通性：
  通过 Simpson 的平凡非阿贝尔 Hodge 对应关系，Dolbeault 侧（抛物 Higgs 丛）的连通性结果被转移到了 Betti 侧。

  • 本文证明了具有预设留数图表的稳定局部系统模空间是连通的（定理 1.10，定理 6.6）。
  • 一个重要的应用是对于具有预设局部单值矩阵类 $\mathcal{C}$ 的特征簇 $\chi(C^\circ, \mathcal{C})$。在单值矩阵特征值共享共同辐角（这一条件确保了与标量分级留数的相容性）的假设下，不可约层 $\chi(C^\circ, \mathcal{C})^{\text{irr}}$ 在非空时是连通的（定理 1.11，定理 6.7）。这扩展了以往针对非泛型单值类的连通性结果。

意义
本文声称其意义在于为亚纯 Hitchin 系统的辛叶提供了完整的几何图像，此前这些系统主要在极大秩（闭叶）情况下被理解。通过引入 $\vec{\xi}$-抛物 Higgs 丛，作者：

1. 解决了模空间中轨道闭包的奇异性问题。
2. 将代数完全可积系统的理论扩展到了任意秩的辛叶，解决了非极大秩情况下的“Lax 项目”。
3. 为具有非泛型单值类的特征簇建立了新的连通性结果，弥合了奇异层面上非阿贝尔 Hodge 理论中 Dolbeault 侧与 Betti 侧之间的差距。

这项工作依赖于 Bottacin 和 Markman 关于 Poisson 结构的独立贡献，并建立在作者之前关于抛物 Higgs 丛谱对应关系研究的基础上。它并非提出新的实验应用，而是深化了对 Higgs 丛模空间及其与表示论关系的理论理解。