A spectral mapping theorem for Banach modules (Q4484570)

To describe the main result of the paper under review, consider a locally compact abelian group~\(G\) with the dual group~\(\widehat{G}\), the Banach algebra~\(M(G)\) of bounded regular complex Borel measures on \(G\), and the largest closed regular subalgebra of \(M(G)\) denoted by \(\text{reg}(M(G))\). Furthermore, let \(X\) be a Banach \(M(G)\)-module with the scalar multiplication \(M(G)\times X\to X\), \((\mu,x)\mapsto\mu\circ x\), and for each \(\mu\in M(G)\) define \(T_\mu\colon X\to X\), \(T_\mu x=\mu\circ x\). Also, denote by \(\text{sp}(X)\) the set of all \(\chi\in\widehat{G}\) such that \(\widehat{f}(\chi)=0\) whenever \(f\in L^1(G)\) and \(T_f=0\), where \(\widehat{\phantom{f}}\) stands for the Fourier transform. With this notation, the main result of the paper (Theorem~2.1) says that for all \(\mu\in\text{reg}(M(G))\) we have \[ \sigma(T_\mu)=\overline{\widehat{\mu}(\text{sp}(X))} \] provided the closed linear subspace spanned by \(\{f\circ x\mid f\in L^1(G),x\in X\}\) is dense in \(X\), where \(\sigma(\cdot)\) stands for the spectrum of a bounded linear operator.