Noncommutative topological dynamics and compact actions on \(C^*\)- algebras (Q760885)

The classical notions of topological transitivity and minimality of a topological dynamical system are extended and analyzed in the context of \(C^*\)-dynamical systems. These notions are compared with other notions naturally arising in noncommutative ergodic theory. As an application, a \(C^*\)-algebra version of a theorem of \textit{H. Araki}, \textit{K. Haag}, \textit{V. Kastler} and \textit{M. Takesaki} [Commun. Math. Phys. 53, 97-134 (1977)] about the correspondence between a compact automorphism group (here assumed to be abelian) and its fixed-point subalgebra is proved in the presence of a commuting topologically transitive action. A variation of this theoem in the setting of standard \(W^*\)-inclusions is also presented.