pith. sign in

arxiv: 2604.16289 · v1 · submitted 2026-04-17 · 🧮 math.GT · math.AT· math.CA· math.DG

Bounded cohomology classes from differential forms

Gian Maria Dall'Ara , Roberto Frigerio , Ervin Hadziosmanovic This is my paper

Pith reviewed 2026-05-10 06:57 UTC · model grok-4.3

classification 🧮 math.GT math.ATmath.CAmath.DG
keywords hyperbolic manifoldsbounded cohomologyclosed differential formsideal trianglesFourier analysisfirst-kind fundamental groupsgeodesic simplicesinjectivity
0
0 comments X

The pith

Closed bounded 2-forms on complete hyperbolic manifolds inject into bounded cohomology when the fundamental group has full limit set at infinity.

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

The paper establishes that integration of a closed bounded differential 2-form over geodesic simplices produces an injective map into the second bounded cohomology group for any complete hyperbolic n-manifold whose fundamental group is of the first kind. This class includes all finite-volume examples and extends earlier injectivity results that needed the manifold to be compact. The argument rests on a supporting result that any L^infty function on the hyperbolic plane is uniquely recovered from its integrals over ideal triangles, which is proved using Fourier analysis. A reader cares because the construction ties concrete differential data on the manifold to its large-scale cohomology invariants without requiring compactness.

Core claim

Via integration over geodesic simplices, any closed bounded differential 2-form on M defines a bounded cohomology class in H^2_b(M). When the fundamental group of M is of the first kind, this procedure defines an injective embedding of the space of closed differential 2-forms on M into H^2_b(M). The proof proceeds by showing that an L^infty function on the hyperbolic plane is uniquely determined by its integrals over all ideal triangles, established via Fourier analysis on the hyperbolic plane.

What carries the argument

Uniqueness of an L^infty function on the hyperbolic plane recovered from its integrals over all ideal triangles, proved by Fourier analysis.

If this is right

  • The injection holds for all finite-volume hyperbolic manifolds in every dimension n at least 2.
  • Closed bounded 2-forms become detectable as non-trivial classes in bounded cohomology without compactness assumptions.
  • The same integration map remains well-defined and injective on any manifold whose fundamental group has limit set equal to the full boundary at infinity.
  • The result applies equally to non-compact examples that still satisfy the first-kind condition on their fundamental group.

Where Pith is reading between the lines

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

  • The uniqueness fact about integrals over ideal triangles may apply directly to other questions involving integration against hyperbolic cycles.
  • One could test whether the same Fourier-analytic recovery works for functions with weaker integrability than L^infty.
  • The construction suggests a route to compare bounded cohomology of finite-volume manifolds with their ordinary cohomology via the same forms.

Load-bearing premise

An L^infty function on the hyperbolic plane is uniquely recovered from its integrals over all ideal triangles.

What would settle it

An explicit non-zero L^infty function on the hyperbolic plane that integrates to zero over every ideal triangle would falsify the uniqueness step and collapse the claimed injectivity.

read the original abstract

Let $M$ be a complete hyperbolic $n$-manifold, $n\geq 2$. Via integration over geodesic simplices, any closed bounded differential 2-form on $M$ defines a bounded cohomology class in $H^2_b(M)$. It was proved by Barge and Ghys (for $n=2$) and by Battista et al. (for $n>2$) that, if $M$ is closed, then this procedure defines an injective embedding of the (infinite-dimensional) space of closed differential $2$-forms on $M$ into $H^2_b(M)$. We extend this result to the case when the fundamental group of $M$ is of the first kind, i.e. its limit set is equal to the whole boundary at infinity of hyperbolic space (this holds, for example, when $M$ has finite volume). Our argument is different from Barge and Ghys' original one, and relies on the following fact of independent interest: an $L^\infty$ function on the hyperbolic plane is determined by its integrals over all ideal triangles. We prove this fact by way of Fourier analysis on the hyperbolic plane.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript extends the injectivity result of Barge-Ghys (n=2) and Battista et al. (n>2) to complete hyperbolic n-manifolds (n≥2) whose fundamental group is of the first kind, i.e., whose limit set is the full boundary at infinity of H^n. It shows that integration of closed bounded 2-forms over geodesic simplices yields an injective map into bounded cohomology H_b^2(M). The argument reduces the problem to a new lemma of independent interest: an L^∞ function on the hyperbolic plane is uniquely recovered from its integrals over all ideal triangles, proved via Fourier analysis (Helgason-type transforms) on H².

Significance. If the lemma is established rigorously, the result enlarges the class of manifolds for which closed bounded 2-forms embed into bounded cohomology, covering all finite-volume hyperbolic manifolds. The lemma itself supplies a new integral-geometric characterization of functions on H² and may find applications beyond bounded cohomology. The proof strategy differs from the original Barge-Ghys argument and relies on standard hyperbolic geometry plus the new analytic fact.

major comments (2)
  1. [Proof of the key lemma on L^∞ functions via Fourier analysis] The uniqueness lemma for L^∞ functions (proved via Fourier analysis on H²) is load-bearing for the entire injectivity claim. Standard Helgason or spherical-function transforms on H² are formulated for L¹ or L² functions; L^∞ functions need not be integrable over unbounded ideal triangles. The manuscript must explicitly justify the extension to general bounded measurable functions, for instance by showing that mollification or weak-* approximation preserves vanishing integrals and that the transform determines the function almost everywhere. Without this control, uniqueness may hold only on a dense subclass, leaving the embedding non-injective for some closed bounded 2-forms.
  2. [Reduction to the first-kind case] §2 (reduction step): the passage from a closed bounded 2-form ω on M to a function f on H² whose integrals over ideal triangles vanish is correctly set up for first-kind groups, but the argument that f=0 a.e. then implies ω=0 relies entirely on the lemma. Any gap in the L^∞ uniqueness therefore propagates directly to the main theorem.
minor comments (2)
  1. [Introduction / Main Theorem] The statement of the main theorem should explicitly record that the embedding is into the bounded cohomology group H_b^2(M;R) with real coefficients.
  2. Notation for the space of closed bounded 2-forms (e.g., Ω_b^2(M)) and for the integration map should be introduced once and used consistently.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to strengthen the justification of the key lemma. We have revised the manuscript to provide an explicit approximation argument that extends the Fourier-analytic uniqueness result to general L^∞ functions, thereby closing the potential gap in the injectivity proof.

read point-by-point responses

  1. Referee: [Proof of the key lemma on L^∞ functions via Fourier analysis] The uniqueness lemma for L^∞ functions (proved via Fourier analysis on H²) is load-bearing for the entire injectivity claim. Standard Helgason or spherical-function transforms on H² are formulated for L¹ or L² functions; L^∞ functions need not be integrable over unbounded ideal triangles. The manuscript must explicitly justify the extension to general bounded measurable functions, for instance by showing that mollification or weak-* approximation preserves vanishing integrals and that the transform determines the function almost everywhere. Without this control, uniqueness may hold only on a dense subclass, leaving the embedding non-injective for some closed bounded 2-forms.

    Authors: We agree that an explicit justification for the L^∞ case is required, as the standard statements of the Helgason transform apply directly to integrable functions. In the revised manuscript we have inserted a new subsection (now Section 3.2) that carries out the following approximation argument: given an L^∞ function f whose integrals over all ideal triangles vanish, we convolve f with a sequence of smooth, positive, approximate identities supported in small hyperbolic balls (which exist on H²). The resulting mollifiers f_ε are smooth and, by the boundedness of f and Fubini’s theorem applied to the triangle integrals, each f_ε also has vanishing integrals over ideal triangles. Because the mollifiers are integrable, the Helgason-type transform applies and yields f_ε = 0. Passing to the limit in the weak-* topology of L^∞ (or equivalently in the sense of distributions), we recover f = 0 almost everywhere. This shows that the vanishing of the integrals determines any bounded measurable function uniquely a.e., so the lemma holds in the generality needed for the main theorem. revision: yes

  2. Referee: [Reduction to the first-kind case] §2 (reduction step): the passage from a closed bounded 2-form ω on M to a function f on H² whose integrals over ideal triangles vanish is correctly set up for first-kind groups, but the argument that f=0 a.e. then implies ω=0 relies entirely on the lemma. Any gap in the L^∞ uniqueness therefore propagates directly to the main theorem.

    Authors: The reduction in §2 maps the closed bounded 2-form ω on M to an L^∞ function f on H² by pulling back to the universal cover and averaging over the action of the first-kind fundamental group; the first-kind assumption guarantees that the geodesic simplices in M correspond to a dense set of ideal triangles in H², so the integrals of f vanish on all ideal triangles. With the strengthened proof of the lemma now establishing f = 0 a.e., it follows immediately that ω = 0. Consequently the reduction step is now fully rigorous and no additional modifications to §2 are required beyond the clarification of the lemma. revision: partial

Circularity Check

0 steps flagged

No circularity; derivation relies on independently proved lemma via Fourier analysis

full rationale

The paper's central extension to first-kind fundamental groups proceeds by lifting closed bounded 2-forms to the universal cover and invoking a new lemma that L^∞ functions on H² are uniquely recovered from their integrals over ideal triangles. This lemma is proved directly via Fourier analysis (Helgason-type transforms), which is an external standard tool not derived from the paper's own claims or fitted data. No self-definitional reductions, no parameters fitted then renamed as predictions, and no load-bearing self-citations appear; prior results by Barge-Ghys and Battista et al. are cited only for the closed case, while the new argument is explicitly distinguished. The chain is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper introduces no free parameters or invented entities. It relies on standard background in hyperbolic geometry and proves one new domain-specific fact.

axioms (2)
  • standard math Standard facts of hyperbolic geometry and bounded cohomology for complete manifolds
    Invoked throughout as background for the integration procedure and the first-kind condition.
  • domain assumption An L^infty function on the hyperbolic plane is uniquely determined by its integrals over all ideal triangles
    This is the key new fact proved via Fourier analysis and used to establish injectivity.

pith-pipeline@v0.9.0 · 5517 in / 1367 out tokens · 57339 ms · 2026-05-10T06:57:24.524657+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

44 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    Andrews, Richard Askey, and Ranjan Roy

    George E. Andrews, Richard Askey, and Ranjan Roy. Special functions , volume 71 of Encycl. Math. Appl. Cambridge: Cambridge University Press, 1999

    1999

  2. [2]

    Tameness of hyperbolic 3-manifolds

    Ian Agol. Tameness of hyperbolic 3-manifolds. Preprint, arXiv :math/0405568 [math. GT ] (2004), 2004

    work page Pith review arXiv 2004

  3. [3]

    The action of mapping class groups on de Rham quasimorphisms

    Giuseppe Bargagnati, Federica Bertolotti, Pietro Capovilla, and Francesco Milizia. The action of mapping class groups on de Rham quasimorphisms. Geom. Dedicata , 218(6):21, 2024. Id/No 106

    2024

  4. [4]

    Alan F. Beardon. The geometry of discrete groups , volume 91 of Grad. Texts Math. Springer, Cham, 1983

    1983

  5. [5]

    Bounded cohomology classes of exact forms

    Ludovico Battista, Stefano Francaviglia, Marco Moraschini, Filippo Sarti, and Alessio Savini. Bounded cohomology classes of exact forms. Proc. Amer. Math. Soc. , 152(1):71--80, 2024

    2024

  6. [6]

    Surfaces et cohomologie born \'e e

    Jean Barge and Etienne Ghys. Surfaces et cohomologie born \'e e. ( Surfaces and bounded cohomology). Invent. Math. , 92(3):509--526, 1988

    1988

  7. [7]

    The type problem for riemann surfaces via fenchel--nielsen parameters

    Ara Basmajian, Hrant Hakobyan, and Dragomir S ari \'c . The type problem for riemann surfaces via fenchel--nielsen parameters. Proceedings of the London Mathematical Society , 125(3):568--625, 2022

    2022

  8. [8]

    Boundary maps in bounded cohomology

    Marc Burger and Alessandra Iozzi. Boundary maps in bounded cohomology. A ppendix to: `` C ontinuous bounded cohomology and applications to rigidity theory'' [ G eom.\ F unct.\ A nal.\ 12 (2002), no.\ 2, 219--280; MR 1911660 (2003d:53065a)] by M arc B urger and N icolas M onod. Geom. Funct. Anal. , 12(2):281--292, 2002

    2002

  9. [9]

    A useful formula from bounded cohomology

    Marc Burger and Alessandra Iozzi. A useful formula from bounded cohomology. In G\'eom\'etries \`a courbure n\'egative ou nulle, groupes discrets et rigidit\'es , pages 243--292. Paris: Soci \'e t \'e Math \'e matique de France (SMF), 2009

    2009

  10. [10]

    Burger and N

    M. Burger and N. Monod. Continuous bounded cohomology and applications to rigidity theory. Geom. Funct. Anal. , 12(2):219--280, 2002

    2002

  11. [11]

    Wiener's T auberian theorem for spherical functions on the automorphism group of the unit disk

    Yaakov Ben Natan, Yoav Benyamini, H kan Hedenmalm, and Yitzhak Weit. Wiener's T auberian theorem for spherical functions on the automorphism group of the unit disk. Ark. Mat. , 34(2):199--224, 1996

    1996

  12. [12]

    Bounded cohomology for surface groups

    Robert Brooks and Caroline Series. Bounded cohomology for surface groups. Topology , 23:29--36, 1984

    1984

  13. [13]

    Schreiber, and B

    Leon Brown, Bertram M. Schreiber, and B. Alan Taylor. Spectral synthesis and the P ompeiu problem. Ann. Inst. Fourier (Grenoble) , 23(3):125--154, 1973

    1973

  14. [14]

    Harmonic analysis of spherical functions on SU (1,1)

    Yoav Benyamini and Yitzhak Weit. Harmonic analysis of spherical functions on SU (1,1) . Ann. Inst. Fourier (Grenoble) , 42(3):671--694, 1992

    1992

  15. [15]

    Danny Calegari. scl. , volume 20 of MSJ Mem. Tokyo: Mathematical Society of Japan, 2009

    2009

  16. [16]

    Richard D. Canary. Ends of hyperbolic 3-manifolds. J. Am. Math. Soc. , 6(1):1--35, 1993

    1993

  17. [17]

    Shrinkwrapping and the taming of hyperbolic 3-manifolds

    Danny Calegari and David Gabai. Shrinkwrapping and the taming of hyperbolic 3-manifolds. J. Am. Math. Soc. , 19(2):385--446, 2006

    2006

  18. [18]

    Croke and Vladimir A

    Christopher B. Croke and Vladimir A. Sharafutdinov. Spectral rigidity of a compact negatively curved manifold. Topology , 37(6):1265--1273, 1998

    1998

  19. [19]

    David B. A. Epstein and Koji Fujiwara. The second bounded cohomology of word-hyperbolic groups. Topology , 36(6):1275--1289, 1997

    1997

  20. [20]

    Relations in bounded cohomology

    James Farre. Relations in bounded cohomology. J. Topol. , 13(3):1084--1118, 2020

    2020

  21. [21]

    The zero norm subspace of bounded cohomology of acylindrically hyperbolic groups

    Federico Franceschini, Roberto Frigerio, Maria Beatrice Pozzetti, and Alessandro Sisto. The zero norm subspace of bounded cohomology of acylindrically hyperbolic groups. Comment. Math. Helv. , 94(1):89--139, 2019

    2019

  22. [22]

    Pozzetti, and Alessandro Sisto

    Roberto Frigerio, Maria B. Pozzetti, and Alessandro Sisto. Extending higher-dimensional quasi-cocycles. J. Topol. , 8(4):1123--1155, 2015

    2015

  23. [23]

    Bounded cohomology of discrete groups , volume 227 of Mathematical Surveys and Monographs

    Roberto Frigerio. Bounded cohomology of discrete groups , volume 227 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2017

    2017

  24. [24]

    Israel. M. Gelfand, Simon G. Gindikin, and Mark I. Graev. Selected topics in integral geometry , volume 220 of Translations of Mathematical Monographs . American Mathematical Society, Providence, RI, 2003. Translated from the 2000 Russian original by A. Shtern

    2003

  25. [25]

    Volume and bounded cohomology

    Michael Gromov. Volume and bounded cohomology. Inst. Hautes \'E tudes Sci. Publ. Math. , 56:5--99, 1982

    1982

  26. [26]

    Bounded volume class and Cheeger isoperimetric constant for negatively curved manifolds

    Ervin Had z iosmanovi\' c . Bounded volume class and C heeger isoperimetric constant for negatively curved manifolds. to appear in Journal of Topology and Analysis . Preprint version: arXiv:2507.20247

    work page internal anchor Pith review Pith/arXiv arXiv

  27. [27]

    Groups and geometric analysis , volume 113 of Pure and Applied Mathematics

    Sigurdur Helgason. Groups and geometric analysis , volume 113 of Pure and Applied Mathematics . Academic Press, Inc., Orlando, FL, 1984. Integral geometry, invariant differential operators, and spherical functions

    1984

  28. [28]

    Non- E uclidean analysis

    Sigurdur Helgason. Non- E uclidean analysis. In Non- E uclidean geometries , volume 581 of Math. Appl. (N. Y.) , pages 367--384. Springer, New York, 2006

    2006

  29. [29]

    Fuchsian groups and ergodic theory

    Eberhard Hopf. Fuchsian groups and ergodic theory. Trans. Am. Math. Soc. , 39:299--314, 1936

    1936

  30. [30]

    Cohomology in Banach algebras

    Barry Edward Johnson. Cohomology in Banach algebras . Number 1-127. American Mathematical Soc., 1972

    1972

  31. [31]

    Bounded cohomology and the cheeger isoperimetric constant

    Sungwoon Kim and Inkang Kim. Bounded cohomology and the cheeger isoperimetric constant. Geometriae Dedicata , 179(1):1--20, 2015

    2015

  32. [32]

    Cup product in bounded cohomology of negatively curved manifolds

    Domenico Marasco. Cup product in bounded cohomology of negatively curved manifolds. Proc. Amer. Math. Soc. , 151(6):2707--2715, 2023

    2023

  33. [33]

    Continuous bounded cohomology of locally compact groups , volume 1758 of Lect

    Nicolas Monod. Continuous bounded cohomology of locally compact groups , volume 1758 of Lect. Notes Math. Berlin: Springer, 2001

    2001

  34. [34]

    Ray, Rudra P

    Parasar Mohanty, Swagato K. Ray, Rudra P. Sarkar, and Alladi Sitaram. The H elgason- F ourier transform for symmetric spaces. II . J. Lie Theory , 14(1):227--242, 2004

    2004

  35. [35]

    Nicholls

    Peter J. Nicholls. The ergodic theory of discrete groups , volume 143. Cambridge University Press, 1989

    1989

  36. [36]

    Bounded cohomology of surfaces and geodesic flows

    Jean-Claude Picaud. Bounded cohomology of surfaces and geodesic flows. Bull. Soc. Math. Fr. , 125(1):115--142, 1997

    1997

  37. [37]

    Ergodicity of the geodesic flow on symmetric surfaces

    Michael Pandazis and Dragomir S ari \'c . Ergodicity of the geodesic flow on symmetric surfaces. Transactions of the American Mathematical Society , 376(10):7013--7043, 2023

    2023

  38. [38]

    Ram \' rez

    Felipe A. Ram \' rez. Invariant distributions and cohomology for geodesic flows and higher cohomology of higher-rank anosov actions. Journal of Functional Analysis , 265(6):1002--1063, 2013

    2013

  39. [39]

    Rudra P. Sarkar. Wiener T auberian theorems for SL _2( R ) . Pacific J. Math. , 177(2):291--304, 1997

    1997

  40. [40]

    Bounded cohomology of closed surfaces

    Teruhiko Soma. Bounded cohomology of closed surfaces. Topology , 36(6):1221--1246, 1997

    1997

  41. [41]

    The zero-norm subspace of bounded cohomology

    Teruhiko Soma. The zero-norm subspace of bounded cohomology. Comment. Math. Helv. , 72(4):582--592, 1997

    1997

  42. [42]

    Volchkov and Vitaly V

    Valery V. Volchkov and Vitaly V. Volchkov. Offbeat integral geometry on symmetric spaces . Basel: Birkh \"a user, 2013

    2013

  43. [43]

    Offbeat integral geometry

    Lawrence Zalcman. Offbeat integral geometry. Amer. Math. Monthly , 87(3):161--175, 1980

    1980

  44. [44]

    Robert J. Zimmer. Ergodic theory and semisimple groups , volume 81 of Monogr. Math., Basel . Birkh \"a user, Cham, 1984

    1984