Principal Actions on Topological Quivers and Associated Operator Dynamics
Matthew Gillespie, Lucas Hall, Benjamin Jones, Mariusz Tobolski
TL;DR
The paper develops a complete classification of principal, free, and proper actions of a locally compact group $G$ on topological quivers and proves that the quiver algebra of the quotient $C^*(Q/G)$ is isomorphic to the fixed-point algebra $C^*(Q)^α$, which is Morita equivalent to the reduced crossed product $C^*(Q)\rtimes_r G$. Using functoriality for $C^*$-correspondences and CP covariance, the authors extend the Deaconu--Kumjian--Quigg program to the topological-quiver setting, introducing edge-measure systems to handle non-discrete vertex spaces. They illustrate the theory with many concrete coset- and skew-product constructions, semidirect-product cosets, non-split extensions, and topological-group-relations, highlighting new Morita equivalences beyond topological graphs. The results offer a flexible framework for studying noncommutative spaces arising from group actions on generalized graphs and connect to nonabelian duality and Rieffel’s fixed-point theory, broadening the landscape of operator-algebraic dynamics on topological quivers.
Abstract
We study topological quivers $Q$ admitting a free and proper action by a locally compact group $G$ together with their associated $C^*$-algebras. On the topological side, we provide a complete classification of topological quivers which admit such actions in terms of $G$-bundles over the vertex orbit space and an appropriate isomorphism of bundles over the edge orbits. Following the work by Deaconu, Kumjian, and Quigg on topological graphs, we construct an isomorphism between $C^*(Q/G)$ and Rieffel's fixed-point algebra $C^*(Q)^α$, which is known to be Morita equivalent to $C^*(Q)\rtimes_rG$. Unlike the work with topological graphs, we use previously developed functoriality techniques to identify the isomorphism. We also examine many concrete examples of such group actions, including some exclusive to topological quivers, and the associated Morita equivalences.
