Bounded Volume Class in Negatively Curved Manifolds

• Bounded Volume Class is the top-degree cohomology class derived by integrating the Riemannian volume form over geodesically straightened simplices in negatively curved spaces.
• It is constructed via a geodesic straightening process that guarantees uniform boundedness of simplex volumes, a pivotal property in bounded cohomology.
• Its vanishing is closely linked to the Cheeger isoperimetric constant, revealing practical connections with bounded primitives, isoperimetry, and geometric finiteness.

Searching arXiv for recent and foundational papers on bounded volume class and related bounded cohomology. The bounded volume class, also called the bounded fundamental class, is the top-degree class in bounded cohomology obtained from the Riemannian volume form by integrating over geodesically straightened simplices. For a complete, orientable Riemannian $n$-manifold $M$ of strictly negative sectional curvature, it records the volume class in a bounded-cohomological form and is therefore sensitive to large-scale geometry rather than only ordinary de Rham cohomology. A central recent result is that, for strictly negatively curved manifolds of infinite volume and dimension $n\ge 3$, the vanishing of this class is characterized by the Cheeger isoperimetric constant under bounded geometry, while the implication $h(M)>0 \Rightarrow [\hat\omega]=0$ holds in full generality (Hadziosmanovic, 27 Jul 2025).

1. Bounded-cohomological framework

Bounded cohomology is defined from the subcomplex

$$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$

of the singular cochain complex, with cohomology

$H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$

The inclusion $C_b^*\hookrightarrow C^*$ induces the comparison map

$c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$

In the negatively curved setting, the bounded volume class is the bounded representative of the ordinary top-degree volume class under this comparison map; in Kim–Kim’s notation, $c([\omega_M^{\mathrm b}])=[\omega_M]$ (Kim et al., 2011).

This places the bounded volume class at the intersection of bounded cohomology, de Rham theory, and large-scale Riemannian geometry. Unlike the ordinary volume class, which exists whenever a volume form exists, the bounded class requires uniform control on its singular-cochain representative.

2. Construction by geodesic straightening

Let $M$ be a complete, orientable Riemannian $M$0-manifold of strictly negative sectional curvature, meaning $M$1. Its universal cover $M$2 is uniquely geodesic, so every singular simplex can be straightened by replacing it with the geodesic simplex with the same ordered vertices. Concretely, for a singular $M$3-simplex $M$4, one chooses a lift $M$5, replaces it inductively by the geodesic straight simplex

$M$6

and projects back to $M$7. This defines a chain map

$M$8

that is chain-homotopic to the identity via a uniformly bounded homotopy (Hadziosmanovic, 27 Jul 2025).

If $M$9 is the Riemannian volume form, one defines a singular cochain

$n\ge 3$0

Since $n\ge 3$1 and $n\ge 3$2 is a chain map, $n\ge 3$3. The crucial boundedness input is that in strictly negatively curved $n\ge 3$4, all straight $n\ge 3$5-simplices with $n\ge 3$6 have a uniform upper bound $n\ge 3$7 on their Riemannian volume, as noted by Inoue–Yano and Gromov. Hence

$n\ge 3$8

for every straight $n\ge 3$9-simplex $h(M)>0 \Rightarrow [\hat\omega]=0$0, so $h(M)>0 \Rightarrow [\hat\omega]=0$1. The resulting class

$h(M)>0 \Rightarrow [\hat\omega]=0$2

is the bounded volume class, or bounded fundamental class (Hadziosmanovic, 27 Jul 2025).

The construction is top-degree and metric-dependent, but its boundedness hinges specifically on strict negative curvature, which supplies the uniform simplex-volume bound needed to land in bounded cohomology.

3. Relation to the Cheeger isoperimetric constant

For a complete Riemannian $h(M)>0 \Rightarrow [\hat\omega]=0$3-manifold of infinite volume, the Cheeger isoperimetric constant is

$h(M)>0 \Rightarrow [\hat\omega]=0$4

where $h(M)>0 \Rightarrow [\hat\omega]=0$5 ranges over relatively compact open subsets with smooth boundary. Equivalently, $h(M)>0 \Rightarrow [\hat\omega]=0$6 if and only if there is a linear isoperimetric inequality

$h(M)>0 \Rightarrow [\hat\omega]=0$7

for all such $h(M)>0 \Rightarrow [\hat\omega]=0$8. The standard examples recorded in the literature are $h(M)>0 \Rightarrow [\hat\omega]=0$9 and $$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$0 (Hadziosmanovic, 27 Jul 2025).

The main vanishing criterion is formulated for strictly negatively curved manifolds $$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$1 of dimension $$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$2 and infinite volume. In the bounded-geometry case, meaning $$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$3 and $$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$4, one has

$$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$5

Without assuming bounded geometry, one still has

$$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$6

Thus positivity of the Cheeger constant always forces vanishing of the bounded volume class, while the converse is established under bounded geometry (Hadziosmanovic, 27 Jul 2025).

This result gives a partial affirmative answer to a conjecture of Kim and Kim. It also clarifies that the bounded volume class is not merely a formal bounded avatar of the volume form: its vanishing detects a coarse isoperimetric property of the ambient manifold.

4. Proof mechanisms

The implication $$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$7 is proved in two different ways, depending on whether bounded geometry is available. In the bounded-geometry case, the key input is Sikorav’s theorem: on any non-compact, bounded-geometry manifold $$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$8, positivity of $$C_b^k(M,\mathbb R)=\{f\in C^k(M,\mathbb R)\mid \|f\|_\infty<\infty\}$$9 implies that the Riemannian volume form $H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$0 admits a globally bounded primitive $H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$1, with $H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$2. One then defines

$H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$3

which is a bounded $H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$4-cochain, and Stokes’ theorem gives $H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$5. Hence $H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$6 in bounded cohomology (Hadziosmanovic, 27 Jul 2025).

In the general case, the argument proceeds through currents and Hahn–Banach. Positivity of $H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$7 implies a Poincaré, or isoperimetric, inequality for functions of bounded variation via the coarea formula. To a straight chain $H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$8 one associates the normal $H_b^k(M,\mathbb R)=H^k(C_b^*(M,\mathbb R),\delta).$9-current $C_b^*\hookrightarrow C^*$0, and its mass $C_b^*\hookrightarrow C^*$1 satisfies $C_b^*\hookrightarrow C^*$2. One then defines on the subspace of boundaries $C_b^*\hookrightarrow C^*$3 the functional $C_b^*\hookrightarrow C^*$4. The mass estimate shows $C_b^*\hookrightarrow C^*$5, so $C_b^*\hookrightarrow C^*$6 is bounded on boundaries. Hahn–Banach extends $C_b^*\hookrightarrow C^*$7 to a bounded $C_b^*\hookrightarrow C^*$8-cochain on all of $C_b^*\hookrightarrow C^*$9, and then $c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$0, giving vanishing of $c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$1 (Hadziosmanovic, 27 Jul 2025).

For the reverse implication under bounded geometry, one starts from a bounded cochain $c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$2 with $c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$3. Restricting $c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$4 and $c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$5 to a fixed bounded-geometry triangulation $c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$6 yields bounded simplicial cochains with $c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$7 on $c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$8. The standard de Rham-smoothing $c\colon H_b^*(M,\mathbb R)\to H^*(M,\mathbb R).$9 argument over a bounded-geometry triangulation then upgrades $c([\omega_M^{\mathrm b}])=[\omega_M]$0 to a bounded differential-form primitive $c([\omega_M^{\mathrm b}])=[\omega_M]$1. Applying the proposition “bounded primitive $c([\omega_M^{\mathrm b}])=[\omega_M]$2” completes the proof (Hadziosmanovic, 27 Jul 2025).

These arguments show that bounded primitives, isoperimetric inequalities, straightening, and functional-analytic extension principles are the four structural ingredients behind the vanishing criterion.

5. Antecedents, special cases, and conjectural context

Earlier work by Kim and Kim established foundational facts about the bounded fundamental class on negatively curved manifolds. For complete negatively curved manifolds of infinite volume, they proved that geometric finiteness implies vanishing of the bounded fundamental class. In the $c([\omega_M^{\mathrm b}])=[\omega_M]$3-rank one locally symmetric case, they further proved that vanishing of $c([\omega_M^{\mathrm b}])=[\omega_M]$4 is equivalent to the existence of a globally bounded $c([\omega_M^{\mathrm b}])=[\omega_M]$5-form $c([\omega_M^{\mathrm b}])=[\omega_M]$6 with $c([\omega_M^{\mathrm b}])=[\omega_M]$7 (Kim et al., 2011).

In dimension three, the picture is especially rigid. For a complete hyperbolic $c([\omega_M^{\mathrm b}])=[\omega_M]$8-manifold $c([\omega_M^{\mathrm b}])=[\omega_M]$9 of infinite volume, the following are equivalent: $M$0, $M$1, $M$2 for some bounded $M$3, and geometric finiteness. In particular, geometrically infinite examples have non-vanishing bounded fundamental class (Kim et al., 2011).

Against this background, the recent theorem confirms the Kim–Kim conjecture under the additional assumption of bounded geometry and proves one implication in full generality for strictly negatively curved manifolds of infinite volume. The stated result also recovers and extends the rank-one locally symmetric-space results to arbitrary strict negative curvature with bounded geometry, and in dimension three under geometric finiteness it specializes to Soma’s classical characterization for infinite-volume hyperbolic $M$4-manifolds (Hadziosmanovic, 27 Jul 2025).

A common misreading is to treat positivity of $M$5 and vanishing of the bounded volume class as already equivalent in every strictly negatively curved infinite-volume manifold. The proved statements are more precise: the full equivalence currently requires bounded geometry, whereas the implication from $M$6 to vanishing is the part established without that hypothesis.

6. Related uses of the volume-class formalism

The terminology of volume classes also appears in bounded cohomology of transformation groups. For an oriented hyperbolic manifold $M$7 with a finite measure $M$8 induced by a volume form, Brandenbursky and Marcinkowski define a bounded class

$M$9

by averaging the hyperbolic volume cocycle over measurable loops associated with homeomorphisms. In several cases, including hyperbolic surfaces and certain hyperbolic $M$00-manifolds, they prove that these classes have strictly positive semi-norm (Brandenbursky et al., 2023).

This is a different ambient construction from the bounded volume class of a negatively curved manifold itself, because the cohomology group is that of $M$01 rather than $M$02. Nevertheless, both constructions depend on the boundedness of hyperbolic straight-simplex volume and on the transfer of volume data into bounded cohomology.

Within the geometry of negatively curved manifolds, however, the phrase “bounded volume class” most commonly refers to the top-dimensional class $M$03 or $M$04 associated to geodesic straightening. In that sense, its significance lies in linking bounded cohomology to isoperimetry, bounded primitives, geometric finiteness, and the global geometry of infinite-volume negatively curved spaces.