Amenable fusion algebraic actions of discrete quantum groups on compact quantum spaces

TL;DR

This paper introduces a new framework for analyzing actions of fusion algebras on $C^*$-algebras, defines amenability in this context, and connects it to the amenability of discrete quantum groups, providing a deeper understanding of quantum symmetries.

Contribution

It develops the concept of fusion algebraic actions and FA-amenability, linking them to quantum group amenability and introducing the CFA form for quantum group actions.

Findings

FA-amenability is equivalent to quantum group amenability.

The CFA form provides a canonical representation of quantum group actions.

Amenability corresponds to the existence of FA-invariant probability measures.

Abstract

In this paper, we introduce actions of fusion algebras on unital $C^*$-algebras, and define amenability for fusion algebraic actions. Motivated by S.\ Neshveyev et al.'s work, considering the co-representation ring of a compact quantum group as a fusion algebra, we define the canonical fusion algebraic (for short, CFA) form of a discrete quantum group action on a compact quantum space. Furthermore, through the CFA form, we define FA-amenability of discrete quantum group actions, and present some basic connections between FA-amenable actions and amenable discrete quantum groups. As an application, thinking of a state on a unital $C^*$-algebra as a "probability measure" on a compact quantum space, we show that amenability for a discrete quantum group is equivalent to both of FA-amenability for an action of this discrete quantum group on a compact quantum space and the existence of this kind of "probability measure" that is FA-invariant under this action.