$C^*$-Algebraic Covariant Structures

We introduce {\it covariant structures} \left\{(\A,\k),(\a,\aa),\(\ha,\haa\)\right\} formed of a separable $C^*$-algebra $\A$, a measurable twisted action $(\a,\aa)$ of the second-countable locally compact group $\G$\,, a measurable twisted action $(\ha,\haa)$ of another second-countable locally compact group $\hG$ and a strictly continuous function $\k:\G\times\hG\to\U\M(\A)$ suitably connected with $(\a,\aa)$ and \(\ha,\haa\)\,. Natural notions of covariant morphisms and representations are considered, leading to a sort of twisted crossed product construction. Various $C^*$-algebras emerge by a procedure that can be iterated indefinitely and that also yields new pairs of twisted actions. Some of these $C^*$-algebras are shown to be isomorphic. The constructions are non-commutative, but are motivated by Abelian Takai duality that they eventually generalize.