Topology of Galois conjugate character varieties

技术摘要：Galois 共轭特征簇的拓扑结构

问题陈述
本文研究了特征簇 $M_{n,d}$ 对度参数 $d$ 的拓扑依赖性。设 $C$ 为亏格 $g \geq 2$ 的非奇异射影曲线，$n \geq 2$ 为一个与 $d$ 互素的整数。特征簇 $M_{n,d}$ 定义为 $\pi_1(C)$ 到 $GL_n(\mathbb{C})$ 的表示的 Betti 模空间，其行列式为 $\xi_n^d$，其中 $\xi_n$ 是一个本原 $n$ 次单位根。

Hausel 在 2005 年提出的一个核心问题（问题 0.1）是：对于任何与 $n$ 互素的 $d, d'$，是否 $M_{n,d}$ 与 $M_{n,d'}$ 是同胚（或同伦等价）的？虽然已知这些簇是 Galois 共轭的，并且具有相同的 Betti 数和有理上同调环，但是否存在一个保持酉局部（通过 Harder–Narasimhan 对应关系将 $d$ 与 $d'$ 区分开来）的同胚，目前仍是一个开放问题。先前的拓扑不变量（包括基本群和高阶同伦群）都无法区分这些空间。作者旨在确定整上同调环是否能作为一个更精细的不变量，从而能够区分不同 Galois 共轭特征簇的同伦类型。

方法论
作者开发了一个结合整结构、上同调环自同构群以及牵引关系（tautological relations）的框架，用以检测拓扑差异。

1. 上同调自同构与整结构：
   本文确立了有理上同调环 $H^*(M_{n,d}, \mathbb{Q})$ 同构于一个与环 $R_{g,n}$ 结合环面（torus）上同调的张量积，其中 $R_{g,n}$ 与 $d$ 无关（定理 0.3）。作者定义 $G_{g,n}$ 为 $R_{g,n}$ 的分次自同构群。他们提出，如果 $M_{n,d}$ 和 $M_{n,d'}$ 的整上同调环是同构的，那么在 $G_{g,n}$ 中必然存在一个保持由不同度 $d$ 和 $d'$ 诱导的整格（integral lattices）的自同构。

2. 弱对角自同构：
   一个关键的结构简化涉及 $G_{g,n}$ 的子群 $G^{wd}_{g,n}$，即“弱对角”自同构群，该子群保持低度分量（$\mathbb{Q}\alpha_3$ 和 $\mathbb{Q}\beta_2$）中的特定直线。定理 0.5 指出，如果 $G^{wd}_{g,n} = G_{g,n}$（即所有自同构都是弱对角的），那么 $M_{n,d}$ 和 $M_{n,d'}$ 的整上同调环同构当且仅当 $d \equiv \pm d' \pmod n$。

3. 牵引关系：
   为了验证 $G^{wd}_{g,n} = G_{g,n}$ 这一条件，作者分析了牵引生成元（$\alpha_i, \beta_i, \psi_{i,j}$）之间的理想关系。他们利用了：

   • Poincaré 多项式的闭合公式（Hausel–Rodriguez-Villegas, Schiffmann, Mellit）来确定非平凡关系必须存在的最低次数。
   • 稳定向量丛的关系（Earl–Jeffrey–Kirwan）来识别特征簇设定下的候选关系。
   • 一个在最低可能上同调次数 $r_{g,n} = 4g(n-1) - 2n$ 中的“特选”牵引关系 $\Upsilon_{g,n}$。

4. 计算验证：
   针对特定的情况 $(g, n) = (2, 5)$，作者执行了显式的线性代数计算，以：

   • 确定次数为 22 的唯一齐次关系 $\Upsilon_{2,5}$（定理 3.16）。
   • 计算该关系在自同构群内的稳定子（stabilizer）的李代数的维数。
   • 验证全自同构群的维数是否足够小，从而迫使“弱对角”条件的成立。

主要贡献与结果

• 定理 0.2（主要结果）： 对于亏格 $g=2$ 的曲线，拓扑空间 $M_{5,1}$ 和 $M_{5,2}$ 不是同伦等价的。这为 Hausel 2005 年的问题提供了第一个反例，证明了 Galois 共轭的特征簇可以具有不同的同伦类型。
• 定理 0.5： 基于自同构群 $G_{g,n}$ 的结构，建立了一个关于整上同调环不存在同构的判据。具体而言，如果所有自同构都是弱对角的，则整结构可以区分不同的度。
• 定理 0.6： 证明了对于 $(g, n) = (2, 5)$，自同构群 $G_{2,5}$ 与弱对角自同构子群 $G^{wd}_{2,5}$ 相重合（$G^{wd}_{2,5} = G_{2,5}$）。这是通过证明关系 $\Upsilon_{2,5}$ 的稳定子的李代数维数为 12，而该维数严格小于使非对角自同构存在的所需维数来实现的。
• 定理 0.7： 对于 $g \geq 2, n \geq 3$，确定了一个唯一的特选牵引关系 $\Upsilon_{g,n} = 0$ 在次数 $r_{g,n}$ 中。对于 $(2, 5)$，该关系被显式计算（定理 3.16）并被证明是辛不变的（symplectic-invariant）。
• 命题 1.3： 确认了对于 $k > 1$ 的高阶同伦群 $\pi_k(M_{n,d})$ 是独立于 $d$ 的，这进一步强化了同伦群不足以区分这些空间的观点。

意义与主张
本文声称对 Hausel 2005 年关于 Galois 共轭特征簇同胚性的问题给出了否定回答。作者断言，整上同调环是第一个能够感知特征簇度 $d$ 的已知拓扑不变量，揭示了隐藏在有理上同调或 Betti 数之下更深层的拓扑差异。

这项工作强调了虽然 Galois 共轭的簇通常共享有理上同调，但它们的整结构可以显著不同。该方法依赖于 Chern 分次（拆分权重过滤）、牵引关系以及上同调环自同构群的刚性之间的相互作用。作者指出，其方法具有高度的计算密集性；针对 $(2, 5)$ 的证明需要解决一个涉及特定关系稳定子的庞大线性代数问题。他们指出，更强大的计算资源可能会为其他 $(g, n)$ 对产生进一步的反例。

本文并不声称要对所有 $g, n$ 进行一般分类，而是提供了一个结构性框架（猜想 0.4）以及一种具体的判定方法，用于在自同构群受到牵引关系充分约束的情况下，证伪同伦等价性。