Beurling-Fourier algebras on compact groups: Spectral theory (Q656204)

Let \(G\) be a compact abelian group with discrete dual group \(\hat G\). A weight is a function \(\omega:\hat G\to\mathbb R^{>0}\) such that \(\omega(\sigma)\leq\omega(\pi)\omega(\pi')\) whenever \(\sigma\) is a subrepresentation of \(\pi\otimes\pi'\). The \textit{Beurling--Fourier algebra} \(A_\omega(G)\) is defined as the space of operator fields \(\{(f(\pi))_{\pi\in\hat G}\in\prod_{\pi\in\hat G}L(H_\pi):\sum_{\pi\in\hat G}\|f(\pi)\|_1\text{dim}(H_\pi) \omega(\pi)<\infty\}\), where \(H_\pi\) is the representation space of \(\pi\) and \(\|\;\|_1\) is the trace norm. It is shown that \(A_\omega(G)\) is a semisimple commutative Banach algebra, which is a subalgebra of the Fourier algebra when \(\inf_{\pi\in\hat G}\omega(\pi)>0\). In contrast to the Fourier algebra, for which the Gelfand spectrum is \(G\), \(A_\omega(G)\) may have a larger Gelfand spectrum \(G_\omega\). The authors explore conditions that provide \(G_\omega=G\). In particular, this happens when \(\omega\) is of polynomial growth. They also give some results on spectral synthesis for \(A_\omega(G)\).