The $C^*$-algebras of locally finite undirected graphs: A complete description of their K-theory

Abstract

We study the $C^*$-algebra $C^*(Γ)$ of a locally finite undirected (Serre) graph $Γ$ and compute its K-theory. The algebra is defined intrinsically, as the graph-of-groups algebra with all groups trivial, and is shown to be independent of the choice of orientation. Its structure is accessed through a passage to directed graphs: for every locally finite $Γ$ there is a row-finite directed graph $E_Γ$ with $C^*(Γ)\cong C^*(E_Γ)$, and for essential $Γ$ this identifies $C^*(Γ)$ with the Cuntz--Krieger algebra of the Bass--Hashimoto (non-backtracking) matrix $T_Γ$. This makes the whole directed-graph K-theory machinery available and, unlike the directed case, produces K-groups that read off the geometry of $Γ$: for a finite essential graph of genus $g\ge 2$ one has $K_0(C^*(Γ))\cong\mathbb{Z}^{g}\oplus\mathbb{Z}/(g-1)\mathbb{Z}$ and $K_1(C^*(Γ))\cong H_1(Γ)\cong\mathbb{Z}^{g}$, and in general $K_\ast$ is governed by the genus, the number of ends and the number of dead-ends. We record the resulting classification by genus: the algebras are finite-dimensional or AF at genus $0$, AT precisely for finite graphs at genus $1$, and unital Kirchberg algebras for finite essential graphs of genus $\ge 2$.