Infinite Ideal Polyhedra in Hyperbolic 3-Space: Existence and Rigidity
Pith reviewed 2026-05-19 08:13 UTC · model grok-4.3
The pith
Infinite ideal polyhedra in hyperbolic 3-space exist and are rigid for prescribed exterior dihedral angles.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Embedded ideal circle patterns on the plane exist and are rigid when intersection angles satisfy the required conditions on the cellular decomposition. These patterns admit a uniformization theorem that determines their type, thereby solving the type problem for infinite ideal circle patterns. The theorem directly implies existence and rigidity for the corresponding infinite ideal polyhedra with any prescribed exterior angles that meet the necessary criteria. The results are sharp because an explicit counterexample shows that type classification depends on angle selection as well as decomposition structure, and that VEL-parabolicity and ICP-parabolicity fail to coincide.
What carries the argument
Embedded ideal circle patterns on the plane, together with the uniform Ring Lemma obtained via pointed Gromov-Hausdorff convergence, which guarantees embeddedness and supports the uniformization step.
Load-bearing premise
The cellular decomposition and intersection angles must obey technical conditions that let the uniform Ring Lemma hold and keep the ideal circle patterns embedded.
What would settle it
An explicit cellular decomposition and angle assignment that satisfies the stated conditions yet produces either a non-embedded pattern or a non-rigid polyhedron would disprove the existence and rigidity claims.
Figures
read the original abstract
In the seminal work [27], Rivin obtained a complete characterization of finite ideal polyhedra in hyperbolic 3-space by the exterior dihedral angles. Since then,the characterization of infinite hyperbolic polyhedra has become an extremely challenging open problem. By studying ideal circle patterns (ICPs), we characterize the infinite ideal polyhedra (IIP) and resolve this problem. Specifically, we establish the existence and rigidity of embedded ICPs on the plane. We further prove the uniformization theorem for the embedded ICPs, which solves the type problem of infinite ICPs. This is an analog of the uniformization theorem obtained by He and Schramm in [22, 23]. Moreover, we demonstrate that, unlike He-Schramm's work, the type theory for infinite ICPs depends not only on the structure of the cellular decomposition but also on the selection of intersection angles. In fact, we construct Example 4.13 to show the difference. Consequently, we obtain the existence and rigidity of IIP with prescribed exterior angles. Due to the example, our results on the type problem of infinite ICPs and the existence of IIP are sharp. For ICPs with arbitrary angles, our example also demonstrates that the VEL-parabolicity and ICP-parabolicity are not equivalent (while in He and Schramm's settings, VEL-parabolicity and CP-parabolicity are equivalent), indicating that our setting is extremely distinct from He and Schramm's. To prove our results, we develop a uniform Ring Lemma via the technique of pointed Gromov-Hausdorff convergence for ICPs.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to characterize infinite ideal polyhedra (IIP) in hyperbolic 3-space with prescribed exterior dihedral angles by developing a theory of ideal circle patterns (ICPs). It proves existence and rigidity of embedded ICPs on the plane, establishes a uniformization theorem for embedded ICPs that resolves the type problem for infinite ICPs (analogous to but distinct from He-Schramm), and deduces the corresponding existence and rigidity for IIP. The proofs rely on a new uniform Ring Lemma proved via pointed Gromov-Hausdorff convergence of ICPs; the results are stated to be sharp, with Example 4.13 showing that the type depends on both cellular decomposition and intersection angles and that VEL-parabolicity and ICP-parabolicity are inequivalent in this setting.
Significance. If the derivations hold, this constitutes a substantial advance by extending Rivin's finite ideal polyhedra characterization to the infinite case and providing a new uniformization result for infinite ICPs. The introduction of a uniform Ring Lemma via pointed Gromov-Hausdorff convergence, together with the explicit counterexample delineating the role of angles, offers a technically novel approach that clarifies distinctions from prior circle pattern theory and could enable further work on infinite hyperbolic structures.
major comments (2)
- [Uniform Ring Lemma and its application to existence] The uniform Ring Lemma (proved via pointed Gromov-Hausdorff convergence of ICPs): the argument must explicitly verify that the pointed limit remains an embedded ICP, preserves the prescribed intersection angles, and satisfies the Ring Lemma inequality uniformly under the stated technical conditions on the cellular decomposition and angles. Any gap in controlling local geometry or preventing degeneration in the infinite limit would undermine the existence statement for the full class of decompositions claimed.
- [Example 4.13] Example 4.13 and sharpness claim: while the example demonstrates that the conditions are sharp and that angle choice affects the type independently of decomposition, the manuscript should confirm that the convergence construction still produces a valid embedded limit ICP precisely when those conditions hold, rather than only showing failure outside them.
minor comments (2)
- [Introduction] Notation for ICPs and IIPs should be introduced with a clear table or diagram early in the paper to distinguish finite vs. infinite cases and embedded vs. non-embedded.
- [Introduction] The abstract and introduction reference [27] and [22,23] but should include a brief sentence on how the new Ring Lemma differs technically from prior convergence arguments in the literature.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive major comments. These observations help us clarify the technical details of the uniform Ring Lemma and the sharpness of our results. We respond to each point below and indicate the revisions we will incorporate.
read point-by-point responses
-
Referee: [Uniform Ring Lemma and its application to existence] The uniform Ring Lemma (proved via pointed Gromov-Hausdorff convergence of ICPs): the argument must explicitly verify that the pointed limit remains an embedded ICP, preserves the prescribed intersection angles, and satisfies the Ring Lemma inequality uniformly under the stated technical conditions on the cellular decomposition and angles. Any gap in controlling local geometry or preventing degeneration in the infinite limit would undermine the existence statement for the full class of decompositions claimed.
Authors: We agree that the preservation properties in the limit require explicit verification for full rigor. In the proof of the uniform Ring Lemma (Section 3), the pointed Gromov-Hausdorff convergence is constructed so that the limit inherits the embedding from the approximating sequence, the intersection angles are preserved by continuity of the angle functions under the uniform bounds, and the Ring Lemma inequality holds uniformly by the hypotheses on the cellular decomposition and angles. Local geometry is controlled via the uniform curvature bounds and non-degeneration of the circles. To address the concern directly, we will add a short lemma (or expanded remark) immediately following the convergence argument that explicitly lists these three preservation properties under the stated technical conditions. revision: yes
-
Referee: [Example 4.13] Example 4.13 and sharpness claim: while the example demonstrates that the conditions are sharp and that angle choice affects the type independently of decomposition, the manuscript should confirm that the convergence construction still produces a valid embedded limit ICP precisely when those conditions hold, rather than only showing failure outside them.
Authors: We appreciate this clarification request. Example 4.13 is designed to exhibit degeneration and type failure precisely when the angle or decomposition conditions are violated. In the existence proof, the same convergence construction is applied under the hypotheses that make the uniform Ring Lemma available; those hypotheses guarantee that the limit is a valid embedded ICP with the prescribed angles. We will revise the discussion immediately after Example 4.13 (and in the statement of the existence theorem) to state explicitly that the construction yields a non-degenerate embedded limit ICP if and only if the conditions hold, thereby making the sharpness claim fully symmetric. revision: yes
Circularity Check
No significant circularity: existence and rigidity derived via direct construction of uniform Ring Lemma and pointed Gromov-Hausdorff convergence
full rationale
The paper's central claims on existence and rigidity of infinite ideal polyhedra (IIP) with prescribed exterior angles, and the uniformization theorem for embedded ideal circle patterns (ICPs), are established through explicit construction of a uniform Ring Lemma proved using pointed Gromov-Hausdorff convergence of ICPs, together with technical conditions on cellular decompositions and intersection angles. No step reduces a target quantity to a fitted parameter, self-defined input, or self-citation chain by construction; the argument proceeds by direct analysis of limits and embeddings rather than renaming or presupposing the result. The counterexample in section 4.13 is used only to demonstrate sharpness of conditions, not to close any logical loop. The derivation is therefore self-contained against external benchmarks such as Rivin's finite case and He-Schramm uniformization.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Suitable conditions on cellular decompositions and intersection angles permit embedded ideal circle patterns on the plane
- domain assumption Pointed Gromov-Hausdorff convergence can be applied to ideal circle patterns to obtain a uniform Ring Lemma
Forward citations
Cited by 1 Pith paper
-
Characterizations of infinite circle patterns and convex polyhedra in hyperbolic 3-space
Proves existence, rigidity, and uniformization for infinite regular circle patterns with 0≤Θ<π and for infinite trivalent hyperbolic polyhedra.
Reference graph
Works this paper leans on
- [1]
-
[2]
Victor Anandam. Harmonic functions and potentials on finite or infinite networks, volume 12 ofLecture Notes of the Unione Matematica Italiana. Springer, Heidelberg; UMI, Bologna, 2011
work page 2011
-
[3]
E. M. Andreev. On convex polyhedra in lobaˇ cevski˘ ı spaces. Mathematics of the USSR-Sbornik, 10(3):413, 1970
work page 1970
-
[4]
E. M. Andreev. On convex polyhedra of finite volume in lobachevskii space. Matem- aticheskii Sbornik, 125(2):256–260, 1970
work page 1970
-
[5]
Bobenko, Ulrich Pinkall, and Boris A
Alexander I. Bobenko, Ulrich Pinkall, and Boris A. Springborn. Discrete conformal maps and ideal hyperbolic polyhedra. Geom. Topol., 19(4):2155–2215, 2015
work page 2015
-
[6]
Alexander I. Bobenko and Boris A. Springborn. Variational principles for circle patterns and Koebe’s theorem. Trans. Amer. Math. Soc., 356(2):659–689, 2004
work page 2004
-
[7]
A course in metric geometry, volume 33 of Graduate Studies in Mathematics
Dmitri Burago, Yuri Burago, and Sergei Ivanov. A course in metric geometry, volume 33 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2001
work page 2001
-
[8]
James W. Cannon. The combinatorial Riemann mapping theorem. Acta Math. , 173(2):155–234, 1994
work page 1994
-
[9]
Hao Chen and Jean-Marc Schlenker. Weakly inscribed polyhedra. Trans. Amer. Math. Soc., 9(14):415–449, 2022
work page 2022
-
[10]
The geometric data on the boundary of convex subsets of hyperbolic manifolds
Qiyu Chen and Jean-Marc Schlenker. The geometric data on the boundary of convex subsets of hyperbolic manifolds. Trans. Amer. Math. Soc., 378(6):4225–4301, 2025. 42 Infinite ideal polyhedra in hyperbolic 3-space: existence and rigidity
work page 2025
-
[11]
Combinatorial Ricci flows on surfaces
Bennett Chow and Feng Luo. Combinatorial Ricci flows on surfaces. J. Differential Geom., 63(1):97–129, 2003
work page 2003
-
[12]
Y. Colin de Verdi` ere. Un principe variationnel pour les empilements de cercles. Invent. Math., 104(3):655–669, 1991
work page 1991
-
[13]
H. S. M. Coxeter. Self-dual configurations and regular graphs. Bull. Amer. Math. Soc., 56:413–455, 1950
work page 1950
-
[14]
Rigidity of the hexagonal Delaunay tri- angulated plane
Song Dai, Huabin Ge, and Shiguang Ma. Rigidity of the hexagonal Delaunay tri- angulated plane. Peking Math. J. , 5(1):1–20, 2022
work page 2022
-
[15]
Rigidity of the Delaunay triangulations of the plane
Song Dai and Tianqi Wu. Rigidity of the Delaunay triangulations of the plane. Adv. Math., 456:Paper No. 109910, 22, 2024
work page 2024
-
[16]
Polyhedra inscribed in a quadric
Jeffrey Danciger, Sara Maloni, and Jean-Marc Schlenker. Polyhedra inscribed in a quadric. Invent. Math., 221(1):237–300, 2020
work page 2020
-
[17]
Hyper-ideal circle patterns with cone singularities
Nikolay Dimitrov. Hyper-ideal circle patterns with cone singularities. Results Math., 68(3-4):455–499, 2015
work page 2015
-
[18]
Characterization of infinite ideal polyhedra in hyperbolic 3-space via combinatorial ricci flow
Huabin Ge, Bobo Hua, Hao Yu, and Puchun Zhou. Characterization of infinite ideal polyhedra in hyperbolic 3-space via combinatorial ricci flow. arXiv:2506.05036, 2025
-
[19]
Combinatorial Ricci flows for ideal circle patterns
Huabin Ge, Bobo Hua, and Ze Zhou. Combinatorial Ricci flows for ideal circle patterns. Adv. Math., 383:Paper No. 107698, 26, 2021
work page 2021
-
[20]
Xianfeng D. Gu and Shing-Tung Yau. Computational conformal geometry, volume 3 of Advanced Lectures in Mathematics (ALM). International Press, Somerville, MA; Higher Education Press, Beijing, 2008
work page 2008
-
[21]
Fran¸ cois Gu´ eritaud. On an elementary proof of Rivin’s characterization of convex ideal hyperbolic polyhedra by their dihedral angles. Geom. Dedicata, 108:111–124, 2004
work page 2004
-
[22]
Rigidity of infinite disk patterns
Zheng-Xu He. Rigidity of infinite disk patterns. Ann. of Math. (2) , 149(1):1–33, 1999
work page 1999
-
[23]
Hyperbolic and parabolic packings
Zheng-Xu He and Oded Schramm. Hyperbolic and parabolic packings. Discrete Comput. Geom., 14(2):123–149, 1995
work page 1995
-
[24]
Graphs with nonnegative curvature outside a finite subset, harmonic functions, and number of ends
Bobo Hua and Florentin M¨ unch. Graphs with nonnegative curvature outside a finite subset, harmonic functions, and number of ends. J. Lond. Math. Soc. (2) , 110(6):Paper No. e70034, 19, 2024
work page 2024
-
[25]
Characterizations of circle patterns and finite convex polyhedra in hyperbolic 3-space
Xiaojun Huang and Jinsong Liu. Characterizations of circle patterns and finite convex polyhedra in hyperbolic 3-space. Math. Ann., 368(1-2):213–231, 2017. 43 Infinite ideal polyhedra in hyperbolic 3-space: existence and rigidity
work page 2017
-
[26]
The Koebe conjecture and the Weyl problem for convex surfaces in hyperbolic 3-space
Feng Luo and Tianqi Wu. The Koebe conjecture and the Weyl problem for convex surfaces in hyperbolic 3-space. Adv. Math., 458:Paper No. 109969, 56, 2024
work page 2024
-
[27]
Euclidean structures on simplicial surfaces and hyperbolic volume
Igor Rivin. Euclidean structures on simplicial surfaces and hyperbolic volume. Ann. of Math. (2) , 139(3):553–580, 1994
work page 1994
-
[28]
A characterization of ideal polyhedra in hyperbolic 3-space
Igor Rivin. A characterization of ideal polyhedra in hyperbolic 3-space. Ann. of Math. (2), 143(1):51–70, 1996
work page 1996
-
[29]
Combinatorial optimization in geometry
Igor Rivin. Combinatorial optimization in geometry. Adv. in Appl. Math. , 31(1):242–271, 2003
work page 2003
-
[30]
Igor Rivin and Craig D. Hodgson. A characterization of compact convex polyhedra in hyperbolic 3-space. Invent. Math., 111(1):77–111, 1993
work page 1993
-
[31]
The convergence of circle packings to the Riemann mapping
Burt Rodin and Dennis Sullivan. The convergence of circle packings to the Riemann mapping. J. Differential Geom., 26(2):349–360, 1987
work page 1987
-
[32]
Des immersions isom´ etriques de surfaces aux vari´ et´ es hyper- boliques ` a bord convexe
Jean-Marc Schlenker. Des immersions isom´ etriques de surfaces aux vari´ et´ es hyper- boliques ` a bord convexe. InS´ eminaire de Th´ eorie Spectrale et G´ eom´ etrie. Vol. 21. Ann´ ee 2002–2003, volume 21 of S´ emin. Th´ eor. Spectr. G´ eom., pages 165–216. Univ. Grenoble I, Saint-Martin-d’H` eres, 2003
work page 2002
-
[33]
Jean-Marc Schlenker. Hyperideal circle patterns. Math. Res. Lett. , 12(1):85–102, 2005
work page 2005
-
[34]
Boris A. Springborn. A variational principle for weighted Delaunay triangulations and hyperideal polyhedra. J. Differential Geom., 78(2):333–367, 2008
work page 2008
-
[35]
Boris A. Springborn. Ideal hyperbolic polyhedra and discrete uniformization. Dis- crete Comput. Geom., 64(1):63–108, 2020
work page 2020
-
[36]
Introduction to circle packing
Kenneth Stephenson. Introduction to circle packing. Cambridge University Press, Cambridge, 2005. The theory of discrete analytic functions
work page 2005
- [37]
-
[38]
Generalizing andreev’s theorem via circle patterns
Ze Zhou. Generalizing andreev’s theorem via circle patterns. arXiv:2308.14386, 2023. Huabin Ge, hbge@ruc.edu.cn School of Mathematics, Renmin University of China, Beijing 100872, P. R. China. Hao Yu, b453@cnu.edu.cn Academy for multidisciplinary studies, Capital Normal University, Beijing, 100048, P. R. China. Puchun Zhou, pczhou22@m.fudan.edu.cn School o...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.