Explicit tetrahedralizations of closed 3-manifolds and connections between convex polytopes and hyperbolic knot complements - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T09:33:36Z http://mathoverflow.net/feeds/question/86166 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/86166/explicit-tetrahedralizations-of-closed-3-manifolds-and-connections-between-convex Explicit tetrahedralizations of closed 3-manifolds and connections between convex polytopes and hyperbolic knot complements Samuel Reid 2012-01-20T02:55:23Z 2012-03-13T17:12:08Z <p>There are three consistent ways to glue opposite faces of a dodecahedron to get a closed 3-manifold. With a $\frac{1}{10}$ twist we receive the Poincaré dodecahedral space, with a $\frac{3}{10}$ twist we receive the Seifert-Weber space, and with a $\frac{5}{10}$ twist we receive the 3-dimensional real projective space. I've been using the CurvedSpaces software for visualizing these manifolds and coming from a Convex Geometry perspective I have some questions that I thought I would pass by here before I spent more time researching it if the idea is complete garbage.</p> <p>It was explained to me that as a Corollary of Moise's Theorem there must exist a tetrahedralization of any orientable closed 3-manifold. I am interested in what an explicit tetrahedralization of some closed 3-manifold would look like, especially for the three manifolds mentioned above that are generated by gluing opposite faces of the dodecahedron. The reason why I am interested in this, is that I want to have a concrete understanding of a small class of examples for which I can investigate the explicit tetrahedra which tessellate the manifold. With a deeper understanding and some explicit examples I was hoping to work on classifying hyperbolic knot complements by the convex polytopes that tessellate them. So, my question is the following:</p> <p><strong>Question</strong>:</p> <blockquote> <p>What do explicit tetrahedralizations of closed 3-manifolds look like? In particular, for the Poincaré dodecahedral space, the Seifert-Weber space or any hyperbolic knot complements. How can I determine the explicit vertex coordinates of the tetrahedra that tetrahedralize the manifold?</p> </blockquote> <p>I've come up with a method for determining "Intermediary Polytopes" given two distinct polytopes, and a string of conjectures relating to how these intermediary polytopes may tetrahedralize certain manifolds, but I need some sort of explicit vertex positions in order for some of the machinery I have constructed to work. </p> <p>If anyone has done research on this in the past I will accept a reference to a paper as an answer, otherwise I would like an actual answer to my question if it not too vague. If it is too vague, please ask questions in the comments and I can sharpen my question in response.</p> http://mathoverflow.net/questions/86166/explicit-tetrahedralizations-of-closed-3-manifolds-and-connections-between-convex/91096#91096 Answer by Ryan Budney for Explicit tetrahedralizations of closed 3-manifolds and connections between convex polytopes and hyperbolic knot complements Ryan Budney 2012-03-13T17:12:08Z 2012-03-13T17:12:08Z <p>The software "Regina" by Ben Burton has the census of all triangulations containing 11 or less tetrahedra. There are more than 16,000 distinct manifolds in this list of triangulations. So if you're interested in getting a sense for what 3-manifold triangulations look like, this is a start. </p> <p>It sounds like one of the main features you'd be interested in is the "Skeletons" feature and the "Composition" feature. This latter feature will help you recognise common sub-triangulations, such as certain standard triangulations of a solid torus (layered solid tori is the term). </p> <p><a href="http://regina.sourceforge.net/" rel="nofollow">http://regina.sourceforge.net/</a></p> <p>You can also export the triangulations to Jeff Weeks SnapPea and compute and visualize a Dirichlet domain (if the manifold is hyperbolic) there. </p> <p>The most actively maintained version of SnapPea is Culler and Dunfield's SnapPy, which is available here:</p> <p><a href="http://www.math.uic.edu/t3m/SnapPy/doc/index.html" rel="nofollow">http://www.math.uic.edu/t3m/SnapPy/doc/index.html</a></p>