[论文解读] Construction of the Moduli Space of Higgs Bundles using Analytic Methods

Yue Fan|arXiv (Cornell University)|Apr 15, 2020

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

一句话总结

本文使用库朗希切片方法，对亏格 $ g \geq 2 $ 的紧黎曼曲面上半稳定希格斯丛的模空间进行了详细的解析构造，证明其为一个正规复空间。研究建立模空间在局部上同构于复半单群作用下二次锥的仿射GIT商，并证明了解析构造与代数构造之间存在全纯等价。

ABSTRACT

It is a folklore theorem that the Kuranishi slice method can be used to construct the moduli space of semistable Higgs bundles on a closed Riemann surface as a complex space. The purpose of this paper is to provide a proof in detail. We also give a direct proof that the moduli space is locally modeled on an affine GIT quotient of a quadratic cone by a complex reductive group.

研究动机与目标

• 通过库朗希切片方法，严格详细地证明紧黎曼曲面上半稳定希格斯丛的模空间可作为复空间构造。
• 证明模空间的局部结构同构于复半单群作用下二次锥的仿射GIT商。
• 建立通过库朗希理论构造的解析模空间与通过几何不变量理论构造的代数模空间之间的全纯等价。
• 利用正规复空间的黎曼延拓定理，证明解析模空间是正规的，其依据为代数模空间的正规性。

提出的方法

• 基于希格斯丛的变形复形，利用库朗希切片方法构造半稳定希格斯丛模空间的局部模型。
• 应用希钦-小林对应关系，通过指标映射 $ \mu(A,\Phi) = F_A + [\Phi, \Phi^*] = 0 $，将多项稳定希格斯丛识别为希钦方程的解。
• 分析变形复形 $ C_{\mu_{\mathbb{C}}} $ 的调和上同调 $ \mathbf{H}^1 $，证明其具有复辛结构，并在复化稳定子 $ K^\mathbb{C} $ 作用下具有哈密顿性。
• 将局部模型构造为解析GIT商 $ Q^{an} \sslash K^\mathbb{C} $，其中 $ Q \subset \mathbf{H}^1 $ 为复指标映射零点集。
• 建立全纯同胚 $ i^{-1}: \mathscr{M}_{\text{alg}} \to \mathscr{M}_{\text{an}} $，并利用黎曼延拓定理及两个空间的正规性，证明其为全纯同构。
• 应用定理6.8（来自[13]），在维数与正规性条件下，得出解析模空间为正规的，且全纯映射为同构。

实验结果

研究问题

• RQ1 库朗希切片方法能否严格应用于构造半稳定希格斯丛模空间为复空间？
• RQ2 在给定希格斯丛附近，模空间的精确局部解析结构为何？其与GIT商的关系如何？
• RQ3 通过库朗希理论构造的解析模空间是否与通过几何不变量理论构造的代数模空间全纯同构？
• RQ4 解析模空间是否继承自代数模空间的正规性？如何通过上同调与解析技巧证明这一点？
• RQ5 变形空间 $ \mathbf{H}^1 $ 上的复辛结构如何与 $ K^\mathbb{C} $-作用相互作用，从而给出模空间的局部模型？

主要发现

• 通过库朗希方法与解析GIT商构造，证明半稳定希格斯丛的模空间 $ \mathscr{M} $ 是一个正规复空间。
• 在满足 $ \mu(A,\Phi) = 0 $ 的点 $[A,\Phi]$ 处，模空间的局部模型同构于解析GIT商 $ Q^{an} \sslash K^\mathbb{C} $，其中 $ Q \subset \mathbf{H}^1 $ 为复指标映射的零点集。
• 变形空间 $ \mathbf{H}^1 $ 是一个复辛向量空间，$ K^\mathbb{C} $ 在 $ \mathbf{H}^1 $ 上的作用是哈密顿的，其指标映射为 $ \nu_{0,\mathbb{C}}(x) = \frac{1}{2}H[x, x] $。
• 解析模空间 $ \mathscr{M}_{\text{an}} $ 是正规的，其证明基于在原点处对仿射GIT商 $ Q \sslash K^\mathbb{C} $ 的形式完成的正规性。
• 全纯映射 $ i^{-1}: \mathscr{M}_{\text{alg}} \to \mathscr{M}_{\text{an}} $ 是全纯同构，其依据为黎曼延拓定理，以及两个空间的不可约性与正规性。
• 解析与代数模空间的维数一致，且全纯同胚 $ i^{-1} $ 是开映射，因此由[13]中的定理6.8，其为同构。