{"id":"5308bed7-f985-4c15-a172-d5987f085b34","arxiv_id":"2508.08111","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A simultaneous Abels-Margulis-Soifer lemma: finitely many linear and Gromov-hyperbolic representations of a semigroup admit a common finite multiplier set forcing uniform proximality in all projective spaces and Gromov boundaries at once.","lead":"This paper proves a common finite-multiplier lemma: a semigroup acting on several vector spaces and hyperbolic spaces at once has one fixed finite set of multipliers that makes any element uniformly proximal in all actions. It extends the classical Abels-Margulis-Soifer tool to non-proper Gromov boundaries, with consequences for Anosov representations and joint spectra.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest assumption identifies the DSU-based hyperbolic machinery as the most external point of the proof. I agree that this is the part of the argument most dependent on outside results, but I do not find it a failing concern: the citations are precise, and the statements used (existence of Bourdon metrics with two-sided comparison, Busemann estimates, shadow estimates) are standard for non-proper Gromov hyperbolic spaces. I also examined the internal reductions that could hide gaps: Lemma 5.2's preservation of strong irreducibility, Proposition 4.4's move-away argument, and the pigeonhole step in Theorem 5.1 for the lineal factors. Each is valid; the only observed issues are minor notational slips (e.g. a β/β′ ambiguity in the contraction observation of Section 5.2) that do not affect the argument. Therefore the verdict ACCEPT with moderate confidence is appropriate, and no adjustment is needed.","tokens_in":31183,"tokens_out":42405,"duration_ms":455163,"concrete_test":"Spot-check Proposition 3.1 against [DSU, Lem. 4.5.6] in a non-geodesic example (e.g. an R-tree boundary) to confirm the shadow Lipschitz constant is independent of the isometry and that no geodesicity assumption is used. Also re-derive the finite-union image claim in Lemma 5.2 using Γ = S_0^{-1}Γ_0 to verify that strong irreducibility of Γ passes to Γ_0.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is well supported. The proof of Theorem 1.5 is internally coherent: Proposition 3.1 supplies the needed uniform contraction on non-proper Gromov boundaries, Lemmas 3.5–3.8 adapt the linear arguments, Proposition 4.4 establishes transversality, Section 6 produces a simultaneously proximal element, and Section 7 derives the flag-variety and length-control corollaries. The main external reliance is on [DSU] for the Bourdon metric and Busemann estimates; these are cited precisely and are standard for non-geodesic Gromov hyperbolic spaces. I checked the key reduction Lemma 5.2: although its proof is terse, the finite-union image claim is justified by writing Γ = S_0^{-1}Γ_0 using the finite quotient of Γ by Γ_0, so strong irreducibility passes to Γ_0. I found no circular step, missing proof, or load-bearing gap.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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).","tokens_in":31318,"tokens_out":3593,"duration_ms":44457,"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.","major_comments":[],"minor_comments":[{"comment":"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).","section":"§3.6, proof of Lemma 3.6"},{"comment":"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.","section":"§5.1, Lemma 5.2"},{"comment":"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.","section":"§6.1, Step 1"},{"comment":"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.","section":"Remark 1.7"}],"recommendation":"accept","confidential_remarks":"The paper is well within the scope of a general mathematics journal with a group-theoretic/dynamical readership. The self-citations are contextual and not load-bearing. I see no novelty-disclosure or citation-pattern issues. The reliance on [DSU] for the non-proper hyperbolic theory is standard and precisely cited."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe thing to know: Theorem 1.5 is a real extension of the Abels–Margulis–Soifer lemma, not a repackaging. The classical fact handles several linear representations; this paper adds simultaneous proximality on Gromov boundaries of non-proper hyperbolic spaces, and proves it in the same package as the linear representations. Corollary 1.8, the simultaneous control of Cartan and Jordan projections together with word length and stable length, is the payoff that people working on Anosov representations will cite.\n\nThe proof is honest and self-contained. Proposition 3.1 is the right quantitative analogue of the Cartan decomposition: shadows plus Bourdon metric give uniform contraction with the same shape as the linear case. Lemmas 3.5–3.8 adapt the linear arguments cleanly, the lineal case via Lemma 3.8 is handled, and Section 6's induction producing a simultaneously proximal element works. Section 7's flag variety version follows from the Tits embedding, and the proof of Corollary 1.8 avoids any hidden use of the authors' own prior results; the linear part is reproved inside the paper, not imported.\n\nThe main external reliance is [DSU] for the Bourdon metric, the two-sided comparison (3.4), and the Busemann estimates in Lemma 3.6. That is standard material for non-proper Gromov hyperbolic spaces, and the citations are precise. If some of those results failed for non-geodesic spaces, the hyperbolic part would collapse, but I have no reason to think they do.\n\nThe weak spots are minor. Lemma 5.2's proof is terse, but the finite-union argument works: writing Γ = S0^{-1}Γ0 via the finite quotient, strong irreducibility passes to Γ0. There is a stray exponent in Lemma 4.2 and an over-broad min index set in Proposition 6.1 Step 1; both are harmless. The proof of Theorem 5.1 is dense in the middle, but the logic is correct.\n\nVerdict: this deserves a serious referee. The paper is aimed at geometric group theorists and Lie theorists; the result is new, the argument is verifiable, and the applications are already there. I would send it to peer review and expect only minor revisions.","headline":"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.","tokens_in":31869,"tokens_out":1920,"would_cite":true,"duration_ms":22611,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20F67","22E40"],"pacs":[],"model":"deepseek-v4-flash","headline":"A fixed finite subset of a semigroup makes every element uniformly proximal in all linear and Gromov-hyperbolic actions at once.","keywords":["Abels-Margulis-Soifer lemma","proximality","semigroup actions","Gromov hyperbolic spaces","Bourdon metric","Cartan projection","flag varieties","uniform contraction"],"falsifier":"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.","tokens_in":1684,"feed_emoji":"📐","tokens_out":8356,"duration_ms":131440,"temperature":0.7,"pith_summary":"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.","feed_headline":"One finite set makes every element uniformly proximal at once","feed_subtitle":"Extends the Abels-Margulis-Soifer lemma to non-compact Gromov boundaries, with applications to length comparisons.","key_machinery":"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","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the original Abels-Margulis-Soifer lemma and its proof scheme, which this paper extends to simultaneous linear and hyperbolic actions.","marker":"[AMS]"},{"why":"Provides the linear uniform contraction property and the sufficient condition for $(r,\\varepsilon)$-proximality used in Section 2.","marker":"[Be2]"},{"why":"Provides the theory of non-proper Gromov hyperbolic spaces: Bourdon metric, shadow diameter estimates, Busemann function estimates, and the classification of subsemigroups.","marker":"[DSU]"},{"why":"Supplies the covering lemma used in Lemma 4.5 to prove that condition (*) always holds.","marker":"[N]"},{"why":"Provides convergence properties of attractors, proximality criteria in flag varieties, and the Cartan/Jordan projection background used in Corollary 1.8.","marker":"[GGKW]"}],"fun_headline_variants":["One finite set yields uniform proximality everywhere","Simultaneous proximality for all semigroup actions","Fixed finite subset forces uniform proximality","Uniform proximality in all representations at once","A single finite set tames every element"],"cache_read_input_tokens":33792,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["One finite set yields uniform proximality everywhere","Simultaneous proximality for all semigroup actions","Fixed finite subset forces uniform proximality","Uniform proximality in all representations at once","A single finite set tames every element"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000123,"raw_usage":{"total_tokens":905,"prompt_tokens":678,"completion_tokens":227,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":422,"completion_tokens_details":{"reasoning_tokens":160}},"tokens_in":422,"tokens_out":227,"duration_ms":2945,"temperature":1.0,"reasoning_tokens":160,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T21:39:24.761153+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}