Abstract:We investigate the tracial states and $\mathbb{G}$-invariant states on the reduced $C^*$-algebra $C_r(\widehat{\mathbb{G}})$ of a discrete quantum group $\mathbb{G}$. Here, we denote its dual compact quantum group by $\widehat{\mathbb{G}}$. Our main result is that a state on $C_r(\widehat{\mathbb{G}})$ is tracial if and only if it is $\mathbb{G}$-invariant. This generalizes a known fact for unimodular discrete quantum groups and builds upon the work of Kalantar, Kasprzak, Skalski, and Vergnioux. As one consequence of this, we find that $C_r(\widehat{\mathbb{G}})$ is nuclear and admits a tracial state if and only if $\mathbb{G}$ is amenable. This resolves an open problem due to C.-K. Ng and Viselter, and Crann, in the discrete case. As another consequence, we prove that tracial states on $C_r(\widehat{\mathbb{G}})$ "concentrate" on $\widehat{\mathbb{G}}_F$, where $\mathbb{G}_F$ is the cokernel of the Furstenberg boundary. Furthermore, given certain assumptions, we characterize the existence of traces on $C_r(\widehat{\mathbb{G}})$ in terms of whether or not $\widehat{\mathbb{G}}_F$ is Kac type. We also characterize the uniqueness of (idempotent) traces in terms of whether not $\widehat{\mathbb{G}}_F$ is equal to the canonical Kac quotient of $\widehat{\mathbb{G}}$. These results rely on the following, of which we give proofs: Sołtan's canonical Kac quotient construction, whether it is applied to the universal or the reduced CQG $C^*$-algebra of $\widehat{\mathbb{G}}$ (when the latter admits a trace), yields the maximal Kac type closed quantum subgroup of $\widehat{\mathbb{G}}$.

On the variety of X-states

X-arability of mixed quantum states

Tracial central states on compact quantum groups

On the rational invariants of quantum systems of $n$-qubits

Algebraic isomorphisms of quantized homogeneous spaces

Quantization, dequantization, and distinguished states

Rational Local Unitary Invariants of Symmetrically Mixed States of Two Qubits

Effective Rationality for Local Unitary Invariants of Mixed States of Two Qubits

Q-Stability Conditions on Calabi-Yau-X Categories

Schur Quantization and Complex Chern-Simons theory

Tracial States and $\mathbb{G}$-Invariant States of Discrete Quantum Groups

$\mathbb{X}$-stability conditions on Calabi-Yau-$\mathbb{X}$ categories and twisted periods

Volumes of Subvarieties of Complex Ball Quotients and Sparsity of Rational Points

The field of moduli of varieties with a structure

A mathematical theory of topological invariants of quantum spin systems

Maximally entangled real states and SLOCC invariants: the 3-qutrit case

Quantum Cellular Automata on Symmetric Subalgebras