Related papers: The homeomorphism problem for closed 3-manifolds
We give a bounded runtime solution to the homeomorphism problem for closed hyperbolic 3-manifolds. This is an algorithm which, given two triangulations of hyperbolic 3-manifolds by at most $t$ tetrahedra, decides if they represent the same…
A homotopy equivalence between a hyperbolic 3-manifold and a closed irreducible 3-manifold is homotopic to a homeomorphsim provided the hyperbolic manifold satisfies a purely geometric condition. There are no known examples of hyperbolic…
This paper introduces a rigorous computer-assisted procedure for analyzing hyperbolic 3-manifolds. This technique is used to complete the proof of several long-standing rigidity conjectures in 3-manifold theory as well as to provide a new…
In this paper we prove two results, one semi-historical and the other new. The semi-historical result, which goes back to Thurston and Riley, is that the geometrization theorem implies that there is an algorithm for the homeomorphism…
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…
A fundamental way to study 3-manifolds is through the geometric lens, one of the most prominent geometries being the hyperbolic one. We focus on the computation of a complete hyperbolic structure on a connected orientable hyperbolic…
This survey focuses on the computational complexity of some of the fundamental decision problems in 3-manifold theory. The article discusses the wide variety of tools that are used to tackle these problems, including normal and almost…
In this paper we study the difference between algebraic and geometric solutions of the hyperbolic Dehn filling equations for ideally triangulated 3-manifolds. We show that any geometric solution is an algebraic one, and we prove the…
This survey article describes the algorithmic approaches successfully used over the time to construct hyperbolic structures on 3-dimensional topological "objects" of various types, and to classify several classes of such objects using such…
We prove that under some assumptions on how points escape to infinity in the universal cover, homeomorphisms of hyperbolic 3-manifolds are forced to have several invariant sets (in particular, they cannot be minimal). For this, we use some…
It is conjectured that every cusped hyperbolic 3-manifold has a decomposition into positive volume ideal hyperbolic tetrahedra (a "geometric" triangulation of the manifold). Under a mild homology assumption on the manifold we construct…
In this survey we discuss how geometric methods can be used to study topological properties of 3-manifolds such as their Heegaard genus or the rank of their fundamental group. On the other hand, we also discuss briefly some results relating…
Starting from the (apparently) elementary problem of deciding how many different topological spaces can be obtained by gluing together in pairs the faces of an octahedron, we will describe the central role played by hyperbolic geometry…
We prove that there are compact submanifolds of the 3-sphere whose interiors are not homeomorphic to any geometric limit of hyperbolic knot complements.
We announce some results towards the classification of partially hyperbolic diffeomorphisms on 3-manifolds, and outline the proofs in the case when the diffeomorphism is dynamically coherent. Detailed proofs are long and technical and will…
We present a family of examples of two dimensional, hyperbolic complex manifolds whose envelopes of holomorphy are not hyperbolic.
We construct a locally hyperbolic 3-manifold $M_\infty$ such that $\pi_ 1(M_\infty)$ has no divisible subgroup. We then show that $M_\infty$ is not homeomorphic to any complete hyperbolic manifold. This answers a question of Agol…
We solve the isomorphism problem for the whole class of Lins-Mandel gems (graphs encoded manifolds). We also present certain homeomorphisms of branched cyclic coverings of two-bridge hyperbolic links. As a consequence, we prove that, in in…
We study conservative partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds. We show that they are always accessible and deduce as a result that every conservative $C^{1+}$ partially hyperbolic in a hyperbolic 3-manifold must be…
In this note, we show that there exist cusped hyperbolic $3$-manifolds that embed geodesically, but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for such manifolds. Our result complements the work…