[论文解读] Edge Preserving Maps of the Curve Graphs in Low Genus

Elmas Irmak|arXiv (Cornell University)|Mar 21, 2018

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

一句话总结

本文证明了在具有至少5条边界分量的亏格0或至少3条边界分量的亏格1的紧致、连通、可定向曲面上，边保持映射在曲线图上是由同胚诱导的，且此类同胚在同伦意义下唯一。证明通过曲线构型和半扭生成元，表明该映射保持了曲面的拓扑结构，将已知结果扩展至一般情况下曲线图在边保持映射下不刚性的低亏格情形。

ABSTRACT

Let $R$ be a compact, connected, orientable surface of genus $g$ with $n$ boundary components. Let $\mathcal{C}(R)$ be the curve graph of $R$. We prove that if $g=0, n \geq 5$ or $g=1, n \geq 3$, and $λ: \mathcal{C}(R) ightarrow\mathcal{C}(R)$ is an edge preserving map, then $λ$ is induced by a homeomorphism of $R$, and this homeomorphism is unique up to isotopy.

研究动机与目标

• 对亏格0且n ≥ 5或亏格1且n ≥ 3的曲面的曲线图上的边保持映射进行分类。
• 将已知结果（即超注入性单值映射由同胚诱导）扩展至低亏格情形下的边保持映射。
• 解决此类映射未由同胚诱导的剩余情形，特别是亏格0和1且n较小的情形。
• 确立诱导映射的同胚在同伦意义下的唯一性。

提出的方法

• 通过构造具有特定几何交点性质的曲线，递归地识别曲线图中唯一的代表元。
• 应用裤分解概念及曲线之间的邻接关系，以重建曲面的拓扑结构。
• 依赖于在映射类群作用下稳定子平凡的曲线集合，以确保映射的单射性并控制其行为。
• 利用沿特定曲线的半扭同胚作为映射类群的生成元，验证映射与群作用的可交换性。
• 通过曲线构型的归纳法推进论证，表明映射下每个曲线的像必须由同胚实现。
• 采用Irmak-Paris与Aramayona-Leininger的技术，特别是通过有限刚性集穷举曲线图，以控制映射的全局结构。

实验结果

研究问题

• RQ1 在何种亏格与边界分量条件下，曲线图上的每个边保持映射均由曲面的同胚诱导？
• RQ2 为何在g=0,n=4或g=1,n=2的情形下，边保持映射不能由同胚诱导？
• RQ3 曲线图的结构能否用于通过边保持映射重构底层曲面的拓扑？
• RQ4 曲线交点与不交性性质如何决定此类映射的全局行为？
• RQ5 在低亏格曲面中，诱导边保持映射的同胚是否在同伦意义下唯一？

主要发现

• 对于具有至少5条边界分量的亏格0曲面，曲线图上的每个边保持映射均由唯一的同胚诱导（在同伦意义下）
• 对于具有至少3条边界分量的亏格1曲面，结论相同：边保持映射由同胚诱导，且在同伦意义下唯一
• 该结果在亏格0, n=4和亏格1, n=2时失效，原因在于曲线图同构于Farey图，后者允许非几何自同构
• 证明表明，特定的曲线构型唯一确定了映射下每个曲线的像，从而确保映射源于曲面同胚
• 映射类群由有限组曲线上的半扭生成，且该映射保持这些生成元在同伦意义下的对应关系
• 该论证确立了映射以一种强制其由全局曲面同胚诱导的方式保持曲线图的组合结构