[论文解读] Nonorientable 3-manifolds admitting coloured triangulations with at most 30 tetrahedra

Paola Bandieri, Paola Cristofori+1 more|arXiv (Cornell University)|May 10, 2007

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

一句话总结

本文通过计算机辅助生成与分类刚性非二分图的结晶化，对最多包含30个单纯形的非可定向、闭合、连通3-流形进行了完整普查。通过应用算法处理边着色图并计算GM-复杂度等不变量，作者识别出恰好33个此类流形，其中16个为素流形，并通过Seifert纤维化结构或环面丛对每个流形给出了明确的拓扑描述。

ABSTRACT

We present the census of all non-orientable, closed, connected 3-manifolds admitting a rigid crystallization with at most 30 vertices. In order to obtain the above result, we generate, manipulate and compare, by suitable computer procedures, all rigid non-bipartite crystallizations up to 30 vertices.

研究动机与目标

• 将非可定向3-流形的着色三角剖分分类扩展至超过此前26个顶点的界限。
• 使用计算方法生成并分类所有最多含30个顶点的刚性非二分图4-着色图（结晶化）。
• 通过不变量与现有表格对比，识别并区分这些流形的拓扑类型。
• 在最多30个单纯形的范围内，建立结晶化等价类与不同非可定向3-流形之间的一一对应关系。

提出的方法

• 使用计算机程序生成所有最多含30个顶点的刚性非二分图4-着色图（结晶化）。
• 应用分类程序将结晶化归入表示同一流形的等价类。
• 使用GM-复杂度作为组合不变量，以估计并比较流形的复杂度。
• 利用Duke III软件执行二极子消除与ρ-对切换，以简化和比较图结构。
• 将代表性图与Burton的三角剖分普查及Regina软件中的最小三角剖分进行匹配，以识别已知流形。
• 通过首次的单纯形细分与顶点按对偶单纯形维数标记，从最小三角剖分构造着色三角剖分。

实验结果

研究问题

• RQ1 有多少个非可定向、闭合、连通的3-流形允许具有最多30个单纯形的着色三角剖分？
• RQ2 这些流形中哪些是素流形，其拓扑结构如何？
• RQ3 结晶化分类能否有效用于区分非可定向3-流形的同胚类型？
• RQ4 GM-复杂度与Heegaard亏格等不变量在从结晶化识别和验证流形的拓扑类型方面起到何种作用？
• RQ5 基于边着色图的计算机辅助方法在在多大程度上能够重现或扩展现有非可定向3-流形普查结果？

主要发现

• 恰好存在33个非可定向、闭合、连通的3-流形，其允许具有最多30个单纯形的着色三角剖分。
• 这33个流形中的16个为素流形，其拓扑类型通过Seifert纤维化空间结构或环面丛被明确识别。
• 流形 $ SFS(\text{RP}^2; (2,1),(3,1)) $ 由一个含28个单纯形的结晶化实现。
• 流形 $ SFS(\bar{D}; (2,1),(3,1)) $ 由一个含30个单纯形的结晶化实现。
• 分类程序在 $ \tilde{\textbf{C}}^{(30)} $ 中的结晶化等价类与最多30个单纯形的不同非可定向3-流形之间建立了唯一对应关系。
• 结果确认并扩展了Burton等人的先前工作，提供了最多30个单纯形的此类流形的完整列表。