No label defined (Q4940669)

The authors study the closed algebras \(\mathfrak{A}(S_p,\Omega)\) of operators acting on the space \(L_p(\mathbb{T})\) (where \(\mathbb{T}\) is the unit circle and \(1<p<\infty)\) generated by the Cauchy singular integral operator \(S_p\) and by the operators of multiplications by the functions in some closed subalgebra \(\Omega\) of the \(C^\ast-\)algebra \(L_\infty(\mathbb{T)}\). The main result is the following Theorem: Every operator \(F\in \mathfrak{A}(S_p,\Omega)\) admits a unique representation of the form \[ F=\varphi P_p^{+}+\psi P_{p}^{-}+K \] where \(\varphi ,\psi \in \Omega \) and \(K\in Com \mathfrak{A} (S_p,\Omega)\) (the commutator ideal of the algebras \(\mathfrak{A} (S_{p},\Omega)).\) The mapping \[ \mu _\Omega:\mathfrak{A}(S_{p},\Omega)\rightarrow \Omega \dotplus \Omega \] defines an epimorphism of Banach algebras. The \(\ker \mu_\Omega\) coincides with \(Com \mathfrak{A}(S_{p},\Omega).\) The ideal \(Com \mathfrak{A}(S_{p},\Omega)\) contains the ideal \(Comp\) \(L_p(\mathbb{T})\) of compact operators acting in \(L_p(\mathbb{T})\). Hence, \(\mu_\Omega(F)\) to be non degenerating in the algebra \(\Omega \dotplus\Omega\) is necessary for \(F\) to be a Fredholm operator in \(L_{p}(\mathbb{T})\). The main tool for the proof of this theorem is investigation of a certain set of ideals \(J_{\mathbb{A}\text{ \;}}\) associated with a Douglas algebra \( \mathbb{A}\) in \(L_\infty(\mathbb{T})\). The definition of \(J_{\mathbb{A}\text{ \;}}\) is similar to that of N. K. Nikolskij ideals introduced in order to investigate the algebra of Toeplitz operators in the Hardy space \(H_2\). Some property of these ideals is studied, which, in particular, make it possible to describe the ideal \(Com \mathfrak{A}(S_p,\Omega)\) and estimate the norm of singular integral operators in the quotient space End;\(L_p(\mathbb{T})/J_{\mathbb{A}}\).