[论文解读] Embedding simply connected 2-complexes in 3-space -- II. Rotation systems

Johannes Carmesin|arXiv (Cornell University)|Sep 14, 2017

Topological and Geometric Data Analysis参考文献 11被引用 8

一句话总结

本文建立了单纯连通2维单纯复形在3维空间中进行拓扑嵌入的组合刻画，表明此类嵌入存在当且仅当复形具有平面旋转系统——即在每条边上，面的循环方向一致，并且在每个顶点的邻域图具有与这些循环方向相容的平面嵌入。关键贡献是将柯拉托夫斯基的平面性定理推广至2复形的3维情形。

ABSTRACT

We prove that 2-dimensional simplicial complexes whose first homology group is trivial have topological embeddings in 3-space if and only if there are embeddings of their link graphs in the plane that are compatible at the edges and they are simply connected.

研究动机与目标

• 为单纯连通2复形在3维空间中的拓扑可嵌入性提供组合刻画。
• 通过引入旋转系统，将柯拉托夫斯基的平面性判据推广至三维单纯复形。
• 证明当复形单纯连通时，平面旋转系统是嵌入到3-球面中的必要且充分条件。
• 将刻画推广至在F_p上第一同调平凡的复形，建立拓扑可嵌入性与代数拓扑及组合学之间的联系。
• 为3-流形中可嵌入性的算法化与极小性刻画奠定基础，包括对不可定向情形的推广。

提出的方法

• 引入2复形的旋转系统概念，其定义为每条边上相邻面的循环方向。
• 将每个顶点处的邻域图定义为由该顶点关联的边和面构成的图，保持其关联关系。
• 证明平面旋转系统存在的充要条件是：在每个边上，面的循环方向与邻域图的平面嵌入相容。
• 利用佩雷尔曼的3-球面定理，将拓扑嵌入问题转化为邻域图嵌入的组合问题。
• 通过归约至局部3-连通情形，简化分析并推导出排除极小图的刻画。
• 将结果推广至在F_p上第一同调平凡的复形，证明单纯连通性与平面旋转系统的存在性共同蕴含在S^3中的可嵌入性。

实验结果

研究问题

• RQ1 什么条件下，单纯连通2复形可实现为S^3中的拓扑嵌入？
• RQ2 面方向与邻域图嵌入之间的何种组合条件可刻画此类嵌入？
• RQ3 平面旋转系统的存在性与复形的基本群及同调之间有何关系？
• RQ4 该刻画能否超越单纯连通复形，特别是推广至在F_p上第一同调平凡的复形？
• RQ5 3-流形中可嵌入性的排除极小图是什么？它们在可定向与不可定向情形下有何不同？

主要发现

• 单纯连通单纯复形可嵌入S^3当且仅当其存在平面旋转系统。
• 对于单纯连通2复形，平面旋转系统的存在性是其在S^3中拓扑可嵌入的必要且充分条件。
• 对于在F_p上第一同调平凡的复形，其在S^3中可嵌入当且仅当其单纯连通且存在平面旋转系统。
• 通过同调条件，该刻画可推广至阿贝尔基本群及一般2复形。
• S^3中可嵌入性的排除极小图列表包括环面交叉障碍（排除(1,2)），以及针对绕数族(1,2,2)和(1,1,1,2)的新克莱因瓶交叉障碍。
• 存在一个多项式时间算法可验证平面旋转系统的存在性，且该方法可推广至通过广义平面旋转系统刻画不可定向3-流形中的可嵌入性。