pith. sign in

arxiv: 2409.20348 · v2 · submitted 2024-09-30 · 🧮 math.GR · math.GT

Relative bounded cohomology on groups with contracting elements

Pith reviewed 2026-05-23 20:26 UTC · model grok-4.3

classification 🧮 math.GR math.GT
keywords relative bounded cohomologycontracting elementsMorse subgroupsinfinite indexgroup actions on metric spacesnormal closuresquasimorphisms
0
0 comments X

The pith

Each Morse subgroup has infinite index in G if and only if the relative second bounded cohomology is infinite-dimensional.

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

The paper proves an equivalence for countable groups G that act properly on a metric space and possess contracting elements: given a finite collection of Morse subgroups, each such subgroup has infinite index in G precisely when the relative second bounded cohomology H_b²(G, {H_i}; ℝ) is infinite-dimensional. The same technique shows that the normal closure of a sufficiently high power of any contracting element yields infinite-dimensional relative cohomology. The result extends a known statement for free groups to this broader geometric setting. A sympathetic reader would care because the criterion supplies a cohomological test for whether subgroups are “large” in the sense of index, using only the existence of contracting elements in the action.

Core claim

Let G be a countable group acting properly on a metric space with contracting elements and {H_i : 1 ≤ i ≤ n} a finite collection of Morse subgroups. Then each H_i has infinite index in G if and only if the relative second bounded cohomology H_b²(G, {H_i}; ℝ) is infinite-dimensional. In addition, for any contracting element g there exists k > 0 such that H_b²(G, ⟨⟨g^k⟩⟩; ℝ) is infinite-dimensional.

What carries the argument

The relative second bounded cohomology H_b²(G, {H_i}; ℝ), whose infinite-dimensionality is equivalent to the infinite-index condition via the geometry of contracting elements and Morse subgroups.

If this is right

  • The equivalence generalizes the theorem of Pagliantini-Rolli from finite-rank free groups to all countable groups with contracting elements.
  • For any contracting element g, sufficiently high powers yield normal subgroups whose relative second bounded cohomology is infinite-dimensional.
  • The result supplies new concrete computations of relative bounded cohomology for groups whose actions admit contracting elements.
  • Morse subgroups that are not of infinite index must force the relative cohomology to be finite-dimensional.

Where Pith is reading between the lines

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

  • The same contracting-element technique may produce infinite-dimensionality results for other degrees or coefficients once the second-degree case is settled.
  • The criterion offers a way to test index finiteness in concrete geometric groups by computing or bounding their relative cohomology instead of enumerating cosets.
  • Groups in which every contracting element has finite-order powers whose normal closures keep the cohomology finite-dimensional would have to lack Morse subgroups of infinite index.

Load-bearing premise

G acts properly on a metric space, possesses contracting elements, and the given subgroups are Morse.

What would settle it

A single explicit example of a group G with contracting elements in which some Morse subgroup has finite index yet H_b²(G, {H_i}; ℝ) is still infinite-dimensional, or an infinite-index Morse subgroup for which the relative cohomology remains finite-dimensional.

Figures

Figures reproduced from arXiv: 2409.20348 by Renxing Wan, Zhenguo Huangfu.

Figure 1
Figure 1. Figure 1: [x, y] ⊂ Nδ([x, z] ∪ [y, z]) A finitely generated group is called Gromov-hyperbolic, if its Cayley graph with respect to some finite generating set is a δ-hyperbolic metric space for some δ ≥ 0. Let (X1, d1) and (X2, d2) be two metric spaces. A (not necessarily continuous) map f : X1 → X2 is called a (λ, ϵ)-quasi-isometric embedding if there exist constants λ ≥ 1 and ϵ ≥ 0 such that for all x, y ∈ X1 we ha… view at source ↗
Figure 2
Figure 2. Figure 2: Y is C-contracting Example 2.4. The following are well-known examples of contracting subsets and contracting subgroups. (1) Bounded sets in a metric space. (2) Quasi-geodesics and quasi-convex subsets in Gromov-hyperbolic spaces. [26] (3) Fully quasi-convex subgroups, and maximal parabolic subgroups in particular, in relatively hyperbolic groups. [25, Proposition 8.2.4] (4) The subgroup generated by a hype… view at source ↗
Figure 3
Figure 3. Figure 3: γ = q1p1q2p2q3p3q4 is a (D, τ )-admissible path In the following definitions, a sequence of points xi in a path α is called linearly ordered if xi+1 lies in the subpath of α from xi to α+ for each i. Definition 2.9 (Fellow Travel). Let γ = p0q1p1 · · · qnpn be a (D, τ )-admissible path, and α be a path such that α− = γ−, α+ = γ+. Given ϵ > 0, the path α ϵ-fellow travels γ if there exists a sequence of line… view at source ↗
Figure 4
Figure 4. Figure 4: γ = p0q1p1q2p2 is a (D, τ )-admissible path and α ϵ-fellow travels γ Group actions with contracting elements. Let G be a group acting isometrically on a geodesic metric space (X, d) with a base point o ∈ X. Definition 2.11 (Contracting Element). An element h ∈ G is called a contracting element if ⟨h⟩·o is a contracting subset in X and the map Z → X, n 7→ h no is a quasi-isometric embedding. A group action … view at source ↗
Figure 5
Figure 5. Figure 5: Each blue line is a translate of Ax(g); FK[U, V ]∪{U, V } = {U < U1 < U2 < V } is a standard path in PK(F); the dashed line represents the closest point projection between U and U1; the red line is a lifted standard path from u ∈ U to v ∈ V in X For any two points u ∈ U and v ∈ V , we often need to lift a standard path FK[U, V ]∪ {U, V } = {U < U1 < · · · < Uk < V } in PK(F) to a path from u to v in X. The… view at source ↗
Figure 6
Figure 6. Figure 6: α contains an (ϵ, f)-barrier Recall that the Extension Lemma, i.e. Lemma 2.13 gives a set F ⊂ G consisting of three contracting elements. The following result of Han-Yang-Zou shows that for any contracting element [PITH_FULL_IMAGE:figures/full_fig_p015_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: [o, ho] contains an (ϵ, g0)-barrier Since the orbit Hi ·o is η-Morse in X, by definition of Morse property, the geodesic segment [o, ho] is contained in NM(Hio). Since x, y ∈ [o, ho], there exist h1, h2 ∈ Hi such that d(x, h1o), d(y, h2o) ≤ M. Combining two inequalities together, one gets that d(bo, h1o), d(bg0o, h2o) ≤ ϵ + M. By construction of S, we have b −1h1, h−1 2 bg0 ∈ S. Therefore, g0 ∈ b −1h2S = b… view at source ↗
Figure 8
Figure 8. Figure 8: [o, gm 2 o] contains an (ϵ ′ , gs 1 )-barrier; The blue path represents γ; The gray area represents NL′ ([o, gm 2 o]) Let x, y ∈ [o, gm 2 o] such that d(to, x) = d(to, [o, gm 2 o]) and d(tgs 1 o, y) = d(tgs 1 o, [o, gm 2 o]). Hence, the path γ = [x, to] ∪ [to, tgs 1 o] ∪ [tgs 1 o, y] is a (1, 4ϵ ′ )-quasi-geodesic. By Lemma 2.1, t[o, gs 1 o] ⊂ NL′ ([o, gm 2 o]) where L ′ = L(1, 4ϵ ′ , δ). Up to exchanging … view at source ↗
read the original abstract

Let $G$ be a countable group acting properly on a metric space with contracting elements and $\{H_i:1\le i\le n\}$ be a finite collection of Morse subgroups in $G$. We prove that each $H_i$ has infinite index in $G$ if and only if the relative second bounded cohomology $H^{2}_b(G, \{H_i\}_{i=1}^n; \mathbb{R})$ is infinite-dimensional. In addition, we also prove that for any contracting element $g$, there exists $k>0$ such that $H^{2}_b(G, \langle \langle g^k\rangle \rangle; \mathbb{R})$ is infinite-dimensional. Our results generalize a theorem of Pagliantini-Rolli for finite-rank free groups and yield new results on the (relative) second bounded cohomology of groups.

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

0 major / 3 minor

Summary. The manuscript proves an if-and-only-if statement: for a countable group G acting properly on a metric space with contracting elements and a finite collection of Morse subgroups {H_i}, each H_i has infinite index in G precisely when the relative second bounded cohomology H_b^2(G, {H_i}; ℝ) is infinite-dimensional. It further shows that for any contracting element g there exists k > 0 such that H_b^2(G, ⟨⟨g^k⟩⟩; ℝ) is infinite-dimensional. The results generalize the theorem of Pagliantini-Rolli from finite-rank free groups and produce new statements about relative bounded cohomology for groups admitting contracting elements.

Significance. If the proofs are correct, the equivalence supplies a cohomological test for infinite index of Morse subgroups that applies beyond free groups to the broader class of groups with contracting elements (including many hyperbolic and relatively hyperbolic groups). The second statement on normal closures of high powers of contracting elements likewise yields new infinite-dimensionality results. These strengthen the dictionary between geometric features of group actions and the dimension of bounded cohomology.

minor comments (3)
  1. [§1] §1, paragraph after Definition 1.2: the notation for the relative bounded cochain complex is introduced without an explicit reference to the standard definition used (e.g., the one in the cited work of Burger-Monod or Frigerio); adding one sentence would improve readability.
  2. [Theorem 1.3] Theorem 1.3 (the main equivalence): the statement is clear, but the proof sketch in §4 does not indicate where the Morse property is used to obtain the lower bound on dimension; a one-sentence pointer to the relevant lemma would help.
  3. [Introduction] The bibliography entry for Pagliantini-Rolli is present but the introduction does not explicitly contrast the new argument with their free-group technique; a short comparison sentence would clarify the generalization.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our results and for recommending minor revision. The report correctly identifies the main theorems: the equivalence between infinite index of Morse subgroups and infinite-dimensional relative second bounded cohomology, as well as the infinite-dimensionality result for normal closures of high powers of contracting elements. No specific major comments or requested changes were listed in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper establishes an if-and-only-if equivalence between each Morse subgroup H_i having infinite index in G and the relative second bounded cohomology being infinite-dimensional, plus a statement on normal closures of powers of contracting elements. This is presented as a generalization of a theorem by Pagliantini-Rolli (distinct authors) under standard geometric hypotheses on proper actions with contracting elements. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear; the central claims rest on external geometric assumptions and prior independent results rather than reducing to the paper's own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review provides no information on free parameters, invented entities, or additional axioms beyond the domain assumptions stated in the theorem hypotheses.

axioms (2)
  • domain assumption G is a countable group acting properly on a metric space with contracting elements
    Opening sentence of the abstract sets this as the ambient setting for both main theorems.
  • domain assumption {H_i} are Morse subgroups of G
    Explicitly assumed in the statement of the first theorem.

pith-pipeline@v0.9.0 · 5667 in / 1104 out tokens · 24732 ms · 2026-05-23T20:26:31.346349+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Gap theorems and achirality for automorphisms of K3 surfaces and Enriques surfaces

    math.AG 2026-04 unverdicted novelty 4.0

    Gap theorems are proved for entropy norms of automorphisms on K3, Enriques, and IHS manifolds, with achirality characterized using genus-one fibrations.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Negative curvature in graphical small cancellation groups

    Goulnara N Arzhantseva, Christopher H Cashen, Dominik Gruber, and David Hume, Contracting geodesics in infinitely presented graphical small cancellation groups. preprint, arXiv preprint arXiv:1602.03767 (2016)

  2. [2]

    25, Birkh¨ auser, 2012

    Werner Ballmann, Lectures on spaces of nonpositive curvature, vol. 25, Birkh¨ auser, 2012

  3. [3]

    Mladen Bestvina, Ken Bromberg, and Koji Fujiwara, Constructing group actions on quasi-trees and applications to mapping class groups, Publ. Math. Inst. Hautes ´Etudes Sci. 122 (2015), 1–64. MR 3415065

  4. [4]

    Mladen Bestvina, Ken Bromberg, Koji Fujiwara, and Alessandro Sisto, Acylindrical actions on projection complexes, Enseign. Math. 65 (2019), no. 1-2, 1–32. MR 4057354

  5. [5]

    Mladen Bestvina and Koji Fujiwara, Bounded cohomology of subgroups of mapping class groups, Geom. Topol. 6 (2002), 69–89. MR 1914565

  6. [6]

    1, 11–40

    , A characterization of higher rank symmetric spaces via bounded cohomology, Geometric and Functional Analysis 19 (2009), no. 1, 11–40

  7. [7]

    Abdessalam Bouarich, Suites exactes en cohomologie born´ eer´ eelledes groupes discrets, C. R. Acad. Sci. Paris S´ er. I Math.320 (1995), no. 11, 1355–1359. MR 1338286

  8. [8]

    Bridson and Andr´ e Haefliger, Metric spaces of non-positive curvature, Grundlehren der mathema- tischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

    Martin R. Bridson and Andr´ e Haefliger, Metric spaces of non-positive curvature, Grundlehren der mathema- tischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin,

  9. [9]

    New York, Stony Brook, N.Y., 1978), Ann

    Robert Brooks, Some remarks on bounded cohomology, Riemann surfaces and related topics: Proceedings of the 1978 Stony Brook Conference (State Univ. New York, Stony Brook, N.Y., 1978), Ann. of Math. Stud., vol. No. 97, Princeton Univ. Press, Princeton, NJ, 1981, pp. 53–63. MR 624804

  10. [10]

    Brown, Cohomology of groups, Graduate Texts in Mathematics, vol

    Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1994, Corrected reprint of the 1982 original. MR 1324339

  11. [11]

    Bucher, M

    M. Bucher, M. Burger, R. Frigerio, A. Iozzi, C. Pagliantini, and M. B. Pozzetti, Isometric embeddings in bounded cohomology, J. Topol. Anal. 6 (2014), no. 1, 1–25. MR 3190136

  12. [12]

    20, Mathematical Society of Japan, Tokyo, 2009

    Danny Calegari, scl, MSJ Memoirs, vol. 20, Mathematical Society of Japan, Tokyo, 2009. MR 2527432

  13. [13]

    Coornaert, T

    M. Coornaert, T. Delzant, and A. Papadopoulos, G´ eom´ etrieet th´ eoriedes groupes, Lecture Notes in Math- ematics, vol. 1441, Springer-Verlag, Berlin, 1990, Les groupes hyperboliques de Gromov. [Gromov hyperbolic groups], With an English summary. MR 1075994

  14. [14]

    Dahmani, V

    F. Dahmani, V. Guirardel, and D. Osin, Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces, Mem. Amer. Math. Soc. 245 (2017), no. 1156, v+152. MR 3589159

  15. [15]

    Thomas Delzant, Sous-groupes distingu´ eset quotients des groupes hyperboliques, Duke Math. J. 83 (1996), no. 3, 661–682. MR 1390660

  16. [16]

    63, American Mathematical Society, Providence, RI, 2018, With an appendix by Bogdan Nica

    Cornelia Dru¸tu and Michael Kapovich, Geometric group theory, American Mathematical Society Colloquium Publications, vol. 63, American Mathematical Society, Providence, RI, 2018, With an appendix by Bogdan Nica. MR 3753580

  17. [17]

    5, 959–1058

    Cornelia Drut ¸u and Mark Sapir,Tree-graded spaces and asymptotic cones of groups, Topology 44 (2005), no. 5, 959–1058

  18. [18]

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

  19. [19]

    Benson Farb and Dan Margalit, A primer on mapping class groups (pms-49), Princeton University Press, 2012

  20. [20]

    Federico Franceschini, A characterization of relatively hyperbolic groups via bounded cohomology, Groups Geom. Dyn. 12 (2018), no. 3, 919–960. MR 3845713

  21. [21]

    Frigerio, M

    R. Frigerio, M. B. Pozzetti, and A. Sisto, Extending higher-dimensional quasi-cocycles, J. Topol. 8 (2015), no. 4, 1123–1155. MR 3431671

  22. [22]

    227, American Mathematical Society, Providence, RI, 2017

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

  23. [23]

    London Math

    Koji Fujiwara, The second bounded cohomology of a group acting on a Gromov-hyperbolic space, Proc. London Math. Soc. (3) 76 (1998), no. 1, 70–94. MR 1476898

  24. [24]

    , The second bounded cohomology of an amalgamated free product of groups, Trans. Amer. Math. Soc. 352 (2000), no. 3, 1113–1129. MR 1491864

  25. [25]

    Victor Gerasimov and Leonid Potyagailo, Quasiconvexity in the relatively hyperbolic groups, Journal f¨ ur die reine und angewandte Mathematik (Crelle Journal) (2015)

  26. [26]

    Ghys and P

    E. Ghys and P. da la Harpe, Sur les groupes hyperboliques d’apr` esMikhael Gromov, Progress in Mathematics, Birkh¨ auser Boston, 2013

  27. [27]

    Hautes ´Etudes Sci

    Michael Gromov, Volume and bounded cohomology, Inst. Hautes ´Etudes Sci. Publ. Math. (1982), no. 56, 5–99. MR 686042

  28. [28]

    , Hyperbolic groups, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75–263. MR 919829

  29. [29]

    Ursula Hamenst¨ adt,Bounded cohomology and isometry groups of hyperbolic spaces, J. Eur. Math. Soc. (JEMS) 10 (2008), no. 2, 315–349. MR 2390326 RELATIVE BOUNDED COHOMOLOGY ON GROUPS WITH CONTRACTING ELEMENTS 29

  30. [30]

    Suzhen Han, Wenyuan Yang, and Yanqing Zou, Counting double cosets with application to generic 3-manifolds, arXiv preprint arXiv:2307.06169 (2023)

  31. [31]

    Press, Boston, MA, [2020] ©2020, pp

    Zunwu He, Jinsong Liu, and Wenyuan Yang, Large quotients of group actions with a contracting element, Proceedings of the International Consortium of Chinese Mathematicians 2017, Int. Press, Boston, MA, [2020] ©2020, pp. 319–338. MR 4251117

  32. [32]

    Michael Hull and Denis Osin, Induced quasicocycles on groups with hyperbolically embedded subgroups, Algebr. Geom. Topol. 13 (2013), no. 5, 2635–2665. MR 3116299

  33. [33]

    N. V. Ivanov, Foundations of the theory of bounded cohomology, vol. 143, 1985, Studies in topology, V, pp. 69– 109, 177–178. MR 806562

  34. [34]

    Sungwoon Kim and Thilo Kuessner, Simplicial volume of compact manifolds with amenable boundary, J. Topol. Anal. 7 (2015), no. 1, 23–46. MR 3284388

  35. [35]

    Kotschick, Quasi-homomorphisms and stable lengths in mapping class groups, Proc

    D. Kotschick, Quasi-homomorphisms and stable lengths in mapping class groups, Proc. Amer. Math. Soc. 132 (2004), no. 11, 3167–3175. MR 2073290

  36. [36]

    Minsky, Quasi-projections in Teichm¨ ullerspace., Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) 1996 (1996), no

    Yair N. Minsky, Quasi-projections in Teichm¨ ullerspace., Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) 1996 (1996), no. 473, 121–136

  37. [37]

    1758, Springer-Verlag, Berlin, 2001

    Nicolas Monod, Continuous bounded cohomology of locally compact groups, Lecture Notes in Mathematics, vol. 1758, Springer-Verlag, Berlin, 2001. MR 1840942

  38. [38]

    B. H. Neumann, Groups covered by permutable subsets, J. London Math. Soc. 29 (1954), 236–248. MR 62122

  39. [39]

    Osin, Acylindrically hyperbolic groups, Trans

    D. Osin, Acylindrically hyperbolic groups, Trans. Amer. Math. Soc. 368 (2016), no. 2, 851–888. MR 3430352

  40. [40]

    Osin, Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic problems, Memoirs of the American Mathematical Society 179 (2004), no

    Denis V. Osin, Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic problems, Memoirs of the American Mathematical Society 179 (2004), no. 843

  41. [41]

    Dedicata 175 (2015), 267–280

    Cristina Pagliantini and Pascal Rolli, Relative second bounded cohomology of free groups, Geom. Dedicata 175 (2015), 267–280. MR 3323641

  42. [42]

    131 (2003), no

    HeeSook Park, Relative bounded cohomology, Topology Appl. 131 (2003), no. 3, 203–234. MR 1983079

  43. [43]

    255–264, Mathematical Society of Japan, Japan, 2017 (English)

    Piotr Przytycki and Alessandro Sisto, A note on acylindrical hyperbolicity of mapping class groups, Advanced Studies in Pure Mathematics, pp. 255–264, Mathematical Society of Japan, Japan, 2017 (English)

  44. [44]

    Reine Angew

    Alessandro Sisto, Contracting elements and random walks, J. Reine Angew. Math. 742 (2018), 79–114. MR 3849623

  45. [45]

    Thurston, Travaux de Thurston sur les surfaces: S´ eminaireorsay, Ast´ erisque, Vol

    W.P. Thurston, Travaux de Thurston sur les surfaces: S´ eminaireorsay, Ast´ erisque, Vol. 66-67, Soci´ et´ e math´ ematique de France, 1979

  46. [46]

    Renxing Wan, Xiaoyu Xu, and Wenyuan Yang, Marked length spectrum rigidity in groups with contracting elements, arXiv preprint arXiv:2402.10165 (2024)

  47. [47]

    2, 297–319

    Wenyuan Yang, Growth tightness for groups with contracting elements, Mathematical Proceedings of the Cam- bridge Philosophical Society 157 (2014), no. 2, 297–319

  48. [48]

    , Statistically convex-cocompact actions of groups with contracting elements, Int. Math. Res. Not. IMRN (2019), no. 23, 7259–7323. MR 4039013

  49. [49]

    Institute of Mathematical Sciences, ShanghaiTech University, Shanghai 201210, China P.R

    , Conformal dynamics at infinity for groups with contracting elements, arXiv preprint arXiv:2208.04861 (2022). Institute of Mathematical Sciences, ShanghaiTech University, Shanghai 201210, China P.R. Email address : huangfuzhg@shanghaitech.edu.cn School of Mathematical Sciences, Key Laboratory of MEA (Ministry of Education) & Shanghai Key Laboratory of PM...