Let Λ be a strongly connected, finite higher-rank graph. In this paper, we construct representations of C * (Λ) on certain separable Hilbert spaces of the form L 2 (X, µ), by introducing the notion of a Λ-semibranching function system (a generalization of the semibranching function systems studied by Marcolli and Paolucci). In particular, if Λ is aperiodic, we obtain a faithful representation ofwhere M is the Perron-Frobenius probability measure on the infinite path space Λ ∞ recently studied by an Huef, Laca, Raeburn, and Sims. We also show how a Λ-semibranching function system gives rise to KMS states for C * (Λ). For the higher-rank graphs of Robertson and Steger, we also obtain a representation of, where X is a fractal subspace of [0, 1] by embedding Λ ∞ into [0, 1] as a fractal subset X of [0,1]. In this latter case we additionally show that there exists a KMS state for C * (Λ) whose inverse temperature is equal to the Hausdorff dimension of X. Finally, we construct a wavelet system for L 2 (Λ ∞ , M ) by generalizing the work of Marcolli and Paolucci from graphs to higher-rank graphs.2010 Mathematics Subject Classification: 46L05.

No abstract

In this paper, we present a new way to associate a finitely summable spectral triple to a higher-rank graph Λ, via the infinite path space Λ ∞ of Λ. Moreover, we prove that this spectral triple has a close connection to the wavelet decomposition of Λ ∞ which was introduced by Farsi, Gillaspy, Kang, and Packer in 2015. We first introduce the concept of stationary -Bratteli diagrams, in order to associate a family of ultrametric Cantor sets, and their associated Pearson-Bellissard spectral triples, to a finite, strongly connected higher-rank graph Λ. We then study the zeta function, abscissa of convergence, and Dixmier trace associated to the Pearson-Bellissard spectral triples of these Cantor sets, and show these spectral triples are -regular in the sense of Pearson and Bellissard. We obtain an integral formula for the Dixmier trace given by integration against a measure , and show that is a rescaled version of the measure on Λ ∞ which was introduced by an Huef, Laca, Raeburn, and Sims. Finally, we investigate the eigenspaces of a family of Laplace-Beltrami operators associated to the Dirichlet forms of the spectral triples. We show that these eigenspaces refine the wavelet decomposition of 2 (Λ ∞ , ) which was constructed by Farsi et al. 2.5 below. The space of infinite paths  of a stationary -Bratteli diagram  is often a Cantor set, enabling us to study its associated Pearson-Bellissard spectral triple. Indeed, if the matrices 1 , … , are the adjacency matrices for a -graph Λ, then the space of infinite paths in Λ is homeomorphic to the Cantor set  (also called ). In other words, the Pearson-Bellissard spectral triples for stationary -Bratteli diagrams can also be viewed as spectral triples for higher-rank graphs.We then proceed to study, in Section 3, the geometrical information encoded by these spectral triples. Theorem 3.14 establishes that the Pearson-Bellissard spectral triple associated to (  Λ , ) is finitely summable, with dimension ∈ (0, 1). Section 3.3 focuses on the Dixmier traces of the spectral triples, and establishes both an integral formula for the Dixmier trace (Theorems 3.23 and 3.28) and a concrete expression for the measure induced by the Dixmier trace (Theorem 3.26). These computations also reveal that the ultrametric Cantor sets (  Λ , ) are -regular in the sense of [59, Definition 11]. Other settings in the literature in which spectral triples on Cantor sets admit an integral formula for the Dixmier trace include [13,47,17,14].In full generality, Dixmier traces are defined on the Dixmier-Macaev (also called Lorentz) ideal  1,∞ ⊆ () inside the compact operators and are computed using a generalized limit (roughly speaking, a linear functional that lies between lim sup and lim inf). Although the theory of Dixmier traces can be quite intricate, many of the computations simplify substantially in our setting, and so our treatment of the general theory will be brief; we refer the interested reader to the extensive literature on Dixmier traces and other singular traces (cf. [19, 55, 54, 1...

We describe the primitive ideal space of the C * -algebra of a row-finite k-graph with no sources when every ideal is gauge invariant. We characterize which spectral spaces can occur, and compute the primitive ideal space of two examples. In order to do this we prove some new results on aperiodicity. Our computations indicate that when every ideal is gauge invariant, the primitive ideal space only depends on the 1-skeleton of the k-graph in question.

Several authors have recently been studying the equilibrium or KMS states on the Toeplitz algebras of finite higher-rank graphs. For graphs of rank one (that is, for ordinary directed graphs), there is a natural dynamics obtained by lifting the gauge action of the circle to an action of the real line. The algebras of higher-rank graphs carry a gauge action of a higher-dimensional torus, and there are many potential dynamics arising from different embeddings of the real line in the torus. Previous results show that there is nonetheless a "preferred dynamics" for which the system exhibits a particularly satisfactory phase transition, and that the unique KMS state at the critical inverse temperature can then be implemented by integrating vector states against a measure on the infinite path space of the graph. Here we obtain a similar description of the KMS state at the critical inverse temperature for other dynamics. Our spatial implementation is given by integrating against a measure on a space of paths which are infinite in some directions but finite in others. Our results are sharpest for the algebras of rank-two graphs.