REVIEW 2 major objections 4 minor 46 references
Hierarchically hyperbolic groups and uniform exponential growth
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Virtually torsion-free hierarchically hyperbolic groups either have uniform exponential growth or are quasi-isometric to $\mathbb{Z}\times E$; if the dichotomy holds, acylindrically hyperbolic HHGs grow uniformly.
desk verdict A strong structural theorem for hierarchically hyperbolic groups with a repairable gap in Proposition 4.2 and a constants bookkeeping issue; worth serious refereeing. 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 proof runs on the hierarchical structure itself: the group is encoded by an index set of domains, each carrying a hyperbolic coordinate space $C_U$, with projection maps satisfying consistency axioms. The load-bearing objects are the big set $\operatorname{Big}(g)$, the set of domains on which a group element acts with unbounded orbit, and a uniform lower bound $\tau_0>0$ on the stable translation length of every infinite-order element on each domain in its big set (Lemma 2.23). With that bound, the ping-pong exponents and word-length bounds become independent of the generating set. The dichotomy is decided by whether two short words have big sets meeting non-orthogonal domains: if so, ping-pong on the projected hyperbolic spaces produces a uniformly short free semigroup; if not, the domains in the generating set's big sets form a $G$-invariant family of pairwise orthogonal domains, forcing a quasi-isometric product decomposition $\mathbb{Z}^{|B|}\times E$.
What would settle it
Exhibit a virtually torsion-free HHG and a sequence of infinite-order elements $g_n$ with a domain $U_n\in\operatorname{Big}(g_n)$ such that the stable translation length $\tau_{U_n}(g_n)$ tends to zero; that would directly refute Lemma 2.23. Alternatively, find a sequence of generating sets for one HHG with no two elements of length bounded by any fixed $M$ generating a free semigroup, while the Cayley graph is not quasi-isometric to $\mathbb{Z}\times E$.
Extended reading notes
Core claim
The central claim is Theorem 1.1: let $(G,S)$ be a virtually torsion-free hierarchically hyperbolic group. Then either $G$ has uniform exponential growth, or there is a space $E$ such that the Cayley graph of $G$ is quasi-isometric to $\mathbb{Z}\times E$. The proof in fact establishes a trichotomy: for every generating set either two words of uniformly bounded length generate a free semigroup, or $G$ is virtually abelian, or $G$ is quasi-isometric to $\mathbb{Z}^{|B|}\times E$ with $B$ a $G$-invariant collection of pairwise orthogonal domains whose associated hyperbolic spaces are uniformly quasi-lines. From this, Corollary 1.3 follows: virtually torsion-free HHGs that are acylindrically hyperbolic have uniform exponential growth. The authors also show that when the top-level hyperbolic space $C_S$ is non-elementary, the free semigroup can be upgraded to a genuine free subgroup, giving a quantitative Tits alternative.
Load-bearing premise
The proof assumes a fixed positive lower bound $\tau_0$ on the stable translation length of any infinite-order element on any domain in its big set, with $\tau_0$ independent of the generating set; if some element's translation length on a big domain can be arbitrarily small, the short-word constants collapse and uniformity is lost.
Editorial extensions
If this is right
- Every virtually torsion-free HHG whose Cayley graph is not quasi-isometric to a nontrivial product has uniform exponential growth.
- Virtually torsion-free acylindrically hyperbolic HHGs have uniform exponential growth; this covers non-elementary hyperbolic groups, non-exceptional mapping class groups, and many CAT(0) cubical groups.
- An HHG with an asymptotic cone containing a cut-point, or with an unbounded Morse quasi-geodesic, has uniform exponential growth.
- If the top-level hyperbolic space $C_S$ is non-elementary, and $G$ is not quasi-isometric to $\mathbb{Z}\times E$, then every generating set contains two elements of uniformly bounded length generating a free subgroup.
- A virtually torsion-free HHG without uniform exponential growth has a very restricted shape: a $G$-invariant set of pairwise orthogonal domains whose hyperbolic spaces are uniformly quasi-lines, with all other unbounded domains orthogonal to them.
Reading between the lines
- The dichotomy suggests that any counterexample to Gromov's question inside the HHG class would have to be virtually abelian or quasi-isometric to $\mathbb{Z}\times E$; ruling out exponential non-uniform growth among such products would close Question 1.9 affirmatively.
- Because the constants depend only on the hierarchy constants and $\tau_0$, the theorem yields explicit, computable growth bounds for any HHG whose hierarchy data are known; one could turn the proof into an algorithm that, given a presentation and hierarchy constants, outputs the uniform word-length bound.
- If all CAT(0) cubical groups are HHGs, as conjectured, the result would give uniform exponential growth for every virtually torsion-free cubical group that is not quasi-isometric to $\mathbb{Z}\times E$, extending the first-proof status beyond dimension three.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies uniform exponential growth for virtually torsion-free hierarchically hyperbolic groups (HHGs). The main theorem (Theorem 1.1) states that every such group either has uniform exponential growth or its Cayley graph is quasi-isometric to a product of the form Z×E. The proof strategy is a dichotomy: if short words act loxodromically on two non-orthogonal domains, ping-pong arguments produce a uniformly short free subsemigroup; otherwise the paper shows that a certain set of domains is an invariant pairwise-orthogonal collection, and a structural analysis yields either uniform exponential growth, virtual abelianness, or a product decomposition. The paper derives several corollaries, including uniform exponential growth for acylindrically hyperbolic HHGs, for groups with Morse or quasi-convex subgroups, and a quantitative Tits alternative under hierarchical acylindricity.
Significance. If correct, the main theorem is a significant contribution: it provides a new unified proof of uniform exponential growth for several classes of non-positively curved groups, including the first proof for certain CAT(0) cubical groups of dimension at least three, and it gives a quasi-isometric restriction on any virtually torsion-free HHG that fails to have uniform exponential growth. The structural theorem for the non-uniform-growth case (Theorem 1.10) is a strong, falsifiable statement, and the use of consistent tuples to obtain product decompositions is a useful contribution. The paper also gives credit to the relevant background machinery and does not appear to be circular; however, one load-bearing self-citation, Lemma 2.23 from the authors' earlier paper [AB18], supplies the uniform translation-length lower bound that makes the ping-pong constants independent of the generating set.
major comments (2)
- [§4, Proposition 4.2] In the branch where B is not G-invariant, the proof asserts that |X^N.B| >= N+1 contradicts the fact that there are at most N pairwise orthogonal elements. This contradiction is only valid if X^N.B is pairwise orthogonal, but the proof does not establish this: B is a union of Big(s) over generators, and images of different domains under different words need not be orthogonal. The argument can be repaired by splitting into subcases: if X^N.B contains two non-orthogonal domains V1,V2, then conjugating the corresponding generators by words of length at most N gives elements of length at most 2N+1 with non-orthogonal big-set domains, which is exactly the desired conclusion; otherwise X^N.B is pairwise orthogonal and the cardinality contradiction applies. As written, the dichotomy is not proven. In addition, the statement of Item 1 says elements lie in X^N, while the proof actually produces elements in X^{2N+1}; the later text in Section 4.1 uses the latter bound.
- [§4, Proof of Theorem 4.1] The constant M is chosen as max{k1, 2n0+k2, k3+2, 3(k4+2)(N+1)!}, but this does not control the X-lengths of the elements that actually generate the free semigroup. In Case 1 the generators are powers of s and t with |s|,|t| <= 2N+1, so their X-lengths can be as large as (2N+1)k1, not merely k1. In the nested case, the word t^{n0} s^{k2} t^{-n0} has X-length at most 2N n0 + N k2, not 2n0 + k2. The proof of Proposition 4.4 also says to replace 2N+1 by 2n0+1, which ignores the factor N carried by s. The theorem would still hold after enlarging M by a factor depending only on N and the hierarchy constant, but as written the asserted uniform word-length bound in Theorem 4.1 does not follow from the displayed choice of M.
minor comments (4)
- [§4, Proposition 4.3] In the ping-pong estimate, the text writes d_V(ρ_U^V, t^{k(2N+1)!} x) >= τ0 |k|, but the exponent is k(2N+1)! and the lower bound should involve τ0 k(2N+1)!; the displayed estimate appears to omit the factor (2N+1)!.
- [§4, Proof of Proposition 4.4] The phrase 'replacing 2N+1 with 2n0+1' is inaccurate because s has X-length at most N; the correct replacement should involve max(N, 2n0+N).
- [Corollary 1.4] The proof of Corollary 1.4 asserts that if G is quasi-isometric to a product with unbounded factors, then an infinite quasi-convex subgroup is either coarsely dense in G or has bounded diameter. This dichotomy is not justified in the text; please add a proof or a reference.
- [Throughout] There are several minor typographical issues: 'By By Proposition 2.27' in the proof of Theorem 4.1, 'CAT(0) cubical groups' in the abstract where 'CAT(0) cubical spaces' is meant, and in Example 1.7 the statement that a group 'is isometric to the product of two trees' should presumably refer to its Cayley graph.
Circularity Check
No significant circularity: the main dichotomy is proved from HHG axioms and external results, not from the conclusion.
full rationale
The central claim (Theorem 1.1 / Theorem 4.1) is a dichotomy: either uniform exponential growth or a quasi-isometric product decomposition with a G-invariant set of pairwise orthogonal domains. The proof does not define either branch in terms of the other, and no parameter is fitted to the target conclusion. Case 1 of Proposition 4.2 produces short free-semigroup generators via the ping-pong lemma and the Breuillard--Fujiwara criterion, with constants depending only on the hierarchy constant, the orthogonality bound N, and the uniform translation-length lower bound. Case 2 constructs the product Z^|B| × E through Proposition 2.27 using consistent tuples and the distance formula, after Proposition 3.3 shows the relevant curve graphs are quasi-lines; this is a structural construction rather than a renamed assumption. The only load-bearing self-citation is Lemma 2.23, quoted from [AB18, Lemma 1.8], which gives a uniform lower bound on translation lengths of infinite-order elements on their big domains. That lemma is independent external support: it is parameter-free for all hierarchically hyperbolic groups, its assumptions do not include uniform exponential growth, and it is not derived from Theorem 1.1. Under the review rules, such a citation does not raise the circularity score. A referee should separately note the correctness gap in Proposition 4.2's non-G-invariant branch, where the 'at most N pairwise orthogonal elements' bound is applied to X^N.B without establishing pairwise orthogonality, and where the statement promises X^N while the proof produces elements of length at most 2N+1. That is a rigor issue requiring a case split and adjusted constants, not a circularity, since repairing it would not identify the theorem's output with its input. No circular step was found.
Assumptions & free parameters
assumptions (8)
- domain assumption The HHG axioms (Definition 2.8), including bounded domain dichotomy and finite complexity
- standard math All HHGs can be normalized (DHS17 Proposition 1.16)
- standard math Classification of hierarchical automorphisms: every element is elliptic or axial, and big sets are pairwise orthogonal (DHS17 Proposition 2.21)
- standard math Uniform lower bound on translation lengths (AB18 Lemma 2.23)
- standard math Breuillard-Fujiwara Proposition 11.1 (free semigroups from independent loxodromics)
- standard math Fujiwara Proposition 2.3(2) (free subgroups from acylindrical actions)
- standard math The action of an HHG on its top-level hyperbolic space is cobounded and acylindrical (BHS14 Corollary 14.4)
- standard math Theorem 2.28 (consistent tuples and the quasi-inverse of projection)
Cite this review
Pith. "Pith review of Hierarchically hyperbolic groups and uniform exponential growth." pith.science (2026). https://pith.science/paper/T4A6DTH4
@misc{pith2026190900439,
author = {Pith},
title = {Pith review of: Hierarchically hyperbolic groups and uniform exponential growth},
year = {2026},
howpublished = {\url{https://pith.science/paper/T4A6DTH4}},
note = {Machine review of arXiv:1909.00439}
}
read the original abstract
We give several sufficient conditions for uniform exponential growth in the setting of virtually torsion-free hierarchically hyperbolic groups. For example, any hierarchically hyperbolic group that is also acylindrically hyperbolic has uniform exponential growth. In addition, we provide a quasi-isometric characterization of hierarchically hyperbolic groups without uniform exponential growth. To achieve this, we gain new insights on the structure of certain classes of hierarchically hyperbolic groups. Our methods give a new unified proof of uniform exponential growth for several examples of groups with notions of non-positive curvature. In particular, we obtain the first proof of uniform exponential growth for certain groups that act geometrically on CAT(0) cubical spaces of dimension 3 or more. Under additional hypotheses, we show that a quantitative Tits alternative holds for hierarchically hyperbolic groups.
Reference graph
Works this paper leans on
-
[1]
J. W. Anderson, J. Aramayona, and K. J. Shackleton. Uniformly exponential growth and mapping class groups of surfaces. In In the tradition of A hlfors- B ers. IV , volume 432 of Contemp. Math. , pages 1--6. Amer. Math. Soc., Providence, RI, 2007
work page 2007
-
[2]
Conjugator lengths in hierarchically hyperbolic groups
Carolyn R. Abbott and Jason Behrstock. Conjugator lengths in hierarchically hyperbolic groups. arXiv:1808.09604 , 2018
work page Pith review arXiv 2018
-
[3]
Tits alternatives for graph products
Yago Antol\' n and Ashot Minasyan. Tits alternatives for graph products. J. Reine Angew. Math. , 704:55--83, 2015
work page 2015
-
[4]
A Wilson group of non-uniformly exponential growth
Laurent Bartholdi. A Wilson group of non-uniformly exponential growth. Math. Slovaca , 336(7):549--554, 2003
work page 2003
- [5]
-
[6]
N. Brodskiy, J. Dydak, M. Levin, and A. Mitra. A Hurewicz theorem for the Assouad — Nagata dimension . Journal of the London Mathematical Society , 77(3):741--756, 03 2008
work page 2008
-
[7]
Edgar A. Bering, IV. Uniform independence for D ehn twist automorphisms of a free group. Proc. Lond. Math. Soc. (3) , 118(5):1115--1152, 2019
work page 2019
-
[8]
On the joint spectral radius for isometries of non-positively curved spaces and uniform growth
Emmanuel Breuillard and Koji Fujiwara. On the joint spectral radius for isometries of non-positively curved spaces and uniform growth. arXiv:1804.00748 , 2018
work page Pith review arXiv 2018
Show all 46 references
-
[9]
Behrstock , M
J. Behrstock , M. F. Hagen , and A. Sisto . Hierarchically hyperbolic spaces I: curve complexes for cubical groups . ArXiv e-prints , December 2014
2014
-
[10]
Hierarchically hyperbolic spaces II : C ombination theorems and the distance formula
Jason Behrstock, Mark Hagen, and Alessandro Sisto. Hierarchically hyperbolic spaces II : C ombination theorems and the distance formula. Pacific J. Math. , 299(2):257--338, 2019
2019
-
[11]
Finitely presented simple groups and products of trees
Marc Burger and Shahar Mozes. Finitely presented simple groups and products of trees. C. R. Acad. Sci. Paris S\' e r. I Math. , 324(7):747--752, 1997
1997
-
[12]
Bowditch
Brian H. Bowditch. Tight geodesics in the curve complex. Invent. Math. , 171(2):281--300, 2008
2008
-
[13]
A refined combination theorem for hierarchically hyperbolic groups
Federico Berlai and Bruno Robbio. A refined combination theorem for hierarchically hyperbolic groups. arXiv:1810.06476 , 2018
2018 arXiv
-
[14]
Finite and infinite quotients of discrete and indiscrete groups
Pierre-Emmanuel Caprace. Finite and infinite quotients of discrete and indiscrete groups. In Groups S t A ndrews 2017 in B irmingham , volume 455 of London Math. Soc. Lecture Note Ser. , pages 16--69. Cambridge Univ. Press, Cambridge, 2019
2017
-
[15]
Kropholler, Colin D
Pierre-Emmanuel Caprace, Peter H. Kropholler, Colin D. Reid, and Phillip Wesolek. On the residual and profinite closures of commensurated subgroups. arXiv:1706.06853 , 2019
2019 arXiv
-
[16]
Morse boundaries of proper geodesic metric spaces
Matthew Cordes. Morse boundaries of proper geodesic metric spaces. Groups Geom. Dyn. , 11(4):1281--1306, 2017
2017
-
[17]
Contracting boundaries of CAT(0) spaces
Ruth Charney and Harold Sultan. Contracting boundaries of CAT(0) spaces. J. Topol. , 8(1):93--117, 2015
2015
-
[18]
Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces
Francois Dahmani, Vincent Guirardel, and Denis Osin. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces. Mem. Amer. Math. Soc. , 245(1156), 2016
2016
-
[19]
Hagen, and Alessandro Sisto
Matthew Gentry Durham, Mark F. Hagen, and Alessandro Sisto. Boundaries and automorphisms of hierarchically hyperbolic spaces. Geom. Topol. , 21(6):3659--3758, 2017
2017
-
[20]
Hagen, and Alessandro Sisto
Matthew Gentry Durham, Mark F. Hagen, and Alessandro Sisto. Corrigendum to boundaries and automorphisms of hierarchically hyperbolic spaces. https://www.wescac.net/undistorted_cyclic.pdf , 2018
2018
-
[21]
Uniform growth in groups of exponential growth
Pierre de la Harpe. Uniform growth in groups of exponential growth. In Proceedings of the C onference on G eometric and C ombinatorial G roup T heory, P art II ( H aifa, 2000) , volume 95, pages 1--17, 2002
2000
-
[22]
Divergence in lattices in semisimple L ie groups and graphs of groups
Cornelia Dru t u, Shahar Mozes, and Mark Sapir. Divergence in lattices in semisimple L ie groups and graphs of groups. Trans. Amer. Math. Soc. , 362(5):2451--2505, 2010
2010
-
[23]
Dranishnikov and J
A.N. Dranishnikov and J. Smith. On asymptotic Assouad – Nagata dimension. Topology and its Applications , 154(4):934 -- 952, 2007. Special Issue: The 19th ‘Summer’ Conference on Topology and its Applications (SumTop04)
2007
-
[24]
On uniform exponential growth for linear groups
Alex Eskin, Shahar Mozes, and Hee Oh. On uniform exponential growth for linear groups. Invent. Math. , 160(1):1--30, 2005
2005
-
[25]
Subgroups generated by two pseudo- A nosov elements in a mapping class group
Koji Fujiwara. Subgroups generated by two pseudo- A nosov elements in a mapping class group. II . U niform bound on exponents. Trans. Amer. Math. Soc. , 367(6):4377--4405, 2015
2015
-
[26]
A note on spaces of asymptotic dimension one
Koji Fujiwara and Kevin Whyte. A note on spaces of asymptotic dimension one. Algebr. Geom. Topol. , 7(2):1063--1070, 2007
2007
-
[27]
On hierarchical hyperbolicity of cubical groups
Mark Hagen and Timothy Susse. On hierarchical hyperbolicity of cubical groups. Israel Journal of Mathematics , 3 2019
2019
-
[28]
Nikolai V. Ivanov. Subgroups of T eichm\" u ller modular groups , volume 115 of Translations of Mathematical Monographs . American Mathematical Society, Providence, RI, 1992. Translated from the Russian by E. J. F. Primrose and revised by the author
1992
-
[29]
Commensurability of graph products
Tadeusz Januszkiewicz and Jacek \' S wi a tkowski. Commensurability of graph products. Algebr. Geom. Topol. , 1:587--603, 2001
2001
-
[30]
Kapovich and B
M. Kapovich and B. Leeb. On asymptotic cones and quasi-isometry classes of fundamental groups of 3 -manifolds. Geom. Funct. Anal. , 5(3):582--603, 1995
1995
-
[31]
Croissance uniforme dans les groupes hyperboliques
Malik Koubi. Croissance uniforme dans les groupes hyperboliques. Ann. Inst. Fourier (Grenoble) , 48(5):1441--1453, 1998
1998
-
[32]
Uniform exponential growth for CAT (0) square complexes
Aditi Kar and Michah Sageev. Uniform exponential growth for CAT (0) square complexes. Algebr. Geom. Topol. , 19(3):1229--1245, 2019
2019
-
[33]
Uniform uniform exponential growth of subgroups of the mapping class group
Johanna Mangahas. Uniform uniform exponential growth of subgroups of the mapping class group. Geom. Funct. Anal. , 19(5):1468--1480, 2010
2010
-
[34]
Masur and Yair N
Howard A. Masur and Yair N. Minsky. Geometry of the complex of curves. I . H yperbolicity. Invent. Math. , 138(1):103--149, 1999
1999
-
[35]
H. A. Masur and Y. N. Minsky. Geometry of the complex of curves. II . H ierarchical structure. Geom. Funct. Anal. , 10(4):902--974, 2000
2000
-
[36]
Acylindrical hyperbolicity of groups acting on trees
Ashot Minasyan and Denis Osin. Acylindrical hyperbolicity of groups acting on trees. Math. Ann. , 362(3-4):1055--1105, 2015
2015
-
[37]
A group of non-uniform exponential growth locally isomorphic to IMG (z^2+i)
Volodymyr Nekrashevych. A group of non-uniform exponential growth locally isomorphic to IMG (z^2+i) . Trans. Amer. Math. Soc. , 362(1):389--398, 2010
2010
-
[38]
D. Osin. Acylindrically hyperbolic groups. Trans. Amer. Math. Soc. , 368(2):851--888, 2016
2016
-
[39]
Russell, D
J. Russell, D. Spriano, and H.C. Tran. Convexity in hierarchically hyperbolic spaces. arXiv:1809.09303 , 2018
2018 arXiv
-
[40]
Jean-Pierre Serre. Trees . Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003. Translated from the French original by John Stillwell, Corrected 2nd printing of the 1980 English translation
2003
-
[41]
Quasi-convexity of hyperbolically embedded subgroups
Alessandro Sisto. Quasi-convexity of hyperbolically embedded subgroups. Math. Z. , 283(3-4):649--658, 2016
2016
-
[42]
Hyperbolic HHS II : Graphs of hierarchically hyperbolic groups
Davide Spriano. Hyperbolic HHS II : Graphs of hierarchically hyperbolic groups. ArXiv e-prints , November 2017
2017
-
[43]
Shalen and Philip Wagreich
Peter B. Shalen and Philip Wagreich. Growth rates, Z_p -homology, and volumes of hyperbolic 3 -manifolds. Trans. Amer. Math. Soc. , 331(2):895--917, 1992
1992
-
[44]
On strongly quasiconvex subgroups
Hung Cong Tran. On strongly quasiconvex subgroups. Geom. Topol. , 23(3):1173--1235, 2019
2019
-
[45]
John S. Wilson. Further groups that do not have uniformly exponential growth. J. Algebra , 279(1):292--301, 2004
2004
-
[46]
John S. Wilson. On exponential growth and uniformly exponential growth for groups. Invent. Math. , 155(2):287--303, 2004
2004
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.