Actions of compact groups on AF \(C^*\)-algebras (Q2266204): Difference between revisions

Let G be a compact group, and \(\bar A\) an AF (approximately finite dimensional) \(C^*\) algebra. Suppose \(\alpha: G\to Aut(\bar A)\) is a point norm continuous group homomorphism such that (i) \(\alpha(G)\) leaves globally invariant a dense locally finite dimensional \(^*\)-subalgebra; and (ii) \(\alpha(G)\) is locally representable (i.e., there exists a dense locally finite dimensional \(^*\)-subalgebra \(A=\cup A_ i\), with \(A_ i\) finite dimensional and invariant, and the action of \(\alpha\) restricted to each \(A_ i\) arises from a representaion of G in the unitary group of \(A_ i)\). Then a complete invariant for conjugacy in Aut\((\bar A)\) of \(\alpha\) may be given in terms of a suitable partially ordered module over the representation ring of G, together with a specified positive element. We also show that if \(\bar A\) has unique trace, then the complex vector space generated by the traces of \(\bar A\times_{\alpha}G\) (the crossed product) is a cyclic module over the complexified representation ring of G, when G is finite.