Relative bounded cohomology on groups with contracting elements
Pith reviewed 2026-05-23 20:26 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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, 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.
- [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.
- [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
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
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
axioms (2)
- domain assumption G is a countable group acting properly on a metric space with contracting elements
- domain assumption {H_i} are Morse subgroups of G
Forward citations
Cited by 1 Pith paper
-
Gap theorems and achirality for automorphisms of K3 surfaces and Enriques surfaces
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
-
[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)
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[2]
Werner Ballmann, Lectures on spaces of nonpositive curvature, vol. 25, Birkh¨ auser, 2012
work page 2012
-
[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
work page 2015
-
[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
work page 2019
-
[5]
Mladen Bestvina and Koji Fujiwara, Bounded cohomology of subgroups of mapping class groups, Geom. Topol. 6 (2002), 69–89. MR 1914565
work page 2002
- [6]
-
[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
work page 1995
-
[8]
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]
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
work page 1978
-
[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
work page 1994
- [11]
-
[12]
20, Mathematical Society of Japan, Tokyo, 2009
Danny Calegari, scl, MSJ Memoirs, vol. 20, Mathematical Society of Japan, Tokyo, 2009. MR 2527432
work page 2009
-
[13]
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
work page 1990
-
[14]
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
work page 2017
-
[15]
Thomas Delzant, Sous-groupes distingu´ eset quotients des groupes hyperboliques, Duke Math. J. 83 (1996), no. 3, 661–682. MR 1390660
work page 1996
-
[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
work page 2018
-
[17]
Cornelia Drut ¸u and Mark Sapir,Tree-graded spaces and asymptotic cones of groups, Topology 44 (2005), no. 5, 959–1058
work page 2005
-
[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
work page 1997
-
[19]
Benson Farb and Dan Margalit, A primer on mapping class groups (pms-49), Princeton University Press, 2012
work page 2012
-
[20]
Federico Franceschini, A characterization of relatively hyperbolic groups via bounded cohomology, Groups Geom. Dyn. 12 (2018), no. 3, 919–960. MR 3845713
work page 2018
-
[21]
R. Frigerio, M. B. Pozzetti, and A. Sisto, Extending higher-dimensional quasi-cocycles, J. Topol. 8 (2015), no. 4, 1123–1155. MR 3431671
work page 2015
-
[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
work page 2017
-
[23]
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
work page 1998
-
[24]
, The second bounded cohomology of an amalgamated free product of groups, Trans. Amer. Math. Soc. 352 (2000), no. 3, 1113–1129. MR 1491864
work page 2000
-
[25]
Victor Gerasimov and Leonid Potyagailo, Quasiconvexity in the relatively hyperbolic groups, Journal f¨ ur die reine und angewandte Mathematik (Crelle Journal) (2015)
work page 2015
-
[26]
E. Ghys and P. da la Harpe, Sur les groupes hyperboliques d’apr` esMikhael Gromov, Progress in Mathematics, Birkh¨ auser Boston, 2013
work page 2013
-
[27]
Michael Gromov, Volume and bounded cohomology, Inst. Hautes ´Etudes Sci. Publ. Math. (1982), no. 56, 5–99. MR 686042
work page 1982
-
[28]
, Hyperbolic groups, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75–263. MR 919829
work page 1987
-
[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
work page 2008
- [30]
-
[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
work page 2017
-
[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
work page 2013
-
[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
work page 1985
-
[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
work page 2015
-
[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
work page 2004
-
[36]
Yair N. Minsky, Quasi-projections in Teichm¨ ullerspace., Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) 1996 (1996), no. 473, 121–136
work page 1996
-
[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
work page 2001
-
[38]
B. H. Neumann, Groups covered by permutable subsets, J. London Math. Soc. 29 (1954), 236–248. MR 62122
work page 1954
-
[39]
Osin, Acylindrically hyperbolic groups, Trans
D. Osin, Acylindrically hyperbolic groups, Trans. Amer. Math. Soc. 368 (2016), no. 2, 851–888. MR 3430352
work page 2016
-
[40]
Denis V. Osin, Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic problems, Memoirs of the American Mathematical Society 179 (2004), no. 843
work page 2004
-
[41]
Cristina Pagliantini and Pascal Rolli, Relative second bounded cohomology of free groups, Geom. Dedicata 175 (2015), 267–280. MR 3323641
work page 2015
-
[42]
HeeSook Park, Relative bounded cohomology, Topology Appl. 131 (2003), no. 3, 203–234. MR 1983079
work page 2003
-
[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)
work page 2017
-
[44]
Alessandro Sisto, Contracting elements and random walks, J. Reine Angew. Math. 742 (2018), 79–114. MR 3849623
work page 2018
-
[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
work page 1979
- [46]
-
[47]
Wenyuan Yang, Growth tightness for groups with contracting elements, Mathematical Proceedings of the Cam- bridge Philosophical Society 157 (2014), no. 2, 297–319
work page 2014
-
[48]
, Statistically convex-cocompact actions of groups with contracting elements, Int. Math. Res. Not. IMRN (2019), no. 23, 7259–7323. MR 4039013
work page 2019
-
[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...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.