Bounded Fundamental Class in Negative Curvature

• The bounded fundamental class is a canonical bounded cohomological invariant obtained by integrating the Riemannian volume form over geodesically straightened top-dimensional simplices.
• It remains nontrivial in infinite-volume, open manifolds where the ordinary volume class vanishes, thereby distinguishing geometric finiteness and isoperimetric behavior.
• Under bounded geometry, its vanishing is equivalent to the existence of a bounded primitive and a positive Cheeger isoperimetric constant, linking differential forms to large-scale geometry.

Searching arXiv for the specified paper and closely related work on bounded fundamental classes and negatively curved manifolds. The bounded fundamental class, also called the bounded volume class in top degree, is a canonical class in bounded cohomology associated to the Riemannian volume form of a negatively curved manifold. For a complete negatively curved $n$-manifold $M$, it is represented by the bounded cocycle obtained by integrating $\omega_M$ over geodesically straightened $n$-simplices. Its significance is concentrated in the infinite-volume, hence noncompact, case: the ordinary top-dimensional cohomology class of the volume form vanishes on an open manifold, but the bounded class may remain nontrivial and thereby detect geometry at infinity, bounded primitives of $\omega_M$, geometric finiteness, and isoperimetric behavior (Kim et al., 2011, Hadziosmanovic, 27 Jul 2025). In degree three, the same construction also appears representation-theoretically as the pullback of the hyperbolic volume class for Kleinian surface groups (Farre, 2018).

1. Definition and cohomological status

Let $M$ be an $n$-dimensional connected complete Riemannian manifold with negative sectional curvature bounded away from zero, and let $\omega_M$ denote its Riemannian volume form. The bounded cohomology $H_b^*(M,\mathbb R)$ is defined as the cohomology of the complex of bounded singular cochains

$C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$

with comparison map

$M$0

Using geodesic straightening, one defines a bounded singular $M$1-cocycle

$M$2

for every singular simplex $M$3. Its cohomology class

$M$4

is the bounded fundamental class. Because $M$5 is chain homotopic to the identity, the cocycles

$M$6

define the same class in ordinary cohomology (Kim et al., 2011).

The decisive distinction is between ordinary and bounded exactness. If $M$7 is open, then

$M$8

so the ordinary top-dimensional volume class vanishes. By contrast, the bounded class

$M$9

may still be nonzero. This makes the bounded fundamental class a genuinely new invariant in infinite-volume geometry rather than a mere bounded representative of an ordinary top class (Kim et al., 2011).

The literature uses bounded fundamental class and bounded volume class interchangeably for this top-degree class. In the 2025 work on strictly negatively curved manifolds, the class is attached canonically to the Riemannian volume form by integration over geodesically straightened top-dimensional simplices, and its vanishing is governed by the Cheeger isoperimetric constant (Hadziosmanovic, 27 Jul 2025).

2. Straightening, boundedness, and bounded primitives

The construction depends on Thurston’s geodesic straightening map. For a negatively curved manifold $\omega_M$0, the universal cover $\omega_M$1 is uniquely geodesic, so simplices can be straightened by replacing them with geodesic simplices having the same vertices. In the universal cover, straight simplices are defined inductively by geodesically coning $\omega_M$2 from the vertex $\omega_M$3. A singular simplex is straightened by lifting it to $\omega_M$4, replacing it by the straight simplex with the same vertices, and projecting back to $\omega_M$5 (Hadziosmanovic, 27 Jul 2025).

Strict negative curvature is essential in two ways. First, it guarantees unique geodesics between points in $\omega_M$6, hence a canonical straightening. Second, it gives uniform geometric control on straight simplices: in a strictly negatively curved manifold, straight simplices of dimension $\omega_M$7 have uniformly bounded volume. Therefore, for a straight $\omega_M$8-simplex $\omega_M$9,

$n$0

and these volumes are uniformly bounded. This is precisely what makes $n$1 a bounded cochain (Hadziosmanovic, 27 Jul 2025).

The same boundedness mechanism applies to bounded differential forms of lower degree. If $n$2 is a bounded $n$3-form and $n$4, then

$n$5

is a bounded $n$6-cochain, because straight $n$7-simplices also have uniformly bounded volume. Consequently, if

$n$8

with $n$9 bounded, then

$\omega_M$0

so

$\omega_M$1

This implication is direct and recurs throughout the subject: a bounded primitive of the volume form forces vanishing of the bounded fundamental class (Hadziosmanovic, 27 Jul 2025).

The cocycle condition follows from closedness of $\omega_M$2 and compatibility of straightening with the boundary: $\omega_M$3 Thus the bounded fundamental class is a bounded-cohomological refinement of the ordinary volume class, built from the same differential form but constrained by the geometry of straight simplices (Hadziosmanovic, 27 Jul 2025).

3. Cheeger isoperimetry and the 2025 equivalence theorem

For a complete infinite-volume Riemannian manifold $\omega_M$4, the Cheeger isoperimetric constant is

$\omega_M$5

where $\omega_M$6 ranges over open submanifolds with compact closure and smooth boundary. The condition $\omega_M$7 is exactly the linear isoperimetric inequality

$\omega_M$8

for every such $\omega_M$9 (Hadziosmanovic, 27 Jul 2025).

The 2025 paper studies complete orientable strictly negatively curved manifolds of infinite volume and dimension at least $M$0. Here strictly negatively curved means

$M$1

for some $M$2, and bounded geometry means that sectional curvatures are bounded in absolute value and the injectivity radius is positive. In this setting the main theorem is a three-way equivalence: $M$3 provided $M$4 has bounded geometry. Equivalently, for a strictly negatively curved, infinite-volume Riemannian manifold of dimension at least $M$5 with bounded geometry, the bounded fundamental class vanishes if and only if $M$6 (Hadziosmanovic, 27 Jul 2025).

The same paper also proves a general one-way theorem without any bounded geometry assumption: $M$7 for all strictly negatively curved, infinite-volume Riemannian manifolds of dimension at least $M$8. This fully settles one direction of the Kim–Kim conjecture for strictly negatively curved manifolds, even beyond bounded geometry (Hadziosmanovic, 27 Jul 2025).

The relation between $M$9 and bounded primitives is immediate in one direction. If

$n$0

for a bounded $n$1-form $n$2, then for every relatively compact smooth $n$3,

$n$4

hence

$n$5

The converse is subtle and was known under bounded geometry by Sikorav; this is exactly why bounded geometry becomes the decisive extra hypothesis for the reverse implication from bounded cohomology (Hadziosmanovic, 27 Jul 2025).

4. Proof mechanisms: from bounded cochains to geometry, and back

Two distinct proof strategies now structure the theory. Under bounded geometry, the implication

$n$6

proceeds through bounded differential forms. Sikorav’s theorem gives

$n$7

Combined with integration on straight simplices, this yields

$n$8

(Hadziosmanovic, 27 Jul 2025).

The reverse implication under bounded geometry is harder. Starting from

$n$9

one has a bounded singular $\omega_M$0-cochain $\omega_M$1 with

$\omega_M$2

To convert this bounded cochain into a bounded primitive of $\omega_M$3, the paper uses a triangulation $\omega_M$4 of bounded geometry together with smoothing operators

$\omega_M$5

where $\omega_M$6 integrates forms over simplices and $\omega_M$7 turns simplicial cochains into differential forms. The bounded geometry of $\omega_M$8 ensures that $\omega_M$9 sends bounded simplicial cochains to bounded differential forms. This is the step that upgrades bounded cochains to bounded differential forms and eventually gives $H_b^*(M,\mathbb R)$0 (Hadziosmanovic, 27 Jul 2025).

Without bounded geometry, the bounded-primitive route is unavailable. The 2025 paper replaces it with a chain-level isoperimetric inequality for straight singular chains and a Hahn–Banach argument. The key intermediate statement is that if there exists $H_b^*(M,\mathbb R)$1 such that every straight $H_b^*(M,\mathbb R)$2-chain $H_b^*(M,\mathbb R)$3 satisfies

$H_b^*(M,\mathbb R)$4

where $H_b^*(M,\mathbb R)$5 is the mass of the normal current associated to $H_b^*(M,\mathbb R)$6, then

$H_b^*(M,\mathbb R)$7

The proof defines a functional on boundaries by

$H_b^*(M,\mathbb R)$8

shows that it is bounded, and extends it by Hahn–Banach to a bounded $H_b^*(M,\mathbb R)$9-cochain whose coboundary is $C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$0 (Hadziosmanovic, 27 Jul 2025).

The analytic input behind the mass inequality is that positive Cheeger constant implies an $C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$1-Poincaré inequality

$C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$2

for compactly supported smooth functions. A straight top-dimensional chain defines a normal current $C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$3, and for top-dimensional normal currents one gets a BV-function representation $C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$4 such that

$C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$5

Approximating $C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$6 by smooth compactly supported functions transfers the $C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$7-Poincaré inequality to BV functions and yields

$C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$8

This current-theoretic mass inequality is the main new technical contribution in the general case (Hadziosmanovic, 27 Jul 2025).

5. Geometric finiteness, locally symmetric spaces, and hyperbolic $C_b^*(M,\mathbb R)\subset C^*(M,\mathbb R),$9-manifolds

Before the 2025 theorem, the bounded fundamental class had already been linked to geometric finiteness and bounded primitives in several negatively curved settings. For pinched negatively curved geometrically finite manifolds of infinite volume, vanishing was established: $M$00 In complete pinched negatively curved three-manifolds with infinite volume and positive injectivity radius, vanishing exactly detects geometric finiteness: $M$01 For $M$02-rank one locally symmetric spaces, one has the conceptual criterion

$M$03

(Kim et al., 2011).

These results organize the bounded fundamental class around a bounded-primitive criterion. In the locally symmetric setting, the proof uses continuous bounded cohomology of groups. If $M$04 is the rank-one symmetric universal cover of $M$05, $M$06, and $M$07, the $M$08-invariant volume form defines a continuous bounded $M$09-cocycle

$M$10

and hence a class in $M$11. Burger–Iozzi’s comparison between bounded cohomology and bounded invariant differential forms then bridges vanishing of the bounded fundamental class and existence of a bounded primitive (Kim et al., 2011).

In hyperbolic dimension $M$12, the picture is especially sharp. For a complete hyperbolic three-manifold with infinite volume, the following are equivalent: $M$13

$M$14

This gathers bounded cohomology, Cheeger isoperimetry, bounded de Rham exactness, and end geometry into a single criterion (Kim et al., 2011).

A central misconception is that the bounded fundamental class merely restates the ordinary volume class. The noncompact case shows the opposite: ordinary top cohomology vanishes, while the bounded class can still distinguish geometrically finite from geometrically infinite behavior, or positive Cheeger constant from zero Cheeger constant. This is precisely the phenomenon that made the invariant important in infinite-volume geometry (Kim et al., 2011).

6. Degree-three representation classes, examples, and related notions

In degree three, the bounded fundamental class also appears for Kleinian surface groups as the pullback of the continuous bounded hyperbolic volume class. If $M$15 is a closed oriented surface of negative Euler characteristic and $M$16, the continuous bounded volume cocycle on $M$17 defines

$M$18

and for a representation $M$19, the class

$M$20

is called the bounded fundamental class of $M$21. When $M$22 is discrete and faithful and $M$23 is the associated hyperbolic $M$24-manifold, this class coincides with the geometric cocycle

$M$25

under the standard isometric identification (Farre, 2018).

For cusp-free Kleinian surface groups, the degree-three theory records end geometry with notable rigidity. If two singly degenerate manifolds share one geometrically infinite end invariant, then their bounded fundamental classes are equal. Under bounded geometry, a doubly degenerate class decomposes as a sum of two singly degenerate classes: $M$26 The resulting singly degenerate classes form a linearly independent family, and their closed span in reduced bounded cohomology is a mapping-class-group-invariant Banach subspace with explicit topological basis $M$27 (Farre, 2018).

Examples from the negatively curved manifold theory clarify the invariant’s scope. In hyperbolic space $M$28, one has $M$29, so the bounded volume class vanishes. In Euclidean space $M$30, $M$31, showing that positivity of $M$32 is genuinely nontrivial. The 2025 paper also recalls an infinite cyclic cover $M$33 of a hyperbolic $M$34-manifold fibering over the circle; there $M$35 because regions $M$36 have volume growing linearly while boundary area stays bounded, and in the bounded-geometry setting the theorem predicts nonvanishing (Hadziosmanovic, 27 Jul 2025).

An open problem remains at the center of the current theory. For strictly negatively curved infinite-volume manifolds with bounded geometry, one has

$M$37

Without bounded geometry, the implication

$M$38

is known, but the converse

$M$39

remains open for arbitrary strictly or pinched negatively curved infinite-volume manifolds (Hadziosmanovic, 27 Jul 2025).

The bounded fundamental class should also be distinguished from the bounded characteristic classes of flat bundles studied through the canonical map

$M$40

That theory gives a criterion for boundedness of universal flat characteristic classes in terms of the radical $M$41 of a connected Lie group $M$42, namely that all classes in the image are bounded if and only if $M$43 is simply connected; it does not study a manifold’s bounded fundamental class directly (Chatterji et al., 2012). This distinction is conceptually useful: the bounded fundamental class is a top-dimensional bounded-cohomological invariant built from a manifold’s volume geometry, whereas bounded characteristic classes of flat bundles arise from classifying-space cohomology.