[论文解读] Cohomology of mapping class groups and the abelian moduli space

Jørgen Ellegaard Andersen, Rasmus Villemoes|ArXiv.org|Mar 24, 2009

Algebraic Geometry and Number Theory参考文献 12被引用 3

一句话总结

本文证明了对于亏格 $ g \geq 3 $ 的曲面的映射类群 $ \Gamma $，其在阿贝尔模空间 $ M = \operatorname{Hom}(H_1(\Sigma), \mathrm{U}(1)) $ 上的 $ L^2(M) $ 与光滑函数空间 $ C^\infty(M) $ 上的一阶上同调群 $ H^1(\Gamma, L^2(M)) $ 和 $ H^1(\Gamma, C^\infty(M)) $ 均为零。证明利用了 $ \mathrm{Sp}(2g,\mathbb{Z}) $ 的 (T) 性质、Hochschild-Serre 族谱序列，以及在酉表示中德恩旋转变换投影的关链零化条件，从而确立了这些系数模上不存在非平凡的一阶上循环。

ABSTRACT

We consider a surface $Σ$ of genus $g \geq 3$, either closed or with exactly one puncture. The mapping class group $Γ$ of $Σ$ acts symplectically on the abelian moduli space $M = \Hom(π_1(Σ), U(1)) = \Hom(H_1(Σ),U(1))$, and hence both $L^2(M)$ and $C^\infty(M)$ are modules over $Γ$. In this paper, we prove that both the cohomology groups $H^1(Γ, L^2(M))$ and $H^1(Γ, C^\infty(M))$ vanish.

研究动机与目标

• 建立映射类群 $ \Gamma $ 在阿贝尔模空间 $ M $ 的 $ L^2 $-函数上的第一上同调群 $ H^1(\Gamma, L^2(M)) $ 的消失性。
• 将此结果推广至光滑函数空间，证明 $ H^1(\Gamma, C^\infty(M)) = 0 $。
• 为映射类群的无限维酉表示中不存在非平凡一阶上循环提供证据，此与卡兹丹 (Kazhdan) 的 (T) 性质相关。
• 通过证明涉及德恩旋转变换固定子空间上投影的必要条件，推广单位表示中的一阶上同调消失结果。

提出的方法

• 利用 Hochschild-Serre 族谱序列，将 $ H^1(\Gamma, \ell^2(H')) $ 与 $ H^1(\mathrm{Sp}(2g,\mathbb{Z}), \ell^2(H')) $ 及 $ H^1(\mathcal{T}, \ell^2(H'))^\Gamma $ 关联，其中 $ \mathcal{T} $ 为托里利群。
• 通过德恩旋转变换下边界对映射的不变性及投影条件 $ p_\gamma u(\tau_\gamma) = 0 $，证明任一上循环在托里利群上的限制为零。
• 应用 $ \mathrm{Sp}(2g,\mathbb{Z}) $ 具有 (T) 性质的事实，其蕴含 $ H^1(\mathrm{Sp}(2g,\mathbb{Z}), \ell^2(H')) = 0 $。
• 通过以 $ H' $（即 $ H_1(\Sigma, \mathbb{Z}) $ 的对偶）为指标的正交基，建立 $ \ell^2(H') $ 与 $ L^2_0(M) $ 作为 $ \Gamma $-模的同构。
• 对于光滑函数，利用嵌入 $ C^\infty_0(M) \to \ell^2(H') $，并通过沿德恩旋转变换轨道的伸缩和估计傅里叶系数的衰减，证明上循环在 $ \ell^2(H') $ 上的提升必为光滑函数。
• 利用德恩旋转变换下 $ \tau_j^r m $ 的范数严格递增性，通过求和差值 $ g_{m,j}^\pm $ 来控制 $ |f_m| $，从而导出 $ |f_m| \leq G_{k+1}/(k|m|^k) $。

实验结果

研究问题

• RQ1 映射类群 $ \Gamma $ 在阿贝尔模空间 $ M $ 上作用时，第一上同调群 $ H^1(\Gamma, L^2(M)) $ 是否消失？
• RQ2 映射类群 $ \Gamma $ 在相同作用下，第一上同调群 $ H^1(\Gamma, C^\infty(M)) $ 是否消失？
• RQ3 能否通过涉及德恩旋转变换投影的必要条件，建立单位表示 $ V $ 上 $ H^1(\Gamma, V) $ 的消失性？
• RQ4 托里利群在 $ \ell^2(H') $ 上的作用是否满足：任一上循环的限制为零，从而可将问题约化至 $ \mathrm{Sp}(2g,\mathbb{Z}) $？
• RQ5 能否从德恩旋转变换下差值的光滑性推断出 $ \ell^2(H') $ 中函数的光滑性？

主要发现

• 第一上同调群 $ H^1(\Gamma, L^2(M)) $ 消失，其证明基于 $ H^1(\mathrm{Sp}(2g,\mathbb{Z}), \ell^2(H')) = 0 $ 及 Hochschild-Serre 序列，将问题约化至托里利群，而托里利群上的上循环为零。
• 第一上同调群 $ H^1(\Gamma, C^\infty(M)) $ 消失，通过将光滑上循环提升至 $ \ell^2(H') $，并利用傅里叶系数的衰减估计，证明对应函数 $ f \in \ell^2(H') $ 必为光滑函数。
• 关键技术工具是恒等式 $ p_\gamma u(\tau_\gamma) = 0 $，其中 $ p_\gamma $ 为德恩变换 $ \tau_\gamma $ 的固定子空间上的正交投影，该式对所有酉表示均成立。
• 托里利群由亏格为 1 的边界对映射生成，任一上循环在这些生成元上的取值为零，原因在于其在共轭下的不变性及投影条件。
• $ \ell^2(H') $ 与 $ L^2_0(M) $ 作为 $ \Gamma $-模的同构，使得可将 $ \ell^2(H') $ 上的上同调结果转移至 $ L^2(M) $。
• 由沿德恩旋转变换轨道的伸缩和导出的衰减估计 $ |f_m| \leq G_{k+1}/(k|m|^k) $，确保若其在德恩旋转变换下的差值为光滑，则 $ f \in \ell^2(H') $ 必为光滑函数。