Volumes of cusped hyperbolic manifolds (Q1382166)

This paper (part of the author's Habilitation thesis) gives new estimates on the volume of an \(m\)-cusped hyperbolic \(n\)-manifold in terms of \(m\) and \(n\) (and other invariants). These estimates refine earlier work by Meyerhoff, Adams, and others. The main technique involves the density of packings of hyperbolic space by horoballs. For an arrangement \(\mathcal B\) of balls \(B\) of radius \(r\) in either hyperbolic or Euclidean \(n\)-space, the local density of \(B\) with respect to \(\mathcal B\) is defined as the ratio of the volume of \(B\) to the volume of its Dirichlet-Voronoi cell with respect to \(\mathcal B\). This is bounded above by the simplicial density function \(d_n(r)\) defined as follows. Let \(S_{\text{reg}}(2r)\) be a regular geodesic \(n\)-simplex of edge length \(2r\) and let \(B\) denote the union of metric balls of radius \(r\) centered on the vertices of \(S_{\text{reg}}(2r)\). Then \(d_n(r)\) is defined as \((n+1)\) times the proportion of volume of \(S_{\text{reg}}(2r)\) contained in \(B\cap S_{\text{reg}}(2r)\). As \(r\to\infty\) this function converges to a limit \(d_n(\infty)<\infty\). A formula is given for \(d_n(\infty)\) in terms of \(n\) and the volume \(\nu_n\) of an ideal regular simplex. If \(M\) is an \(m\)-cusped hyperbolic \(n\)-manifold, then each cusp of \(M\) contributes a definite amount of volume and using the density function, an improved lower bound for the volume of \(M\) in terms of the volumes of cusps and the density function is given. Another invariant, the tangency number \(k\), is defined as the number of tangency points between maximal horoballs in the cusps. The volume of \(M\) is shown to be bounded above by \(k\) times a function of \(n\), as well as the product of \(m\) with another function of \(n\). Applications of these results include a lower bound for Gromov's invariant and upper bounds for the number of cusps in terms of the Euler characteristic and dimension. The paper concludes with several explicit examples and explicit formulas for their volumes.