Wiener's inversion theorem for a certain class of \(^{\ast}\)-algebras (Q2925536)

Wiener's celebrated theorem of the title states that a function is locally invertible where its Fourier transform is nonvanishing. More precisely, we have the following: Let \(G\), \(\Gamma\) be dual locally compact abelian groups and let \(A(\Gamma):= \{\hat{f}: f\in L^1(G)\}\) be the Fourier algebra of \(\Gamma\). If \(E\) is a compact set in \(\Gamma\) disjoint from the zero set of \(\hat f\in A(\Gamma)\), then there is a \(\hat g \in A(\Gamma)\) such that \(\hat g(\gamma) = 1/\hat f(\gamma)\) for all \(\gamma \in E\).NEWLINENEWLINEThe paper under review gives a generalisation of this theorem in the context of algebras with involution. A \(G^*\)-algebra is an *-algebra \(A\) equipped with a Gelfand-Naimark seminorm \(\gamma_A\). For such an algebra, let \(C^*(A)\) denote the enveloping \(C^*\)-algebra of \(A\), let \(Z(a)\) be the closed two-sided ideal in \(C^*(A)\) generated by \(a\in A\) and let \(k(E) := \{a\in A: Z(a)\subset E\}\) for any closed two-sided ideal \(E\) in \(C^*(A)\).NEWLINENEWLINEThe main theorem states that a coset \(a+k(E)\) is invertible in \(A/k(E)\) if and only if \(a+E\) is invertible in \(C^*(A)/E\), under more restrictive conditions on \(A\) (all of which are satisfied by \(A(\Gamma)\)).