Quadratic one-forms on logarithmic Higgs moduli

技术摘要：对数 Higgs 模空间上的二次一形式

问题陈述
本文研究了带点紧致黎曼曲面 $(C, D)$ 上对数 $G$-Higgs 丛的几何性质，其中 $G$ 是一个连通复还原群，$D$ 是一个简化除子。研究的核心焦点在于 Higgs 场 $\Phi$ 在穿孔处为幂零（nilpotent）的特定情况。作者旨在理解这些残差的幂零性如何影响 Higgs 场中齐次不变多项式的行为，特别是关于它们的极点阶数。此外，本文旨在构造一个定义在带点 Teichmüller 空间上的对数二次一形式，并将该形式与幂零 tame 调和丛的能量变化联系起来，从而将 Hitchin 在紧致曲面上的先前结果扩展到对数情形。

方法论
本研究结合了代数几何、表示论和分析技术：

1. 代数构造： 作者利用 Jacobson-Morozov 定理以及不变多项式在李代数上的性质，来分析 Higgs 场在穿孔附近的局部行为。通过将 Higgs 场 $\Phi$ 在局部坐标下展开为 $\Phi = (\frac{N_i}{z} + A_i(z))dz$，其中 $N_i$ 是幂零残差，本文证明了不变多项式在幂零元素上的消失如何降低 $p(\Phi)$ 的极点阶数。
2. 模空间分析： 研究是在具有幂零残差的半稳定对数 $G$-Higgs 丛模空间的平滑稳定簇（$M^{\text{nil}}_{\text{Dol}}(G)$）上进行的。作者利用 Serre 对偶性，将带点 Teichmüller 空间的切空间 $T_{g,r}$ 识别为具有单极点的亚纯二次微分空间 $H^0(C, K_C^2(D))$。
3. 分析估计： 为了将代数构造与能量变化联系起来，本文分析了穿孔曲线 $C^\circ = C \setminus D$ 上的 tame 幂零调和丛。研究依赖于 Simpson 和 Mochizuki 关于 Higgs 场在穿孔附近增长性的渐近估计。一个关键组成部分是假设无穷小复规范项在尖点标度（cusp scale）下具有“正衰减”（positive decay），这使得在进行分部积分时能够控制边界项。
4. 圆作用平均： 本文通过改编 Hitchin 的圆作用平均法 $(P, \Phi) \mapsto (P, e^{i\theta}\Phi)$，来导出模空间上的平均联络恒等式。

主要贡献与结果

• 极点阶数降低（定理 1.1 / 定理 5.2）： 主要代数结果确立了：对于任何次数 $d \ge 1$ 的齐次不变多项式 $p$，如果 Higgs 场的残差是幂零的，那么 $p(\Phi)$ 在标记点处的极点阶数至多为 $d-1$，而非一般的 $d$ 阶。具体而言，$p(\Phi) \in H^0(C, K_C^d((d-1)D))$。

  • 锐利性（Sharpness）： 对于 $G=GL(n, \mathbb{C})$ 且 $p(X) = \text{tr}(X^k)$ 的情况，本文证明极点阶数 $k-1$ 是锐利的；存在局部 Higgs 场使得极点阶数恰好为此阶。
  • Pfaffian 细化： 对于 $G=SO(2m, \mathbb{C})$，本文表明如果残差的秩足够小（$\le 2m-4$），则 Pfaffian 不变多项式的极点阶数会进一步降至 $m-2$。

• 对数二次一形式的构造： 利用不变双线性型 $B$，作者在带点 Teichmüller 空间上定义了一个二次一形式 $\phi_{G, \log}$。

  • 该形式由 $\phi_{G, \log}(Y) = -\frac{1}{2} \langle B(\Phi, \Phi), Y \rangle$ 给出，其中 $Y$ 是 Teichmüller 空间的切向量。
  • 由于极点降低的结果，$B(\Phi, \Phi)$ 属于 $H^0(C, K_C^2(D))$，这自然同构于切余空间 $T^*_{(C,D)} T_{g,r}$。
  • 本文提供了两种表示方法：一种是积分表示（使用在 $D$ 附近消失的 Beltrami 微分），另一种是涉及残差的 Čech-Dolbeault 表示：
    $$\phi_{G, \log}(Y) = -\frac{1}{2} \left[ \int_{C^\circ} B(\Phi, \Phi)\mu + \sum_{i=1}^r \text{Res}_{p_i}(B(\Phi, \Phi)\xi_i) \right]$$

• 能量变化公式（定理 7.4）： 在固定 Betti 表示和固定局部单测共轭类，并假设无穷小复规范项在尖点标度下具有正衰减的假设下，本文证明了抛物能量泛函 $f_{\text{par}}$ 的变化量是该对数二次一形式的实部：
  $$Y(f_{\text{par}}) = \text{Re}(\phi_{G, \log}(Y))$$
  这将在紧致曲面上 Hitchin 的结果推广到了具有幂零残差的对数情形。

• 平均联络恒等式： 本文将平均联络恒等式扩展到对数情形，表明对数二次一形式满足 $d_A \phi_{G, \log} = 0$，$\{\phi_{G, \log}, \phi_{G, \log}\} = 0$，以及一个涉及 Poisson 括号的修正曲率方程。

意义与主张
本文声称为理解具有幂零残差的对数 Higgs 丛的几何性质提供了一个严谨的代数和分析框架。其意义在于：

1. 精炼 Hitchin 基底： 它表明幂零残差条件迫使 Hitchin 映射通过一个更小的基底进行分解，具体表现为降低了不变微分的极点阶数。
2. 能量的几何量子化： 它在模空间的代数结构（通过二次一形式）与调和丛的能量解析变化之间建立了直接联系，确认了能量变化的“领先极项”被对数二次形式所捕捉。
3. 对 Hitchin 理论的扩展： 它成功地将非阿贝尔 Hodge 理论和能量变化的机制从紧致黎曼曲面适配到了带点曲线，特别处理了 Higgs 场在奇异点附近的行为。

作者指出，该一形式的代数构造独立于分析衰减假设；衰减条件仅在确保能量变化证明中边界项消失时才是严格必要的。本文将证明该正衰减条件的来自线性化 tame 调和度量方程的对数切片定理的分析问题留作悬而未决。