Bratteli diagram

Bratteli diagram
Name	Bratteli diagram
Introduced	1972
Inventor	Ola Bratteli
Field	Operator algebras
Related	Vershik map, AF algebra, K-theory

Bratteli diagram is a combinatorial object introduced by Ola Bratteli in 1972 to encode inductive sequences of finite-dimensional structures arising in Operator algebras and related areas. It provides a graded, directed multigraph representation that captures inductive limits, dimension growth, and ordering information used in the study of AF algebras, crossed products, and measure-preserving transformations. The diagrammatic formalism connects work by figures such as George Elliott, Denis Ruelle, Anatoly Vershik, Israel Gelfand, and Albert Connes to classification problems and dynamical models including odometers and substitution systems.

Definition and basic properties

A Bratteli diagram is a countable, graded, directed multigraph with vertex sets V_n indexed by nonnegative integers and edge sets E_n connecting V_{n-1} to V_n; originally defined by Ola Bratteli to represent inductive sequences of finite-dimensional C*-algebras and matrix inclusions studied by Gert K. Pedersen. Basic properties include connectivity constraints, incidence matrices between successive levels, and path spaces that are Cantor-like when infinite; these features appear in constructions by Gert K. Pedersen, George Elliott, Edward Effros, and Uffe Haagerup. The adjacency data can be encoded by sequences of nonnegative integer matrices whose inductive limit determines K-theory invariants studied by George Elliott and Murray G. von Neumann collaborators. Ordered Bratteli diagrams incorporate a partial or total order on edges with common range; this ordering underlies the Vershik-type transformations introduced by Anatoly Vershik and developed alongside work by Dan Rudolph and Michael Keane.

Examples and constructions

Standard examples include stationary diagrams arising from a single incidence matrix connected to Perron–Frobenius theorem settings and substitution tilings such as those by Marjorie Senechal and John Conway leading to Penrose-type sequences; substitution matrices link to work of Bruno Nachtergaele and Jean Bellissard. Odometer systems (adding machines) correspond to simple, ordered diagrams related to Herman Putnam Skau constructions and to models studied by S. Kakutani and Michael Keane. AF-algebras like UHF algebras constructed by Glimm admit Bratteli diagrams with supernatural numbers and prime-power building blocks discussed by James Glimm and Blackadar. Non-stationary constructions model approximately finite-dimensional inclusions studied by Elliott and by classification programs involving Kirchberg and N. Christopher Phillips.

Bratteli–Vershik systems and dynamics

When an ordered Bratteli diagram is equipped with a minimal, lexicographic successor map one obtains a Bratteli–Vershik system, a homeomorphism of the path space introduced by Anatoly Vershik and analyzed by Svetlana Bezuglyi, Shirley K. Williams, and Alain Connes in diverse contexts. Vershik maps yield minimal Cantor systems that relate to odometers from Herman Putnam Skau and to substitution subshifts studied by B. Host and Pierre Arnoux. These systems have been used to realize models from Jean-Christophe Yoccoz-style interval exchange transformations and to connect uniquely ergodic examples investigated by William Veech and Howard Masur. Bratteli–Vershik dynamics play roles in topological orbit equivalence and in connections to homeomorphisms studied by Giordano Putnam Skau and R. F. Williams.

Applications in C*-algebras and operator theory

Bratteli diagrams classify AF C*-algebras up to isomorphism via dimension group invariants central to George Elliott's classification program; this framework interfaces with K-theory by Michael Atiyah and Isadore Singer perspectives and with the work of Elliott and Blackadar on ordered K_0-groups. They provide concrete models for approximately finite algebras, UHF algebras from Glimm, and for subfactor lattices as in work by Vaughan Jones and Masaki Izumi. In operator theory, Bratteli diagrams inform spectral analysis for substitution Hamiltonians studied by Jean Bellissard and in noncommutative geometry programs by Alain Connes, and they appear in crossed product constructions related to actions by groups such as Z, Z^d, and amenable groups considered by Elliott and N. Christopher Phillips.

Invariants and classification

Incidence matrices of Bratteli diagrams determine ordered dimension groups (K_0) and traces that serve as complete invariants in many AF classification results by George Elliott, G. A. Elliott, and collaborators like Bruce Blackadar. Additional invariants include simplex of invariant measures linked to ergodic decomposition theorems of Hermann Weyl and the Choquet theory used by Krein and Milman. For minimal Cantor systems realized by ordered diagrams, classification up to orbit equivalence involves invariants studied by Giordano Putnam Skau and by Matui in topological full group contexts related to Rubinstein-type rigidity results. Supernatural numbers for UHF algebras introduced by James Glimm exemplify numerical invariants encoded in diagrams.

Connections to symbolic dynamics and ergodic theory

Path spaces of Bratteli diagrams realize subshifts and substitution systems central to symbolic dynamics work by Marcel-Paul Schützenberger, Morse Hedlund, and Benoit Mandelbrot-adjacent studies; substitution matrices correspond to incidence matrices linked to Perron–Frobenius eigenvalues and to spectral measures analyzed by Walters and Furstenberg. Ergodic measures on Bratteli–Vershik systems link to invariant measure classifications by Furstenberg and to mixing properties explored by Donald Ornstein and D. S. Ornstein in Bernoulli and K-systems. Connections to interval exchange transformations, measured foliations, and Teichmüller dynamics bring in researchers like William Veech and Howard Masur, while relations to Renormalization Group ideas connect to Dennis Sullivan and David Ruelle.

Category:Operator algebras