## Experimental Mathematics

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

### Constructing Hyperbolic Polyhedra Using Newton's Method

#### 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