View PDF HTML (experimental)

Abstract:In a series of papers this http URL and this http URL introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $\Gamma$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,\Gamma)$ with an involution $\tau$ such that $N(P,\Gamma)/\langle\tau\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,\Gamma)\to S^3$ is a link $C_\Gamma\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $\Gamma$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,\Gamma)$. We give a criterion when $S^3\setminus C_\Gamma$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_\Gamma$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. The complement $S^3\setminus C_\Gamma$ is glued of $4$, $8$ or $16$ copies of the corresponding right-angled polytope. We give a criterion when the link $C_\Gamma$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics.

Submission history

From: Nikolai Erokhovets [view email]
[v1] Tue, 2 Dec 2025 18:45:00 UTC (67 KB)
[v2] Fri, 5 Dec 2025 11:29:15 UTC (73 KB)
[v3] Wed, 31 Dec 2025 08:49:09 UTC (86 KB)
[v4] Tue, 5 May 2026 11:10:52 UTC (102 KB)
[v5] Thu, 10 Sep 2026 19:03:44 UTC (107 KB)