Bounds on Pachner moves and systoles of cusped 3-manifolds

Abstract

Any two geometric ideal triangulations of a cusped complete hyperbolic $3$-manifold $M$ are related by a sequence of Pachner moves through topological triangulations. We give a bound on the length of this sequence in terms of the total number of tetrahedra and a lower bound on dihedral angles. This leads to a naive but effective algorithm to check if two hyperbolic knots are equivalent, given geometric ideal triangulations of their complements. Given a geometric ideal triangulation of $M$, we also give a lower bound on the systole length of $M$ in terms of the number of tetrahedra and a lower bound on dihedral angles.

arXiv commentExposition improved, more figures added, no change to statements of Theorems. This version is accepted for publication in the journal Algebraic & Geometric Topology

References in corpus (8)

• Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem
• Algorithmic homeomorphism of 3-manifolds as a corollary of geometrization
• Links with no exceptional surgeries
• On the infinitesimal rigidity of polyhedra with vertices in convex position
• A duplicate pair in the SnapPea census
• A calculus for ideal triangulations of three-manifolds with embedded arcs
• Geometric triangulations and highly twisted links
• Geometric moves relate geometric triangulations