Totally Geodesic Surfaces in Hyperbolic 3-Manifolds: Algorithms and Examples
Abstract
Finding a totally geodesic surface, an embedded surface where the geodesics in the surface are also geodesics in the surrounding manifold, has been a problem of interest in the study of 3-manifolds. This has especially been of interest in hyperbolic 3-manifolds and knot complements, complements of piecewise-linearly embedded circles in the 3-sphere. This is due to Menasco-Reid's conjecture stating that hyperbolic knot complements do not contain such surfaces. Here, we present an algorithm that determines whether a given surface is totally geodesic and an algorithm that checks whether a given 3-manifold contains a totally geodesic surface. We applied our algorithm on over 150,000 3-manifolds and discovered nine 3-manifolds with totally geodesic surfaces. Additionally, we verified Menasco-Reid's conjecture for knots up to 12 crossings.
Cite
@article{arxiv.2403.12397,
title = {Totally Geodesic Surfaces in Hyperbolic 3-Manifolds: Algorithms and Examples},
author = {Brannon Basilio and Chaeryn Lee and Joseph Malionek},
journal= {arXiv preprint arXiv:2403.12397},
year = {2024}
}
Comments
24 pages, 14 figures, 1 table; to appear in "Proceedings of the 40th International Symposium on Computational Geometry (SoCG 2024)"