Infinitesimal automorphisms and obstruction theory on the moduli of $L$-valued $G$-Higgs bundles

技术摘要：L 值 G-希格斯丛模空间上的无穷小自同构与阻碍理论

问题陈述
本文探讨了紧凯勒流形 $X$ 上 $L$ 值主 $G$-希格斯丛的几何性质与形变理论性质，其中 $G$ 是约化线性代数群，$L$ 是 $X$ 上的全纯向量丛。虽然 $\Omega^1_X$ 值希格斯丛（标准希格斯丛）的理论已相当成熟，特别是在稳定性、无穷小自同构及模空间方面，但将其推广至任意向量丛 $L$ 需要扩展关键的结构结果。具体而言，作者旨在：

1. 计算稳定 $L$ 值 $G$-希格斯丛的无穷小自同构空间。
2. 确立与稳定 $G$-希格斯丛相伴的伴随丛的稳定性。
3. 确定稳定 $L$ 值 $G$-希格斯丛模空间的叠论性质。
4. 在 $X$ 为光滑射影曲面且 $L = K_X$（典范丛）的情形下，构造对称完美阻碍理论，为定义一般约化群的 Vafa-Witten 不变量奠定基础。

方法论
作者结合了微分几何技术（ Kobayashi-Hitchin 对应）与代数几何方法（稳定性条件、Harder-Narasimhan 滤过及阻碍理论）。

• 广义 Kobayashi-Hitchin 对应：分析依赖于稳定性与满足箭图涡旋方程的埃尔米特度量存在性之间的对应关系。对于 $L$ 值 $G$-希格斯丛 $(E_G, \phi)$，作者利用了 Álvarez-Cónsul 和 García-Prada [2] 关于扭曲箭图丛的结果。他们证明，一个稳定丛 admits 唯一的容许埃尔米特度量 $h$，满足方程：
  $$i\Lambda_\omega F^{1,1}_E + [\phi, \phi^*_h] = \tau \text{id}_E$$
  其中 $E = \text{ad}(E_G)$ 是伴随丛，$F^{1,1}_E$ 是 Chern 联络的曲率，$\tau$ 是由次数决定的常数。

• 自同构的 Bochner 技术：为了计算无穷小自同构，作者调整了在 $\Omega^1_X$ 情形下使用的 Bochner 公式（Biswas [7]）。通过考虑与希格斯场交换的全纯截面 $s$（即 $[s, \phi]=0$），他们推导出了涉及拉普拉斯算子 $\Delta_d$ 的微分不等式。利用 Yang-Mills-Higgs 方程和雅可比恒等式，他们证明了 $|s|^2$ 是一个次调和函数。在紧流形上，这意味着 $s$ 是平行的，从而对自同构群施加了约束。

• 伴随丛的稳定性：作者将 Biswas [4] 的结果推广到 $L$ 值情形。他们证明，如果 $(E_G, \phi)$ 是稳定的，则相伴的伴随希格斯丛 $(\text{ad}(E_G), \phi)$ 是半稳定的。这涉及分析伴随丛的 Harder-Narasimhan 滤过，并利用 Killing 形式（针对半单 $G$）将伴随丛的破坏稳定性子对象与主丛的抛物约化联系起来。

• 阻碍理论的构造：对于稳定丛的模叠，作者构造了形变 - 阻碍理论。他们利用模空间上的普适复形并应用 Serre 对偶。阻碍理论的对称性源于在条件 $L=K_X$ 下复形的自对偶性以及半单 $G$ 的无穷小自同构群的消失。

主要贡献与结果

1. 无穷小自同构的计算：
   主要结果（定理 3.4）指出，对于紧凯勒流形上的稳定 $L$ 值主 $G$-希格斯丛 $(E_G, \phi)$，其无穷小自同构群 $A(E)$ 同构于李代数的中心 $\mathfrak{z}(\mathfrak{g})$。

   • 意义：这将已知的 $\Omega^1_X$ 值丛的结果推广到了任意 $L$。关键在于，如果 $G$ 是半单的，则 $\mathfrak{z}(\mathfrak{g}) = 0$，这意味着自同构群是离散的。

2. 伴随丛的半稳定性：
   定理 4.8 确立了如果 $(E_G, \phi)$ 是稳定的，则 $(\text{ad}(E_G), \phi)$ 是半稳定的。这依赖于这样一个事实：伴随丛的任何破坏稳定性的子对象都会诱导主丛的抛物约化，从而与 $(E_G, \phi)$ 的稳定性相矛盾。

3. 作为 Deligne-Mumford 叠的模叠：
   命题 5.4 证明，对于半单群 $G$，稳定 $L$ 值 $G$-希格斯丛的模叠 $\text{Higgs}^s_L(X)$ 是一个 Deligne-Mumford (DM) 叠。

   • 理由：一个叠是 DM 的，如果其稳定子群是有限的且既约的。对于半单 $G$，无穷小自同构的消失（$\mathfrak{z}(\mathfrak{g})=0$）确保了稳定子群是离散的。稳定性条件被证明是一个开条件（命题 5.1），从而保证了稳定轨形作为开子叠的存在性。

4. 对称完美阻碍理论：
   定理 5.5 在 $X$ 为光滑射影曲面且 $G$ 为半单时，为模叠 $\text{Higgs}^s_{K_X}(X)$ 构造了一个对称完美阻碍理论。

   • 机制：阻碍理论由态射 $\phi_H: T_{\text{Higgs}} \to E_H$ 给出。对称性源于导出范畴中的同构 $E_H \cong (E_H)^\vee[-1]$，这是 Serre 对偶和特定选择 $L=K_X$ 的结果。$H^{-1}(E_H)$（无穷小自同构）和 $H^2(E_H)$（自同构的对偶）的消失确保了该复形是完美的，且支撑在度数 $[0, 1]$ 上。

意义与主张
本文声称提供了一个研究一般约化群 $G$ 的 Vafa-Witten 不变量的基础框架。

• 不变量的基础：作者明确指出，在稳定轨形上构造对称完美阻碍理论是通过等变虚拟基本类定义 Vafa-Witten 不变量的先决条件。
• 推广：这项工作将先前局限于 $\Omega^1_X$ 值丛和特定群（如辛群或正交群）的结果，推广到了任意约化群和任意扭曲丛 $L$。
• 未来工作：作者指出，这些结果旨在推广到 Gieseker 稳定 $G$-希格斯层。他们预期，对于极小第二陈类，所得模空间将拥有一个紧的 $\mathbb{C}^*$-不动点轨形（通过希格斯场的缩放），从而允许以类似于 [18] 中研究的辛和正交情形的方式定义 $G$ 的 Vafa-Witten 不变量。

本文并未声称计算具体的不变量或提供实验数据；相反，它建立了定义和计算此类不变量在未来工作中所需的必要几何与叠论基础设施（无穷小刚性、DM 结构以及阻碍理论）。