Noncommutative spectral synthesis for the involutive Banach algebra associated with a topological dynamical system (Q1943748)

Consider a topological dynamical system \(\Sigma = (X,\sigma)\), where \(X\) is a compact Hausdorff space and \(\sigma\) is a homeomorphism of \(X\). We can then apply the crossed product construction to the induced action of \({\mathbb Z}\) on \(C(X)\) and obtain an involutive Banach algebra \(\ell^1(\Sigma)\). The authors study spectral synthesis for \(\ell^1(\Sigma)\), starting by defining two models of spectral synthesis in this context. Write the elements \(a\) of \(\ell^1(\Sigma)\) in the form \(\sum_n a_n \delta ^n\), where \(a_n\in C(X)\) and \(n\in {\mathbb Z}\). The authors define the hull of a subspace \(I\subseteq \ell^1(\Sigma)\) as \({\mathcal H}(I) = \{ x\in X : a_n(x) = 0 \text{ for every } a\in I \text{ and }n\in {\mathbb Z} \}\) and the kernel of a subset \(S\subseteq X\) as \({\mathcal K}(S) = \{ a\in \ell^1(\Sigma) : a_n|_S = 0 \text{ for every } n\in {\mathbb Z}\}\). In the so-called \(C(X)\)-model, the spectral synthesis holds if the maps \(I\mapsto {\mathcal H}(I)\) and \(S\mapsto {\mathcal K}(S)\) are mutually inverse bijections between the set of closed ideals of \(\ell^1(\Sigma)\) and the set of \(\sigma\)-invariant closed subsets of \(X\). Several equivalent conditions are given for the spectral synthesis to hold, one of them being that the action of \({\mathbb Z}\) on \(X\) is free. The proof of this equivalence makes use of the result due to the authors and \textit{C. Svensson} [J. Funct. Anal. 262, 4746--4765 (2012; Zbl 1311.46046)] that every closed ideal of \(\ell^1(\Sigma)\) is self-adjoint if and only if \(\Sigma\) is free. In the second, so-called \(\ell^1({\mathbb Z})\)-model, the hull and the kernel operators are defined differently, based on the use of the Fourier transform on \({\mathbb Z}\). The latter model is more intricate as already the hull is defined to be a subset of \(X\times {\mathbb T}\). However, also in this case, the spectral synthesis holds if and only if \(\Sigma\) is free.