A general construction of simultaneously hyperbolic elements

Jiaqi Cui; Renxing Wan

REVIEW 3 major objections 4 minor 1 cited by

A general construction of simultaneously hyperbolic elements

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Any group with hyperbolic elements on finitely many hyperbolic spaces has one element hyperbolic on all of them.

desk verdict Genuine answer to Question 1, but the positive-density proof has a real gap for non-orientable lineal actions; Theorem 1.2 is unproved as written. read the letter →

arxiv 2505.09454 v2 pith:HAJHELXI submitted 2025-05-14 math.GR math.GT

Jiaqi Cui , Renxing Wan This is my paper · ORCID

classification math.GRmath.GT MSC 20F6520F67

keywords Gromov-hyperbolicspacessimultaneouslyhyperbolicelementscontractingpositivedensitywordmetricBusemannquasimorphismsExtensionLemmagroupactionson

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper answers an open question: if a group acts on finitely many Gromov-hyperbolic spaces and each action contains at least one hyperbolic element, then some single group element is hyperbolic on every space at the same time. Earlier results needed extra hypotheses, such as every element being either elliptic or hyperbolic on each space, or all actions being of general type. The paper removes these conditions entirely. It goes further and shows that, for finitely generated groups, the simultaneously hyperbolic elements have strictly positive density in every sufficiently large word ball. The engine is a combinatorial construction that builds simultaneously contracting elements in much more general metric spaces, and a density argument that turns this into a counting statement.

What carries the argument

The load-bearing mechanism is the SC construction, a pigeonhole argument built on the Extension Lemma. Starting from an independent set of simultaneously contracting elements $f_1,\ldots,f_s$ on spaces $X_1,\ldots,X_l$, the construction multiplies them against arbitrary elements $h_j$ so that products $f_i h_j$ become contracting on one space after another; with more than $2l$ initial elements, the pigeonhole principle forces some product to be contracting on all $l$ spaces at once. For hyperbolic spaces, the paper combines this with Busemann quasimorphisms: on the finite-index subgroup where a lineal action is orientable, the Busemann quasimorphism $\beta$ satisfies $\beta(g)\ne 0$ exactly when $g$ is hyperbolic, and a short lemma on non-zero homogeneous quasimorphisms produces an element with all $\beta_i(g)\ne 0$ simultaneously. The density statements then follow from a finite-set covering lemma, originally used for mapping class groups, which shows that a set $E$ with a finite 'multiplier' set $F$ such that $gF$ meets $E$ for every $g$ must occupy a positive fraction of every large word ball.

What would settle it

Take the infinite dihedral group acting on the real line with the non-orientable lineal action whose orientable subgroup is the translations; for the finite set $F$ built in Lemma 4.8 from powers of a translation $h$, a reflection $g$ makes every $gh^k$ a reflection and hence elliptic, so no $f\in F$ gives $gf$ hyperbolic, and checking whether the density ratio of Corollary 4.9 still has a positive lower bound for this action settles whether the theorem survives or only the proof needs repair.

Watch

Extended reading notes

Core claim

The central discovery is that simultaneous hyperbolicity is guaranteed by the weakest possible hypothesis: each individual action must contain at least one hyperbolic element, and no more. For a group $G$ acting non-elliptically and non-horocyclically on finitely many Gromov-hyperbolic spaces $X_1,\ldots,X_l$, the set $\mathrm{SH}(G)$ of elements hyperbolic on every $X_i$ is non-empty (Theorem 4.1). Moreover, if $G$ is finitely generated by $S$, there is a constant $c(S)\in(0,1)$ such that the proportion of $S^{\le n}$ consisting of simultaneously hyperbolic elements is greater than $c(S)$ for all sufficiently large $n$ (Corollary 4.9). The proof first establishes the analogous statement for simultaneously contracting elements in geodesic metric spaces with the contracting property, where the set $\mathrm{SC}(G)$ is non-empty, contains an infinite independent subset, and has positive density; hyperbolic elements on Gromov-hyperbolic spaces are then treated as a special case, with lineal and focal actions handled through Busemann quasimorphisms.

Load-bearing premise

The positive-density proof for lineal and focal actions assumes that every element of the ambient group, not just the finite-index subgroup on which the Busemann quasimorphisms live, can be multiplied by powers of a chosen hyperbolic element to stay inside the zone where hyperbolicity is detected; outside that subgroup the products can be elliptic, as with reflections in a dihedral action on the line.

Editorial extensions

If this is right

Question 1 is settled affirmatively: no extra condition such as 'every element is elliptic or hyperbolic' or 'general type action' is needed for the existence of a simultaneously hyperbolic element.
For finitely generated groups, simultaneously hyperbolic elements are not rare: they occupy more than some fixed positive fraction of every sufficiently large word ball with respect to any generating set.
The same positive-density conclusion holds for simultaneously contracting elements in actions with the contracting property, which is a strictly larger class than hyperbolic actions.
Taking a single hyperbolic space recovers the known positive-density theorem for loxodromic actions, and the earlier simultaneous-construction theorems in the literature become special cases.
The set is not generic in general: the paper's example $\mathbb{F}_2\times\mathbb{F}_3$ acting on a product of trees shows the density lower bound cannot be pushed to $1$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: the positive-density proof's reliance on a finite-index subgroup could be avoided by working with relative Busemann quasimorphisms on cosets, which would make the argument uniform over all lineal actions without orientability assumptions.
Editorial inference: the same SC construction should yield simultaneous loxodromic elements for actions of a group on a finite family of quasi-geodesic metric spaces whenever the Extension Lemma holds, not only geodesic ones; the paper's statements are already formulated for geodesic spaces.
Editorial inference: a concrete stress test is to compute the optimal constant $c(S)$ in the paper's $\mathbb{F}_2\times\mathbb{F}_3$ example; the paper gives the limiting proportion of non-simultaneously hyperbolic elements as $48/225$, but not the sharp finite-$n$ constant, and an explicit formula would calibrate how far the covering-lemma bound is from optimal.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper has a genuinely new result: Theorem 1.1 answers the open Question 1 under the weakest possible conditions, and the SC construction plus Busemann quasimorphisms is a clean idea. Theorem 1.4 on simultaneously contracting elements also looks solid and properly generalizes earlier work. The counting lemma 3.12 is standard and correctly applied. If the paper were only about existence, I would be quite positive.

The problem is the positive-density claim, Theorem 1.2. Lemma 4.8 is false as stated for non-orientable lineal actions. The proof chooses a finite-index subgroup G1 on which every lineal action is orientable, defines Busemann quasimorphisms on G1, and sets A = ∪A_i ⊂ G1. It then claims that if gh^k, ..., gh^{(l+1)k} are not in SH(G), they must lie in A. But for g outside G1, the products gh^{pk} are not in G1 at all, so they cannot lie in A. For a non-orientable lineal action, every hyperbolic element fixes both limit points and therefore lies in G1; an element outside G1 swaps the limit points and is elliptic. So for g outside G1 and any f in the proposed set F ⊂ G1, gf is never simultaneously hyperbolic. The infinite dihedral group acting on R is a concrete counterexample: the reflection t is elliptic, and t a^n is elliptic for every n.

The same gap appears in the mixed case of Lemma 4.6, where the Claim asserts that for any g ∈ G there is M_i with g f_i^{M_i} ∈ SH(G1;{m+1,...,l}). This is also only true for g ∈ G1. Since Lemma 4.6 is the tool behind Corollary 4.9, the positive-density theorem is unproved whenever any factor is a non-orientable lineal action.

Is this repairable? Probably yes. The existence of one element, and even infinite independent sets, is unaffected. For density, one could restrict the finite-set property to G1 and then pass to G using the finite index of G1; the density estimate would survive with a smaller constant. But none of that is in the current text, so Theorem 1.2 as stated is unsupported.

This paper deserves a serious referee, but the referee should insist on a fix for the non-orientable lineal case before any acceptance. The main existence theorem is likely correct and significant; the density result needs real work, not just cosmetic revision.

Referee Report

3 major / 4 minor

Summary. The paper proves two main results for a group G acting non-elliptically and non-horocyclically on finitely many Gromov-hyperbolic spaces X_1,...,X_l. Theorem 1.1 asserts that the set SH(G) of simultaneously hyperbolic elements is nonempty, answering an open question of Clay--Uyanik, Genevois, and Balasubramanya--Fern\'os without extra assumptions. Theorem 1.2 asserts that, for finitely generated G, SH(G) has positive density in any proper word metric. The main tool is Theorem 1.4, which establishes existence and positive density of simultaneously contracting elements in groups acting on metric spaces with the contracting property. The contracting part is proven via a combinatorial 'SC construction' based on the Extension Lemma, while the hyperbolic part combines this with Busemann quasimorphisms for lineal and focal actions.

Significance. If the results were fully established, they would constitute a genuine advance: Theorem 1.1 resolves a natural open question by weakening the hypotheses of several earlier simultaneous-hyperbolicity results, and Theorem 1.2 would recover and generalize Wiest's counting theorem. The contracting-element results in Section 3 are carefully structured, with explicit pigeonhole counts, and the existence proof for Theorem 1.1 is largely sound. However, the positive-density theorem for hyperbolic elements (Theorem 1.2) rests on Lemma 4.6, whose statement is false as written. The flaw is not a minor gap but a domain error in the use of Busemann quasimorphisms, and it means the paper's central counting claim is not established.

major comments (3)

[Lemma 4.8] Lemma 4.8 is false as stated. In the proof, the implication 'if gh^k,...,gh^{(l+1)k} are not in SH(G), then they lie in A = ∪ A_i' is invalid because the sets A_i are defined as subsets of the finite-index subgroup G1, while g is an arbitrary element of G. For a non-orientable lineal action, every hyperbolic element must fix both limit points, so SH(G) is contained in G1; if g ∉ G1, then gh^{pk} ∉ G1 and gh^{pk} is elliptic on that factor, yet it is not in A. The example G = D_∞ = ⟨a,t | t^2 = 1, tat = a^{-1}⟩ acting on R by a(x) = x+1 and t(x) = -x, with G1 = ⟨a⟩, shows that the claimed finite-set property actually fails: for any finite F ⊂ SH(G) ⊂ G1 and any g = t, the products gf lie outside G1 and are elliptic. Thus Lemma 4.8, and any result that relies on it, is not merely unproved but false.
[Lemma 4.6] The mixed case of Lemma 4.6 repeats the same domain error. The Claim states that for any g ∈ G there is M_i with g f_i^{M_i} ∈ SH(G1;{m+1,...,l}); this requires g ∈ G1 because SH(G1;{m+1,...,l}) is defined inside G1. Later the proof sets h = g f_1^{j_r}, where g may be outside G1, and applies the Claim to h. Since h ∉ G1, the products h f_i^{M_i} are outside G1 and cannot lie in SH(G1;{m+1,...,l}). Thus the proof of Lemma 4.6 fails in every situation where at least one factor is a non-orientable lineal action, and the positive-density conclusion for mixed actions is unsupported.
[Theorem 1.2 / Corollary 4.9] Because Lemma 4.6 is false, Corollary 4.9 (Theorem 1.2) is unproved. The difficulty is structural: the finite-set property 'for every g ∈ G there exists f ∈ F with gf ∈ SH(G)' cannot hold when SH(G) is contained in a proper finite-index subgroup G1, since elements outside G1 multiplied by elements of SH(G) remain outside G1 and are elliptic on the non-orientable lineal factor. A repair is likely possible within the paper's framework by proving the finite-set property on G1 and then using the positive density of G1 in G, but this requires restating Lemma 4.6 and Lemma 4.8 and adding a new counting step; it is not a local correction to the present argument.

minor comments (4)

[Throughout] The cardinality notation |S^{≤n}| is rendered as '7Sďn' and similar throughout the manuscript, apparently a LaTeX rendering issue; this should be corrected for readability.
[Lemma 3.6] In the proof of Lemma 3.6, the displayed inequality 'dpo1,fif1g1okq' mixes the subscript 1 with the running index k; please fix the notation.
[Lemma 4.6 proof] In the proof of Lemma 4.6, the phrase 'If each action X ñ X_k' should read 'If each action G ñ X_k'.
[Remark 1.3] In Remark 1.3, the expressions '7Sďn' and '7pSďnX SHpGqq' should be |S^{≤n}| and |S^{≤n} ∩ SH(G)|.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: proofs use independent black-box lemmas; the alleged non-orientable-lineal gap is a correctness issue, not input-equivalence.

full rationale

Walking the derivation chain, each load-bearing input is either a previously published contracting-element lemma from [13] (the Extension Lemma, Lemma 3.8, Lemma 3.9), the external Busemann quasimorphism results of [5, Prop. 3.7, Lem. 3.8], or the Cumplido–Wiest counting scheme [8]. None of these black-box lemmas contains the target conclusion 'there exists a simultaneously hyperbolic/contracting element' or the positive-density statement; their assumptions are parameter-free and do not include the theorem being proved. The induction in Theorem 3.2 combines the Extension Lemma with Pigeonhole counting and distance estimates, while the mixed general-type/lineal/focal case in Lemma 4.6 uses Corollaries 4.3 and 4.5, which are proved internally from the same independent quasimorphism and contracting-element tools. Self-citations to [13] exist, and one author of the present paper is also an author of [13], but the cited lemmas are peer-reviewed and are not the results being generalized. No fitted parameter is renamed as a prediction, no defined object is equivalent to the conclusion by construction, and no uniqueness theorem is imported from the authors' prior work. The skeptical objection about non-orientable lineal actions in Lemma 4.8 concerns the domain of Busemann quasimorphisms for elements outside the orientable finite-index subgroup G1; if valid, it would be a mathematical gap in the proof of positive density, not a circularity, because the argument does not presuppose its conclusion. Accordingly, no circular step can be exhibited.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper depends on several unproved black-box results from the literature (Extension Lemma, Busemann quasimorphism existence, counting lemma). These are not fitted parameters or invented entities; they are standard published tools. No numerical free parameters are used. The main new ingredient is the combinatorial SC construction, which is internal to the paper.

assumptions (6)

domain assumption Extension Lemma (Lemma 3.3, cited from [13, Lemma 3.2])
The central tool for the SC construction: given three pairwise weakly-independent contracting elements and a far-away element, one can multiply to get a contracting element. The paper relies on it without proof.
domain assumption Lemma 3.8 (cited from [13, Lemma 3.6])
Given a contracting element and three independent contracting elements, one of the three is weakly-independent of it. Used repeatedly in Lemma 3.10 and Corollary 4.5.
domain assumption Lemma 3.9 (cited from [13, Lemma 2.30])
Large powers of weakly-independent contracting elements multiply to contracting elements, and conjugates yield infinite independent families. Used to produce infinite independent sets.
domain assumption Proposition 2.5 and Lemma 2.7 (cited from [5, Prop 3.7, Lemma 3.8])
Busemann quasimorphisms are well-defined homogeneous quasimorphisms and detect hyperbolicity. The paper drops local compactness in Remark 2.6, relying on the result without continuity.
standard math Theorem 2.3 action classification (cited from [1, Theorem 4.2])
Every isometric action on a hyperbolic space is elliptic, parabolic, lineal, focal, or general type. Used to split cases.
domain assumption Counting lemma Lemma 3.12 (adapted from [8, Theorem 2/Corollary 1])
If a finite set F maps every group element into the target set by right multiplication, then the target set has positive density. Used to convert the finite-F property into density.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A general construction of simultaneously hyperbolic elements." pith.science (2026). https://pith.science/paper/HAJHELXI

@misc{pith2026250509454,
  author       = {Pith},
  title        = {Pith review of: A general construction of simultaneously hyperbolic elements},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HAJHELXI}},
  note         = {Machine review of arXiv:2505.09454}
}

read the original abstract

In this paper, we give an explicit construction of simultaneously hyperbolic elements in a group acting on finitely many Gromov-hyperbolic spaces under the weakest conditions. This essentially generalizes results of Clay-Uyanik in \cite{CU18}, of Genevois in \cite{Gen19}, and of Balasubramanya-Fern\'{o}s in \cite{BF24}. Besides, we show that the set of simultaneously hyperbolic elements has strictly positive density with respect to any proper word metric under the weakest conditions. This recovers many classical counting results, eg. the main result of Wiest in \cite{Wie17}. As an important ingredient in the proof of main results, we show that the set of simultaneously contracting elements in a group acting on finitely many metric spaces with contracting property has strictly positive density with respect to any proper word metric. This generalizes two results of Wan-Xu-Yang in \cite{WXY24} and of Balasubramanya-Fern\'{o}s in \cite{BF24}.

Figures

Figures reproduced from arXiv: 2505.09454 by the authors.

**Figure 2.** Y is C-contracting. Two subsets Y, Z Ď X have R-bounded intersections for a function R : r0, `8q Ñ r0, `8q if diampNrpY q X NrpZqq ď Rprq, for all r ě 0. Let G be a group acting isometrically on a geodesic metric space pX, dq. Let o P X be a basepoint. An element h P G is called a contracting element if the orbit xhy ¨ o is a contracting subset in X and the map Z Ñ X, n ÞÑ h no is a quasi-isometric embedding. One si… view at source ↗

**Figure 3.** |g|S ą M. The above Claim shows that S ďn Ă ď hPSďnXE B2Mphq. Counting their cardinalities gives that 7S ďn ď 7 ` S ďn X E ˘ ¨ 7S ď2M, i.e. 7pS ďn X Eq 7Sďn ě 1 7Sď2M [PITH_FULL_IMAGE:figures/full_fig_p013_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

Genericity of hyperbolic 3-manifolds via Dehn surgery
math.GT 2026-07 accept novelty 6.0 of 10

A counting measure on braids and Dehn fillings shows that generic links and generic closed orientable 3-manifolds are hyperbolic.

Reference graph

Works this paper leans on

15 extracted references · 11 canonical work pages · cited by 1 Pith paper

[1]

4, 1747–1835

Carolyn Abbott, Sahana Balasubramanya, and Denis Osin, Hyperbolic structures on groups, Algebraic & Geo- metric Topology 19 (2019), no. 4, 1747–1835

2019
[2]

Sahana Balasubramanya and Talia Fernos, The semi-simple theory of higher rank acylindricity, arXiv preprint arXiv:2407.04838 (2024)

arXiv 2024
[3]

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,
[4]

Systems 30 (2010), no

Danny Calegari and Koji Fujiwara, Combable functions, quasimorphisms, and the central limit theorem, Ergodic Theory Dynam. Systems 30 (2010), no. 5, 1343–1369. MR 2718897

work page 2010
[5]

Pierre-Emmanuel Caprace, Yves Cornulier, Nicolas Monod, and Romain Tessera, Amenable hyperbolic groups, J. Eur. Math. Soc. (JEMS) 17 (2015), no. 11, 2903–2947. MR 3420526

work page 2015
[6]

Inhyeok Choi, Acylindrically hyperbolic groups and counting problems, arXiv preprint arXiv:2504.20985 (2025)

arXiv 2025
[7]

Matt Clay and Caglar Uyanik, Simultaneous construction of hyperbolic isometries, Pacific J. Math. 294 (2018), no. 1, 71–88. MR 3743366

work page 2018
[8]

Mar´ ıa Cumplido and Bert Wiest,A positive proportion of elements of mapping class groups is pseudo-Anosov, Bull. Lond. Math. Soc. 50 (2018), no. 3, 390–394. MR 3829727

work page 2018

Show all 15 references

[9]

Taylor, and Giulio Tiozzo, Counting loxodromics for hyperbolic actions, J

Ilya Gekhtman, Samuel J. Taylor, and Giulio Tiozzo, Counting loxodromics for hyperbolic actions, J. Topol. 11 (2018), no. 2, 379–419. MR 3789828

2018
[10]

Anthony Genevois, Hyperbolicities in CATp0q cube complexes, Enseign. Math. 65 (2019), no. 1-2, 33–100. MR 4057355

2019
[11]

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

1987
[12]

Mark Pollicott and Richard Sharp, Comparison theorems and orbit counting in hyperbolic geometry, Trans. Amer. Math. Soc. 350 (1998), no. 2, 473–499. MR 1376553

1998
[13]

4, e70146

Renxing Wan, Xiaoyu Xu, and Wenyuan Yang, Marked length spectrum rigidity in groups with contracting elements, Journal of the London Mathematical Society 111 (2025), no. 4, e70146

2025
[14]

Bert Wiest, On the genericity of loxodromic actions, Israel J. Math. 220 (2017), no. 2, 559–582. MR 3666437

2017
[15]

Wenyuan Yang, Statistically convex-cocompact actions of groups with contracting elements, Int. Math. Res. Not. IMRN (2019), no. 23, 7259–7323. MR 4039013 School of Mathematical Sciences, East China Normal University, Shanghai 200241, China P. R. Email address : 51275500053@stu...

2019

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [1]

4, 1747–1835

Carolyn Abbott, Sahana Balasubramanya, and Denis Osin, Hyperbolic structures on groups, Algebraic & Geo- metric Topology 19 (2019), no. 4, 1747–1835

2019

[2] [2]

Sahana Balasubramanya and Talia Fernos, The semi-simple theory of higher rank acylindricity, arXiv preprint arXiv:2407.04838 (2024)

arXiv 2024

[3] [3]

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,

[4] [4]

Systems 30 (2010), no

Danny Calegari and Koji Fujiwara, Combable functions, quasimorphisms, and the central limit theorem, Ergodic Theory Dynam. Systems 30 (2010), no. 5, 1343–1369. MR 2718897

work page 2010

[5] [5]

Pierre-Emmanuel Caprace, Yves Cornulier, Nicolas Monod, and Romain Tessera, Amenable hyperbolic groups, J. Eur. Math. Soc. (JEMS) 17 (2015), no. 11, 2903–2947. MR 3420526

work page 2015

[6] [6]

Inhyeok Choi, Acylindrically hyperbolic groups and counting problems, arXiv preprint arXiv:2504.20985 (2025)

arXiv 2025

[7] [7]

Matt Clay and Caglar Uyanik, Simultaneous construction of hyperbolic isometries, Pacific J. Math. 294 (2018), no. 1, 71–88. MR 3743366

work page 2018

[8] [8]

Mar´ ıa Cumplido and Bert Wiest,A positive proportion of elements of mapping class groups is pseudo-Anosov, Bull. Lond. Math. Soc. 50 (2018), no. 3, 390–394. MR 3829727

work page 2018