Topological Quivers

Topological quivers are generalizations of directed graphs in which the sets of vertices and edges are locally compact Hausdorff spaces. Associated to such a topological quiver [Formula: see text] is a C*-correspondence, and from this correspondence one may construct a Cuntz–Pimsner algebra [Formula: see text]. In this paper we develop the general theory of topological quiver C*-algebras and show how certain C*-algebras found in the literature may be viewed from this general perspective. In particular, we show that C*-algebras of topological quivers generalize the well-studied class of graph C*-algebras and in analogy with that theory much of the operator algebra structure of [Formula: see text] can be determined from [Formula: see text]. We also show that many fundamental results from the theory of graph C*-algebras have natural analogues in the context of topological quivers (often with more involved proofs). These include the gauge-invariant uniqueness theorem, the Cuntz–Krieger uniqueness theorem, descriptions of the ideal structure, and conditions for simplicity.