Noncommutative manifolds from graph and \(k\)-graph \(C^*\)-algebras (Q533643)

\textit{D. Pask} and \textit{A. Rennie} constructed in [J. Funct. Anal. 233, No.~1, 92--134 (2006; Zbl 1099.46047)] smooth \((1, \infty)\)-summable semifinite spectral triples for graph algebras that admit a faithful trace. Together with \textit{A. Sims}, they showed in [J. K-Theory 1, No.~2, 259--304 (2008; Zbl 1167.46036)] that the construction generalizes to \(k\)-graph algebras for which it gives rise to \((k, \infty)\)-summable semifinite spectral triples. In the paper under review, they take their analysis a step further by identifying classes of graphs and \(k\)-graphs which satisfy appropriate versions of the conditions imposed by \textit{A. Rennie} and \textit{J. C. Várilly} in [\textit{Reconstruction of manifolds in noncommutative geometry}, \url{http://arxiv.org/abs/math/0610418v4}, preprint 2008], and are therefore, in the authors' own words, ``reasonable candidates for the title of noncommutative manifolds''. The new conditions for noncommutative manifolds extend the ones of Rennie and Varilly to the semifinite and nonunital setting. In Theorem 3.4 it is shown that, for a connected locally finite graph with no sinks which admits a faithful graph trace, satisfies the single entry condition and has finitely generated K-theory, the gauge spectral triple satisfies all the new conditions. Unless the graph is a single loop, the resulting spectral triple is nonunital (cocompact) and semifinite. Theorem 4.4 describes a class of \(k\)-graphs for which the associated spectral triple satisfies the new conditions.