[论文解读] Rigidity and geometricity for surface group actions on the circle

Kathryn Mann, Maxime Wolff|arXiv (Cornell University)|Oct 13, 2017

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

一句话总结

本文证明了所有从曲面群到保向圆周同胚群的刚性表示都是几何的，即它们与 PSL(2,ℝ) 中的离散、忠实作用半共轭。通过弯曲形变以及旋转数和坏环面的分析，作者证明了路径刚性表示——即不存在非平凡形变的表示——必然源自几何结构，从而解决了圆周动力系统与特征簇理论中的一个关键问题。

ABSTRACT

We prove that rigid representations of the fundamental group of a surface into the group of oreintation-preserving homeomorphisms of the circle are geometric, thereby establishing a converse statement of a theorem by the first author.

研究动机与目标

• 建立 Mann（2015）先前结果的逆定理，证明在 Homeo⁺(S¹) 中，曲面群的刚性表示是几何的。
• 解决路径刚性表示（即无非平凡形变的表示）是否必然源自几何结构的问题。
• 分析旋转数与“坏环面”在阻碍或促进曲面群在圆周上作用形变中的作用。
• 探讨特征空间 X(Γg, Homeo⁺(S¹)) 的拓扑结构及其与经典特征簇的关系。
• 研究弯曲形变是否能生成表示空间中的所有路径，并与Thurston的地震定理类比。

提出的方法

• 通过沿简单闭曲线进行弯曲形变，在表示空间 Hom(Γg, Homeo⁺(S¹)) 中构造连续路径。
• 利用 Antonov 关于随机字旋转数的结果，分析曲面群表示中元素的旋转数，特别是非分离曲线的情形。
• 定义并研究“坏环面”——即所有非分离曲线的旋转数均为有理数的一价环面子群——作为形变的障碍。
• 应用半共轭与特征空间理论，通过最大 Hausdorff 商 X(Γg, Homeo⁺(S¹)) 将拓扑刚性与几何结构联系起来。
• 利用 Matsumoto 的结果：具有最大 Euler 数（±(2g−2)）的表示是刚性的，并且与 PSL(2,ℝ) 作用半共轭。
• 运用几何不变量理论与 GIT 商的方法，理解特征空间作为 Hom(Γg, Homeo⁺(S¹))/Homeo⁺(S¹) 的 Hausdorff 商的结构。

实验结果

研究问题

• RQ1 所有在 Homeo⁺(S¹) 中的曲面群刚性表示是否都是几何的，即是否与 PSL(2,ℝ) 中的离散、忠实作用半共轭？
• RQ2 表示空间 Hom(Γg, Homeo⁺(S¹)) 中的每条路径是否都能通过沿简单闭曲线的弯曲形变实现？
• RQ3 是否存在路径刚性表示包含至少一个“坏环面”——即所有非分离曲线的旋转数均为有理数的一价环面子群？
• RQ4 是否存在一个在 Γg 上的表示，其为局部刚性但非全局刚性，从而揭示局部刚性与全局刚性的区别？
• RQ5 Euler 数是否像在 PSL(2,ℝ) 情形中那样，对 X(Γg, Homeo⁺(S¹)) 的连通分支进行分类？

主要发现

• 所有 π₁Σg 在 Homeo⁺(S¹) 中的刚性表示都是几何的，即与 PSL(2,ℝ) 中的离散、忠实表示半共轭。
• 路径刚性表示不能包含两个不相交的坏环面，且若不存在任何坏环面，则可通过增强版引理 5.11 推出几何性。
• 具有最大 Euler 数（±(2g−2)）的表示是刚性的，并且与 PSL(2,ℝ) 作用半共轭，此结论由 Matsumoto 证明。
• 特征空间 X(Γg, Homeo⁺(S¹)) 是 Hom(Γg, Homeo⁺(S¹))/Homeo⁺(S¹) 的最大 Hausdorff 商，参数化了作用的半共轭类。
• 沿简单闭曲线的弯曲形变可生成表示空间中的路径，暗示其与 Teichmüller 理论及 Thurston 地震定理存在结构类比。
• 存在自由群在 S¹ 上的极小作用，使得几乎所有随机字的旋转数为有理数，此结论由 Antonov 定理给出；但目前仍未知是否存在非交换极小作用，使得所有非分离曲线的旋转数均为有理数。