Published online by Cambridge University Press: 09 April 2009
Let ξ be a C*;-bundle over T with fibres {At}t∈A. Suppose that A is the C*-algebra of sections of ξ which vanish at infinity, and that (A, G, α) is a C*-dymanical system that, for each t ∈ T, the ideal It = {f ∈ A|f(t) =; 0} is G-invariant. If in addition, the stabiliser group of each P ∈ Prim(A) is amenable, then A ⋊αG is the section algebra of a C*-bundle with fibres {At ⋊αG}t∈T.
The above theorem may be used to prove a structure theorem for crossed products built from C*-dynamical systems (A, G, α) where the action of G on A is smooth. Assuming that the stabiliser groups are amenable, then A ⋊αG has a composition series such that each quotient is a section algebra of a C*-bundle where the fibres are of the form Aσ ⋊αG; moreover, the Aσ correspond to locally closed subsets of Prim(A), and G acts transitively on Prim(Aσ). In many cases, in particular when (G, A) is separable, the Aσ ⋊αG have been computed explicitly by other authors.
These results are actually proved for twisted C*dynamical systems.