Proximality and Selflessness for Group C*-Algebras

Basic Information

• Paper ID: 2508.07938
• Title: Proximality and Selflessness for Group C*-Algebras
• Author: Narutaka Ozawa
• Classification: math.OA (Operator Algebras), math.DS (Dynamical Systems), math.FA (Functional Analysis)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2508.07938

Abstract

This paper proves that reduced group C*-algebras of infinite countable discrete groups with topologically free extreme boundaries, or more generally, groups satisfying certain combinatorial properties (including all non-elementary hyperbolic groups without nontrivial finite normal subgroups), are selfless in the sense of L. Robert. This generalizes recent results by Amrutam, Gao, Kunnawalkam Elayavalli, and Patchell. We also prove that selflessness is stable under tensor products of exact C*-algebras, and that a C*-probability space is selfless if it is simple and purely infinite, or if it is simple, exact, Z-stable, and has a unique trace.

Research Background and Motivation

Problem Background

Selflessness is an important property for C*-algebras recently introduced by L. Robert, which has quickly attracted considerable attention from researchers. This property implies many important regularity properties, such as simplicity, stable rank one (in the trace setting), and strict comparison.

Research Motivation

1. Theoretical Refinement: While it is known that every C*-selfless group is C*-simple, the converse remains an open question.
2. Methodological Innovation: Existing analytical approaches (such as the work of AGKEP) require rapid decay properties; this paper proposes topological methods to circumvent this limitation.
3. Result Generalization: Extending existing results from specific group classes to more general classes.

Core Challenges

• How to construct appropriate tree-graded spaces to handle extreme boundaries
• How to prove selflessness without assuming rapid decay properties
• How to establish stability of selflessness under tensor products

Core Contributions

1. Main Theorem: Proves that infinite countable discrete groups with topologically free extreme boundaries are C*-selfless.
2. Methodological Innovation: Proposes a topological method based on constructing "tree-graded" spaces from extreme boundaries.
3. Result Generalization: Extends results of AGKEP and others to cases not requiring rapid decay properties.
4. Stability Theorem: Proves that selflessness is stable under tensor products of exact C*-algebras.
5. Complete Selflessness: Introduces and studies the concept of complete selflessness.
6. Combinatorial Property PPHP: Defines property PPHP and proves that groups with this property are C*-selfless.

Detailed Methods

Core Concept Definitions

Extreme Boundary: Let Γ be a countable discrete group and Γ ↷ X an action on a compact topological space. This action is called an extreme boundary if it is minimal and extremely proximal, meaning for any nonempty open subsets U and V of X, there exists g ∈ Γ such that g(X \ U) ⊂ V.

Axial Sequence: A sequence (zₙ)ₙ in Γ is called axial if there exist a topologically free extreme boundary Γ ↷ X and distinct points z± ∈ X satisfying certain conditions.

Technical Framework

1. Tree Structure Construction

The paper introduces a tree structure on the quotient space T := Γ̃/Γ, where Γ̃ := Γ ∗ ⟨z⟩. Points s,t ∈ T are adjacent if and only if s⁻¹t ∈ {Γz±Γ}.

2. Labeling Map

For adjacent s and t, define the label of the directed edge from t to s as ℓ(t,s) := κ(ρ(t)⁻¹s) ∈ Γ{z±}, where κ(az±Γ) := az±.

3. Construction of Space X_T

Define the Γ̃-invariant C*-subalgebra:

C(X_T) := C*(⋃_{g∈Γ̃} σ_g(C(X))) ⊂ C(X)^U

Main Technical Innovations

1. Tree-Graded Structure

Theorem 8 establishes the "tree-graded" structure of X_T, including:

• X_T = θ(T,X) ∪ θ(∂T)
• Separation and connectivity of different parts
• Γ̃-equivariance

2. Covariant Representation Theory

Theorem 4 provides a continuity criterion for covariant representations of group actions on trees: if the restriction to each stabilizer subgroup is continuous on the reduced crossed product, then the entire representation is continuous.

3. Free Product Embedding

Through construction of axial sequences and ultrafilters, establish a faithful embedding:

C*_λ(Γ ∗ ⟨z⟩) ↪ C*_λ(Γ)^U

Main Theorems

Theorem 1 (Main Result)

An infinite countable discrete group Γ is C*-selfless if it has a topologically free extreme boundary. More precisely, for any axial sequence (zₙ)ₙ and free ultrafilter U, the homomorphism

Γ ∗ ⟨z⟩ → C*_λ(Γ)^U

induces a faithful embedding of the reduced group C*-algebra C_λ(Γ ∗ ⟨z⟩) into C_λ(Γ)^U.

Theorem 2 (Tensor Product Stability)

Let (Aᵢ,φᵢ) be separable C*-probability spaces. If all (Aᵢ,φᵢ) are selfless and exact, then the tensor product ⊗ᵢ(Aᵢ,φᵢ) is selfless.

Theorem 3 (Sufficient Conditions)

• A simple and purely infinite C*-probability space (A,φ) is completely selfless.
• A simple, exact, Z-stable, and unique trace C*-probability space (A,τ) is selfless.

Applications and Examples

Specific Group Classes

1. Non-elementary Free Products: All are C*-selfless.
2. Non-elementary Relatively Hyperbolic Groups (without nontrivial finite normal subgroups): Obtain topologically free extreme boundaries via Bowditch compactification.
3. Non-elementary Hyperbolic Groups (without nontrivial finite normal subgroups): Obtain C*-selflessness via property PPHP.

Property PPHP

Defines the combinatorial property PPHP, which generalizes Powers property. Theorem 14 proves that groups with property PPHP are completely C*-selfless.

Technical Tools

1. Ping-Pong Argument

Used to prove asymptotic injectivity and mixing identity-freeness.

2. Ultraproduct Techniques

Utilize the ultraproduct C*_λ(Γ)^U to construct the required embeddings.

3. Free Probability Theory

Employ Voiculescu inequalities and free semicircular systems.

Related Work

Relationship to Existing Results

• AGKEP Results: This paper removes the requirement of rapid decay properties.
• Kalantar-Kennedy Theorem: Establishes connections between C*-simplicity and strong proximal actions.
• Robert's Selflessness Theory: This paper provides new classes of selfless groups.

Method Comparison

• Analytical vs. Topological Methods: This paper employs topological methods, avoiding limitations of analytical techniques.
• Special Properties vs. General Framework: Provides a unified treatment framework through extreme boundaries.

Conclusions and Discussion

Main Achievements

1. Establishes connections between extreme boundaries and C*-selflessness.
2. Provides proof methods independent of rapid decay properties.
3. Proves stability of selflessness under tensor products.
4. Introduces the concept of complete selflessness.

Theoretical Significance

• Advances understanding of C*-selfless groups.
• Establishes new connections between dynamical systems and operator algebras.
• Provides new tools for studying the C*-simplicity vs. C*-selflessness problem.

Future Directions

1. Are all C*-simple groups C*-selfless?
2. Further properties of complete selflessness.
3. Generalizations to other operator algebra classes.

In-Depth Evaluation

Strengths

1. Methodological Innovation: The introduction of topological methods provides new perspectives for the field.
2. Result Generalization: Significantly extends existing results and removes technical restrictions.
3. Theoretical Depth: Establishes profound mathematical connections.
4. Technical Excellence: The construction of tree-graded structures demonstrates sophisticated technical mastery.

Technical Highlights

1. Tree-Graded Space Construction: Cleverly transforms extreme boundaries into tree-graded structures.
2. Covariant Representation Theory: Provides a general framework for group actions on trees.
3. Ultraproduct Technique Application: Effectively handles asymptotic properties.

Potential Impact

This paper's methods and results will have significant impact on operator algebras, dynamical systems, and group theory, particularly in studying structural properties of group C*-algebras.

Technical Challenges

Handling infinite-degree trees and non-compact group actions requires delicate topological and analytical techniques, which the paper handles excellently.

References

The paper cites important literature in the field, including Robert's selflessness theory, Kalantar-Kennedy's boundary theory, and related literature on dynamical systems and operator algebras. Particularly noteworthy are the extensions and improvements of work by AGKEP and others.