Pith. sign in

REVIEW 4 minor 7 references

A simultaneous Abels-Margulis-Soifer lemma

T0 review · 0 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read A fixed finite subset of a semigroup makes every element uniformly proximal in all linear and Gromov-hyperbolic actions at once.

desk verdict A clean, genuinely new extension of the AMS lemma to non-proper Gromov hyperbolic boundaries, with the linear case reproved in the same framework; the main theorem is sound and the applications justify a serious referee. read the letter →

arxiv 2508.08111 v2 pith:Z5UO3BJR submitted 2025-08-11 math.GR

Fanny Kassel , Rafael Potrie This is my paper · ORCID
classification math.GR MSC 20F6722E40
keywords Abels-Margulis-SoiferlemmaproximalitysemigroupactionsGromovhyperbolicspacesBourdonmetricCartanprojectionflagvarietiesuniformcontraction
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

This paper proves a simultaneous version of the Abels–Margulis–Soifer lemma. Given a semigroup acting strongly irreducibly on finitely many real vector spaces and acting on finitely many (not necessarily proper) Gromov hyperbolic metric spaces, with the boundary action having no unique global fixed point and containing a proximal element in each factor, there is a fixed finite subset of the semigroup such that every element can be multiplied on the right by an element of that subset and become uniformly proximal in every projective space and every Gromov boundary at once. The result matters because uniform proximality is the engine behind comparing Jordan and Cartan projections in Lie theory and behind controlling stable lengths, and the non-proper setting includes R-trees and infinite-dimensional hyperbolic spaces where boundary compactness fails. The proof supplies quantitative contraction estimates in both linear and hyperbolic settings and shows that transversality can be created simultaneously by finitely many moves.

What carries the argument

The engine is a uniform contraction property in both settings: for linear representations it comes from the Cartan decomposition and yields a $De^{-(\mu_1-\mu_2)(g)}$-Lipschitz contraction on the complement of a projective hyperplane; for Gromov hyperbolic spaces it comes from shadow lemmas and the Bourdon metric and yields a $Da^{-d_M(o,g\cdot o)}$-Lipschitz contraction on the complement of a shadow. A sufficient condition lemma turns these contraction properties into $(r,\varepsilon)$-proximality, and a combinatorial 'moving points away' argument (condition (*), proved via a covering lemma) arranges that finitely many chosen semigroup elements create transversality in all representations s

What would settle it

Exhibit a non-proper Gromov hyperbolic space $M$ and a sequence of isometries $g_n$ with $d_M(o,g_n o)\to\infty$ such that the image of $B^{\varepsilon}_{Y^-_{g_n}}$ is not contained in a ball of radius $D a^{-d_M(o,g_n o)}$ around $y^+_{g_n}$, contradicting Proposition 3.1 and thereby invalidating the uniform contraction step that Theorem 1.5 depends on.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.5: if a semigroup has strongly irreducible linear representations on finitely many vector spaces, each containing a proximal element, and isometric actions on finitely many Gromov hyperbolic spaces whose boundary actions have no unique global fixed point and contain a proximal element, then some fixed finite subset $S$ of the semigroup makes every element uniformly $(r,\varepsilon)$-proximal in all projective spaces and all Gromov boundaries simultaneously. It also proves Corollary 1.8, a simultaneous comparison of Cartan and Jordan projections with displacement and stable length, and Theorem 7.1 for flag varieties of real reductive groups.

Load-bearing premise

The load-bearing premise is that the quantitative boundary-dynamics toolkit from the theory of non-proper Gromov hyperbolic spaces—Bourdon metric, shadow diameter bounds, and Busemann function estimates—applies to arbitrary Gromov hyperbolic metric spaces, not just proper geodesic ones; if those estimates fail in some non-proper case, the hyperbolic part of the theorem collapses.

Editorial extensions

If this is right

  • For any element $\gamma$, multiplying by a fixed finite set $S$ makes it uniformly proximal in all linear and boundary representations at once, with the same quantitative parameters $r$ and $\varepsilon$.
  • The Cartan projection and Jordan projection of $\rho(\gamma s)$ differ by a uniform constant, and simultaneously the stable length $|\gamma s|_{M,\infty}$ differs from the displacement $|\gamma s|_M$ by a uniform constant, in any product of Gromov hyperbolic spaces.
  • In a Zariski-dense semigroup of a real reductive group, uniform proximality in the flag variety $G/P$ can be achieved simultaneously with boundary proximality in hyperbolic spaces.
  • The result applies to relatively hyperbolic groups acting on cusped spaces, giving a simultaneous comparison of cusped word length and stable cusped word length.

Reading between the lines

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

  • The same scheme should extend to other boundary-like compactifications that admit shadow estimates with exponential contraction in displacement, such as products of hyperbolic spaces or certain CAT(0) boundaries.
  • A natural testable extension is to quantify how the cardinality of the finite set $S$ depends on the number of representations and the hyperbolicity constants; the proof indicates a polynomial-type dependence.
  • The paper's Remark 1.7 shows the no-unique-global-fixed-point hypothesis is necessary; one could explore whether a weaker 'no global fixed point in a given closed subset of the boundary' condition can replace it.
  • Corollary 1.8 supplies a simultaneous length comparison that may yield new eigenvalue-gap results for relatively hyperbolic groups, in the spirit of existing applications to Anosov representations.
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.

Referee Report

0 major / 4 minor

Summary. The paper proves a simultaneous Abels–Margulis–Soifer lemma for semigroups acting on several finite-dimensional real vector spaces and on several (not necessarily proper or geodesic) Gromov hyperbolic metric spaces. The main theorem, Theorem 1.5, states that under strong irreducibility plus proximality assumptions on each linear representation, and under the absence of a unique global fixed point plus proximality assumptions on each hyperbolic-space action, there is a uniform r_0 and a finite subset S of the semigroup such that every element can be multiplied on the right by an element of S to become uniformly (r,ε)-proximal in all projective spaces and all Gromov boundaries simultaneously. The proof adapts the Abels–Margulis–Soifer scheme: it establishes a uniform contraction property for isometries of non-proper Gromov hyperbolic spaces using shadows and Bourdon metrics, proves a transversality lemma in the simultaneous setting, shows the existence of a simultaneously proximal element, and then derives the main theorem. Sections 7 applies the result to flag varieties of real reductive groups and proves a simultaneous control of lengths (Corollary 1.8).

Significance. This is a natural and useful simultaneous version of a cornerstone result in the dynamics of linear semigroups. Its extension to non-proper Gromov hyperbolic spaces is technically nontrivial, and the combination of linear and hyperbolic actions in a single proximality statement will be valuable for applications to Anosov representations, joint spectra, and eigenvalue-gap questions. The proof is detailed and self-contained where it matters: the linear case is reproved, the key shadow and Bourdon-metric estimates are quoted precisely from [DSU], and the argument contains no fitted parameters or circular dependence on the authors' earlier results. The paper also carefully identifies which parts of the hyperbolic theory require non-proper/non-geodesic assumptions, and it includes explicit remarks on the necessity of its hypotheses.

minor comments (4)
  1. [§3.6, proof of Lemma 3.6] The notation B_{x^-_g}(o|g^{-1}·o) is inconsistent with the definition of the Busemann function in (3.5); it should be B_{x^-_g}(o, g^{-1}·o). The same issue occurs a few lines later for B_{x^+_g}(o|g^{-1}·o).
  2. [§5.1, Lemma 5.2] The proof that ρ_i(Γ_0) remains strongly irreducible is terse. The argument via finite unions and the finite set S_0 is correct, but a sentence explaining that ρ_i(Γ)-invariance of the finite union follows from Γ = S_0 Γ_0, and hence strong irreducibility passes to Γ_0, would help the reader.
  3. [§6.1, Step 1] In the proof of proximality of γ = βγ_0β'γ_1, the displayed inclusion in observation (3) of the second block uses a factor D^2 ε'/2; the preceding estimate gives D^2 ε' with a possible factor 1/2. This is a harmless constant-tracking issue, but tightening the notation would avoid confusion.
  4. [Remark 1.7] The counterexample showing that the assertion fails when a factor has a unique global fixed point is only sketched. A concrete family of hyperbolic elements whose repelling points accumulate at the unique fixed point would make the remark more convincing, though the claim itself is plausible.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; self-citations are contextual and not load-bearing.

full rationale

The central derivation of Theorem 1.5 is self-contained: the paper reproves the linear Abels-Margulis-Soifer mechanism rather than importing it (Section 2), develops the hyperbolic analogues from the external monograph [DSU] (Section 3), proves the transversality condition (*) from strong irreducibility/general type (Proposition 4.4), and establishes the required simultaneously proximal element (Section 6). The only places where the authors' own work is cited are contextual ([KP, Rem. 4.4] announcing Corollary 1.8; [KSS] as motivation) or standard published lemmas ([GGKW], [BPS]) whose proofs do not rely on the present theorem. No fitted parameter is renamed as a prediction, no conclusion is used as a hypothesis, and no uniqueness/ansatz is imported from the authors' own prior work. The reliance on [DSU] for the Bourdon metric and Busemann estimates is external, explicitly stated, and not equivalent to the target result. I therefore find no circular step; the score reflects only the presence of minor, non-load-bearing self-citations.

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

Pure mathematics with no empirical fitting. All constants (D, C, epsilon, r) are produced by compactness and uniform estimates, not fitted to data. There are no new postulated entities. The axioms above are standard theorems in Gromov hyperbolic geometry and algebraic group theory, cited from the literature.

assumptions (4)
  • standard math Gromov hyperbolicity theory for non-proper spaces from [DSU]: Bourdon metric on the boundary with (3.4), Busemann function estimates (3.3), classification of subsemigroups of Isom(M) (elliptic/parabolic/focal/lineal/general type), and shadow lemmas (Lemma 3.2).
    Loaded in Section 3: Proposition 3.1, Lemma 3.6 and Section 3.1.5 rely on these external results, which are not proved in the paper.
  • standard math For a strongly irreducible semigroup of GL(V), the set of elements moving given finite sets into general position is a nonempty Zariski open subset; Zariski closure of a semigroup is a group ([BQ, Sec. 6.1]).
    Used in Proposition 4.4 to produce the element gamma satisfying condition (*).
  • standard math Zariski-dense subsemigroups of reductive groups contain proximal elements in each fundamental representation ([GM, GR, BL, P]).
    Used in Sections 7.2-7.3 to apply Theorem 1.5 to flag varieties.
  • standard math Properties of Cartan and Jordan projections for real reductive groups, including (7.1) and the fact that fundamental weights restrict to a basis of the dual of the semisimple part of the Cartan subspace.
    Used in the proof of Corollary 1.8 to convert (r,epsilon)-proximality into a bounded Cartan-Jordan distance.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A simultaneous Abels-Margulis-Soifer lemma." pith.science (2026). https://pith.science/paper/Z5UO3BJR

@misc{pith2026250808111,
  author       = {Pith},
  title        = {Pith review of: A simultaneous Abels-Margulis-Soifer lemma},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z5UO3BJR}},
  note         = {Machine review of arXiv:2508.08111}
}
abstract

The Abels-Margulis-Soifer lemma states that if a semigroup $\Gamma$ acts strongly irreducibly by linear transformations on a finite-dimensional real vector space, then any element of $\Gamma$ can be multiplied by an element of some fixed finite subset of $\Gamma$ so that it becomes proximal (i.e. it acts on the corresponding projective space with an attracting fixed point and a repelling projective hyperplane) and even uniformly proximal (i.e. the distance between the attracting fixed point and the repelling projective hyperplane is uniformly bounded from below and the contraction towards the attracting fixed point is uniformly strong). We prove a version of this lemma simultaneously for linear representations of a semigroup $\Gamma$, acting on the corresponding projective spaces, and for representations of $\Gamma$ to isometry groups of (not necessarily proper) Gromov hyperbolic metric spaces, acting on the corresponding Gromov boundaries.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 6 canonical work pages

  1. [1]

    Abels, G

    [AMS]H. Abels, G. A. Margulis, G. A. Soifer,Semigroups containing proximal linear maps, Israel J. Math. 91 (1995), p. 1–30. [Be]Y. Benoist,Propri´ et´ es asymptotiques des groupes lin´ eaires, Geom. Funct. Anal. 7 (1997), p. 1–47. [Be2]Y. Benoist,Sous-groupes discrets des groupes de Lie, notes from the Eu- ropean Summer School in Group Theory, Luminy, 199...

    work page 1995

  2. [467]

    Breuillard, C

    [BS]E. Breuillard, C. Sert,The joint spectrum, J. Lond. Math. Soc. 103 (2021), p. 943–990. [BH]M. R. Bridson, A. Haefliger,Metric spaces of non-positive curvature, Grundlehren der mathe- matischen Wissenschaften, vol. 319, Springer-Verlag, Berlin,

    work page 2021

  3. [1999]

    Canary, K

    [CT]R. Canary, K. Tsouvalas,Topological restrictions on Anosov representations, J. Topol. 13 (2020), p. 1497–1520. [Coo]M. Coornaert,Mesures de Patterson-Sullivan sur le bord d’un espace hyperbolique au sens de Gromov, Pacific J. Math. 159 (1993), p. 241–270. [CCMT]P.-E. Caprace, Y. de Cornulier, N. Monod, R. TesseraAmenable hyperbolic groups, J. Eur. Mat...

    work page 2020

  4. [2002]

    Maher, G

    [MT]J. Maher, G. Tiozzo,Random walks on weakly hyperbolic groups, J. Reine Angew. Math. 742 (2018), p. 187–239. [N]B. H. Neumann,Groups covered by permutable subsets, J. Lond. Math. Soc. 29 (1954), p. 236–248. [O]E. Oreg ´on-Reyes,Properties of sets of isometries of Gromov hyperbolic spaces, Groups Geom. Dyn. 12 (2018), p. 889–910. [P]G. Prasad,R-regular ...

    work page 2018

  5. [2011]

    Delzant, P

    [DP]T. Delzant, P. Py,K¨ ahler groups, real hyperbolic spaces and the Cremona group, Compos. Math. 148 (2012), p. 153–184. [FSU]L. Fishman, D. Simmons, M. Urba ´nski,Diophantine approximation and the geometry of limit sets in Gromov hyperbolic metric spaces, Memoirs of the American Mathematical Society, vol. 254, no. 1215, American Mathematical Society, P...

    work page 2012

  6. [2016]

    Bochi, R

    [BPS]J. Bochi, R. Potrie, A. Sambarino,Anosov representations and dominated splittings, J. Eur. Math. Soc. 21 (2019), p. 3343–3414. [BT]A. Borel, J. Tits,Groupes r´ eductifs, Publ. Math. Inst. Hautes ´Etudes Sci. 27 (1965), p. 55–151. [BHW]J. Bowden, S. Hensel, R. Webb,Quasi-morphisms on surface diffeomorphism groups, J. Amer. Math. Soc. 35 (2022), p. 211...

    work page 2019

  7. [2018]

    Gol’dsheid, G

    [GM]I. Gol’dsheid, G. A. Margulis,Lyapunov indices of a product of random matrices, Russ. Math. Surveys 44 (1989), p. 11–71. [G]S. Gou ¨ezel,Exponential bounds for random walks on hyperbolic spaces without moment conditions, Tunisian J. Math. 4 (2022), p. 635–671. [GGKW]F. Gu ´eritaud, O. Guichard, F. Kassel, A. Wienhard,Anosov representations and proper ...

    arXiv 1989

Pith tools

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