[论文解读] Edge-preserving maps of curve graphs

Jesús Hernández Hernández|arXiv (Cornell University)|Nov 25, 2016

Computational Geometry and Mesh Generation参考文献 5被引用 4

一句话总结

本文证明了，对于亏格至少为3且复杂度有界的有限类型可定向曲面，任何保持边的映射（edge-preserving map）都由一个同胚诱导。作者基于子图的刚性展开（rigid expansions）提出了一种新颖的单纯方法，证明此类映射必须保持底层曲面的拓扑结构，从而推广了关于自同构的早期结果，并将Shackleton的工作扩展至非局部单射的保持边映射。

ABSTRACT

Suppose $S_{1}$ and $S_{2}$ are orientable surfaces of finite topological type such that $S_{1}$ has genus at least $3$ and the complexity of $S_{1}$ is an upper bound of the complexity of $S_{2}$. Let $φ: \mathcal{C}(S_{1}) ightarrow \mathcal{C}(S_{2})$ be an edge-preserving map; then $S_{1}$ is homeomorphic to $S_{2}$, and in fact $φ$ is induced by a homeomorphism. To prove this, we use several simplicial properties of rigid expansions, which we prove here.

研究动机与目标

• 将Shackleton关于曲线图的局部单射映射结果推广至保持边的映射。
• 证明亏格≥3且复杂度有界的曲面之间，保持边的映射必由同胚诱导。
• 发展并应用一种基于刚性展开的新型抽象单纯框架，以证明曲线图的组合刚性。
• 提供一种适用于其他单纯复形（如裤图或Hatcher-Thurston图）的一般方法，通过利用刚性集及其展开。

提出的方法

• 在抽象单纯图中引入子图的刚性展开概念：递归添加由相邻顶点集唯一确定的顶点。
• 通过归纳法定义第n阶刚性展开$ Y^n $，并将无限展开$ Y^∞ $ 定义为所有此类展开的并集。
• 证明定理B：若一个映射在子图上与自同构一致，且其保持边的扩展存在，则该扩展必为该自同构的限制。
• 利用推论C表明，若一个映射在刚性集上局部单射，则其向完整刚性展开的扩展由自同构诱导。
• 将该理论应用于曲线图，利用Aramayona与Leininger构造的有限刚性集。
• 利用映射类群上的德恩旋转变换作用，诱导曲线图上的单纯映射，并通过交点性质验证保持边性。

实验结果

研究问题

• RQ1 能否证明高复杂度曲面的曲线图之间，即使不具局部单射性，保持边的映射也由同胚诱导？
• RQ2 刚性展开的哪些抽象单纯性质可确保保持边的扩展由自同构唯一确定？
• RQ3 当对已知的有限刚性集应用刚性展开过程时，是否能穷尽整个曲线图？
• RQ4 该框架能否扩展至曲线图以外的其他单纯复形，如裤图或Hatcher-Thurston图？
• RQ5 映射类群的子群在何种条件下，其同态可诱导曲线图上的保持边映射？

主要发现

• 任何保持边的映射$ \varphi: \mathcal{C}(S_1) \to \mathcal{C}(S_2) $，若定义在亏格至少为3且满足$ \kappa(S_2) \leq \kappa(S_1) $的曲面之间，均由同胚诱导。
• 刚性展开框架确保：若映射在子图上与自同构一致，则其保持边的扩展由该自同构唯一确定。
• 亏格≥3曲面的曲线图在保持边映射下具有组合刚性，即使不具局部单射性。
• 只要满足德恩旋转变换和非循环交换性条件，该方法适用于映射类群的无限子群。
• 从此类子群到另一曲面映射类群的同态，当且仅当保持曲线的交点结构时，可诱导曲线图上的保持边映射。
• 最终结果表明，通过诱导同胚识别曲面后，此类同态均为内自同构。