Realizations of free actions via their fixed point algebras

TL;DR

This paper demonstrates how free actions of compact groups on C*-algebras can be realized through equivariant coactions on corners of tensor products, extending previous results to non-trivial fixed point algebras.

Contribution

It extends Wassermann's result by showing that free actions with non-trivial fixed point algebras can be realized via equivariant coactions on tensor product corners.

Findings

Realization of free actions as invariants of equivariant coactions.

Extension of Wassermann's result to non-trivial fixed point algebras.

Construction of faithful covariant representations from faithful *-representations.

Abstract

Let $G$ be a compact group, let $\mathcal{B}$ be a unital C$^*$-algebra, and let $(\mathcal{A},G,\alpha)$ be a free C$^*$-dynamical system, in the sense of Ellwood, with fixed point algebra $\mathcal{B}$. We prove that $(\mathcal{A},G,\alpha)$ can be realized as the invariants of an equivariant coaction of $G$ on a corner of $\mathcal{B} \otimes \mathcal{K}(\mathfrak{H})$ for a certain Hilbert space $\mathfrak{H}$ that arises from the freeness of the action. This extends a result by Wassermann for free C$^*$-dynamical systems with trivial fixed point algebras. As an application, we show that any faithful \Star-representation of $\mathcal{B}$ on a Hilbert space $\mathfrak{H}_{\mathcal{B}}$ gives rise to a faithful covariant representation of $(\mathcal{A},G,\alpha)$ on some truncation of $\mathfrak{H}_{\mathcal{B}} \otimes \mathfrak{H}$.