C*-simplicity and the unique trace property for discrete groups
@article{Breuillard2014CsimplicityAT, title={C*-simplicity and the unique trace property for discrete groups}, author={Emmanuel Breuillard and Mehrdad Kalantar and Matthew Kennedy and Narutaka Ozawa}, journal={Publications math{\'e}matiques de l'IH{\'E}S}, year={2014}, volume={126}, pages={35-71} }
A discrete group is said to be C*-simple if its reduced C*-algebra is simple, and is said to have the unique trace property if its reduced C*-algebra has a unique tracial state. A dynamical characterization of C*-simplicity was recently obtained by the second and third named authors. In this paper, we introduce new methods for working with group and crossed product C*-algebras that allow us to take the study of C*-simplicity a step further, and in addition to settle the longstanding open…
119 Citations
C *-simplicity of discrete groups
- Mathematics
- 2018
A discrete group is called C*-simple if its reduced C*-algebra is simple. A dynamical characterization of C*-simplicity was recently obtained by Kalantar and Kennedy, namely that a discrete group is…
An intrinsic characterization of C*-simplicity
- MathematicsAnnales scientifiques de l'École normale supérieure
- 2020
A group is said to be C*-simple if its reduced C*-algebra is simple. We establish an intrinsic (group-theoretic) characterization of groups with this property. Specifically, we prove that a discrete…
The ideal intersection property for essential groupoid C*-algebras
- Mathematics
- 2021
We characterise, in several complementary ways, étale groupoids with locally compact Hausdorff space of units whose essential groupoid C∗-algebra has the ideal intersection property, assuming that…
A generalized powers averaging property for commutative crossed products
- Mathematics
- 2021
We prove a generalized version of Powers’ averaging property that characterizes simplicity of reduced crossed products C(X) ⋊λ G, where G is a countable discrete group, and X is a compact Hausdorff…
Characterizations of C*-simplicity
- Mathematics
- 2015
We characterize discrete groups that are C*-simple, meaning that their reduced C*-algebra is simple. First, we prove that a discrete group is C*-simple if and only if it has Powers' averaging…
On reduced twisted group C*-algebras that are simple and/or have a unique trace
- MathematicsJournal of Noncommutative Geometry
- 2018
We study the problem of determining when the reduced twisted group C*-algebra associated with a discrete group G is simple and/or has a unique tracial state, and present new sufficient conditions for…
A New Look at C∗-Simplicity and the Unique Trace Property of a Group
- Mathematics
- 2015
We characterize when the reduced C∗-algebra of a non-trivial group has unique tracial state, respectively, is simple, in terms of Dixmier-type properties of the group C∗-algebra. We also give a…
Simplicity of reduced group Banach algebras.
- Mathematics
- 2019
Let G be a discrete group. Suppose that the reduced group C*-algebra of G is simple. We use results of Kalantar-Kennedy and Haagerup, and Banach space interpolation, to prove that, for p in…
Traces on locally compact groups
- Mathematics
- 2022
. We conduct a systematic study of traces on locally compact groups, in particular traces on their universal and reduced C*-algebras. We introduce the trace kernel, and examine its relation to the…
References
SHOWING 1-10 OF 61 REFERENCES
An intrinsic characterization of C*-simplicity
- MathematicsAnnales scientifiques de l'École normale supérieure
- 2020
A group is said to be C*-simple if its reduced C*-algebra is simple. We establish an intrinsic (group-theoretic) characterization of groups with this property. Specifically, we prove that a discrete…
Boundaries of reduced C*-algebras of discrete groups
- Mathematics
- 2014
For a discrete group G, we consider the minimal C*-subalgebra of $\ell^\infty(G)$ that arises as the image of a unital positive G-equivariant projection. This algebra always exists and is unique up…
A New Look at C∗-Simplicity and the Unique Trace Property of a Group
- Mathematics
- 2015
We characterize when the reduced C∗-algebra of a non-trivial group has unique tracial state, respectively, is simple, in terms of Dixmier-type properties of the group C∗-algebra. We also give a…
STRUCTURE FOR REGULAR INCLUSIONS. I
- Mathematics
- 2012
We study pairs (C,D) of unital C*-algebras where D is a regular abelian C*-subalgebra of C. When D is a MASA in C, we prove the existence and uniqueness of a completely positive unital map E of C…
On simplicity of reduced C*-algebras of groups
- Mathematics
- 2005
A countable group is C*-simple if its reduced C*-algebra is a simple algebra. Since Powers recognised in 1975 that non-abelian free groups are C*-simple, large classes of C*-simple groups which…
C$^*$-simple groups: amalgamated free products, HNN extensions, and fundamental groups of 3-manifolds
- Mathematics
- 2011
We establish sufficient conditions for the C*-simplicity of two classes of groups. The first class is that of groups acting on trees, such as amalgamated free products, HNN-extensions, and their…
Powers' property and simpleC*-algebras
- Mathematics
- 1986
would be desirable to understand the ideal structure of B in terms of the data; less ambitiously, we are interested here in criteria for B to be simple. This is a popular problem: it is for example…
Topological dynamics and group theory
- Mathematics
- 1974
We prove, using notions and techniques of topological dynamics, that a nonamenable group contains a finitely-generated subgroup of exponential growth. We also show that a group which belongs to a…
Injective envelopes of dynamical systems
- Mathematics
- 2011
By dynamical systems in the title we mean the objects, called G-modules, of a category CG consisting of operator spaces with a certain L(G)-module structure and the complete contractions commuting…
Shift-minimal groups, fixed price 1, and the unique trace property
- Mathematics
- 2012
A countable group \Gamma is called shift-minimal if every non-trivial measure preserving action of \Gamma weakly contained in the Bernoulli shift of \Gamma on ([0,1]^\Gamma ,\lambda ^\Gamma) is free.…