Quantum metric Choquet simplices

TL;DR

This paper introduces quantum metric Choquet simplices, a new class of compact quantum metric spaces with a focus on their structure, examples, and continuity properties, especially in relation to classifiable C*-algebras and dynamical systems.

Contribution

It formalizes quantum metric Choquet simplices with the Riesz interpolation property, providing new tools for studying distances and properties in classifiable C*-algebras and their embeddings.

Findings

Construction of classifiable C*-algebraic quantum metric Bauer simplices.

Development of non-Bauer examples via tracial quantum crossed products.

Continuity results for quantum structures under deformed isometric actions.

Abstract

Precipitating a notion emerging from recent research, we formalise the study of a special class of compact quantum metric spaces. Abstractly, the additional requirement we impose on the underlying order unit spaces is the Riesz interpolation property. In practice, this means that a 'quantum metric Choquet simplex' arises as a unital $\mathrm{C}^*$-algebra $A$ whose trace space is equipped with a metric inducing the $w^*$-topology, such that tracially Lipschitz elements are dense in $A$. This added structure is designed for measuring distances in and around the category of stably finite classifiable $\mathrm{C}^*$-algebras, and in particular for witnessing metric and statistical properties of the space of approximate unitary equivalence classes of unital embeddings of $A$ into a stably finite classifiable $\mathrm{C}^*$-algebra $B$. As for examples, we recall the construction of classifiable $\mathrm{C}^*$-algebraic quantum metric Bauer simplices that function as noncommutative spaces of observables of compact connected metric spaces $(X,\rho)$. We also explain how to build non-Bauer examples by forming 'tracial quantum crossed products' associated with topological dynamical systems on $(X,\rho)$, and we use classification to show that continuous fields of quantum spaces are obtained by continuously varying either the dynamics or the metric. In the case of deformed isometric actions, we show that equivariant Gromov-Hausdorff continuity implies fibrewise continuity of the quantum structures with respect to Rieffel's quantum Gromov-Hausdorff distance. As an example, we present a field of deformed tracial rotation algebras whose fibres are continuous with respect to a quasimetric that we call the quantum intertwining gap.