pith. machine review for the scientific record. sign in

arxiv: 2604.03982 · v1 · submitted 2026-04-05 · 🧮 math.DS · math.DG· math.GT

Recognition: 2 theorem links

· Lean Theorem

Finiteness of Bowen-Margulis-Sullivan Measure for Gromov-Patterson-Sullivan Systems

Rou Wen
Authors on Pith no claims yet

Pith reviewed 2026-05-13 17:23 UTC · model grok-4.3

classification 🧮 math.DS math.DGmath.GT
keywords strongly positive recurrentBowen-Margulis-Sullivan measureGromov-Patterson-Sullivan systemconvergence groupsflow spacescocompact actionhigher rank Lie groups
0
0 comments X

The pith

Convergence groups with a strongly positive recurrent property admit finite Bowen-Margulis-Sullivan measures on flow spaces.

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

The paper defines a strongly positive recurrent property for convergence groups equipped with a continuous Gromov-Patterson-Sullivan system. It establishes that groups meeting this property carry a finite Bowen-Margulis-Sullivan measure on their associated flow spaces. The finiteness is equivalent to the groups admitting a cocompact action on those spaces. This approach produces new examples of subgroups inside higher-rank Lie groups that possess finite BMS measures, going beyond the relatively Anosov case.

Core claim

SPR groups with continuous GPS systems admit a finite BMS measure on their flow spaces, which implies that they admit a cocompact action on these spaces. This notion extends the class of subgroups in higher rank Lie groups that have finite BMS measure beyond relatively Anosov groups.

What carries the argument

The strongly positive recurrent (SPR) property for convergence groups with continuous GPS systems, which guarantees the finiteness of the associated Bowen-Margulis-Sullivan measure.

Load-bearing premise

The groups must possess both a continuous Gromov-Patterson-Sullivan system and satisfy the newly defined strongly positive recurrent property.

What would settle it

An explicit example of a convergence group that satisfies the SPR condition and has a continuous GPS system, yet possesses an infinite BMS measure on the flow space, would disprove the main claim.

read the original abstract

In this paper, we develop a notion of \emph{strongly positive reccurent} (SPR) property for a convergence group with a continuous Gromov-Patterson-Sullivan (GPS) system defined by Blayac-Canary-Zhang-Zimmer. We prove that these SPR groups admits a finite Bowen-Margulis-Sullivan (BMS) measure on some associated flow spaces, which means that dynamically they admit a cocompact action on the flow spaces. This notion of SPR groups gives rise to many new examples of subgroups in higher rank Lie group that admit finite BMS measure beyond relatively Anosov groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 3 minor

Summary. The paper introduces a strongly positive recurrent (SPR) property for convergence groups equipped with a continuous Gromov-Patterson-Sullivan (GPS) system in the sense of Blayac-Canary-Zhang-Zimmer. It proves that groups satisfying SPR admit a finite Bowen-Margulis-Sullivan (BMS) measure on associated flow spaces, which implies that the groups admit cocompact actions on these spaces. The work also produces new examples of subgroups of higher-rank Lie groups with finite BMS measure that lie outside the class of relatively Anosov groups.

Significance. If the main result holds, the introduction of SPR enlarges the known class of groups admitting finite BMS measures and supplies a new criterion that may be applicable to rigidity questions and dynamics on homogeneous spaces. The explicit link to cocompact actions on flow spaces strengthens the dynamical consequences and could facilitate further constructions in geometric group theory.

major comments (1)
  1. §4, main theorem: the argument that the SPR condition forces the BMS measure to be finite must be checked for any implicit dependence on the continuity of the GPS system; if the finiteness step reduces to a standard estimate already available in the GPS literature, this should be stated explicitly rather than derived anew.
minor comments (3)
  1. Abstract: 'reccurent' should be corrected to 'recurrent'.
  2. §2: the definition of SPR should include a short comparison paragraph with the classical notion of positive recurrence for Kleinian groups to clarify the novelty.
  3. Notation: ensure that the flow space and the associated BMS measure are denoted consistently throughout (e.g., avoid switching between M and X without a clarifying sentence).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address the single major comment below and will incorporate the requested clarification in the revised version.

read point-by-point responses

  1. Referee: §4, main theorem: the argument that the SPR condition forces the BMS measure to be finite must be checked for any implicit dependence on the continuity of the GPS system; if the finiteness step reduces to a standard estimate already available in the GPS literature, this should be stated explicitly rather than derived anew.

    Authors: We have re-examined the proof of the main theorem in §4. The finiteness of the BMS measure under the SPR condition does use the continuity of the GPS system to control the relevant Patterson-Sullivan measures and to obtain the necessary integrability estimates. The core finiteness step, however, reduces to a standard estimate already available in the continuous GPS literature (specifically, the results of Blayac-Canary-Zhang-Zimmer on the existence and properties of the BMS measure for continuous systems). In the revised manuscript we will add an explicit remark at the beginning of §4 stating this dependence on continuity and citing the standard estimate from the GPS literature rather than re-deriving it in full. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines the SPR property as a new condition on convergence groups that already possess a continuous GPS system from the external reference Blayac-Canary-Zhang-Zimmer. The finiteness of the BMS measure is then proved as a theorem from this definition together with the associated flow-space construction. No step reduces a prediction or central claim to a fitted parameter, self-citation chain, or ansatz imported from the authors' own prior work; the derivation remains independent of its own outputs and rests on externally supplied GPS data.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Review based on abstract only; full list of assumptions and derivations unavailable. Relies on standard background in convergence groups and prior GPS constructions.

axioms (1)
  • domain assumption Existence of a continuous Gromov-Patterson-Sullivan system for the convergence group
    Invoked from prior work by Blayac-Canary-Zhang-Zimmer
invented entities (1)
  • Strongly positive recurrent (SPR) property no independent evidence
    purpose: Condition ensuring finiteness of the BMS measure
    New notion introduced in the paper to obtain the stated result

pith-pipeline@v0.9.0 · 5398 in / 1116 out tokens · 41948 ms · 2026-05-13T17:23:09.420667+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • Cost/FunctionalEquation washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We generalize the positive recurrence condition... into the higher rank setting... strongly positively recurrent if δ_∞(Γ)<δ_ϕ(Γ). ... If Γ is SPR, then m_BMS(Γ/Ω̃_Γ) is finite.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Counting, mixing and equidis- tribution for GPS systems with applications to relatively Anosov groups.arXiv e-prints, page arXiv:2404.09718, April 2024

    Pierre-Louis Blayac, Richard Canary, Feng Zhu, and Andrew Zimmer. Counting, mixing and equidis- tribution for GPS systems with applications to relatively Anosov groups.arXiv e-prints, page arXiv:2404.09718, April 2024

    work page arXiv 2024

  2. [2]

    Patterson-Sullivan theory for coarse cocycles.arXiv e-prints, page arXiv:2404.09713, April 2024

    Pierre-Louis Blayac, Richard Canary, Feng Zhu, and Andrew Zimmer. Patterson-Sullivan theory for coarse cocycles.arXiv e-prints, page arXiv:2404.09713, April 2024

    work page arXiv 2024

  3. [3]

    Ergodicity and equidistribution in Hilbert geometry.arXiv e-prints, page arXiv:2106.08079, June 2021

    Pierre-Louis Blayac and Feng Zhu. Ergodicity and equidistribution in Hilbert geometry.arXiv e-prints, page arXiv:2106.08079, June 2021. FINITENESS OF BMS MEASURE 31

    work page arXiv 2021

  4. [4]

    The bottom of the spectrum of a riemannian covering.Journal f¨ ur die reine und ange- wandte Mathematik, 357:101–114, 1985

    Robert Brooks. The bottom of the spectrum of a riemannian covering.Journal f¨ ur die reine und ange- wandte Mathematik, 357:101–114, 1985

    work page 1985

  5. [5]

    Patterson-Sullivan measures for transverse sub- groups.arXiv e-prints, page arXiv:2304.11515, April 2023

    Richard Canary, Tengren Zhang, and Andrew Zimmer. Patterson-Sullivan measures for transverse sub- groups.arXiv e-prints, page arXiv:2304.11515, April 2023

    work page arXiv 2023

  6. [6]

    Patterson-Sullivan measures for relatively Anosov groups.arXiv e-prints, page arXiv:2308.04023, August 2023

    Richard Canary, Andrew Zimmer, and Tengren Zhang. Patterson-Sullivan measures for relatively Anosov groups.arXiv e-prints, page arXiv:2308.04023, August 2023

    work page arXiv 2023

  7. [7]

    S´ eries de poincar´ e des groupes g´ eom´ etriquement finis.Israel Journal of Mathematics, 118:109–124, 04 2012

    Fran¸ coise Dal’bo, Jean-Pierre Otal, and Peign´ e Marc. S´ eries de poincar´ e des groupes g´ eom´ etriquement finis.Israel Journal of Mathematics, 118:109–124, 04 2012

    work page 2012

  8. [8]

    Combination theorems in convex projective geometry.arXiv e-prints, page arXiv:2407.09439, July 2024

    Jeffrey Danciger, Fran¸ cois Gu´ eritaud, and Fanny Kassel. Combination theorems in convex projective geometry.arXiv e-prints, page arXiv:2407.09439, July 2024

    work page arXiv 2024

  9. [9]

    Klein-Maskit combination theorem for Anosov subgroups: Amal- gams.arXiv e-prints, page arXiv:2301.02354, January 2023

    Subhadip Dey and Michael Kapovich. Klein-Maskit combination theorem for Anosov subgroups: Amal- gams.arXiv e-prints, page arXiv:2301.02354, January 2023

    work page arXiv 2023

  10. [10]

    Critical exponents of normal subgroups, the spectrum of group extended transfer operators, and Kazhdan distance.arXiv e-prints, page arXiv:1702.06115, February 2017

    Rhiannon Dougall. Critical exponents of normal subgroups, the spectrum of group extended transfer operators, and Kazhdan distance.arXiv e-prints, page arXiv:1702.06115, February 2017

    work page arXiv 2017

  11. [11]

    Dehn filling in relatively hyperbolic groups.arXiv Mathematics e-prints, page math/0601311, January 2006

    Daniel Groves and Jason Fox Manning. Dehn filling in relatively hyperbolic groups.arXiv Mathematics e-prints, page math/0601311, January 2006

    work page arXiv 2006

  12. [12]

    Kim and Hee Oh

    Dongryul M. Kim and Hee Oh. Relatively anosov groups: finiteness, measure of maximal entropy, and reparameterization.Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 2025(826):91– 142, 2025

    work page 2025

  13. [13]

    Margulis and Richard Sharp.On Some Aspects of the Theory of Anosov Systems : With a Survey by Richard Sharp: Periodic Orbits of Hyperbolic Flows / by Grigorii A

    Grigorii A. Margulis and Richard Sharp.On Some Aspects of the Theory of Anosov Systems : With a Survey by Richard Sharp: Periodic Orbits of Hyperbolic Flows / by Grigorii A. Margulis.Springer Monographs in Mathematics. Springer Berlin Heidelberg, Berlin, Heidelberg, 1st ed. 2004. edition, 2004

    work page 2004

  14. [14]

    On klein’s combination theorem.Transactions of the American Mathematical Society, 120(3):499–509, 1965

    Bernard Maskit. On klein’s combination theorem.Transactions of the American Mathematical Society, 120(3):499–509, 1965

    work page 1965

  15. [15]

    S. J. Patterson. The limit set of a Fuchsian group.Acta Mathematica, 136(none):241 – 273, 1976

    work page 1976

  16. [16]

    On the patterson-sullivan measure of some discrete group of isometries.Israel Journal of Mathematics, 133:77–88, 12 2003

    Marc Peign´ e. On the patterson-sullivan measure of some discrete group of isometries.Israel Journal of Mathematics, 133:77–88, 12 2003

    work page 2003

  17. [17]

    J.-F. Quint. Mesures de Patterson—Sullivan en rang sup´ erieur.Geometric & Functional Analysis GAFA, 12(none):776 – 809, 2002

    work page 2002

  18. [18]

    Flat strips, Bowen-Margulis measures, and mixing of the geodesic flow for rank one CAT(0) spaces.arXiv e-prints, page arXiv:1410.3921, October 2014

    Russell Ricks. Flat strips, Bowen-Margulis measures, and mixing of the geodesic flow for rank one CAT(0) spaces.arXiv e-prints, page arXiv:1410.3921, October 2014

    work page arXiv 2014

  19. [19]

    T. Roblin. Un th´ eor` eme de Fatou pour les densit´ es conformes avec applications aux revˆ etements ga- loisiens en courbure n´ egative.Israel Journal of Mathematics, 147:333–358, 2005

    work page 2005

  20. [20]

    Number 95 in M´ emoires de la Soci´ et´ e Math´ ematique de France

    Thomas Roblin.Ergodicit´ e et ´ equidistribution en courbure n´ egative. Number 95 in M´ emoires de la Soci´ et´ e Math´ ematique de France. Soci´ et´ e math´ ematique de France, 2003

    work page 2003

  21. [21]

    Thermodynamic formalism for null recurrent potentials.Israel Journal of Mathematics, 121:285–311, 12 2001

    Omri Sarig. Thermodynamic formalism for null recurrent potentials.Israel Journal of Mathematics, 121:285–311, 12 2001

    work page 2001

  22. [22]

    Omri M. Sarig. Thermodynamic formalism for countable markov shifts.Ergodic Theory and Dynamical Systems, 19(6):1565–1593, December 1999

    work page 1999

  23. [23]

    Finiteness of gibbs measures on noncompact manifolds with pinched negative curvature.arXiv e-prints, page arXiv:1610.03255, October 2016

    Barbara Schapira and Vincent Pit. Finiteness of gibbs measures on noncompact manifolds with pinched negative curvature.arXiv e-prints, page arXiv:1610.03255, October 2016

    work page arXiv 2016

  24. [24]

    Regularity of entropy, geodesic currents and entropy at infinity

    Barbara Schapira and Samuel Tapie. Regularity of entropy, geodesic currents and entropy at infinity. arXiv e-prints, page arXiv:1802.04991, February 2018

    work page arXiv 2018

  25. [25]

    Entropy, Hausdorff measures old and new, and limit sets of geometrically finite Kleinian groups.Acta Mathematica, 153(none):259 – 277, 1984

    Dennis Sullivan. Entropy, Hausdorff measures old and new, and limit sets of geometrically finite Kleinian groups.Acta Mathematica, 153(none):259 – 277, 1984

    work page 1984

  26. [26]

    Convergence groups and Gromov’s metric hyperbolic spaces.New Zealand Journal of Mathematics, 23 (2):157–187, 1994

    Pekka Tukia. Convergence groups and Gromov’s metric hyperbolic spaces.New Zealand Journal of Mathematics, 23 (2):157–187, 1994

    work page 1994

  27. [27]

    Conical limit points and uniform convergence groups.Crelle’s Journal, 1998:71–98, 1998

    Pekka Tukia. Conical limit points and uniform convergence groups.Crelle’s Journal, 1998:71–98, 1998

    work page 1998

  28. [28]

    Sublinearly Morseness in Higher Rank Symmetric Spaces.arXiv e-prints, page arXiv:2504.12448, April 2025

    Rou Wen. Sublinearly Morseness in Higher Rank Symmetric Spaces.arXiv e-prints, page arXiv:2504.12448, April 2025. 32 ROU WEN

    work page arXiv 2025

  29. [29]

    Relatively Anosov representations via flows I: theory.arXiv e-prints, page arXiv:2207.14737, July 2022

    Feng Zhu and Andrew Zimmer. Relatively Anosov representations via flows I: theory.arXiv e-prints, page arXiv:2207.14737, July 2022. Department of Mathematics, University of Wisconsin, Madison Email address:rwen5@wisc.edu

    work page arXiv 2022