Amenability for unitary groups of C*-algebras (2305.13181v2)

Abstract: In this note we state a conjecture that characterizes unital C*-algebras for which the unitary group is amenable as a topological group in the norm topology. We prove the conjecture for simple, separable, stably finite, unital, $\mathcal Z$-stable, UCT C*-algebras with torsionfree K_0 using the progress on the Elliott classification program for nuclear C*-algebras as well as Pestov's study of amenability of gauge groups. Based on work of Kirchberg, we provide a counterexample to a question of Ng, who proposed a different characterization in earlier work.