Symmetric spaces for groups over involutive algebras and applications to Higgs bundles

技术摘要：基于对合代数群的对称空间及其在 Higgs 丛中的应用

问题陈述
本文旨在解决将李群及其相关对称空间理论推广到非交换环（特别是对合代数 $(A, \sigma)$）中所面临的挑战。虽然在交换域上的李群理论已非常成熟，但非交换情形存在显著困难，例如缺乏规范行列式，这使得难以定义如 $SL_n$ 之类的子群。作者重点研究了基于埃尔米特（Hermitian）对合代数的辛群 $Sp_2(A, \sigma)$ 和不定正交群 $O(1,1)(A, \sigma)$ 及其复化。主要目标是为这些群相关的黎曼对称空间 $G/K$ 构建显式的几何模型，描述其切空间与微分同构，并将该框架应用于 Higgs 丛理论，以研究黎曼曲面基本群的表示。

方法论
论文分为两个截然不同的部分：

• 第一部分：对称空间的几何模型：
  作者系统地构建并分析了基于对合代数的群的对称空间的四种不同模型：

  1. 不定对合算子空间： 通过满足 $J^2 = \text{Id}$（或对于复结构满足 $J^2 = -\text{Id}$）且与双线性型相容的算子 $J$ 来定义。
  2. 射影空间模型： 实现为 $A^2$（或其复/四元数扩张）中直线集合的开域，这些直线相对于定义的型满足正定性或各向同性条件。
  3. 半空间模型： 由射影模型导出的仿射图表，被识别为代数 $A$（或其扩张）的子集，其定义条件基于元素的实部和虚部（例如 $y \in A^\sigma_+$）。
  4. 预紧致模型： 通过对半空间模型进行 Möbius 变换得到的有界域，类似于双曲几何中的单位球模型。

  对于每种模型，作者显式地计算了（复化）切空间，描述了群 $G$ 及其极大紧子群 $K$ 的作用，并推导了连接这些模型的等变微分同构的微分。他们还定义了这些空间上的不变黎曼度量。分析涵盖了基于实埃尔米特代数的群（$Sp_2(A, \sigma)$，$O(1,1)(A, \sigma)$，$A^\times$）及其复化（$Sp_2(A^C, \sigma^C)$，$O(A^C, \sigma^C)$）。

• 第二部分：Higgs 丛的应用：
  利用第一部分中的几何模型，作者重新诠释了 $G$-Higgs 丛的数据。给定一个还原表示 $\rho: \pi_1(X) \to G$，Corlette 定理保证了存在一个 $\rho$-等变的调和映射到对称空间 $G/K$。复化切丛的拉回即为 Higgs 场。通过选择 $G/K$ 的不同几何模型，作者提供了 Higgs 丛数据 $(E, \phi)$ 的替代几何实现。

  • 分量计数： 作者利用极大紧子群 $K$ 的拓扑性质而非标准的 Morse–Bott 理论，得出了 $Sp_2(A^C, \sigma^C)$ 和 $O(A^C, \sigma^C)$ 的多稳定 Higgs 丛模空间的连通分支的精确计数。
  • Hitchin 态射分解： 作者构造了这些群的 Hitchin 态射的分解。该分解通过中间的仿射几何不变性理论（GIT）商进行。该映射是由从切模型到形式实乔丹代数（具体为埃尔米特或对称元素的代数）的二次范数映射诱导的。

核心贡献与结果

1. 显式几何模型： 论文提供了一个统一的框架，用于实现基于对合代数的对称空间。它详细阐述了 $Sp_2$、$O(1,1)$ 及其复化的算子、射影、半空间和预紧致模型的切空间与转移映射。
2. 拓扑不变量： 作者根据底层代数（特别是其 Artin–Wedderburn 分解中的四元数和复数因子数量）建立了 $Sp_2(A^C, \sigma^C)$ 和 $O(A^C, \sigma^C)$ 的连通分支数及基本群。
3. 模空间分量计数： 引入了一种通过分析极大紧子群拓扑来计数 Higgs 丛模空间连通分支的新方法，从而绕过了对 Morse–Bott 理论的需求。
4. Hitchin 态射的分解： 论文证明了 $Sp_2(A^C, \sigma^C)$-Higgs 丛（及实类比物）的 Hitchin 态射可以分解为经过中间 GIT 商。这种分解受控于向 Jordan 代数的二次范数映射。
5. 维度效率： 作者表明，这些范数映射的目标空间（复化 Jordan 代数）其维度严格小于原始复化切模型的维度。这种代数复杂度的降低使得对 Hitchin 基底和 Hitchin 态射像的刻画更加明确。

意义与主张
论文声称，这种非交换视角提供了一个 Hitchin 基底的“几何词典”，将抽象的全纯微分解释为源自 Jordan 代数目标的二次范数映射的不变量。作者指出，这种方法对于研究闭曲面基本群的正表示（positive representations）特别有效，其动机源于对全正性的推广。

该工作的意义在于其能力：

• 将各种经典李群（如 $Sp_{2n}(\mathbb{R})$、$O(n,n)$、$U(n,n)$、$Sp(n,n)$ 等）统一在基于对合代数的群这一框架之下。
• 为非交换环境下的对称空间提供了显式、可计算的模型。
• 通过 Hitchin 态射的分解，简化了描述这些群的 Hitchin 基底的代数复杂度。
• 为 Higgs 丛数据提供了新的几何解释，这些解释直接与对称空间的特定几何紧密相关。

作者对其范围保持谦逊，指出分解和分量计数结果是针对所开发理论背景下 $Sp_2(A^C, \sigma^C)$ 和 $O(A^C, \sigma^C)$（及其实形式）的特定群，而非对所有非交换李群的普遍解决方案。这项工作被呈现为非阿贝尔 Hodge 理论和正表示研究领域进一步应用的奠基性步骤。