arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1405.2695math.GTcs.CG
收藏

尖点双曲线普查完成

The cusped hyperbolic census is complete

Benjamin A. Burton

摘要:

从1989年创建到后来的扩展,广泛使用的“SnapPea census”现在旨在表示所有可以从<= 8个理想四面体获得的尖点有限体积双曲三维流形。然而,它的构造依赖于不精确的计算和一些未经证实的(尽管合理的)假设,因此它的完整性从未得到保证。在这里,我们第一次证明了普查满足其目标:我们严格证明了每个理想的3-流形三角剖分与<= 8四面体是(i)同胚的普查流形之一,或(ii)非双曲。此外,我们扩大普查9四面体,同样证明这是完整的。我们还提出了第一个列表的所有人口普查流形,包括非几何以及几何三角剖分的所有最小三角剖分。

英文摘要:

From its creation in 1989 through subsequent extensions, the widely-used "SnapPea census" now aims to represent all cusped finite-volume hyperbolic 3-manifolds that can be obtained from <= 8 ideal tetrahedra. Its construction, however, has relied on inexact computations and some unproven (though reasonable) assumptions, and so its completeness was never guaranteed. For the first time, we prove here that the census meets its aim: we rigorously certify that every ideal 3-manifold triangulation with <= 8 tetrahedra is either (i) homeomorphic to one of the census manifolds, or (ii) non-hyperbolic. In addition, we extend the census to 9 tetrahedra, and likewise prove this to be complete. We also present the first list of all minimal triangulations of all census manifolds, including non-geometric as well as geometric triangulations.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑