Realizations of free actions via their fixed point algebras

Let G be a compact group, let B be a unital C^*-algebra, and let (A,G,α) be a free C^*-dynamical system, in the sense of Ellwood, with fixed point algebra B. We prove that (A,G,α) can be realized as the invariants of an equivariant coaction of G on a corner of B ⊗ K(H) for a certain Hilbert space 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 -representation of B on a Hilbert space HB gives rise to a faithful covariant representation of (A,G,α) on some truncation of HB ⊗ H.