On the ranges of certain convolution operators (Q1803502)

The author proves the following theorem. Let \(A\) be a Banach algebra and let \(X\) be a left Banach \(A\)-module. If \(Y\) is a closed subspace of \(X\) such that \(ay\in Y\) whenever \(a\in A\) and \(x\in X\), then \(\{x\in X: Ax=Y\}\) and \(\{a\in A: aX= Y\}\) are open subsets of \(X\) and \(A\), respectively. From this theorem the author derives a number of results of the following kind. Let \(G\) be a locally compact group with measure algebra \(M\) and let \(S\) be a Segal algebra in \(L^ 1(G)\). If \(G\) is non- discrete and \(g\in L^ p(G)\), then \(M*g\neq L^ p(G)\); \(1\leq p<\infty\); if \(G\) is discrete and infinite then \(M*g\neq L^ p(G)\), \(1<p<\infty\), whereas if \(G\) is discrete and \(g\in L^ 1(G)\) with \(\| g-\delta_ e\|_ 1<1\), then \(M*g=L^ 1(G)\). Furthermore, if \(G\) is non-discrete and abelian, if \(f\in L^ 1(G)\) and \(g\in S\), then \(M*g\neq S\) and \(f*S\neq S\). These results should be compared with the well-known identities \(M*L^ p=L^ p\), \(1\leq p<\infty\), and \(M*S=S=L^ 1*S\).