Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem

Abstract

We outline a rigorous algorithm, first suggested by Casson, for determining whether a closed orientable 3-manifold M is hyperbolic, and to compute the hyperbolic structure, if one exists. The algorithm requires that a procedure has been given to solve the word problem in π_1(M).

Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol6/paper1.abs.html

Cited by in corpus (16)

• Algorithmic homeomorphism of 3-manifolds as a corollary of geometrization
• Topology of spaces of knots in dimension 3
• Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension
• The homeomorphism problem for closed 3-manifolds
• On the classification of Heegaard splittings
• Discrete isometry groups of symmetric spaces
• Bounds on exceptional Dehn filling II
• JSJ-decompositions of knot and link complements in the 3-sphere
• Effective Finiteness of irreducible Heegaard splittings of non Haken 3-manifolds
• Recognizing geometric 3-manifold groups using the word problem
• Thurston's Spinning Construction and Solutions to the Hyperbolic Gluing Equations for Closed Hyperbolic 3-Manifolds
• The maximal number of exceptional Dehn surgeries
• Bounds on Pachner moves and systoles of cusped 3-manifolds
• On the complexity of cusped non-hyperbolicity
• The Homeomorphism Problem For Hyperbolic Manifolds I
• Macfarlane Hyperbolic 3-Manfiolds