Abstract
Let the double hyperbolic space \({\mathbb {D}}{\mathbb {H}}^n\), proposed in this paper as an extension of the hyperbolic space \({\mathbb {H}}^n\), contain a two-sheeted hyperboloid with the two sheets connected to each other along the boundary at infinity. We propose to extend the volume of convex polytopes in \({\mathbb {H}}^n\) to polytopes in \({\mathbb {D}}{\mathbb {H}}^n\), where the volume is invariant under isometry but can possibly be complex valued. We show that the total volume of \({\mathbb {D}}{\mathbb {H}}^n\) is equal to \(i^n V_n({\mathbb {S}}^n)\) for both even and odd dimensions, and prove a Schläfli differential formula (SDF) for \({\mathbb {D}}{\mathbb {H}}^n\). For n odd, the volume of a polytope in \({\mathbb {D}}{\mathbb {H}}^n\) is shown to be completely determined by its intersection with \(\partial {\mathbb {H}}^n\) and induces a new intrinsic volume on \(\partial {\mathbb {H}}^n\) that is invariant under Möbius transformations.
Similar content being viewed by others
Notes
It should not be confused with changing the metric from \(ds^2\) to \(-ds^2\), which does change the sign of the constant curvature \(\kappa \). In this paper, to clear up any confusion, for a sign change of metric we always specify whether we are referring to \(-ds\) or \(-ds^2\).
In fact, this is expected even without using complex analysis. Let x and \(-x\) be the vertices of a half-space in \({\mathbb {D}}{\mathbb {H}}^1\), and y and \(-y\) be the vertices of a “smaller” half-space sitting completely inside the first one. If we expect all half-spaces to have a fixed length c, then the distance from \(-x\) to \(-y\) inside \({\mathbb {H}}^1_{-}\) has to be negative.
In this paper the term “double covering” is used loosely to only refer to the open part of a space, usually with the boundary points ignored, and the metrics on the two covers need not agree.
Let U be a unit ball centered at the origin. For \(U'\), let \(U'_{+}=U_{+}\) and \(U'_{-}\) be a translation of \(U_{-}\) such that \(U'_{-}\) is still centered on \(x_0=0\) but \(U'_{-}\cap U_{-}=\varnothing \). By Proposition 4.1, U is \(\mu \)-measurable; by (4.2) we have \(\mu _{\epsilon }(U')=\mu _{\epsilon }(U)\), so \(U'\) is also \(\mu \)-measurable. But \(U\cap U'=U_{+}\) is a half-space in \({\mathbb {H}}^n\), not \(\mu \)-measurable.
For \(m=1\), for any closed region U in \(\partial {\mathbb {H}}^3\) with piecewise smooth boundary, a potential definition of the volume \(V_{\infty ,2}(U)\) (that is still finitely additive) is as follows. First partition U into some simplicial regions with piecewise smooth boundaries, for each region define the volume as \(\alpha +\beta +\gamma -\pi \) where \(\alpha \), \(\beta \) and \(\gamma \) are the dihedral angles, then sum them up to define \(V_{\infty ,2}(U)\). It can be shown that \(V_{\infty ,2}(U)\) is well defined and independent of the partition (see also Corollary 12.7). By the definition, \(V_{\infty ,2}(U)\) is not only invariant under Möbius transformations, but also invariant under any conformal mappings on the closed region U. It should not be confused with the Riemman mapping theorem (for mapping to an open disk) whose subjects are simply connected open regions where the mapping may not be necessarily conformal on the boundary.
References
Alexander, R.: Lipschitzian mappings and total mean curvature of polyhedral surfaces. I. Trans. Am. Math. Soc. 288(2), 661–678 (1985). https://doi.org/10.1090/S0002-9947-1985-0776397-6
Cannon, J.W., Floyd, W.J., Kenyon, R., Parry, W.R.: Hyperbolic geometry. Flavors Geom. 31, 59–115 (1997)
Cho, Y., Kim, H.: The analytic continuation of hyperbolic space. Geom. Dedicata 161(1), 129–155 (2012). https://doi.org/10.1007/s10711-012-9698-0
Haagerup, U., Munkholm, H.J.: Simplices of maximal volume in hyperbolic \(n\)-space. Acta Math. 147, 1–11 (1981). https://doi.org/10.1007/BF02392865
Luo, F.: Continuity of the volume of simplices in classical geometry. Commun. Contemp. Math. 8(3), 411–431 (2006). https://doi.org/10.1142/S0219199706002179
Milnor, J.: Hyperbolic geometry: the first 150 years. Bull. Am. Math. Soc. (N.S.) 6(1), 9–24 (1982). https://doi.org/10.1090/S0273-0979-1982-14958-8
Milnor, J.: The Schläfli differential equality. In: Collected Papers, vol. 1. Publish or Perish, New York (1994)
Rivin, I.: Volumes of degenerating polyhedra – on a conjecture of J. W. Milnor. Geom. Dedicata 131(1), 73–85 (2008). https://doi.org/10.1007/s10711-007-9217-x
Rivin, I., Schlenker, J.M.: The Schläfli formula in Einstein manifolds with boundary. Electron. Res. Announc. Am. Math. Soc. 5, 18–23 (1999). https://doi.org/10.1090/S1079-6762-99-00057-8
Schlenker, J.M.: Métriques sur les polyèdres hyperboliques convexes. J. Diff. Geom. 48, 323–405 (1998). https://doi.org/10.4310/jdg/1214460799
Suárez-Peiró, E.: A Schläfli differential formula for simplices in semi-Riemannian hyperquadrics, Gauss-Bonnet formulas for simplices in the de Sitter sphere and the dual volume of a hyperbolic simplex. Pac. J. Math. 194(1), 229–255 (2000). https://doi.org/10.2140/pjm.2000.194.229
Zhang, L.: Rigidity and volume preserving deformation on degenerate simplices. Discrete Comput. Geom. 60(4), 909–937 (2018). https://doi.org/10.1007/s00454-017-9956-x
Ziegler, G.M.: Lectures on Polytopes, Graduate Texts in Mathematics, vol. 152. Springer, New York (1995)
Acknowledgements
I would like to thank Wei Luo and a referee for carefully reading the manuscript and making many helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Zhang, L. On the total volume of the double hyperbolic space. Beitr Algebra Geom 64, 403–443 (2023). https://doi.org/10.1007/s13366-022-00640-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-022-00640-4