arXiv++ Combinatorics

We consider Eulerian cycles without transversal selfintersections in $4$-valent planar graphs. We prove that any cycle of this type in the graph of an ideal right-angled hyperbolic $3$-polytope corresponds to a hyperbolic link such that its complement consists of $4$-copies of this polytope glued according to its checkerboard coloring. Moreover, this link consists of trivially embedded circles bijectively corresponding to the vertices of the polytope. We prove that there is always at least one Eulerian cycle of this type and introduce a transformation of a cycle along conjugated vertices allowing to build new cycles from a given one. The $2$-fold branched covering space corresponding to our link is a small cover over some simple $3$-polytope. It corresponds to a Hamiltonian cycle on this polytope via the A.D. Mednykh's construction. We show that any Hamiltonian cycle on a compact right-angled hyperbolic $3$-polytope arises in this way, while in the finite volume case the necessary and sufficient condition is that at each ideal vertex it does not go straight. The link corresponding to a Hamiltonian cycle on a simple $3$-polytope always contains the Hopf link consisting of two circles. We consider links corresponding to Hamiltonian theta-graphs and Hamiltonian $K_4$-graphs on simple $3$-polytopes introduced by A.D. Mednykh and A.Yu. Vesnin. We give a criterion when such a link consists of mutually unlinked circles and when it is trivial. We give a necessary condition for such a link to be hyperbolic. The simplest example is the Borromean rings corresponding to the Hamiltonian theta-graph on the cube. We introduce the notions of a nonselfcrossing Eulerian theta-graph and $K_4$-graph on a right-angled hyperbolic $3$-polytope of finite volume with $2$ or $4$ finite vertices and construct the corresponding hyperbolic link.