Tauberian convolution operators acting on \(L_{1}(G)\) (Q321768): Difference between revisions

Let \(X\) and \(Y\) be complex Banach spaces and \(T:X\to Y\) be a continuous linear operator. \(T\) is said to be Tauberian if the second conjugate \(T^{**}: X^{**}\to Y^{**}\) satisfies \(T^{**-1}(Y)= X\), and \(T\) is called Fredholm if it has closed finite-codimensional range and finite-dimensional kernel. Let \(L_1(G)\) be the space of \(m\)-integrable complex functions on \(G\) endowed with the \(L_1\)-norm, where \(G= (G,t,0)\) is an infinite locally compact Abelian group and \(m\) the Haar measure on \(G\). In this paper, the authors study the convolution operators \(T_\mu\) which are Tauberian as operators acting on the group algebras \(L_1(G)\), where \(\mu\) is a complex Borel measure on \(G\). They show that these operators are invertible when \(G\) is non-compact, and that they are Fredholm when they have closed range and \(G\) is compact. In the remaining case, when \(G\) is compact and \(R(T_\mu)\) is not assumed to be closed, it is proved that \(T_\mu\) is Fredholm when the singular continuous part of \(\mu\) with respect to the Haar measure on \(G\) is zero.