Uniform amenability at infinity

Abstract: 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.

• The paper's main contribution is the formulation of uniform exactness, a quantifiable strengthening of amenability at infinity for discrete groups.
• It employs ultraproduct techniques and operator algebra embeddings to prove uniform strong convergence of norms in reduced group C*-algebras.
• The study shows uniformly exact groups maintain closure under standard group operations, offering practical criteria for analyzing group actions and convergence.

Uniform Amenability at Infinity: A Technical Synthesis

Overview and Context

The notion of amenability occupies a central position in analytic and geometric group theory, with far-reaching consequences in operator algebras and noncommutative geometry. Classical amenability, however, excludes a vast array of naturally occurring groups—including non-cyclic free groups and many linear groups. This has motivated the study of exactness (amenability at infinity), a property that generalizes amenability and interacts fruitfully with operator algebraic structures, specifically reduced group $\mathrm{C}^*$-algebras.

This paper, "Uniform amenability at infinity" (2604.22412), introduces and investigates the property of uniform exactness (also termed uniform amenability at infinity) for discrete groups. Uniform exactness imposes a strengthened, quantifiable form of exactness, requiring not only that the group and its ultrapowers are exact, but also that the associated module structures admit uniform moduli reflecting strong convergence phenomena. The main thrust is to establish uniform exactness for a broad class of groups, including all free groups and their limit groups, and to analyze the consequences of this property in the setting of operator algebras and marked group topologies.

Definitions and Main Results

The author makes precise several hierarchies of "approximate invariance" properties:

• Amenability: Existence of approximate invariant means.
• Exactness (Amenability at infinity): The action of $G$ on the Stone–Čech compactification, or equivalently on $\ell_\infty(G)$, is amenable.
• Uniform Amenability: Amenability is quantified at the level of ultrapowers $G^U$, requiring these to be amenable.
• Uniform Exactness (Uniform Amenability at Infinity): Rather than demanding that $G^U$ is exact (too weak), the property is formulated: the $G^U$-action on $(\ell_\infty G)^U$ is amenable.

The paper establishes several core results:

1. Free Groups are Uniformly Exact: The ultrapower $F^U$ of a free group $F$ acts amenably on $(\ell_\infty F)^U$. This involves identifying $G$0 as a $G$1-tree and analyzing "definable" functions via the tree compactification.
2. Characterization via Operator Algebras: Uniform exactness is equivalent to the canonical embedding

$G$2

being continuous and isometric for every $G$3-algebra $G$4. This unifies the group-theoretic property with the structure of reduced group $G$5-algebras, giving a robust operator algebraic criterion.

1. Strong Convergence in Marked Groups: Any convergent sequence of uniformly exact groups in the space of marked groups converges strongly in the operator algebraic sense. In particular, the spectral radius formula convergence is shown to be uniform over all finitely supported probability measures with fixed support cardinality.
2. Closure and Permanence Properties: The class $G$6 of uniformly exact groups is shown to:
   • Contain all free groups and torsion-free hyperbolic groups with tame geometry at infinity.
   • Be closed under taking subgroups, directed unions, quotients by normal amenable subgroups, extensions, free products, and finite-index supergroups.
   • Include all limit groups of free groups.
   • For amenable groups, uniform exactness is equivalent to uniform amenability.
3. Modulus of Uniform Exactness: The modulus $G$7 quantifies the "degree" of uniformity and provides compactness for the class $G$8 of groups sharing the same modulus.

Technical Advancements

A prominent technical advancement is the treatment of ultrapowers of groups and function spaces within the framework of geometric group theory—particularly the extension and application of ultraproduct techniques to $G$9-trees and their compactifications. The author leverages the geometry at infinity of groups and the structure of group actions on trees to handle amenability of ultrapowers systematically.

Additionally, the paper proves that the strong convergence of norm computations in reduced group $\ell_\infty(G)$0-algebras (i.e., strong convergence of formulas for operator norms and spectral radii) is both necessary and uniform for marked group limits within uniformly exact classes. This uniformity is quantified in terms of support cardinality and $\ell_\infty(G)$1-norms, and is not available for arbitrary exact groups.

Numerical/Quantitative Highlights

• Uniform Spectral Radius Convergence: For any modulus $\ell_\infty(G)$2 and for $\ell_\infty(G)$3 supported on a fixed finite set $\ell_\infty(G)$4, strong bounds are established:

$\ell_\infty(G)$5

with $\ell_\infty(G)$6 determined via the modulus $\ell_\infty(G)$7 and the measure of interest.

• Uniformity Parameters: The modulus $\ell_\infty(G)$8 explicitly controls the uniform approximations and is derived from the combinatorial geometry of the group’s Cayley graph and its actions at infinity.

Theoretical Implications

Uniform exactness provides a bridge between fine-grained geometric group invariants and the analysis of operator algebras. The established closure properties suggest that uniform exactness is robust under standard constructions in geometric group theory.

From the operator algebraic perspective, uniform exactness ensures that many analytic properties—such as the inheritance of selflessness or strong convergence of representations—are preserved or improved in the ultraproduct regime. This has implications for the theory of reduced group $\ell_\infty(G)$9-algebras, their tensorial decompositions, and their representations in ultrapowers.

Of particular note, the complete characterization of uniform exactness in terms of tensor product embeddings provides a practical criterion for operator algebraists engaged with questions of exactness, nuclearity, and tensorial properties of group-generated algebras.

Speculations and Future Directions

This work opens several avenues for further research:

• Broader Classes: Extending the analysis to broader classes such as acylindrically hyperbolic groups, mapping class groups, or automorphism groups of free products, especially by analyzing their ultrapower actions on appropriate geometric objects.
• Quantitative Classification: Systematizing the moduli $G^U$0 for particular families (e.g., surface groups or higher-rank lattices) to obtain sharp bounds on uniform approximations.
• Applications in Measured Group Theory: Utilizing uniform exactness to derive new rigidity or approximation results in spaces of measured equivalence relations or orbit equivalence.
• Interactions with $G^U$1-selfless Algebras: The identification of uniform exactness as a sufficient condition for complete $G^U$2-selflessness in MIF groups signals further connections between geometric uniformities at the group level and structural properties at the operator algebra level.

Conclusion

Uniform exactness as developed in this paper formalizes and strengthens the notion of amenability at infinity by introducing a uniform, quantifiable layer relevant to both group actions and their analytic representations. The paper demonstrates that free groups and their limit groups exhibit this property, yielding uniform strong convergence in operator norms and symmetry properties in ultraproducts. The results have substantial consequences in both group theory and operator algebras, furnishing new structural classifications and analytical tools that promise applications in diverse contexts of modern mathematics.