Pith. sign in

REVIEW 1 major objections 4 minor 25 references

Free Semigroups of Large Critical Exponent

T0 review · 1 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash

Pith's one-line read Every convergence group with an expanding coarse-cocycle contains free subsemigroups whose critical exponent approaches its own from below.

desk verdict A genuinely new construction of large-exponent free subsemigroups in convergence groups, but the strict gap in Theorem 3.36 rests on an unproved and likely false multiplicity bound. read the letter →

arxiv 2502.02003 v3 pith:MHOZQN2D submitted 2025-02-04 math.GR math.DSmath.GT

classification math.GRmath.DSmath.GT MSC 20F6522E4053C3530F40
keywords convergencegroupexpandingcoarse-cocyclecriticalexponentfreesemigroupAnosovtransversesubgroupPatterson–SullivanmeasureCorlettegaptheorem
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

Starting from any non-elementary convergence group equipped with an expanding coarse-cocycle, this paper constructs free finitely generated subsemigroups whose critical exponent is arbitrarily close to, yet always strictly smaller than, the critical exponent of the ambient group. These Bishop–Jones semigroups are built by choosing a finite generating set whose shadows are disjoint and nest along words, and the construction forces a linear comparison between word length and any expanding cocycle magnitude. A key consequence is that for transverse subgroups of semisimple Lie groups, there are free Anosov subsemigroups approximating the ambient critical exponent from below. In the special case of lattices in quaternionic and octonionic hyperbolic spaces, this shows that the classical gap in critical exponents for groups (Corlette's gap) does not exist for semigroups.

What carries the argument

The central machinery is the Bishop–Jones semigroup $T = \bigcup_{m\geq 0} S^m$, generated by a finite set $S$ constructed in Proposition 3.2. The generators are chosen from the level set $A_{\sigma,n} = \{\gamma \in \Gamma : n \leq ||\gamma||_\sigma < n+1\}$ inside a ball $B_{t_0/2}(x)$ around a limit point $x$, after right multiplication by elements of a finite uniform-loxodromic set $F$. The construction's four load-bearing properties are: (1) the shadows $S_{t_0/4}(\eta)$ of children $\eta \in \gamma\cdot S$ lie inside $S_{t_0/2}(\gamma)$; (2) these child shadows are pairwise disjoint; (3) $||\eta^{-1}\gamma||_\sigma \leq D_0$ for each child; and (4) the $\delta$-weighted sum $\sum_{\eta\in\gamma\cdot S} e^{-\delta||\eta||_\sigma} \geq e^{-\delta||\gamma||_\sigma}$. From these, the paper deduces that $T$ is free, that its accumulation set $E$ is uniformly conical, that $E\cup E'$ is a proper subset of the ambient limit set, and that the Poincaré series of $T$ diverges at $\delta_\sigma(T)$. A shadow-uniform measure $\nu$ on $E$, built from a Patterson-style weighted series, provides the upper bound $\nu(S_{t_0/2}(\gamma)) \leq C_1 e^{-\delta||\gamma||_\sigma}$ that feeds into the counting estimate $n(R) \geq C e^{\delta_\sigma(T)R}$.

What would settle it

Implement Proposition 3.2 for a classical Schottky group acting on the Riemann sphere, letting $\delta_m$ approach $\delta_\sigma(\Gamma)$, and compute the critical exponent of the resulting free semigroup; if any of these exponents equals $\delta_\sigma(\Gamma)$, or if the asserted inequality $N+1 \geq \sum_{\gamma\in T} \mu(\gamma U)$ fails for the open set $U$ of Lemma 3.45, Theorem 3.1(4) is refuted.

Watch

Extended reading notes

Core claim

The paper's central claim, Theorem 3.1, is that for every $0 < \delta < \delta_\sigma(\Gamma)$ there exists a free finitely generated subsemigroup $T = T_\delta \subset \Gamma$, with finite generating set $S$, such that $\delta_\sigma(T) \geq \delta$ and $\delta_\sigma(T) < \delta_\sigma(\Gamma)$. The same theorem gives three quantitative companions: word length in $S$ is linearly equivalent to any expanding coarse-cocycle magnitude on $T$; the $\sigma$-critical exponent of $T$ is comparable to $\log(\#S)$; and the critical exponent of $T$ is finite even when $\delta_\sigma(\Gamma)$ is infinite. The construction works by selecting a finite set $S$ from a level set of the cocycle near a limit point, in such a way that the shadows of its elements are pairwise disjoint, the shadow of each child lies inside the parent's shadow, the inverse magnitude of each child relative to its parent is uniformly bounded, and the $\delta$-weighted Poincaré sum over children is at least the parent's contribution. These four properties force the semigroup to be free, give the lower bound $\delta_\sigma(T) \geq \delta$, and support the divergence of the $\sigma$-Poincaré series of $T$ at $\delta_\sigma(T)$, which is the key to proving the strict gap $\delta_\sigma(T) < \delta_\sigma(\Gamma)$.

Load-bearing premise

The proof of the strict gap $\delta_\sigma(T) < \delta_\sigma(\Gamma)$ in Theorem 3.36 depends on the unproved inequality $N+1 \geq \sum_{\gamma\in T} \mu(\gamma U)$ for a small open set $U$ disjoint from $E\cup E'$, where $\mu$ is a coarse Patterson–Sullivan measure for $\Gamma$; this asserts that the number of returns of $U$ under the semigroup dominates the total $\mu$-measure of the shadows $\gamma U$, thereby controlling overlap multiplicity.

Editorial extensions

If this is right

  • For any non-elementary $P_\theta$-transverse subgroup $\Gamma$ of a semisimple Lie group and any $\varphi \in \mathfrak{a}^*_\theta$ positive on the cone, there are free $P_\theta$-Anosov subsemigroups $\Gamma_n \subset \Gamma$ with $\delta_\varphi(\Gamma_n) < \delta_\varphi(\Gamma)$ and $\delta_\varphi(\Gamma_n) \to \delta_\varphi(\Gamma)$ (Theorem 5.1).
  • Lattices in $\mathrm{Sp}(n,1)$ and $F^{-20}_4$ contain free subsemigroups with critical exponent approaching $4n+2$ and 22, respectively, from below; hence the Corlette gap theorem, which forces discrete groups to have exponent either equal to the lattice value or at most $4n$ (resp. 16), has no semigroup analog (Theorem 5.2).
  • Bishop–Jones semigroups map quasi-isometrically into the symmetric space of $G$, and for certain linear functionals the displacement $d_\varphi$ satisfies a coarse triangle inequality on the embedded semigroup (Theorem 6.1).
  • On any Bishop–Jones semigroup, word length and any expanding coarse-cocycle are within bounded additive error of being linear functions of each other, so the critical exponent of $T$ is finite and comparable to $\log(\#S)$.
  • The accumulation set of $T$ is contained in the uniformly conical limit set of $\Gamma$, and $E \cup E'$ is a proper closed subset of $\Lambda(\Gamma)$, which is what forces the strict inequality in the finite critical exponent case.

Reading between the lines

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

  • Because the Busemann cocycle on any proper geodesic Gromov hyperbolic space forms a GPS system, the same construction should produce free subsemigroups with critical exponent arbitrarily close to the group's for every non-elementary group of hyperbolic isometries, giving an independent route to results obtained by contracting-element methods.
  • The paper notes that the group generated by a Bishop–Jones generating set $S$ in a rank-one lattice is itself a lattice; this suggests the critical exponent is sensitive to the presence of inverses, and raises the question whether a Bishop–Jones semigroup can be quasi-isometric to its ambient group while having a strictly smaller critical exponent.
  • The shadow-uniform measure $\nu$ on the accumulation set $E$ is constructed to behave like a Patterson–Sullivan measure for the semigroup; it may be useful for counting semigroup orbits or for proving mixing statements for the one-sided action.
  • Relaxing the disjoint-shadow condition could yield free subsemigroups with even larger critical exponents, or non-free subsemigroups, and might sharpen the rate at which $\delta_\sigma(T)$ approaches $\delta_\sigma(\Gamma)$ as $\delta$ varies.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 4 minor

Summary. The paper introduces 'Bishop–Jones semigroups' for a non-elementary convergence group equipped with an expanding coarse-cocycle. The main theorem (Theorem 3.1) asserts that for every 0 < δ < δ_σ(Γ) there is a free finitely generated subsemigroup T ⊂ Γ whose σ-critical exponent is at least δ and strictly smaller than δ_σ(Γ), and that satisfies additional linear-growth and quasi-isometric-type estimates. The construction is carried out in Proposition 3.2 via a shadow-tree argument in the spirit of Bishop–Jones. The paper then applies the main theorem to P_θ-transverse subgroups of semisimple Lie groups, obtaining free P_θ-Anosov subsemigroups with critical exponents approximating the ambient critical exponent from below (Theorem 5.1), and consequently showing that Corlette's gap theorem for lattices in Sp(n,1) and F_4^{-20} has no analogue for subsemigroups (Theorem 5.2). A further application shows that these semigroups admit C-regular quasi-isometric embeddings into the symmetric space (Theorem 6.1).

Significance. If the main theorem is correct, it is a substantial and elegant result: it gives a general mechanism, valid for all expanding coarse-cocycles, for producing free subsemigroups whose critical exponent is arbitrarily close to the ambient one while remaining strictly below it. The applications to transverse groups and to Kassel–Potrie Anosov semigroups are natural and significant, and the consequence for Corlette's gap theorem is striking. The paper is carefully written and makes good use of the GPS framework of Blayac–Canary–Zhu–Zimmer. The main proof is detailed and the shadow arguments are coherent. However, one step in the proof of the strict-inequality property is asserted without justification; it is true and easily repairable, but it is load-bearing and should be fixed. The Section 6 application also needs a small clarification about the geodesic metric space to which the Dey–Kim–Oh theorem is applied.

major comments (1)
  1. [§6, proof of Theorem 6.1] The proof says 'We view the Bishop–Jones semigroup T as a geodesic metric space by equipping it with its tree metric', but the vertex set of a tree with the induced path metric is not itself a geodesic metric space. Theorem 6.4 requires a geodesic metric space. The fix is straightforward: apply Theorem 6.4 to the Cayley graph of T (a rooted tree with edges labelled by the generating set S) and extend the map f to edges by geodesic segments in X, or state explicitly that T is identified with the vertex set of its geodesic Cayley graph. As written, the hypothesis of Theorem 6.4 is not literally satisfied.
minor comments (4)
  1. [Proof of Proposition 3.2, item (ii)] In the paragraph after defining S, the text writes 'η=γ f_i for some γ ∈ P_i ∩ A_{σ,n} ∩ B(x,ǫ)', but the radius ǫ is undefined here; it should be B_{t0/2}(x).
  2. [Equation (4.1)] In the displayed equation after the definition of the opposition involution, 'for all ι ∈ Σ' should read 'for all α ∈ Σ'.
  3. [Lemma 3.30 and Lemma 3.39] Both proofs use the inclusion S_{t0/2}(α) ⊂ S_{t0/4}(α), which follows from the definition of shadow because a larger ball gives a smaller complement. This inclusion is not stated; adding it once would make the arguments easier to follow.
  4. [Lemma 3.39, proof of (3.40)] The proof uses the implication S_{t0/2}(g_n) ⊂ S_{t0/2}(η) for g_n descending from η ∈ S^n; this follows from S_{t0/2}(g_n) ⊂ S_{t0/4}(g_n) and repeated application of property (1) of Proposition 3.2, but the reader must supply these steps.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the semigroup construction and critical-exponent gap are proved from external GPS/PS theory and from direct tree-growth estimates, not from the theorem being proved.

full rationale

The paper's main derivation is not circular. Theorem 3.1 constructs a finite generating set S so that the delta-Poincare series of the semigroup diverges: Property (4) of Proposition 3.2 directly enforces sum_{eta in gamma S} e^{-delta||eta||_sigma} >= e^{-delta||gamma||_sigma}, and Corollary 3.27 then gives delta_sigma(T) >= delta. This is a lower bound built into the construction, not an output fitted to itself. The upper bound delta_sigma(T) <= B1 log(#S) follows from the word-length comparison in Lemma 3.29 and the exact growth count for a free semigroup in Proposition 3.34, neither of which imports the conclusion. The strict gap delta_sigma(T) < delta_sigma(Gamma) in Theorem 3.36 is a contradiction argument: assuming equality, the ambient coarse Patterson-Sullivan measure and the divergence of T's Poincare series at its critical exponent (Corollary 3.44) would force the infinite sum sum_{gamma in T} mu(gamma U) to diverge, contradicting the finiteness of N. Every ingredient here is either proved inside the paper or imported as an external theorem from Blayac-Canary-Zhu-Zimmer, Dey-Kim-Oh, Corlette, or standard Lie theory; the author has no load-bearing self-citation. The skeptical concern about the unproved multiplicity bound N+1 >= sum mu(gamma U) is a potential correctness gap in the proof of Theorem 3.36, but it is not circularity: the inequality is not equivalent to the theorem's statement, and no fitted parameter or definitional identity makes the conclusion equal to an input. For these reasons the circularity score is 0.

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

The central claim rests on a substantial external framework (GPS systems, coarse cocycles, transverse groups) that is assumed as background. The paper's own contribution is the construction of the semigroup inside that framework; it does not introduce new postulates or fitted parameters. The main unverified input is the completeness of the proof of Theorem 3.36.

assumptions (6)
  • domain assumption Expanding coarse-cocycles satisfy the growth and quasi-multiplicativity estimates of Proposition 2.5 (parts (1)-(3)) from [3].
    These estimates are imported from Blayac-Canary-Zhu-Zimmer and are used throughout Proposition 3.2 and Lemmas 3.29, 3.39.
  • standard math For a non-elementary convergence group, the limit set is perfect and minimal, and shadows satisfy the diameter/location estimates of Proposition 2.10 from [3].
    Used in Lemmas 3.7, 3.11, 3.31, 3.33 to control limits of semigroup elements.
  • domain assumption For a P_theta-transverse group, the partial Iwasawa cocycle gives a continuous GPS system (Proposition 4.4 of [4]).
    This is the bridge from the abstract convergence-group theorem to transverse subgroups of Lie groups.
  • domain assumption Corlette's gap theorem (Theorem 1.2) states the critical exponent values for lattices in Sp(n,1) and F4^-20.
    Used in Theorem 5.2 to identify delta(Gamma)=4n+2 and 22.
  • domain assumption Dey-Kim-Oh Theorem 6.4 provides the coarse triangle inequality for C-regular quasi-isometric embeddings into symmetric spaces.
    The quasi-isometric embedding section relies on this external result.
  • domain assumption The Busemann cocycle on a rank-one symmetric space forms a continuous GPS system (Example 2.8).
    Used in the proof of Theorem 5.2 for H^n_H.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Free Semigroups of Large Critical Exponent." pith.science (2026). https://pith.science/paper/MHOZQN2D

@misc{pith2026250202003,
  author       = {Pith},
  title        = {Pith review of: Free Semigroups of Large Critical Exponent},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MHOZQN2D}},
  note         = {Machine review of arXiv:2502.02003}
}
abstract

For a convergence group equipped with an expanding coarse-cocycle, we construct finitely generated free subsemigroups, which we call Bishop--Jones semigroups, of critical exponent arbitrarily close to but strictly less than the critical exponent of the ambient group. As an application, we show that for any non-elementary transverse subgroup $\Gamma$ of a semisimple Lie group $G$, there exist finitely generated free Anosov subsemigroups in the sense of Kassel--Potrie of critical exponent arbitrarily close to but strictly less than that of the ambient transverse group. Furthermore, we show that these semigroups admit quasi-isometric embeddings into the symmetric space X of G with certain additional coarse-geometric properties.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 21 canonical work pages

  1. [1]

    Semigroups Co ntaining Proximal Linear Maps

    H. Abels, G.A. Margulis, and G.A. Soifer, “Semigroups Co ntaining Proximal Linear Maps”, Israel J. Math. , 91, p.1-30, (1995)

  2. [2]

    Hausdorff Dimension and Klei nian Groups

    C.J. Bishop and P.W. Jones, “Hausdorff Dimension and Klei nian Groups”, Acta Math. , 179 (1), p.1-39, (1997)

  3. [3]

    Patterso n–Sullivan Theory for Coarse Cocycles

    P.-L. Blayac, R. Canary, F. Zhu, and A. Zimmer, “Patterso n–Sullivan Theory for Coarse Cocycles”, arXiv:2404.09713, (2024)

  4. [4]

    Counting , Mixing and Equidistribution for GPS Systems with Applications to Relatively Anosov Groups

    P.-L. Blayac, R. Canary, F. Zhu, and A. Zimmer, “Counting , Mixing and Equidistribution for GPS Systems with Applications to Relatively Anosov Groups” , arXiv:2404.09718, (2024). 40 ALEKSANDER SKENDERI

  5. [5]

    Entropy Rigidity for Cusped Hitchin Representations

    R.Canary, T.Zhang, and A.Zimmer, “Entropy Rigidity for Cusped Hitchin Representations”, arXiv:2201.04859, (2022)

  6. [6]

    Patterson–Sullivan Measures for Transverse Subgroups

    R. Canary, T.Zhang, and A.Zimmer, “Patterson–Sullivan Measures for Transverse Subgroups”, J. Mod. Dyn. , 20, p.319-377, (2024)

  7. [7]

    Mesures de Patterson–Sullivan Sur le Bor d d’un Espace Hyperbolique au Sens de Gromov

    M. Coornaert, “Mesures de Patterson–Sullivan Sur le Bor d d’un Espace Hyperbolique au Sens de Gromov”, Pacific J. Math. , 159 (2), p.241-270, (1993)

  8. [8]

    Hausdorff dimensions of limit sets I

    K. Corlette, “Hausdorff dimensions of limit sets I”, Invent. Math. , 102, p.521-542, (1990)

Show all 25 references
  1. [9]

    S´ eries de Poinca r´ e des Groupes G´ eom´ etriquement Finis

    F. Dal’bo, J.-P. Otal, and M. Peign´ e, “S´ eries de Poinca r´ e des Groupes G´ eom´ etriquement Finis”, Israel J. Math. , 118, p.109-124, (2000)

  2. [10]

    Ahlfors Regularity of Patte rson–Sullivan Measures of Anosov Groups and Applications,

    S. Dey, D.M. Kim, and H. Oh, “Ahlfors Regularity of Patte rson–Sullivan Measures of Anosov Groups and Applications,” arXiv:2401.12398v4, (2024)

  3. [11]

    Negatively Curved Groups Have the Conver gence. I

    E.M. Freden, “Negatively Curved Groups Have the Conver gence. I.”, Ann. Acad. Sci. Fenn. Ser. A. I Math. , 20 (2), p.333-348, (1995)

  4. [12]

    Anosov Representations and Proper Actions,

    F. Gu´ eritaud, O. Guichard, F. Kassel, and A. Wienhard, “Anosov Representations and Proper Actions,” Geom. Top., 21, p. 485-584, (2017)

  5. [13]

    Anosov Representations: Domains of Discontinuity and Applications

    O. Guichard and A. Wienhard, “Anosov Representations: Domains of Discontinuity and Applications”, Invent. Math. , 190, p.357-438, (2012)

  6. [14]

    Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces , Crm Proceedings & Lecture Notes, American Mathematical Soc

    S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces , Crm Proceedings & Lecture Notes, American Mathematical Soc. (2001)

  7. [15]

    Anosov Subgroups : D ynamical and Geometric Char- acterizations

    M. Kapovich, B. Leeb, and J. Porti, “Anosov Subgroups : D ynamical and Geometric Char- acterizations”, Eur. Math. J. , 3, p.808-898, (2017)

  8. [16]

    Ergodic Dichotomy for Subs pace Flows in Higher Rank,

    D.M. Kim, H. Oh, and Y. W ang, “Ergodic Dichotomy for Subs pace Flows in Higher Rank,” to appear in Comm. Amer. Math. Soc. , (2025)

  9. [17]

    Properly Discontinuous Ac tions, Growth Indicators, and Conformal Measures for Transverse Subgroups,

    D.M. Kim, H. Oh, and Y. W ang, “Properly Discontinuous Ac tions, Growth Indicators, and Conformal Measures for Transverse Subgroups,” arXiv:2306 .06846v7, (2024)

  10. [18]

    Eigenvalue Gaps for Hyperboli c Groups and Semigroups

    F. Kassel and R. Potrie, “Eigenvalue Gaps for Hyperboli c Groups and Semigroups”, J. Mod. Dyn. , 18, p.161-208, (2022)

  11. [19]

    Knapp, Lie Groups Beyond an Introduction , Progress in Mathematics, Birkh¨ auser Boston Inc., (1996)

    A.W. Knapp, Lie Groups Beyond an Introduction , Progress in Mathematics, Birkh¨ auser Boston Inc., (1996)

  12. [20]

    Anosov Flows, Surface Groups and Curves i n Projective Space

    F. Labourie, “Anosov Flows, Surface Groups and Curves i n Projective Space”, Invent. Math. , 165, p.51-114, (2006)

  13. [21]

    The Limit Set of a Fuchsian Group

    S.J. Patterson, “The Limit Set of a Fuchsian Group”, Acta Math. , 136, p. 241-273, (1976)

  14. [22]

    Mesures de Patterson–Sullivan en Rang Su p´ erieur

    J.-F. Quint, “Mesures de Patterson–Sullivan en Rang Su p´ erieur”,Geom. Funct. Anal. , 12, p.776-809, (2002)

  15. [23]

    The Density at Infinity of a Discrete Group of Hyperbolic Motions,

    D. Sullivan, “The Density at Infinity of a Discrete Group of Hyperbolic Motions,” Inst. Hautes ´Etudes Sci. Publ. Math. , 50, p.171-202, (1979)

  16. [24]

    Convergence Groups and Gromov’s Metric Hype rbolic Spaces

    P. Tukia, “Convergence Groups and Gromov’s Metric Hype rbolic Spaces”, New Zealand J. Math. , 23 (2), p.157-187, (1994)

  17. [25]

    Statistically Convex-Cocompact Actions of G roups with Contracting Elements

    W. Yang, “Statistically Convex-Cocompact Actions of G roups with Contracting Elements”, Int. Math. Res. Not. , 23, p. 7259-7323, (2019). Department of Mathematics, University of Wisconsin-Madiso n Email address : askenderi@wisc.edu

Pith tools

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