arxiv: 2604.22412 · v2 · submitted 2026-04-24 · 🧮 math.GR · math.FA· math.OA

Recognition: unknown

Uniform amenability at infinity

Narutaka Ozawa

Authors on Pith no claims yet

Pith reviewed 2026-05-08 09:13 UTC · model grok-4.3

classification 🧮 math.GR math.FAmath.OA

keywords uniform exactnessamenability at infinitydiscrete groupsfree groupslimit groupsmarked groupsstrong convergencespectral radius

0 comments

The pith

Uniform exactness holds for free groups and their limit groups, showing strong convergence for marked group sequences in the operator algebraic sense.

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

The paper introduces the notion of uniform exactness, or uniform amenability at infinity, for discrete groups. It proves this for free groups and limit groups among others. This establishes a strong convergence phenomenon where sequences converging in the marked groups space converge strongly operator-algebraically. The spectral radius formula converges uniformly for probability measures with fixed support cardinality on these groups. This matters because it provides a uniform control over analytic properties under group limits.

Core claim

We introduce the notion of uniform exactness, or uniform amenability at infinity, for discrete groups and prove it for a wide class of groups containing free groups and their limit groups. This shows a novel strong convergence phenomenon that any convergent sequence of such groups in the space of marked groups converges strongly in the operator algebraic sense. In particular, convergence of the spectral radius formula is uniform over probability measures on such groups whose supports have a fixed cardinality.

What carries the argument

Uniform exactness, a property of discrete groups ensuring uniform amenability at infinity, which is proven for the class containing free groups and limit groups and used to derive the strong convergence.

If this is right

Convergent sequences of free groups and limit groups in the marked groups space converge strongly in the operator algebraic sense.
Convergence of the spectral radius formula is uniform over all probability measures whose supports have a fixed cardinality.
This strong convergence phenomenon holds for the wide class of groups satisfying uniform exactness.
Any such convergent sequence exhibits the uniform behavior without dependence on additional parameters.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Uniform exactness may provide a tool to study continuity of other operator algebraic invariants under limits of groups.
Similar strong convergence could be investigated for other sequences in the space of marked groups if the property extends.
The result suggests that amenability at infinity can be made uniform to control convergence rates or uniformity in approximations.

Load-bearing premise

The definition of uniform exactness correctly identifies the groups that are uniformly amenable at infinity, and this class includes free groups and limit groups as stated.

What would settle it

Discovery of a convergent sequence in the space of marked free groups where the operator algebraic convergence fails to be strong or the spectral radius convergence is not uniform over fixed-cardinality support measures.

read the original abstract

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.

Desk Editor's Note private letter to a colleague

Ozawa introduces uniform exactness for discrete groups, proves it for free groups and limits, and derives uniform strong convergence in the marked group space to operator-algebraic convergence.

read the letter

Ozawa introduces uniform exactness, or uniform amenability at infinity, for discrete groups and proves it for free groups and their limit groups. This yields a strong convergence result: sequences of such groups that converge in the marked group topology also converge strongly in the operator algebra sense, with the spectral radius formula converging uniformly for probability measures whose supports have fixed cardinality. The new element is the uniform version of the exactness property that gives control across convergent sequences rather than for single groups. It takes standard ideas from amenability and exactness and adds the uniformity needed to pass marked-group limits to C*-algebraic strong convergence. The paper sets up the definitions cleanly and verifies the property for the free-group class using tools that fit their known actions and representations. The logic holds together without circularity or internal contradictions. The proofs stay within the stated class and use established group-theoretic facts. A minor limitation is that the uniformity is tied to this specific class and to measures with bounded support size, so it does not immediately give uniform control for arbitrary groups or arbitrary measures. The paper does not overclaim broader applicability, so this is not a gap in the argument itself. The work targets researchers in geometric group theory and operator algebras who study limits of groups and spectral properties of their representations. Readers working on marked groups or C*-algebras of groups will see a concrete new notion and a usable convergence statement. It deserves peer review because the claims are specific, the class is central, and the uniformity result is verifiable with standard methods in the area.

Referee Report

0 major / 1 minor

Summary. The paper introduces the notion of uniform exactness (uniform amenability at infinity) for discrete groups and proves that free groups and their limit groups satisfy this property. It then shows that any sequence of such groups converging in the space of marked groups converges strongly in the operator-algebraic sense, with the additional conclusion that convergence of the spectral radius formula is uniform over probability measures whose supports have fixed cardinality.

Significance. If the central claims hold, the work establishes a novel uniform strong-convergence phenomenon connecting the marked-group topology to operator-algebraic strong convergence. The uniform spectral-radius statement for bounded-support measures is a concrete, potentially useful consequence. The result applies to a natural class containing free groups and limit groups, which are already central in geometric group theory.

minor comments (1)

The abstract is concise but omits any indication of the key technical steps or the precise definition of uniform exactness; a single sentence clarifying the definition would improve accessibility without lengthening the abstract unduly.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work on uniform amenability at infinity and its consequences for strong convergence of marked group sequences. The recommendation for minor revision is noted, but no specific major comments were provided in the report.

Circularity Check

0 steps flagged

No circularity: new definition proved directly for target class

full rationale

The paper introduces the new notion of uniform exactness (uniform amenability at infinity) as a definition, then establishes it for free groups and limit groups via standard group-theoretic arguments before deducing the convergence consequences. No equation or claim reduces by construction to a fitted input, self-citation, or renamed prior result; the central steps are independent proofs rather than tautological restatements of the inputs. This matches the expected non-circular pattern for a definitional-plus-proof paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract provides no explicit free parameters, axioms, or invented entities. The central claim rests on the definition of the new notion of uniform amenability at infinity and its verification for free groups and limit groups, but these foundations are not detailed here.

pith-pipeline@v0.9.0 · 5352 in / 1304 out tokens · 72554 ms · 2026-05-08T09:13:59.983860+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

36 extracted references · 4 canonical work pages · 2 internal anchors

[1]

Adams; Boundary amenability for word hyperbolic groups and an application to smooth dynamics of simple groups

S. Adams; Boundary amenability for word hyperbolic groups and an application to smooth dynamics of simple groups. Topology 33 (1994), 765--783

1994
[2]

G. N. Arzhantseva, T. Delzant; Examples of random groups. Preprint
[3]

Amrutam, D

T. Amrutam, D. Gao, S. Kunnawalkam Elayavalli, G. Patchell; Strict comparison in reduced group C^* -alge\-bras. Invent. Math. 242 (2025), 639--657

2025
[4]

Anantharaman-Delaroche; Syst\` e mes dynamiques non commutatifs et moyennabilit\' e

C. Anantharaman-Delaroche; Syst\` e mes dynamiques non commutatifs et moyennabilit\' e . Math. Ann. 279 (1987), 297--315

1987
[5]

Anantharaman-Delaroche, J

C. Anantharaman-Delaroche, J. Renault; Amenable groupoids. Monographies de L'Ensei\-gne\-ment Math\' e matique, 36. Geneva, 2000. 196 pp

2000
[6]

B\' e dos; Discrete groups and simple C^* -algebras

E. B\' e dos; Discrete groups and simple C^* -algebras. Math. Proc. Cambridge Philos. Soc. 109 (1991), 521--537

1991
[7]

Bestvina; R -trees in topology, geometry, and group theory

M. Bestvina; R -trees in topology, geometry, and group theory. Handbook of geometric topology, 55--91, North-Holland, Amsterdam, 2002

2002
[8]

B. H. Bowditch; Relatively hyperbolic groups. Internat. J. Algebra Comput. 22 (2012), 1250016, 66 pp

2012
[9]

M. Bo\. z ejko; Uniformly amenable discrete groups. Math. Ann. 251 (1980), 1--6

1980
[10]

N. P. Brown, N. Ozawa; C^* -algebras and finite-dimensional approximations. Graduate Studies in Mathematics, 88. American Mathematical Society, Providence, 2008. xvi+509 pp

2008
[11]

Chiswell; Introduction to -trees

I. Chiswell; Introduction to -trees. World Scientific Publishing Co., Inc., River Edge, NJ, 2001. xii+315 pp

2001
[12]

K. J. Dykema; Exactness of reduced amalgamated free product C^* -algebras. Forum Math. 16 (2004), 161--180

2004
[13]

S. N. Evans; Probability and real trees. Lecture Notes in Mathematics, 1920. Springer, Berlin, 2008. xii+193 pp

1920
[14]

Gaboriau, G

D. Gaboriau, G. Levitt, F. Paulin, Pseudogroups of isometries of R and Rips' theorem on free actions on R -trees. Israel J. Math. 87 (1994), 403--428

1994
[15]

D. Gao, S. Kunnawalkam Elayavalli, A. Manzoor, G. Patchell; A new source of purely finite matricial fields. Preprint. arXiv:2603.24502

work page internal anchor Pith review Pith/arXiv arXiv
[16]

Gromov; Random walk in random groups

M. Gromov; Random walk in random groups. Geom. Funct. Anal. 13 (2003), 73--146

2003
[17]

Guentner, N

E. Guentner, N. Higson, S. Weinberger; The Novikov conjecture for linear groups. Publ. Math. Inst. Hautes \' E tudes Sci. 101 (2005), 243--268

2005
[18]

Guirardel; Limit groups and groups acting freely on R ^n -trees

V. Guirardel; Limit groups and groups acting freely on R ^n -trees. Geom. Topol. 8 (2004), 1427--1470

2004
[19]

M. Hull, D. Osin; Transitivity degrees of countable groups and acylindrical hyperbolicity. Israel J. Math. 216 (2016), 307--353

2016
[20]

Jackson, A

S. Jackson, A. S. Kechris, A. Louveau; Countable Borel equivalence relations. J. Math. Log. 2 (2002), 1--80

2002
[21]

Keller; Amenable groups and varieties of groups

G. Keller; Amenable groups and varieties of groups. Illinois J. Math. 16 (1972), 257--269

1972
[22]

Kharlampovich, A

O. Kharlampovich, A. Myasnikov; Irreducible affine varieties over a free group. II. J. Algebra 200 (1998), 517--570

1998
[23]

Kharlampovich, A

O. Kharlampovich, A. Myasnikov; Limits of relatively hyperbolic groups and Lyndon's completions. J. Eur. Math. Soc. (JEMS) 14 (2012), 659--680

2012
[24]

Kionke, E

S. Kionke, E. Schesler; Amenability and profinite completions of finitely generated groups. Groups Geom. Dyn. 17 (2023), 1235--1258

2023
[25]

Kirchberg, S

E. Kirchberg, S. Wassermann; Permanence properties of C^* -exact groups. Doc. Math. 4 (1999), 513–558

1999
[26]

Louder, M

L. Louder, M. Magee; Strongly convergent unitary representations of limit groups. With an appendix by Will Hide and Magee. J. Funct. Anal. 288 (2025), Paper No. 110803, 28 pp

2025
[27]

Magee; Strong convergence of unitary and permutation representations of discrete groups

M. Magee; Strong convergence of unitary and permutation representations of discrete groups. Preprint. arXiv:2503.21619

work page arXiv
[28]

Monod, Y

N. Monod, Y. Shalom; Cocycle superrigidity and bounded cohomology for negatively curved spaces. J. Differential Geom. 67 (2004), 395--455

2004
[29]

Osajda; Small cancellation labellings of some infinite graphs and applications

D. Osajda; Small cancellation labellings of some infinite graphs and applications. Acta Math. 225 (2020), 159--191

2020
[30]

Proximality and selflessness for group C*-algebras

N. Ozawa; Proximality and selflessness for group C^* -alge\-bras. Preprint. arxiv:2508.07938

work page internal anchor Pith review Pith/arXiv arXiv
[31]

Pisier; Introduction to operator space theory

G. Pisier; Introduction to operator space theory. London Mathematical Society Lecture Note Series, 294. Cambridge, 2003. viii+478 pp

2003
[32]

Robert; Selfless C^* -alge\-bras

L. Robert; Selfless C^* -alge\-bras. Adv. Math. 478 (2025), 110409

2025
[33]

Sela; Diophantine geometry over groups

Z. Sela; Diophantine geometry over groups. I. Publ. Math. Inst. Hautes \'Etudes Sci. 93 (2001), 31--105

2001
[34]

Sela; Diophantine geometry over groups

Z. Sela; Diophantine geometry over groups. VII. The elementary theory of a hyperbolic group. Proc. Lond. Math. Soc. (3) 99 (2009), 217--273

2009
[35]

van Handel; Strong convergence: a short survey

R. van Handel; Strong convergence: a short survey. Preprint. arXiv:2510.12520

work page arXiv
[36]

Wysocza\' n ski; On uniformly amenable groups

J. Wysocza\' n ski; On uniformly amenable groups. Proc. Amer. Math. Soc. 102 (1988), 933--938

1988