arXiv++ Combinatorics

We prove that a finite, connected, singly connected, locally convex higher-rank tree whose $1$-skeleton is planar and which is \emph{non-degenerate}, in the sense that every edge of each colour forms a commuting square with every other colour, has rank at most four. Under these hypotheses this establishes the planarity conjecture stated in \cite{Pask}. The obstruction side of the argument uses only the non-planarity of $K_5$; it makes no appeal to the four-colour theorem. The engine is a monotonicity property of the set of colours emitted at a vertex (``backward propagation''), which forces, in any finite singly connected non-degenerate $k$-graph, a single vertex emitting all $k$ colours; once $k\ge 5$, local convexity manufactures a subdivision of $K_5$ at such a vertex.

We introduce a new family of higher-rank graphs, whose construction was inspired by the graphical techniques of Lambek \cite{Lambek} and Johnstone \cite{Johnstone} used for monoid and category emedding results. We show that they are planar $k$-trees for $2 \le k \le 4$. We also show that higher-rank trees differ from $1$-trees by giving examples of higher-rank trees having properties which are impossible for $1$-trees. Finally, we collect more examples of higher-rank planar trees which are not in our family.

We compute a presentation of the fundamental group of a higher-rank graph using a coloured graph description of higher-rank graphs developed by the third author. We compute the fundamental groups of several examples from the literature. Our results fit naturally into the suite of known geometrical results about $k$-graphs when we show that the abelianisation of fundamental group is the homology group. We end with a calculation which gives a non-standard presentation of the fundamental group of the Klein bottle to the one normally found in the literature.

k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop a theory of the fundamental groupoid of a k-graph, and relate it to the fundamental groupoid of an associated graph called the 1-skeleton. We also explore the failure, in general, of k-graphs to faithfully embed into their fundamental groupoids.

k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop the theory of covering spaces for k-graphs, obtaining a satisfactory version of the usual topological classification in terms of subgroups of a fundamental group. We then use this classification to describe the C*-algebras of covering k-graphs as crossed products by coactions of homogeneous spaces, generalizing recent results on the C*-algebras of graphs.