Duality of compact groups and Hilbert C*-systems for C*-algebras with a nontrivial center
- In this paper we present duality theory for compact groups in the case when the C*-algebra A, the fixed point algebra of the corresponding Hilbert C*-system (F, 9), has a nontrivial center Z superset of C1 and the relative commutant satisfies the minimality condition A' boolean AND F = Z, as well as a technical condition called regularity. The abstract characterization of the mentioned Hilbert C*-system is expressed by means of an inclusion of C*- categories T-c < T, where T-c is a suitable DR-category and T a full subcategory of the category of endomorphisms of A. Both categories have the same objects and the arrows of T can be generated from the arrows of T-c and the center Z. A crucial new element that appears in the present analysis is an abelian group C(G), which we call the chain group of G, and that can be constructed from certain equivalence relation defined on (G) over cap, the dual object of G. The chain group, which is isomorphic to the character group of the center of g, determines the action of irreducible endomorphismsIn this paper we present duality theory for compact groups in the case when the C*-algebra A, the fixed point algebra of the corresponding Hilbert C*-system (F, 9), has a nontrivial center Z superset of C1 and the relative commutant satisfies the minimality condition A' boolean AND F = Z, as well as a technical condition called regularity. The abstract characterization of the mentioned Hilbert C*-system is expressed by means of an inclusion of C*- categories T-c < T, where T-c is a suitable DR-category and T a full subcategory of the category of endomorphisms of A. Both categories have the same objects and the arrows of T can be generated from the arrows of T-c and the center Z. A crucial new element that appears in the present analysis is an abelian group C(G), which we call the chain group of G, and that can be constructed from certain equivalence relation defined on (G) over cap, the dual object of G. The chain group, which is isomorphic to the character group of the center of g, determines the action of irreducible endomorphisms of A when restricted to Z. Moreover, C(g) encodes the possibility of defining a symmetry epsilon also for the larger category T of the previous inclusion…
