arXiv ScienceSearch

arXiv · 2503.05671

An algorithm for finding minimal volume hyperbolic links and the Dehn parental test

Abstract

We describe an algorithm that, given a 3-manifold M, outputs a finite set containing all minimal volume k-component hyperbolic link complements in M. A key step, that might be of independent interest, is an algorithm that, given two 3-manifolds N and M, decides whether they are related by Dehn filling. In fact, we show that the set of boundary slopes giving a Dehn filling of N to M is determined by a special class of well-studied quadratic Diophantine (in)equalities, for which solvability is known to be decidable.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Misha Schmalian. 2025-03-07. An algorithm for finding minimal volume hyperbolic links and the Dehn parental test. https://arxiv.org/abs/2503.05671

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Burau representation of the braid group is faithful for n = 4

In this paper we use ideas introduced earlier by Moody, Long, Long-Paton, and Bigelow to prove the theorem of the title, that the Burau representation of the classical braid group is faithful for n = 4. An immediate corollary is that the Jones representation of the braid group is also faithful for n = 4.

math.GT

The Lorenz braid index and hyperbolic volume

A result of Futer, Kalfagianni, and Purcell implies that an upper volume bound for all link complements in the 3-sphere cannot depend solely on the braid index. In this paper, we introduce the Lorenz braid index and generalise the bunch algorithm to provide a general upper volume bound for all link complements in the 3-sphere. Such an upper bound is a quadratic polynomial in the Lorenz braid index. In addition, we construct an explicit family of hyperbolic Lorenz knots for which the classical braid index and the Seifert genus both tend to infinity, while the Lorenz braid index remains bounded.

math.GT