arxiv: 2604.27291 · v2 · submitted 2026-04-30 · 🧮 math.GT · math.MG

Recognition: unknown

Convex Hull Volumes in Hyperbolic 3-Space

Cameron MacMahon

Pith reviewed 2026-05-08 03:20 UTC · model grok-4.3

classification 🧮 math.GT math.MG

keywords hyperbolic geometryconvex hullsinfinite volumeRiemann spherecontinuaself-similar setshyperbolic 3-space

0 comments

The pith

A geometric condition on closed subsets of the Riemann sphere implies their hyperbolic convex hulls in H^3 have infinite volume.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a geometric condition that certain closed subsets of the Riemann sphere must satisfy to ensure that the convex hull they determine in hyperbolic three-dimensional space has infinite volume. This condition leads to a complete characterization of the continua on the sphere for which the corresponding convex hulls are infinite in volume. It further supplies a geometric test for when planar self-similar sets produce infinite-volume hulls. Readers interested in hyperbolic geometry and the boundaries of convex bodies in curved spaces would find this useful for identifying cases where volume diverges.

Core claim

The author establishes that a specific geometric condition on closed subsets of the Riemann sphere is sufficient to guarantee that the hyperbolic convex hull in H^3 has infinite volume. This yields a characterization of all continua on the Riemann sphere whose convex hulls have infinite volume and a geometric characterization for planar self-similar sets with the same property.

What carries the argument

The geometric condition satisfied by certain closed subsets of the Riemann sphere, which ensures infinite volume for the hyperbolic convex hull.

If this is right

Continua on the Riemann sphere are now classifiable by whether their hyperbolic convex hulls have infinite volume.
Planar self-similar sets receive an explicit geometric test for infinite hull volume.
The condition offers a way to conclude infinite volume without direct volume computation in hyperbolic space.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The characterization may extend to determining volume properties for other types of fractal sets on the sphere.
It could inform studies of the relationship between boundary geometry and the filling volume in hyperbolic manifolds.

Load-bearing premise

The provided geometric condition on the closed subsets is strong enough to force the hyperbolic convex hull to have infinite volume.

What would settle it

A counterexample consisting of a closed subset of the Riemann sphere that meets the geometric condition yet forms a hyperbolic convex hull of finite volume would falsify the main result.

Figures

Figures reproduced from arXiv: 2604.27291 by Cameron MacMahon.

**Figure 1.** Figure 1: A Cross Section of Cx Proof. We begin by proving (1). We may assume that x lies on the unit circle in Cˆ and is equal to 1 there. Map the hyperbolic ball model B to the upper half space model H3 by an isometry ϕ taking 0 to i and 1 to ∞. Let the image of Cx be called Γx. Since x 7→ ∞ under this map Γx is a Euclidean vertical cylindrical tube issuing from the sides of a small ball (exactly how small dependi… view at source ↗

**Figure 2.** Figure 2: A cross section of the image of Cx under ϕ Denote the coordinate along the vertical axis in H 3 by y. Let t > 1, and consider the horosphere y = t. We estimate the volume of Γx T {(x1, x2, y) ∈ H 3 : y ≥ t}. Since 3 view at source ↗

**Figure 3.** Figure 3: Constructing Disjoint Tetrahedra a hyperbolic isometry S ′ of H3 , as S is a conformal transformation of Cˆ. Moreover by construction the image of T under S ′ , call it T ′ , lies entirely in E. Since S is a hyperbolic isometry, T and T ′ have the same hyperbolic volume. Continuing in this fashion (i.e. restricting to I1,1 and so on) we obtain infinitely many disjoint subsets of CH(Cβ), all of the same hyp… view at source ↗

read the original abstract

In this paper we provide a geometric condition satisfied by certain closed subsets of the Riemann sphere which implies that their hyperbolic convex hulls in $\mathbb{H}^3$ have infinite volume. As a corollary, we characterize continua in the Riemann sphere whose hyperbolic convex hulls have infinite volume, answering a question of Danny Calegari. Furthermore, we give a geometric characterization of planar self-similar sets whose hyperbolic convex hulls have infinite volume.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

MacMahon provides a geometric condition for infinite-volume convex hulls in H^3 and characterizes the continua that satisfy it, answering Calegari.

read the letter

The main point is that MacMahon identifies a geometric condition on certain closed subsets of the Riemann sphere that forces their convex hulls in H^3 to have infinite volume. This leads to a characterization of continua in the Riemann sphere with infinite-volume convex hulls, which answers a question posed by Danny Calegari. There's also a characterization for planar self-similar sets. The work does well by giving a clean geometric criterion rather than something more analytic or topological. The argument relies on a lower bound for the volume using the hyperbolic metric, showing divergence when the condition is met. The stress-test note indicates no internal contradictions or hidden assumptions in that step, which is reassuring for a paper in this area. What could be softer is the lack of detail in the abstract about how the condition is verified or whether it's optimal. Without the full proofs, it's hard to see if edge cases are handled or if the bound is sharp enough to make the characterization complete. The soundness looks plausible but unverified from the summary alone. This paper is for people working in hyperbolic geometry, specifically on convex hulls and volume questions in 3-manifolds. A reader interested in Calegari's question or self-similar sets in the plane would get direct value from the characterizations. It engages honestly with prior work by addressing the named open problem. I would recommend sending it for peer review so the volume estimates and corollaries can be checked carefully.

Referee Report

0 major / 3 minor

Summary. The paper provides a geometric condition on closed subsets of the Riemann sphere that implies their hyperbolic convex hulls in H^3 have infinite volume. It uses this condition to characterize all continua in the Riemann sphere whose convex hulls have infinite volume, thereby answering a question of Danny Calegari. The work further gives a geometric characterization of planar self-similar sets with the same infinite-volume property.

Significance. If the central implication holds, the results supply a concrete criterion for detecting infinite volume in hyperbolic convex hulls, which is useful for the study of Kleinian groups, limit sets, and hyperbolic 3-manifolds. The characterization of continua directly resolves an open question, and the extension to self-similar sets links the volume question to fractal geometry. The paper's approach of establishing a lower bound via the hyperbolic metric and verifying divergence under the stated condition is a clear strength.

minor comments (3)

[Section 2] The statement of the main geometric condition (presumably in §2 or §3) would benefit from an explicit comparison to existing criteria in the literature on convex hulls, such as those involving the Hausdorff dimension of the limit set.
[Corollary 1.2] In the proof of the corollary characterizing continua, the verification that the condition holds for the relevant sets could include a short remark on why the argument does not extend immediately to non-continua.
[Figure 1] Figure 1 (or the illustrative diagram of a self-similar set) would be clearer if the caption explicitly indicated which features of the set satisfy the geometric condition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, which correctly identifies the geometric condition for infinite-volume convex hulls, the characterization of continua resolving Calegari's question, and the extension to planar self-similar sets. The recommendation for minor revision is noted. No major comments were listed in the report, so we have no specific points to address point-by-point at this stage. We will incorporate any minor suggestions during revision.

Circularity Check

0 steps flagged

No circularity in derivation chain

full rationale

The paper states a geometric condition on closed subsets of the Riemann sphere that implies infinite hyperbolic convex hull volume in H^3, with a corollary characterizing continua and self-similar sets. No equations, fitted parameters, self-definitions, or load-bearing self-citations appear in the abstract or described structure. The implication runs from an external geometric property to a volume conclusion without reduction to inputs by construction. The derivation is self-contained against external benchmarks and does not rely on renaming known results or smuggling ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, ad-hoc axioms, or invented entities are stated. The work rests on the standard model of hyperbolic 3-space and its boundary.

axioms (1)

standard math Hyperbolic 3-space H^3 with its standard Riemannian metric and boundary identified with the Riemann sphere.
Invoked as the ambient space and boundary for all convex-hull constructions.

pith-pipeline@v0.9.0 · 5350 in / 1310 out tokens · 78515 ms · 2026-05-08T03:20:19.162248+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 1 canonical work pages · 1 internal anchor

[1]

C. J. Bishop,Weil-Petersson curves,β-numbers, and minimal surfaces, Ann. of Math. (2)202(2025), no. 1, 111–188; MR4927735

2025
[2]

C. J. Bishop and Y. Peres,Fractals in probability and analysis, Cambridge Studies in Advanced Mathematics, 162, Cambridge Univ. Press, Cambridge, 2017; MR3616046

2017
[3]

CaTherine wheels

D. Calegari and I. Loukidou,CaTherine Wheels, preprint, arXiv:2604.24619 [math.GT]

work page internal anchor Pith review Pith/arXiv arXiv
[4]

Calegari, Personal Communication

D. Calegari, Personal Communication
[5]

D. B. A. Epstein and A. Marden,Convex hulls in hyperbolic space, a theorem of Sul- livan, and measured pleated surfaces, Analytical and geometric aspects of hyperbolic space(Coventry/Durham, 1984) London Math. Soc. Lecture Note Ser., vol. 111, Cam- bridge Univ. Press, Cambridge, 1987, pp. 113–253. MR 903852

1984
[6]

Mattila,Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, 44, Cambridge Univ

P. Mattila,Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, 44, Cambridge Univ. Press, Cambridge, 1995; MR1333890

1995
[7]

J. W. Milnor,Hyperbolic geometry: the first 150 years, Bull. Amer. Math. Soc. (N.S.) 6(1982), no. 1, 9–24; MR0634431

1982
[8]

Zeghib,Laminations et hypersurfaces g´ eod´ esiques des vari´ et´ es hyperboliques, Ann

A. Zeghib,Laminations et hypersurfaces g´ eod´ esiques des vari´ et´ es hyperboliques, Ann. Sci. ´Ec. Norm. Sup., 4e s´ erie, 24, (1991), 171–188 12

1991