REVIEW 2 major objections 4 minor 32 references
Quasi-retracts of groups
T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read A subgroup of a group is a quasi-retract exactly when the ambient group has a normalized quasi-homomorphic section that almost commutes with it, equivalently when the group is strictly quasi-isomorphic to the direct product.
desk verdict A genuinely new quasi-retract framework with a solid central equivalence, but a load-bearing unproved step in the hyperbolic rigidity application needs real proof. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the defect set $D(\varphi)=\{\varphi(y)^{-1}\varphi(x)^{-1}\varphi(xy)\}$ of a quasi-homomorphism, which is finite by definition, together with the almost-commutation set $C(H,s(Q))=\{h s(q) h^{-1}s(q)^{-1}\}$. Theorem 4.5 runs on converting these two finiteness conditions into each other: a finite defect set for the section plus a finite commutator set makes the projection map $g_Hg_T\mapsto g_H$ a quasi-homomorphism, and a quasi-retraction's finite defect set forces the existence of a transversal $T$ with $C(H,T)$ finite. The same conversion produces the strict quasi-isomorphism to $H\times Q$ and its quasi-inverse $(h,q)\mapsto h s(q)$.
What would settle it
Take a non-elementary torsion-free hyperbolic group and a hyperbolic element $f$. Search for a finite set $T$ with $C(\langle f^k\rangle,T)$ finite yet some $t\in T$ does not conjugate any positive power of $f$ to another power of $f$; finding one would disprove the unproved step behind Proposition 4.7(2). A second test of Theorem 4.5 itself: exhibit a short exact sequence satisfying condition (2) but admitting no strict quasi-isomorphism to $H\times Q$; such an example would refute the claimed equivalence.
Extended reading notes
Core claim
The central discovery is that being a quasi-retract is not merely a property of a subgroup but a structural statement about the ambient group. For any short exact sequence $1\to H\to G\to Q\to 1$, Theorem 4.5 shows the following are equivalent: $H$ is a quasi-retract of $G$; there is a normalized section $s:Q\to G$ that is a quasi-homomorphism and whose image almost commutes with $H$, meaning the commutator set $C(H,s(Q))$ is finite; and there is a strict quasi-isomorphism $\varphi:G\to H\times Q$ (a quasi-isomorphism whose quasi-inverse is the set-theoretic inverse) making the two short exact sequences commute. The equivalence is proved constructively: the projection $g=g_Hg_T\mapsto g_H$ built from the section is the quasi-retraction, and conversely any quasi-retraction produces such a section. From this coarse splitting criterion the paper derives the stability results for group actions and hyperbolic structures.
Load-bearing premise
The load-bearing step the proof of Proposition 4.7(2) does not justify is this: in a non-elementary torsion-free hyperbolic group, if a finite set almost commutes with the cyclic subgroup generated by $f^k$, then every element of that set must conjugate some positive power of $f$ to itself. If that step fails, the proof that a normal quasi-retract of such a group is trivial collapses.
Editorial extensions
If this is right
- If $H$ is a normal quasi-retract of $G$, every cobounded action of $G$ on a hyperbolic space restricts to an action of $H$ that is either elliptic or cobounded; in particular property $(PH')$ passes to normal quasi-retracts.
- For left quasi-split extensions of finitely generated groups, $G$ has property $(QFA)$ if and only if both $H$ and $Q$ do, and the same two-way stability holds for $(PH')$ and $(QT')$.
- A coarsely surjective quasi-homomorphism $G\to H$ embeds the poset of hyperbolic structures of $H$ into that of $G$, and quasi-isomorphic groups have isomorphic posets of hyperbolic structures.
- A finite-by-$\mathbb{Z}^m$ hyperbolically embedded subgroup is always a quasi-retract, so quasimorphisms on it extend to the ambient group; in $F_2$, nontrivial quasi-retracts are exactly cyclic subgroups.
Reading between the lines
- Because Lemma 2.10 identifies quasi-isomorphisms with quasi-isometries for finitely generated groups, Theorem 4.5 gives an explicit coarse model $G\approx H\times Q$; one could use it to compute coarse invariants such as asymptotic dimension from the two factors.
- The unproved step in Proposition 4.7(2) suggests a standalone lemma about finite sets almost commuting with powers of hyperbolic elements in non-elementary torsion-free hyperbolic groups; proving or disproving that lemma would settle the classification of normal quasi-retracts of hyperbolic groups.
- The induced-quasi-action construction via coarsely surjective quasi-homomorphisms is not tied to hyperbolicity, so the stability arguments for $(PH')$ and $(QT')$ may extend to other classes of actions on products of hyperbolic spaces or quasi-trees.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the notion of a quasi-retract of a group, a subgroup H of G for which there exists a quasi-homomorphism r:G→H that is the identity on H (up to bounded error). The main structural result is Theorem 4.5 (Theorem 1.4), which gives three equivalent conditions for a short exact sequence 1→H→G→Q→1 to be left quasi-split: (1) H is a quasi-retract of G; (2) there is a normalized quasi-homomorphic section s:Q→G with H almost commuting with s(Q); (3) there is a strict quasi-isomorphism G→H×Q making the diagram commute. The paper then applies this theorem to classify quasi-retracts in free groups and normal quasi-retracts in hyperbolic groups, to show that several geometric properties (QFA, QT', PH', and PH under an FZ hypothesis) are stable under left quasi-split extensions, and to show that quasi-isomorphic groups have isomorphic hyperbolic structures. It also develops a theory of induced quasi-actions from quasi-homomorphisms.
Significance. Theorem 4.5 is a clean and useful coarse analogue of the classical split extension theorem; if it holds, it provides a unified way to transfer properties between a group and its quasi-retracts. The applications to property inheritance and hyperbolic structures are novel and likely to be cited. The paper is carefully structured, and the proof of the central theorem is essentially direct and convincing. The main caveat is that a few geometric facts in the applications are asserted without proof, most notably in Proposition 4.7(2) and Lemma 5.8.
major comments (2)
- [Proposition 4.7(2)] The implication from finiteness of C(<f^k>, s(G/H)) to s(G/H) ⊂ E(f^k) is not justified in the text. It is, however, true: for each t∈s(G/H), the finiteness of { [f^{km}, t] : m∈Z } yields m≠n with [f^{km},t]=[f^{kn},t], which implies t f^{k|m-n|} t^{-1}=f^{k|m-n|}, so t∈E(f^k). I recommend adding this one-line argument (or a reference) because the step is load-bearing for the rigidity conclusion.
- [Lemma 5.8] The proof assumes the existence of a hyperbolic element f with stable length τ(f)>M in a cobounded focal or general type action. This is standard (e.g., from the dynamics of hyperbolic isometries on the boundary), but it is not stated or referenced. Since the inequality τ(f)−M ≤ τ(f_H)+τ(f_T) is used to ensure that one of f_H, f_T is hyperbolic, a brief justification of the unboundedness of translation lengths in this situation should be supplied.
minor comments (4)
- [Corollary 1.6] There is a typo: 'it is it is' should be 'it is'.
- [Lemma 2.1] Lemma 2.1(2) gives a D^2 estimate, but several later arguments use the stronger estimate φ(x^{-1}) ≈_{D^{-1}} φ(x)^{-1} for normalized quasi-homomorphisms. Please clarify that this follows from φ(1)=1.
- [Proposition 5.20] Proposition 5.20 cites [20, Proposition 4.4]; the result about quasi-conjugacy to graph actions is likely in [21] (Manning's QFA paper). Please check the reference.
- [Lemma 5.7] In Lemma 5.7, the proof would be easier to follow if the two cases were separated more explicitly, especially the passage from finiteness of C(H,T) to T⊂E(f).
Circularity Check
No circularity: Theorem 4.5 is proved directly from the definitions, and the cited results from [30] are external inputs rather than renamings of the target claim.
full rationale
The central equivalence, Theorem 4.5, is self-contained and proved from the definitions without importing the conclusion. In (2)->(1), the map r(g_H g_T)=g_H is constructed from a section, and its defect is bounded by C(H,T) together with the section's defect via Lemma 2.7. In (1)->(2), Lemma 4.3 produces a transversal T with C(H,T) finite and r(T) contained in the defect set, and the section's defect is then shown to be finite by direct computation. In (2)->(3), explicit inverse quasi-homomorphisms phi and phi^{-1} are given and checked; (3)->(1) is immediate by composing with the projection. None of these identifications is definitional: left quasi-split and right quasi-split are distinct definitions, and the theorem proves their equivalence. The applications do cite the authors' prior preprint [30], notably in Lemma 3.14, Lemma 5.22, and Proposition 5.26, and these citations are load-bearing for some of the later applications, including parts of Theorem 1.10. However, this is external self-citation of a separate prior work, not a reduction of the present claim to itself; Theorem 1.10 is explicitly framed as a partial generalization of [30, Theorems 1.7, 1.8], and its proof uses [30, Lemma 7.1] as a product-splitting fact rather than assuming the theorem being proved. The one genuine defect I found is a missing argument in Proposition 4.7(2): after establishing that C(<f^k>, s(G/H)) is finite, the paper asserts 'This implies that s(G/H) subset E(f^k)' without proof. This is load-bearing for the rigidity conclusion, but it is a correctness gap, not circularity: the implication, if true, is a substantive hyperbolic-geometry fact and does not follow merely from the definition of finiteness of a commutator set or from the statement being proved. I therefore record score 0 for circularity.
Assumptions & free parameters
assumptions (5)
- standard math Algebraic properties of quasi-homomorphisms (Lemma 2.1) from Fujiwara-Kapovich [12].
- standard math Hull-Osin extension theorem [17, Theorem 1.4].
- standard math Fujiwara-Kapovich bounded Euler class criterion [12].
- standard math Manning's quasi-action approximation result [20, Proposition 4.4].
- standard math Tao-Wan results [30, Lemma 5.6 and Theorem 1.7].
Cite this review
Pith. "Pith review of Quasi-retracts of groups." pith.science (2026). https://pith.science/paper/BUKQ7EVI
@misc{pith2026250102238,
author = {Pith},
title = {Pith review of: Quasi-retracts of groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/BUKQ7EVI}},
note = {Machine review of arXiv:2501.02238}
}
read the original abstract
In this paper, we study a special class of quasi-homomorphisms, i.e. quasi-retractions from a group to its subgroups. We first give some algebraic and geometric properties of quasi-retracts and then propose a theory of quasi-split short exact sequences of groups. Later, we establish a connection between quasi-homomorphisms and induced quasi-actions. Finally, we give some geometric applications of quasi-homomorphisms, including normal quasi-retracts inherit cobounded actions on hyperbolic spaces, properties (QFA), (QT') and (PH') are all stable under left quasi-split group extensions, quasi-isomorphic groups have isomorphic hyperbolic structures, and so on.
Reference graph
Works this paper leans on
-
[30]
Bingxue Tao and Renxing Wan, Proper actions on finite products of hyperbolic spaces, arXiv preprint arXiv:2506.04856 (2025)
work page Pith review arXiv 2025
-
[1]
Carolyn Abbott, Sahana Balasubramanya, and Denis Osin, Hyperbolic structures on groups, Algebraic & Geo- metric Topology 19 (2019), no. 4, 1747–1835
work page 2019
-
[2]
Alonso, Finiteness conditions on groups and quasi-isometries, J
Juan M. Alonso, Finiteness conditions on groups and quasi-isometries, J. Pure Appl. Algebra 95 (1994), no. 2, 121–129. MR 1293049
work page 1994
-
[3]
Sahana Balasubramanya, Francesco Fournier-Facio, Anthony Genevois, and Alessandro Sisto, Property (NL) for group actions on hyperbolic spaces, arXiv preprint arXiv:2212.14292 (2022)
arXiv 2022
-
[4]
Gilbert Baumslag, Alexei Myasnikov, and Vladimir Remeslennikov, Malnormality is decidable in free groups, Internat. J. Algebra Comput. 9 (1999), no. 6, 687–692. MR 1727165
work page 1999
-
[5]
M. Bestvina, K. Bromberg, and K. Fujiwara, Proper actions on finite products of quasi-trees, Ann. H. Lebesgue 4 (2021), 685–709. MR 4315766
work page 2021
-
[6]
B. H. Bowditch, Relatively hyperbolic groups, Internat. J. Algebra Comput. 22 (2012), no. 3, 1250016, 66. MR 2922380
work page 2012
-
[7]
J. O. Button, Generalised Baumslag-Solitar groups and hierarchically hyperbolic groups, arXiv preprint arXiv:2208.12688 (2022)
arXiv 2022
Show all 32 references
-
[8]
20, Mathematical Society of Japan, Tokyo, 2009
Danny Calegari, scl, MSJ Memoirs, vol. 20, Mathematical Society of Japan, Tokyo, 2009. MR 2527432
2009
-
[9]
245, American Mathematical Society, 2017
Fran¸ cois Dahmani, Vincent Guirardel, and Denis Osin,Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces, vol. 245, American Mathematical Society, 2017
2017
-
[10]
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
2015
-
[11]
Roberto Frigerio and Alessandro Sisto, Central extensions and bounded cohomology, Ann. H. Lebesgue 6 (2023), 225–258. MR 4648083
2023
-
[12]
Koji Fujiwara and Michael Kapovich, On quasihomomorphisms with noncommutative targets, Geom. Funct. Anal. 26 (2016), no. 2, 478–519. MR 3513878
2016
-
[13]
S. M. Gersten, Bounded cocycles and combings of groups, Internat. J. Algebra Comput. 2 (1992), no. 3, 307–326. MR 1189238
1992
-
[14]
Gromov, Hyperbolic groups, Essays in group theory, Math
M. Gromov, Hyperbolic groups, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75–263. MR 919829
1987
-
[15]
Algebra 450 (2016), 242–281
Tobias Hartnick and Pascal Schweitzer, On quasioutomorphism groups of free groups and their transitivity properties, J. Algebra 450 (2016), 242–281. MR 3449692
2016
-
[16]
Nicolaus Heuer, Low-dimensional bounded cohomology and extensions of groups, Mathematica Scandinavica 126 (2020), no. 1, 5–31. MR 4087570
2020
-
[17]
Michael Hull and Denis Osin, Induced quasicocycles on groups with hyperbolically embedded subgroups, Algebr. Geom. Topol. 13 (2013), no. 5, 2635–2665. MR 3116299
2013
-
[18]
M. S. Khan and Sidney A. Morris, Amalgamated direct products of topological groups, Math. Chronicle 11 (1982), no. 1-2, 49–65. MR 677451
1982
-
[19]
3, 137–159
Dareen D Long and Alan W Reid, Subgroup separability and virtual retractions of groups, Topology 47 (2008), no. 3, 137–159
2008
-
[20]
MR 2174263
Jason Fox Manning, Geometry of pseudocharacters, Geometry and Topology 9 (2005), 1147–1185. MR 2174263
2005
-
[21]
1, 84–108
, Quasi-actions on trees and property (QF A), Journal of the London Mathematical Society 73 (2006), no. 1, 84–108
2006
-
[22]
2, 735–747
Armando Martino and Enric Ventura, Examples of retracts in free groups that are not the fixed subgroup of any automorphism, Journal of Algebra 269 (2003), no. 2, 735–747
2003
-
[23]
17, 13434–13477
Ashot Minasyan, Virtual retraction properties in groups, International Mathematics Research Notices 2021 (2021), no. 17, 13434–13477
2021
-
[24]
B. H. Neumann, Groups with finite classes of conjugate elements, Proc. London Math. Soc. (3) 1 (1951), 178–187. MR 43779
1951
-
[25]
B. H. Neumann and Hanna Neumann, A remark on generalized free products, The Journal of the London Mathematical Society 25 (1950), 202–204. MR 36231
1950
-
[26]
Thang Nguyen and Shi Wang, Cheeger-Gromoll splitting theorem for groups, Algebraic & Geometric Topology 22 (2022), 3377–3399
2022
-
[27]
Sela, Endomorphisms of hyperbolic groups I: The Hopf property, Topology 38 (1999), no
Z. Sela, Endomorphisms of hyperbolic groups I: The Hopf property, Topology 38 (1999), no. 2, 301–321
1999
-
[28]
11, 8280–8294
Ilir Snopce, Slobodan Tanushevski, and Pavel Zalesskii, Retracts of free groups and a question of bergman, International Mathematics Research Notices 2022 (2022), no. 11, 8280–8294
2022
-
[29]
Bingxue Tao, Property (QT) of relatively hierarchically hyperbolic groups, arXiv preprint arXiv:2412.20065 (2024)
2024 arXiv
-
[31]
3, 255–263
Edward C Turner, Test words for automorphisms of free groups, Bulletin of the London Mathematical Society 28 (1996), no. 3, 255–263. 30 RENXING W AN
1996
-
[32]
S. M. Ulam, A collection of mathematical problems, Interscience Tracts in Pure and Applied Mathematics, vol. no. 8, Interscience Publishers, New York-London, 1960. MR 120127 School of Mathematical Sciences, Key Laboratory of MEA (Ministry of Education) & Shanghai Key Laborator...
1960
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.