Topological boundaries of unitary representations

Abstract

We introduce and study a generalization of the notion of the Furstenberg boundary of a discrete group $\Gamma$ to the setting of a general unitary representation $\pi :\Gamma \to B({\mathcal{H}}_{\pi })$. This space, which we call the "Furstenberg-Hamana boundary" of the pair $(\Gamma ,\pi )$, is a $\Gamma$-invariant subspace of $B({\mathcal{H}}_{\pi })$ that carries a canonical $C^{\ast }$-algebra structure. In many natural cases, including when $\pi$ is a quasi-regular representation, the Furstenberg-Hamana boundary of $\pi$ is commutative, but can be non-commutative in general. We study various properties of this boundary, and give some applications.

latter part of Lemma 7.3 removed