Spectral synthesis on the affine group of SU\((n)\) (Q2322497)

If \(X=\mathbb{C}^n\) and \(K\) is either of the compact groups \({\mathrm{SU}}(n)\) and \(\mathrm{U}(n)\), then the corresponding affine group is the semidirect product \(G:={\mathrm{Aff}}\,K:=K\ltimes X\). One can similarly define \({\mathrm{Aff}}\,K\) if \(K\) is for instance the compact group \({\mathrm{SO}}(n)\) acting on \(\mathbb{R}^n\). Denote by \(G/\!/K\) the double coset space corresponding to \(K\) when viewed as a subgroup of \(G\). Using a natural operation of convolution, one can regard the space of continuous functions \(\mathcal{C}(G/\!/K)\) is a module over the algebra of compactly supported complex Borel measures \(\mathcal{M}_c(G/\!/K)\), and its closed submodules are called \(K\)-varieties. \par A \(K\)-variety \(V\) is called \(K\)-synthesizable, if the linear space spanned by the so-called \(K\)-monomials in \(V\) is dense in \(V\). By definition, spherical synthesis holds on the affine group \({\mathrm{Aff}}\,K\) if every \(K\)-variety on \({\mathrm{Aff}}\,K\) is \(K\)-synthesizable. \par With this terminology, one proves that the spectral synthesis holds on the affine group \({\mathrm{Aff}}\,K\) where \(K\) is any of the two groups \({\mathrm{SU}}(n)\) and \({\mathrm{U}}(n)\) (Corollaries 1 and 2). To this end one first proves that the measure algebras \(\mathcal{M}_c({\mathrm{Aff}}\,{\mathrm{SO}}(2n)/\!/{\mathrm{SO}}(2n))\) and \(\mathcal{M}_c({\mathrm{Aff}}\,{\mathrm{SU}}(n)/\!/{\mathrm{SU}}(n))\) are topologically isomorphic (Theorem 7).