[论文解读] Combinatorial 3-manifolds with 10 vertices

Frank H. Lutz|ArXiv.org|Apr 2, 2006

Computational Geometry and Mesh Generation参考文献 25被引用 27

一句话总结

本论文使用回溯法与字典序枚举算法，对具有10个顶点的所有组合3-流形进行了完整枚举。共识别出247,882个三角剖分的3-球面、518个$S^2 \times S^1$的顶点极小三角剖分，以及615个扭的$S^2 \times S^1$的三角剖分，确认所有具有最多10个顶点的3-球面均为可壳化，同时识别出29个具有9个顶点的顶点极小非壳化3-胞腔。

ABSTRACT

We give a complete enumeration of all combinatorial 3-manifolds with 10 vertices: There are precisely 247882 triangulated 3-spheres with 10 vertices as well as 518 vertex-minimal triangulations of the sphere product $S^2 imes S^1$ and 615 triangulations of the twisted sphere product $S^2_ imes_S^1$. All the 3-spheres with up to 10 vertices are shellable, but there are 29 vertex-minimal non-shellable 3-balls with 9 vertices.

研究动机与目标

• 提供所有具有10个顶点的组合3-流形的完整分类。
• 确定$S^2 \times S^1$及其扭版本的顶点极小三角剖分数。
• 测试所有最多10个顶点的3-球面与3-胞腔的壳化性、可构造性及顶点可分解性。
• 计算所有最多10个顶点的三角剖分的组合自同构群。
• 解决关于小顶点数下非壳化3-球面与3-胞腔存在的开放性问题。

提出的方法

• 使用混合字典序回溯算法，通过从最多9个顶点的2-球面构建顶点星，系统性地构造所有3-流形。
• 通过拒绝任意三角形被三个四面体共享的中间复形，确保伪流形性质。
• 使用双塞勒翻转程序BISTELLAR对三角剖分进行拓扑类型测试。
• 使用GAP计算组合自同构群，并对所有最多10个顶点的三角剖分分析对称群。
• 通过回溯实现测试所有最多10个顶点的3-球面与3-胞腔的壳化性与顶点可分解性。
• 该方法利用Walkup定理给出的已知$f$-向量约束，以引导搜索空间并验证结果。

实验结果

研究问题

• RQ1 恰好具有10个顶点的不同组合3-流形有多少个？
• RQ2 所有最多10个顶点的3-球面是否都是可壳化的？在该顶点数下是否存在非壳化示例？
• RQ3 $S^2 \times S^1$及其扭版本的顶点极小三角剖分数是多少？
• RQ4 具有最多9个顶点的非壳化3-胞腔有哪些？其最小面数是多少？
• RQ5 是否存在小顶点数下的非顶点可分解3-球面或3-胞腔？若有，共有多少个？

主要发现

• 恰好存在249,015个具有10个顶点的三角剖分3-流形，包括247,882个3-球面、518个$S^2 \times S^1$的三角剖分，以及615个扭的$S^2 \times S^1$的三角剖分。
• 所有最多10个顶点的3-球面均为可壳化，因此也是可构造的，解决了小复形中长期存在的一个问题。
• 恰好存在29个具有9个顶点的顶点极小非壳化3-胞腔，其中一种具有18个面，$f$-向量为$(9,33,43,18)$。
• 在具有10个顶点的3-球面中，有14,468个不可顶点分解，表明存在显著比例的非平凡拓扑复杂性。
• 最小的非壳化3-胞腔具有9个顶点和18个面，且为强非壳化，总共存在十个这样的3-胞腔。
• 恰好存在7个具有9个顶点的非顶点可分解3-球面，全部为非多面体，且在10个顶点的3-球面中存在14,468个此类球面。