Experimental Mathematics

Constructing Hyperbolic Polyhedra Using Newton's Method

Roland K. W. Roeder

Full-text: Open access

Abstract

We demonstrate how to construct three-dimensional compact hyperbolic polyhedra using Newton's method. Under the restriction that the dihedral angles must be nonobtuse, Andreev's theorem provides as necessary and sufficient conditions five classes of linear inequalities for the dihedral angles of a compact hyperbolic polyhedron realizing a given combinatorial structure $C$. Andreev's theorem also shows that the resulting polyhedron is unique, up to hyperbolic isometry. Our construction uses Newton's method and a homotopy to explicitly follow the existence proof presented by Andreev, providing both a very clear illustration of a proof of Andreev's theorem and a convenient way to construct three-dimensional compact hyperbolic polyhedra having nonobtuse dihedral angles.

As an application, we construct compact hyperbolic polyhedra having dihedral angles that are (proper) integer submultiples of $\pi$, so that the group $\Gamma$ generated by reflections in the faces is a discrete group of isometries of hyperbolic space. The quotient $\mathbb{H}^3/\Gamma$ is hence a compact hyperbolic 3-orbifold, of which we study the hyperbolic volume and spectrum of closed geodesic lengths using SnapPea. One consequence is a volume estimate for a ``hyperelliptic'' manifold considered in Mednykh and Vesnin.

Article information

Source
Experiment. Math., Volume 16, Issue 4 (2007), 463-492.

Dates
First available in Project Euclid: 6 March 2008

Permanent link to this document
https://projecteuclid.org/euclid.em/1204836516

Mathematical Reviews number (MathSciNet)
MR2378487

Zentralblatt MATH identifier
1134.52015

Subjects
Primary: 52B10: Three-dimensional polytopes 65H20: Global methods, including homotopy approaches [See also 58C30, 90C30] 52A55: Spherical and hyperbolic convexity
Secondary: 51M09: Elementary problems in hyperbolic and elliptic geometries 65-04: Explicit machine computation and programs (not the theory of computation or programming) 65-05: Experimental papers

Keywords
Hyperbolic polyhedra Andreev's theorem Newton's method polyhedral orbifolds

Citation

Roeder, Roland K. W. Constructing Hyperbolic Polyhedra Using Newton's Method. Experiment. Math. 16 (2007), no. 4, 463--492. https://projecteuclid.org/euclid.em/1204836516


Export citation