Traces on reduced group C*-algebras

arXiv:1706.05903v1 [math.OA] 19 Jun 2017

by Matthew Kennedy and Sven Raum

Abstract. In this short note we prove that the reduced group C*-algebra of
a locally compact group admits a non-zero trace if and only if the amenable
radical of the group is open. This completely answers a question raised by
Forrest, Spronk and Wiersma.

Introduction
An important fact about the reduced C*-algebra of a discrete group is that it admits at least one
non-zero trace. More generally, the reduced C*-algebra of a locally compact group may admit no
non-zero traces at all. This is one reason why discrete groups are generally considered to be more
tractable in the theory of group C*-algebras.
In a recent preprint, Forrest, Spronk and Wiersma [FSW17, Question 1.1] ask for a characterization of the locally compact groups with reduced C*-algebras that admit a non-zero trace. They
provide a partial answer to this question by proving that a compactly generated locally compact
group G has this property if and only if its amenable radical Rad(G) is open.
In this note, we completely settle this question by proving that the result of Forrest-SpronkWiersma holds without the assumption that the group is compactly generated. Further, we prove
that any trace on the reduced C*-algebra concentrates on the amenable radical.
Theorem 1. Let G be a locally compact group. The reduced C*-algebra C∗red (G) admits a non-zero
trace if and only if the amenable radical Rad(G) of G is open. Further, every trace concentrates on
Rad(G), meaning that it factors through the canonical conditional expectation from C∗red (G) onto
C∗red (Rad(G)).
We view Theorem 1 as the natural generalization to locally compact groups of [Bre+14, Theorem 4.1], which states that every trace on the reduced C*-algebra of a discrete group concentrates
on the amenable radical.
Our approach to the proof is much different than the approach taken in [FSW17]. We are
motivated by the perspective introduced in [KK14], which relates the structure of the reduced
group C*-algebra of a discrete group to the dynamics of the topological Furstenberg boundary. In
the present setting, it is also necessary to handle the technical difficulties that arise for non-discrete
groups.
Theorem 1 immediately yields a characterization of locally compact groups that admit finite
weakly regular unitary representations. Recall that a representation is weakly regular if it is weakly
contained in the left regular representation.
Corollary 2. A locally compact group admits a finite weakly regular representation if and only if
its amenable radical is open.
last modified on June 20, 2017
MK research was supported by NSERC Grant Number 418585
MSC classification: 22D25; 46L30
Keywords: Traces on group C∗ -algebras, Furstenberg boundary

Corollary 2 can be seen as an analogue of a classical result of Kadison and Singer [KS52, Corollary 3] which characterizes the connected locally compact groups without any finite representation.

Acknowledgement
We are grateful to Brian Forrest, Nico Spronk and Matthew Wiersma for sharing a preprint of their
work [FSW17].

Proof of Theorem 1
We first prove a generalization to locally compact groups of [Bre+14, Theorem 4.1].
Lemma. Let G be a locally compact group. Every trace τ on C∗red (G) satisfies τ (f ) = 0 for every
function f ∈ Cc (G) with support disjoint from the amenable radical Rad(G).
Proof. Let τ ∶ C∗red (G) → C be a trace. We continue to denote by τ the unique extension of τ to
a trace on the multiplier algebra M(C∗red (G)). By normalizing τ , we can assume that it is unital.
The fact that τ it is tracial implies that it is G-equivariant. Hence by the G-injectivity of C(∂F G),
we can τ to a G-equivariant unital completely positive map ϕ ∶ M(C(∂F G) ⋊red G) → C(∂F G).
Proceeding as in [Bre+14], we now show that for γ ∈ G ∖ Rad(G), ϕ(uγ ) = 0. By [Fur03,
Proposition 7], γ acts non-trivially on ∂F G, so there is x ∈ ∂F G such that γx ≠ x. Let ψ ∈ C(∂F G)
be any function satisfying ψ(x) = 1 and ψ(γx) = 0. Then
ϕ(uγ ) = ψ(x)ϕ(uγ ) = (ϕ(ψ)ϕ(uγ ))(x) = ϕ(ψuγ )(x) = ϕ(uγ ψ γ )(x) = ϕ(uγ )ψ(γx) = 0 .
So if f ∈ Cc (G) ⊂ C∗red (G) has its support disjoint from Rad(G), then we obtain
τ (f ) = ∫ f (γ)ϕ(uγ )dg = 0 ,
G

by the strict continuity of ϕ.
Proof of Theorem 1. Assume that the amenable radical of G is not open and τ is a trace on C∗red (G).
Let N be a the filter of open neighbourhoods of e ∈ G. Because Rad(G) is not open, it does not
contain any U ∈ N . So for every U ∈ N there is a positive function fU ∈ Cc (G) with support in the
non-trivial open set U ∩ Rad(G)c satisfying ∫G f = 1.
The net (fU )U ∈N is a Dirac net for G and hence an approximate identity for C∗red (G). Since
supp fU ∩ Rad(G) = ∅ for all U ∈ N , we obtain τ (fU ) = 0 from the lemma. Since {x ∈ C∗red (G) ∣
τ (x∗ x) = 0} is an ideal containing the approximate identity (fU )U ∈N , it follows that τ ≡ 0.
Conversely, assume that the amenable radical Rad(G) of G is open. Since Rad(G) is amenable,
the left regular representation of G/ Rad(G) on ℓ2 (G/ Rad(G)) provides us with a *-representation
of C∗red (G), since it is weakly contained in the left regular representation of G. Its image generates
the group von Neumann algebra L(G/ Rad(G)) ⊂ B(ℓ2 (G/ Rad(G)). This von Neumann algebra is
finite, since the openness of Rad(G) implies the discreteness of G/ Rad(G). We obtain a trace on
C∗red (G) by composing the representation on ℓ2 (G/ Rad(G)) with the trace on L(G/ Rad(G)).

2

REFERENCES

REFERENCES

Finally, for the last statement of the theorem, let τ be any trace on C∗red (G). Let E ∶ C∗red (G) →
C∗red (Rad(G)) denote the natural conditional expectation obtained from the restriction Cc (G) →
Cc (Rad(G)). For f ∈ Cc (G), the lemma gives
τ (f ) = τ (1Rad(G) f ) + τ (1G∖Rad(G) f ) = τ (1Rad(G) f ) = τ ○ E(f ) .
Thus τ ∣Cc (G) = τ ○ E∣Cc (G) . Since Cc (G) ⊂ C∗red (G) is dense, and since τ and τ ○ E are continuous,
it follows that τ = τ ○ E.

References
[Bre+14]

E. Breuillard, M. Kalantar, M. Kennedy, and N. Ozawa. C∗ -simplicity and the unique
trace property for discrete groups. 2014. arXiv:1410.2518.

[FSW17]

B. E. Forrest, N. Spronk, and M. Wiersma. Existence of tracial states on reduced group
C∗ -algebras. Preprint. 2017. arXiv:1706.05354.

[Fur03]

A. Furman. “On minimal strongly proximal actions of locally compact groups.” In: Isr.
J. of Math. 136 (2003), pp. 173–187. doi: 10.1007/BF02807197.

[KS52]

R. V. Kadison and I. M. Singer. “Some remarks on representations of connected groups.”
In: Proc. Natl. Acad. Sci. USA 38 (1952), pp. 419–423. doi: 10.1073/pnas.38.5.419.

[KK14]

M. Kalantar and M. Kennedy. Boundaries of reduced C∗ -algebras of discrete groups.
Accepted for publication in J. Reine Angew. Math. 2014. arXiv:1410.2518.

Sven Raum
EPFL SB SMA
Station 8
CH-1015 Lausanne
Switzerland

Matthew Kennedy
Department of Pure Mathematics
University of Waterloo
Waterloo, ON, N2L 3G1
Canada

sven.raum@epfl.ch

matt.kennedy@uwaterloo.ca

3

