Spectral and Logarithmic Atiyah Classes for Higgs Bundles

技术摘要：Higgs 丛的谱类与对数 Atiyah 类

问题陈述
本文探讨了 Higgs 丛 $(E, \theta)$ 的 Atiyah 类与定义在谱曲线 $Y$ 上的底层谱线丛 $L$ 的 Atiyah 类之间的关系。在 Beauville–Narasimhan–Ramanan (BNR) 对应关系的背景下，一个光滑复射影曲线 $X$ 上的正则半单 Higgs 丛通过一个有限满射 $\pi: Y \to X$，被识别为谱曲线 $Y$ 上的一个线丛 $L$，使得 $E \cong \pi_* L$。

在比较这些对象的 Atiyah 类时，存在一个根本性的困难：它们分别居住在具有不同系数层（coefficient sheaves）的不同上同调群中。具体而言，Higgs 丛的 Atiyah 类位于 $H^1(X, \Omega^1_X \otimes \text{End}(E))$ 中，而谱线丛的 Atiyah 类位于 $H^1(Y, \Omega^1_Y)$ 中。作者试图建立这些类之间的精确桥梁，确定 $E$ 上全纯联络的存在性障碍是如何由 $L$ 的谱数据诱导的，特别是在谱覆盖发生分歧（ramify）的判别集处。

方法论
作者结合使用了射流丛理论（jet bundle theory）、有限满射性质以及对数微分几何。

1. 通过有限推前进行射流比较： 核心技术机制在于分析 $X$ 上的 $E$ 与 $Y$ 上的 $L$ 的一阶射流序列（first jet sequences）。通过构造一个规范态射 $\Psi_{\pi, L}: J^1_X(E) \to \pi_* J^1_Y(L)$，作者将底层丛与谱线丛的射流序列联系起来。他们利用有限满射下推前函子 $\pi_*$ 的恰当性以及 Kähler 微分的标准正合序列，来识别这些射流序列之间的差异。
2. 谱作用与中心化子： 研究将范围限制在埃塔莱局部（étale locus）$X^\circ = X \setminus \Delta$（其中 $\Delta$ 是判别子集）。在此处，谱覆盖是无分歧的，从而允许将 Higgs 场的中心化子与谱曲线的结构层进行识别。
3. 对数细化： 为了将结果扩展到判别集之外，作者假设 $\Delta$ 是化简的（reduced）。他们通过在 $\text{End}(E)$ 内部饱和谱代数 $\pi_* \mathcal{O}_Y$ 的像，构造了一个“正则化中心化子层” $Z_\theta$。随后，他们引入对数微分 $\Omega^1_X(\log \Delta)$ 来处理分歧点处的奇异性，构造了一个将 $Y$ 上的微分映射到与谱代数张量积后的 $X$ 上的对数微分的规范态射。

主要贡献与结果

• 射流比较定理 (Proposition 2.1)： 作者构造了一个符合以下短正合序列的规范态射 $\Psi_{\pi, L}$：
  $$0 \to J^1_X(E) \xrightarrow{\Psi_{\pi, L}} \pi_* J^1_Y(L) \to \pi_*(\Omega^1_{Y/X} \otimes L) \to 0$$
  该序列表明，$E$ 的一阶射流与 $L$ 的推前射流之间的差异，恰好由分歧层 $\pi_*(\Omega^1_{Y/X} \otimes L)$ 来衡量。

• 谱 Atiyah 类 (Corollary 2.2)： 作者定义了一个“谱 Atiyah 类” $\beta_{\text{spec}}(L, \pi) \in \text{Ext}^1_X(E, \pi_*(\Omega^1_Y \otimes L))$，它由推前的 $L$ 的射流序列表示。他们证明了普通的 Atiyah 类 $\text{At}(E)$ 通过自然的系数态射 $\iota: \Omega^1_X \otimes E \to \pi_*(\Omega^1_Y \otimes L)$ 映射到该谱类。

• 埃塔莱局部的阿贝尔化 (Theorem 3.3)： 在埃塔莱局部 $X^\circ$ 上，作者展示了 $E$ 的 Atiyah 类完全由谱线丛 $L^\circ$ 的标量 Atiyah 类诱导。具体而言，限制 $j^*\text{At}(E)$ 是谱类 $\beta^\circ_{\text{spec}}(L, \pi)$ 在谱作用映射 $id \otimes m^\circ$ 下的像。这证实了在判别集之外，非阿贝尔 Atiyah 类完全受控于阿贝尔谱数据。

• 对数细化 (Theorem 4.6)： 假设判别子集 $\Delta$ 是化简的，作者构造了一个“对数谱 Atiyah 类”：
  $$\text{At}^{\log}_\theta(E) \in H^1(X, \Omega^1_X(\log \Delta) \otimes Z_\theta)$$
  其中 $Z_\theta$ 是正则化中心化子层。他们证明了一个全局相容关系：
  $$(k \otimes \text{id})^* \text{At}(E) = (id \otimes q)^* \text{At}^{\log}_\theta(E)$$
  其中 $k$ 和 $q$ 是自然包含映射。这一结果确立了普通的 Atiyah 类（当其在 $\Delta$ 处具有对数极点时）可以由取值于正则化中心化子层的类来表示。

意义
本文为通过谱数据理解 Higgs 丛提供了一个严谨的上同调框架。它阐明了虽然 Higgs 丛的 Atiyah 类通常是非阿贝尔的，但在埃塔莱局部通过谱对应关系实现了“阿贝尔化”。其主要意义在于将这种阿贝尔化描述扩展到了分歧子集。通过引入取值于正则化中心化子层的对数谱 Atiyah 类，作者证明了在普通射流层面上谱描述的失效是受控的，并且可以使用对数几何进行重新表述。这为通过谱曲线的几何（即使在存在分歧的情况下）来追踪 Higgs 丛上全纯联络的存在性障碍提供了一种精确的机制。