Mapping class group action on the cohomology of the $\mathrm{SL}_n$ character variety

这是一份关于 Anne Larsen 论文《Mapping Class Group Action on the Cohomology of the SLn Character Variety》（$SL_n$特征簇上同调的映射类群作用）的详细技术总结。

1. 研究背景与问题 (Problem)

核心对象：
论文研究的是亏格为 $g \ge 2$ 的带有一个 puncture（穿孔）的曲面 $\Sigma_g \setminus \{p\}$ 上的扭曲 $SL_n$ 特征簇（Twisted $SL_n$-character variety），记为 $M^{SL}$。
该空间定义为：
$$M^{SL} := \{ \phi \in \text{Hom}(\pi_1(\Sigma_g \setminus p), SL_n(\mathbb{C})) : \phi(\gamma_p) = e^{2\pi i d/n} \text{Id}_n \} / PGL_n(\mathbb{C})$$
其中 $n$ 与 $d$ 互质，$\gamma_p$ 是围绕穿孔 $p$ 的回路，其单值性（monodromy）被固定为标量矩阵 $e^{2\pi i d/n} \text{Id}_n$。

研究目标：
描述映射类群 $\text{Mod}(\Sigma_g \setminus p)$ 通过拉回局部系统（pullback of local systems）在 $M^{SL}$ 的上同调群 $H^*(M^{SL})$ 上诱导的作用。具体而言，目标是确定该作用的代数单值群（algebraic monodromy group），即映射类群在 $GL(H^*(M^{SL}, \mathbb{C}))$ 中像的 Zariski 闭包的连通分量。

已知背景与难点：

• 对于 $GL_n$ 特征簇 $M^{GL}$，Markman 证明了其同调由“典型类”（tautological classes）生成，因此映射类群的作用完全由其在 $H^*(\Sigma_g)$ 上的作用控制，代数单值群为 $Sp_{2g}(\mathbb{Z})$。
• 对于 $SL_n$ 情况，由于存在由 $\mu_n$ 标量乘法引起的非平凡作用，$H^*(M^{SL})$ 不由典型类生成。Hausel 和 Thaddeus 指出了存在“变体类”（variant classes），这些类在 $M^{GL}$ 中对应于 $PGL$ 空间的弦论上同调（stringy cohomology），但在 $SL$ 情形下缺乏明显的几何构造，且其 Hodge 结构尚不完全清楚。
• 主要挑战在于如何控制这些变体类在映射类群作用下的行为。

2. 方法论 (Methodology)

作者利用非阿贝尔霍奇对应（Non-abelian Hodge correspondence），将拓扑问题转化为代数几何问题。$M^{SL}$ 微分同胚于亏格 $g$ 的复代数曲线 $C$ 上度数为 $d$ 的稳定 $SL_n$-Higgs 丛模空间。

核心工具：Maulik-Shen 构造的相对化 (Relativizing the Maulik-Shen construction)
作者采用了 Maulik 和 Shen [MS21] 关于 Higgs 丛模空间上同调的端式分解（endoscopic decomposition）技术，并将其推广到相对情形（即在整个模空间 $\mathcal{M}_{g,1}$ 的覆盖上，而不仅仅是单条曲线）。

具体步骤包括：

1. 建立相对框架：在基空间 $M = \mathcal{M}_{g,1} \times_{\mathcal{M}_g} \mathcal{M}_g[n]$（带 level $n$ 结构的曲线模空间）上构建通用曲线 $\mathcal{C}$ 及其相关的 Higgs 丛模空间。
2. 端式对应（Endoscopic Correspondence）：
   • 利用 Maulik-Shen 的定理，建立 $SL_n$ Higgs 丛模空间的上同调与 $GL_r$ Higgs 丛模空间（在 $m$-重覆盖曲线上）上同调之间的联系。
   • 构造了一个相对版本的 Ngô-Yun 同构，证明了在 Hitchin 纤维化下，$SL_n$ 模空间的特定特征分量（$\kappa$-isotypic components）同构于覆盖曲线上 $GL_r$ 模空间的上同调。
3. 消失周期技巧（Vanishing Cycles Trick）：
   • 为了处理非扭曲（non-D-twisted）情形，作者使用了消失周期函子（vanishing cycles functor）。通过引入辅助线束和特定的几何构造，将高次扭曲的 Higgs 丛模空间的上同调逐步“降阶”到标准情形。
   • 证明了在适当的有限覆盖上，$SL_n$ 模空间的上同调可以分解为与覆盖曲线 $C_\gamma$ 的上同调相关的项。
4. 映射类群作用的传递：
   • 证明映射类群在 $H^*(M^{SL})$ 上的作用核，与在覆盖曲线 $C_n$（对应于 $H_1(\Sigma_g, \mathbb{Z}/n)$ 的覆盖）的上同调 $H^*(C_n)$ 上的作用核是可公度的（commensurable，即交集在两者中均为有限指数）。

3. 主要贡献与结果 (Key Contributions & Results)

定理 1.1 (Theorem 1.1)

结论：映射类群 $\text{Mod}(\Sigma_g \setminus p)$ 在 $H^*(M^{SL}, \mathbb{Z})$ 上的作用核，与它在覆盖曲线 $\tilde{\Sigma}_g^n$（对应于 $\pi_1(\Sigma_g) \twoheadrightarrow H_1(\Sigma_g, \mathbb{Z}/n)$ 的有限覆盖）的第一上同调 $H^1(\tilde{\Sigma}_g^n, \mathbb{Z})$ 上的作用核是可公度的。

意义：这将复杂的 $SL_n$ 特征簇上同调问题，简化为 Looijenga [Loo97] 已经研究过的有限阿贝尔覆盖曲线的上同调问题。

推论 1.2 (Corollary 1.2)

结论：在 $g > 2$ 或 ($g=2$ 且 $(n, 6)=1$) 的条件下，$\text{Mod}(\Sigma_g \setminus p)$ 在 $H^*(M^{SL}, \mathbb{C})$ 上的代数单值群是 $Sp^{\hat{\Gamma}}(H_1(\tilde{\Sigma}_g^n, \mathbb{C}))$ 的换位子群（commutator subgroup）。

• 这里 $\Gamma = H_1(\Sigma_g, \mathbb{Z}/n)$，$\hat{\Gamma}$ 是其对偶群。
• $Sp^{\hat{\Gamma}}$ 表示保持交配形式（intersection form）且与 $\hat{\Gamma}$ 的伽罗瓦作用相容的可逆线性变换子群。
• 具体结构取决于 $n$ 的奇偶性，涉及 $SL$和$Sp$ 群的直积。

技术突破

• 相对化构造：成功将 [MS21] 中针对单条曲线的端式分解推广到族（family）的层面，使得可以讨论单值群（monodromy group）。
• 变体类的控制：通过端式分解，明确揭示了 $SL_n$ 特征簇中“变体类”的来源——它们本质上对应于覆盖曲线上同调的特定特征分量。
• 非阿贝尔霍奇对应的推广：在相对模空间上建立了 $SL_n$ 特征簇与 $SL_n$-Higgs 丛模空间之间在有限覆盖上的同构，从而将拓扑问题转化为代数几何问题。

4. 意义与影响 (Significance)

1. 解决长期难题：该论文首次完整描述了扭曲 $SL_n$ 特征簇上同调的映射类群作用。此前，由于缺乏对变体类的理解，这一领域的代数单值群结构一直是个谜。
2. 连接不同领域：论文巧妙地结合了：
   • 拓扑学：映射类群作用、覆盖空间理论。
   • 代数几何：Higgs 丛模空间、Hitchin 纤维化、端式分解（Endoscopy）。
   • 表示论：伽罗瓦作用、特征标分解。
3. 验证 SYZ 猜想的相关性：Hausel 和 Thaddeus 曾提出 $SL_n$ 和 $PGL_n$ 特征簇之间的镜像对称（SYZ 猜想）涉及弦论上同调。本文的结果从单值群的角度证实了 $SL_n$ 特征簇的复杂结构与覆盖曲线的几何紧密相关，为镜像对称提供了新的代数几何证据。
4. 方法论的普适性：作者展示的“相对化 Maulik-Shen 构造”方法，为研究其他模空间（如不同结构群或不同亏格）的映射类群作用提供了强有力的技术范式。

总结

Anne Larsen 的这篇论文通过引入相对化的端式分解和消失周期技巧，成功地将 $SL_n$ 特征簇的上同调问题转化为有限覆盖曲线的上同调问题。这一突破不仅确定了映射类群作用的代数单值群结构，还深刻揭示了特征簇中非典型上同调类的几何起源，是低维拓扑与代数几何交叉领域的重要进展。