Uniform Comparison of Hyperbolic Ball Volumes on the Universal Cover

Abstract: Let $|M|<em>Δ$ denote the simplicial volume of $M$, $$V_r(X,h)=\sup</em>{x\in X}\operatorname{Vol}<em>h\big(B_h(x,r)\big)$$, and $\mathbb{H}<sup>n$ denotes hyperbolic $n$-space. We prove that, if a closed oriented $n$-manifold $M$ admits a hyperbolic metric, then there is a dimensional constant $δ_n&gt;0$ such that every Riemannian metric $g$ on $M$ with [ \frac{\operatorname{Vol}_g(M)}{|M|Δ}<δ_n ] satisfies [ V_r(\widetilde M,\widetilde g)\ge V_r(\mathbb{H}^n) \quad\text{for every }r\ge 1. ]

• The paper proves that if normalized Riemannian volume is below a threshold, universal cover ball volumes exceed those in hyperbolic space.
• The methodology combines separating filtrations, cluster slicing estimates, and finite cover arguments to derive scale-uniform bounds.
• The results link simplicial volume with hyperbolic volume growth, advancing rigidity theory and large-scale geometric analyses.

Uniform Comparison Theorem for Hyperbolic Ball Volumes on Universal Covers

Introduction and Context

The paper "Uniform Comparison of Hyperbolic Ball Volumes on the Universal Cover" (2607.10424) addresses a central problem in differential geometry: quantifying when balls in the universal cover of a closed manifold with large simplicial volume are at least as voluminous as balls in hyperbolic space, uniformly at all radii. This investigation is motivated by conjectures of Guth and the foundational work of Gromov, Besson-Courtois-Gallot, Sabourau, and others relating simplicial volume, volume entropy, and ball growth in universal covers.

Let $M$ be a closed oriented $n$-manifold admitting a hyperbolic metric, $g$ any Riemannian metric, and $\|M\|$ and $\mathrm{Vol}_g(M)$ its simplicial and Riemannian volumes. For $r>0$, define $V_r(X,h)=\sup_{x\in X}\mathrm{Vol}_h(B_h(x,r))$, where $(X,h)$ is a Riemannian manifold. The main question is whether a sufficiently small normalized volume $\mathrm{Vol}_g(M)/\|M\|$ ensures that for all $r\geq 1$, the maximal $n$0-ball in the universal cover $n$1 dominates that in hyperbolic $n$2-space, i.e., $n$3.

Prior results provided only partial progress: Sabourau [Sab22] proved the estimate for all $n$4 but under a much stronger assumption on absolute volume, while Guth [Guth] provided the optimal (simplicial-volume linear) hypothesis but only at a fixed scale. Alpert [Alp26] achieved the all-scale bound with a superlinear (quadratic) dependence on volume.

Main Results and Theorems

This paper establishes Conjecture 4 from Guth [Guth]: that for every dimension $n$5, there exists $n$6 such that, for any closed oriented connected $n$7-manifold admitting a hyperbolic metric, if any Riemannian metric $n$8 satisfies

$n$9

then for all $g$0,

$g$1

This uniform lower bound holds simultaneously for all radii $g$2, using the simplicial volume as the correct normalization, invariant under finite covers.

A key technical achievement is a finite-scale logarithmic estimate for simplicial volume (Theorem), which states there exists a constant $g$3 such that, for any $g$4-manifold $g$5, all $g$6 (where $g$7 is the systole),

$g$8

where $g$9 is the supremal $\|M\|$0-ball volume.

Methods and Proof Structure

The proof combines both geometric, topological, and metric techniques:

1. Separating Filtrations: The construction of $\|M\|$1-separating filtrations of the manifold, inspired by Papasoglu and developed further by Alpert [Alp25], builds a hierarchy of codimension-one subpolyhedra ("separators") that segment the manifold at controlled scales.
2. Iterated Cluster Slicing Estimate: Extending Alpert's previous separator lemma, the author proves sharp, scale-sensitive volume lower bounds for arbitrary finite subsets (clusters) of the zero-stratum (the most refined separated points), using polyhedral and analytic tools.
3. Local Padded Partition Lemma: A version of the partitioning lemma for finite metric spaces, controlling the overlap and diameter of clusters and enabling sharp counting arguments.
4. Logarithmic Cardinality Amplification: By combining the above, the paper crucially leverages logarithmic control over the local-to-global cardinality inflation, allowing passage from local ball volume lower bounds to uniform estimates on the total number of zero-strata.
5. Finite Cover and Lifting Arguments: Residual finiteness of the fundamental group (from Mal’cev/Mostow/Prasad for closed hyperbolic manifolds) is used to pass to finite covers with arbitrarily large systole, ensuring control over ball lifts in the universal cover.
6. Dimension-Explicit Constants and Invariance: Volume and simplicial volume are multiplicative under finite covers, so the critical estimate is uniform and scale-invariant.

Implications and Numerical Strength

The principal implication is that for any closed hyperbolic manifold, the smallness of normalized Riemannian volume (relative to simplicial volume) ensures uniform hyperbolic-type isoperimetric behavior for balls in the universal cover, at all scales. This not only resolves the stated conjecture but also forges a tight link between the metric geometry of universal covers and the topological complexity encoded in simplicial volume.

The estimates explicitly control the dependencies on radius and dimension, offering dimension-explicit constants in the finite-scale logarithmic estimate—crucial for applications to rigidity and macroscopic curvature questions.

Notably, the result strengthens the known connection between simplicial volume and entropy/volume rigidity (BCG), as the uniform ball comparison greatly enhances previous results where only asymptotic or radius-one bounds were available. Furthermore, it generalizes Karam's result for $\|M\|$2 [Kar15] to all dimensions.

Theoretical and Practical Consequences

The theorem is a significant advance in the interplay between large-scale geometry/topology and local geometric analysis. On the theoretical side, it bridges Gromov's bounded cohomology invariants and the metric geometry of universal covers. It also impacts the rigidity theory of Riemannian manifolds, as ball volume comparisons control entropy, spectral invariants, and various filling inequalities.

Practically, while hyperbolic metrics rarely arise in engineering directly, the methods—especially those involving metric partitioning and separator analysis—have conceptual analogs in combinatorial optimization, network science, and geometric group theory. The precise control of the relationship between entropy, volume, and topology may inform further advances in large-scale geometry and potentially in quantitative topological data analysis.

Future Directions

Future research may:

• Seek sharp constants or asymptotic optimality in the scale-logarithmic estimate, especially affecting the gap between the actual hyperbolic metric and near-minimizing metrics.
• Extend such uniform ball-volume comparison theorems to variable curvature settings (e.g., CAT(-1) spaces or variable negative curvature).
• Investigate the implications for eigenvalue inequalities, filling radius, and macroscopic scalar curvature (as e.g., in the works of Sabourau [Sab22]).
• Explore the interaction with collapsing phenomena and their detection via simplicial volume.
• Pursue applications to the study of random groups and spaces via their universal covers.

Conclusion

This work fully resolves the conjecture linking normalized Riemannian volume and uniform ball growth in the universal cover for closed manifolds admitting a hyperbolic metric, at the natural scale of simplicial volume. The methodology—fusing topological, geometric, and metric analytic ideas—sets a new benchmark for understanding the optimal relationships between local and global obstructions to positive curvature, with substantial impact on the structure theory of aspherical and negatively curved manifolds.

---

References:

(2607.10424): H. Zhang, "Uniform Comparison of Hyperbolic Ball Volumes on the Universal Cover." [Alp25]: H. Alpert, "Simplicial volume and 0-strata of separating filtrations." [Alp26]: H. Alpert, "Growth in the universal cover under large simplicial volume." [Guth]: L. Guth, "Volumes of balls in large Riemannian manifolds." [Sab22]: S. Sabourau, "Macroscopic scalar curvature and local collapsing." [Kar15]: S. Karam, "Growth of balls in the universal cover of surfaces and graphs."