Bratteli diagrams via the De Concini–Procesi theorem

Abstract

An AF algebra [Formula: see text] is said to be an AF[Formula: see text] algebra if the Murray–von Neumann order of its projections is a lattice. Many, if not most, of the interesting classes of AF algebras existing in the literature are AF[Formula: see text] algebras. We construct an algorithm which, on input a finite presentation (by generators and relations) of the Elliott semigroup of an AF[Formula: see text] algebra [Formula: see text], generates a Bratteli diagram of [Formula: see text] We generalize this result to the case when [Formula: see text] has an infinite presentation with a decidable word problem, in the sense of the classical theory of recursive group presentations. Applications are given to a large class of AF algebras, including almost all AF algebras whose Bratteli diagram is explicitly described in the literature. The core of our main algorithms is a combinatorial-polyhedral version of the De Concini–Procesi theorem on the elimination of points of indeterminacy in toric varieties.