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}}$.

Nuclearity and Grothendieck-Lidskii formula for quaternionic operators

Nuclearity, Schatten-von Neumann classes, distribution of eigenvalues and $L^p$-$L^q$-boundedness of Fourier integral operators on compact manifolds

Beyond trace class -- Tensor products of Hilbert spaces and operator ideals in quantum physics

An inequality for eigenvalues of nuclear operators via traces and the generalized Hoffman–Wielandt theorem

Trace formulas in higher dimensions

From the Choi formalism in infinite dimensions to unique decompositions of generators of completely positive dynamical semigroups

MF-traces and a Lower Bound for the Topological Free Entropy Dimension in Unital C*-algebras

The effect of the trace operator on the duality of modular grids in genus zero levels

Noncommutative Residues, Equivariant Traces, and Trace Expansions for an Operator Algebra on $\mathbb R^n$

Quantum traces for $\mathrm{SL}_n(\mathbb{C})$: The case $n=3$

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

Limit formulas for the trace of the functional calculus of quantum channels for $SU(2)$

Quantum Character Theory

Trace formula and Levinson's theorem as an index pairing in the presence of resonances

The trace operator of quasi-plurisubharmonic functions on compact Kähler manifolds

Trace formulae for Schrödinger operators on lattice

A note on traces for the Heisenberg calculus

Some Inequalities for Trace Class Operators Via a Kato's Result

A trace inequality for Euclidean gravitational path integrals (and a new positive action conjecture)

Trace formulas for $\mathcal{S}^p$-perturbations and extension of Koplienko-Neidhardt trace formulas