Non-linear traces of Choquet type on AF algebras
Ryota Ninomiya
TL;DR
The paper develops a non-linear Choquet-type integration theory for unital AF algebras by linking Choquet traces to the dimension scale $\\Gamma(A)$. It proves a bijection between Choquet traces on a unital AF algebra $A$ and increasing functions $\\alpha: \\Gamma(A) \to [0,\\infty)$ with $\\alpha(0)=0$, and provides explicit Choquet formulas on each finite-dimensional block that extend compatibly along the AF filtration. The main technical achievement is a constructive, inductive-limit approach that yields a global trace $\\Phi_\\alpha$ characterized by $\\Phi_\\alpha(p) = \\alpha([p])$ for projections and satisfies unitary invariance, monotonicity, positive homogeneity, and comonotonic additivity on spectrum. The work includes concrete examples (e.g., UHF and Fibonacci AF algebras) and a method to generate non-linear traces from a given tracial state, highlighting the role of the dimension scale in shaping non-commutative Choquet-type integrals and their potential connections to $K_0$ data and operator-algebraic probability.
Abstract
We study non-linear traces of Choquet type on AF algebras. Building on the characterization of Choquet traces on matrix algebras due to Nagisa--Watatani, we generalize the construction to arbitrary unital AF algebras. We show that there is a one-to-one correspondence between such traces and increasing functions on the dimension scale, and we obtain explicit Choquet formulas in terms of the spectrum and ranks of spectral projections along a fixed AF filtration.
