[论文解读] Groupoid Lifts of Mapping Class Representations for Bordered Surfaces

Jørgen Ellegaard Andersen, Alex James Bene+1 more|arXiv (Cornell University)|Oct 14, 2007

Geometric and Algebraic Topology参考文献 3被引用 7

一句话总结

本文构建了 bordered 表面的映射类群的两个关键表示的显式群胚提升：一个是作为自由群自同构群的表示，另一个是作为辛变换的表示。通过使用胖图和弦图，定义了从 Ptolemy 群胚到这些目标群的同态，表明这些提升在模空间中的环路处与原始表示一致，并完全刻画了自由群表示提升的核与像。

ABSTRACT

Abstract. The mapping class group of a surface with one boundary component admits numerous interesting representations including as a group of automorphisms of a free group and as a group of symplectic transformations. Insofar as the mapping class group can be identified with the fundamental group of Riemann’s moduli space, it is furthermore identified with a subgroup of the fundamental path groupoid upon choosing a basepoint. A combinatorial model for this arises from the invariant cell decomposition of Teichmüller space, whose fundamental path groupoid is called the Ptolemy groupoid. It is natural to try to lift representations of the mapping class group to the Ptolemy groupoid, i.e., construct a homomorphism from the Ptolemy groupoid to the same target so that if a path in Teichmüller space covers a loop in moduli space, then the two representations coincide. We lift both aforementioned representations to the groupoid level in this sense. The techniques of proof include fatgraphs, chord diagrams, and their relationship. The former lift is given by explicit formulae depending upon six essential cases, and the kernel and image of the groupoid representaion is computed. Furthermore, this provides groupoid lifts of representations of the mapping class group that factor through its action on the fundamental group of the surface including, for instance, the Magnus representation and representations on the moduli spaces of flat connections. 1.

研究动机与目标

• 将 bordered 表面的映射类群表示扩展至 Ptolemy 群胚，确保在对应于模空间环路的环路处保持一致性。
• 提供映射类群的自同构表示和辛表示在群胚层面的显式提升。
• 使用组合群胚技术，完全刻画自由群自同构表示提升的核与像。
• 将这些提升推广至映射类群作用于基本群的结构上，包括 Magnus 表示和平坦联络模空间。

提出的方法

• 将 Ptolemy 群胚用作 Teichmüller 空间基本路径群胚的组合模型，源自一种胞腔分解。
• 利用胖图及其关联的弦图来编码表面结构，并追踪群胚中路径的提升。
• 基于组合路径构型的六种基本情形，构造从 Ptolemy 群胚到自由群自同构群的显式同态。
• 将相同框架应用于通过同调作用提升辛表示，确保与原始映射类群作用的兼容性。
• 利用 Ptolemy 群胚的组合结构及其与曲面拓扑的关系，分析自由群表示提升的核与像。
• 证明当限制在模空间中的环路时，这些提升与原始表示一致，这是通过 Teichmüller 空间中路径的覆盖性质实现的。

实验结果

研究问题

• RQ1 能否以保持环路一致性的方式，将 bordered 表面的映射类群的自同构表示提升至 Ptolemy 群胚？
• RQ2 如何在保持与原始群作用兼容性的前提下，将映射类群的辛表示提升至 Ptolemy 群胚？
• RQ3 自由群自同构表示的群胚提升的核与像是什么？
• RQ4 这些提升的表示与通过映射类群作用于基本群而导出的其他表示之间有何关系？
• RQ5 胖图和弦图在这些群胚提升的构造与分析中起到何种作用？

主要发现

• 本文构造了一个从 Ptolemy 群胚到自由群自同构群的显式群胚同态，其定义基于六种基本的组合路径构型。
• 完全刻画了自由群表示提升的核，为 Ptolemy 群胚相对于映射类群的结构提供了深刻见解。
• 确定了自由群表示提升的像，表明该群胚在组合设定下完整捕捉了自同构结构。
• 成功地将映射类群的辛表示提升至 Ptolemy 群胚，且在环路上保持与原始表示的一致性。
• 证明了当限制在模空间中的环路时，这些提升与原始表示兼容，确认其作为群胚提升的一致性。
• 该框架使得能够对通过映射类群作用于基本群而导出的表示实现群胚提升，包括 Magnus 表示和平坦联络模空间。