[论文解读] Two-dimensional moduli spaces of irregular Higgs bundles

Péter Ivanics, András I. Stipsicz+1 more|arXiv (Cornell University)|Apr 28, 2016

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

一句话总结

本论文通过理性 elliptic 曲面的 elliptic fibration，对 ℂP¹ 上具有一个四阶不规则奇点且主导项为正则的秩 2 Higgs bundle 的二维模空间进行了完整分类。结果表明，模空间双正则微分同构于理性 elliptic 曲面中无穷远点处某类纤维（$\tilde{E}_7$ 或 $\tilde{E}_8$）的补集，并以谱参数完全刻画了其余奇点纤维，验证了来自可积系统与 Hitchin 纤维丛的预期。

ABSTRACT

We give a complete description of the two-dimensional moduli spaces of stable Higgs bundles of rank 2 over complex projective line with one irregular singular point, having a regular leading-order term, and endowed with a generic compatible parabolic structure such that the parabolic degree of the Higgs bundle is 0. Our method relies on elliptic fibrations of the rational elliptic surface, an equivalence of categories between irregular Higgs bundles and some sheaves on a ruled surface, and an analysis of stability conditions.

研究动机与目标

• 完整描述 ℂP¹ 上具有一个四阶不规则奇点且主导项为正则的稳定秩 2 Higgs bundle 的二维模空间结构。
• 在谱参数基础上，对 Hitchin 纤维丛中模空间的奇点纤维进行分类，特别区分未扭和扭的情况。
• 确认模空间双正则微分同构于理性 elliptic 曲面中某类椭圆纤维丛的无穷远点处纤维的补集，与可积系统中的预期一致。
• 分析稳定性条件，并在未扭情况下建立不规则 Higgs bundle 与射影曲面纯秩 1 线丛之间的范畴等价。

提出的方法

• 利用不规则 Higgs bundle 与射影曲面上纯 1 维秩 1 线丛之间的范畴等价，该等价在主导项为半单时成立。
• 在理性 elliptic 曲面上利用椭圆纤维丛建模 Hitchin 系统，其中无穷远点处的纤维类型为 $ frac{E}_7$（未扭）或 $ frac{E}_8$（扭）。
• 通过局部坐标中的 Puiseux 展开分析谱曲线，以确定纤维丛中奇点纤维的结构。
• 应用相对 Abel–Jacobi 映射，将纤维丛与其在光滑纤维上的相对 Picard 簇相联系，从而实现对奇点纤维的分类。
• 推导谱参数（如判别式 $\Delta$ 或 $D$）的显式条件，以确定纤维类型（如 $I_1$、$I_2$、$II$ 或 $III$）。
• 在局部坐标图中利用特征多项式 $\chi_{\vartheta_1}$ 和 $\chi_{\vartheta_2}$，通过求解曲线及其偏导数的公共零点，计算奇点纤维的类型。

实验结果

研究问题

• RQ1 在通用抛物结构与零抛物度数下，ℂP¹ 上具有一个四阶不规则奇点且主导项为正则的秩 2 Higgs bundle 的模空间的完整结构是什么？
• RQ2 在未扭情况下，Hitchin 纤维丛中奇点纤维的类型如何依赖于谱参数？
• RQ3 在扭情况下，奇点纤维有何不同？哪些参数条件决定了其类型？
• RQ4 模空间在多大程度上实现了预期的椭圆纤维丛结构，且在无穷远处具有 $ frac{E}_7$ 或 $ frac{E}_8$ 类型的奇点纤维？
• RQ5 奇点纤维的分类是否可由谱曲线的代数不变量（如特征多项式的判别式）完全确定？

主要发现

• 在未扭情况下，模空间双正则微分同构于理性 elliptic 曲面中某类 $ frac{E}_7$ 纤维的补集。
• 其余奇点纤维由判别式 $\Delta$ 决定：若 $\Delta=0$ 且 $\lambda_+=0$，则为 $III$；若 $\Delta=0$ 且 $\lambda_+\neq0$，则为 $II$ 和 $I_1$；若 $\Delta\neq0$ 且 $\lambda_+=0$，则为 $I_2$ 和 $I_1$；其余情况为三个 $I_1$ 纤维。
• 在扭情况下，模空间双正则微分同构于理性 elliptic 曲面中某类 $ frac{E}_8$ 纤维的补集，奇点纤维由判别式 $D$ 决定。
• 若 $D=0$，则存在一个 $II$ 奇点纤维；若 $D\neq0$，则存在两个 $I_1$ 奇点纤维。
• 通过 Puiseux 展开对谱曲线的分析，确认纤维丛结构与理性 elliptic 曲面在指定奇点纤维下的预期几何一致。
• 结果确认模空间构成一个完全可积系统，其一般纤维为阿贝尔簇，与二维情形下的普遍预期一致。