Algorithmic construction and recognition of hyperbolic 3-manifolds, links, and graphs

Let $M$ be a compact hyperbolic $3$-manifold with volume $V$. Let $L$ be a link such that $M\setminus L$ is hyperbolic. For any hyperbolic link $L$ in $M$, in this article, we try to establish an upper bound of the length of $n^{th}$ shortest closed geodesic of $M\setminus L$ in terms of $V$.

This is an expository paper on Mom-technology, describing the recent work of the authors in this area (found in arXiv:math/0606072, arXiv:0705.4325, and arXiv:0809.0346) concerning the use of Mom-technology to find the minimum-volume compact hyperbolic 3-manifold and the 10 smallest cusped hyperbolic 3-manifolds. In addition we provide a survey of a selection of results on volumes of hyperbolic 3-manifolds, and a discussion of outstanding open problems in this area.

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 lower bound for the volume of a closed orientable hyperbolic 3-manifold. We prove the following result: \it\noindent Let $N$ be a closed hyperbolic 3-manifold. Then \begin{enumerate} \item[(1)] If $f\colon M \to N$ is a homotopy equivale...

This paper determines which orientable hyperbolic 3-manifolds contain simple closed geodesics. The Fuchsian group corresponding to the thrice-punctured sphere generates the only example of a complete non-elementary orientable hyperbolic 3-manifold that does not contain a simple closed geodesic. We do not assume that the manifold is geometrically finite or that it has finitely generated fundamental group.

Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn on surfaces. Typical questions include representing surfaces and graphs embedded on them computationally, deciding whether a graph embeds on a surface, solving computational problems related to homotopy, optimizing curves and graphs on sur...

We call a 3-manifold Platonic if it can be decomposed into isometric Platonic solids. Generalizing an earlier publication by the author and others where this was done in case of the hyperbolic ideal tetrahedron, we give a census of hyperbolic Platonic manifolds and all of their Platonic tessellations. For the octahedral case, we also identify which manifolds are complements of an augmented knotted trivalent graph and give the corresponding link. A (small version of) the Plato...

In this survey on combinatorial properties of triangulated manifolds we discuss various lower bounds on the number of vertices of simplicial and combinatorial manifolds. Moreover, we give a list of all known examples of vertex-minimal triangulations.

In this paper we show how to obtain representations of Coxeter groups acting on H^n to certain classical groups. We determine when the kernel of such a representation is torsion-free and thus the quotient a hyperbolic n-manifold.

In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed, orientable, hyperbolic 3-manifolds that have the same set of surfaces.

This is a latest survey article on embeddings of multibranched surfaces into 3-manifolds.