[论文解读] Degree one cohomology with twisted coefficients of the mapping class group

Jørgen Ellegaard Andersen, Rasmus Villemoes|arXiv (Cornell University)|Oct 11, 2007

Geometric and Algebraic Topology参考文献 8被引用 4

一句话总结

该论文证明了，对于亏格 g ≥ 1 且任意数量边界分量的曲面，映射类群在 SL₂(ℂ)-特征簇上代数函数空间的对偶空间上的第一上同调群是非平凡的。通过使用 BFK 图和群上同调技术，包括 Shapiro 引理和上边缘准则，作者证明该上同调群可分解为由图的轨道代表元索引的有限维直和，并通过几何关系（如灯笼关系和双孔环面关系）显式构造出非平凡的上循环。

ABSTRACT

Let $Γ$ be the mapping class group of an oriented surface $Σ$ of genus g with r boundary components. We prove that the first cohomology group $H^1(Γ, O(M_{SL(2, C)})^*)$ is non-trivial, where the coefficient module is the dual of the space of algebraic functions on the $SL(2, C)$ moduli space over $Σ$.

研究动机与目标

• 确定第一上同调群 H¹(Γ, O(M)*) 的结构，其中 Γ 为映射类群，O(M)* 为 SL₂(ℂ)-特征簇上代数函数空间的对偶空间。
• 证明对于亏格 g ≥ 1 且任意 r ≥ 0 个边界分量的曲面，该上同调群是非平凡的。
• 为映射类群作用下 BFK 图 D 的每个轨道，开发一个计算 H¹(Γ, M_D) 的上同调算法。
• 将上同调障碍与模空间上星积的可积性联系起来，动机源于形变量子化与几何量子化。

提出的方法

• 利用 BFK 图代数 B(Σ) 与模空间上代数函数空间 O(M) 之间的同构 ν: B(Σ) → O(M)。
• 将对偶空间 O(M)* 视为所有复值函数在 BFK 图集合上的集合，记为 Map(B, ℂ)。
• 应用 Shapiro 引理，通过图轨道稳定子上的诱导与余诱导模来分解上同调群。
• 建立上边缘准则：一个上循环 u: Γ → O(M)* 是上边缘当且仅当其在每个图轨道代表元 D 的稳定子 Γ_D × {D} 上的限制恒为零。
• 通过映射类群中的几何关系（如灯笼关系和双孔环面关系）显式构造非平凡的上循环。
• 利用分解 H¹(Γ, O(M)*) ≅ ∏_{D∈S} H¹(Γ, M̂_D) 分析每个直和项，并证明其有限维性。

实验结果

研究问题

• RQ1 对于亏格 g ≥ 1 的曲面，第一上同调群 H¹(Γ, O(M)*) 是否非平凡？
• RQ2 H¹(Γ, O(M)*) 如何根据 BFK 图的轨道结构进行分解？
• RQ3 灯笼关系和双孔环面关系等几何关系在构造非平凡上循环中起什么作用？
• RQ4 能否以图的稳定子为基准，刻画取值于 O(M)* 的上循环的上边缘条件？
• RQ5 对于 BFK 图的单个轨道代表元 D，H¹(Γ, M̂_D) 的结构是什么？

主要发现

• 对于所有 g ≥ 1 和 r ≥ 0，第一上同调群 H¹(Γ_g,r, O(M)*) 是非平凡的，这通过显式构造非平凡上循环得以证明。
• 上同调群可分解为直积 ∏_{D∈S} H¹(Γ, M̂_D)，其中 S 是映射类群作用下 BFK 图轨道代表元的集合。
• 每个直和项 H¹(Γ, M̂_D) 均为有限维，确认了上同调群并非以平凡方式无限维。
• 一个上循环 u: Γ → O(M)* 是上边缘当且仅当其在每个图轨道代表元 D 的稳定子 Γ_D × {D} 上的限制恒为零。
• H¹(Γ, O(M)*) 的非平凡性与形变量子化中某些上循环的可积性相关，特别是在模空间上星积等价的背景下。
• 当 g ≥ 3 时，第一同调群 H₁(Γ, ℤ) 为零；当 g = 2 时，其同构于 ℤ/10ℤ，这通过群的阿贝尔化和关系支持了上同调群的非平凡性。