No label defined (Q4381772)

We define the Bergman space \(L_a^2({\mathbb{D}})\) to be the closed subspace of \(L^2(\mathbb{D}, dA)\) consisting of analytic functions, where \(dA\) is the normalized two dimensional Lebesgue measure on the open unit disc \(\mathbb{D}\) in the complex plane \(\mathbb{C}\). A linear subspace \(I\) of \(L_a^2({\mathbb{D}})\) is said to be invariant if it is closed and if \(M_zI\subset I\) where \(M_z\) is the operator \(f\mapsto zf\) on \(L_a^2({\mathbb{D}})\). Given an invariant subspace \(I\) of \(L_a^2({\mathbb{D}})\) we let \(M_I=M_z| _I\) be the restriction of \(M_z\) to \(I\). Clearly \(M_I\) is a bounded operator on \(I\). In the present article the operator \(M_I\) is studied in order to arrive at more information about \textit{S. Richter} [Pac. J. Math. 133, No. 1, 151-156 (1988; Zbl 0657.47031)] has proved that if two restriction operators are unitarily equivalent then the corresponding invariant subspaces are equal. In this article the similarity and quasisimilarity of such restrictions are dealt with. The commutant of \(M_I\) is shown to be \[ \{M_I\}'=\{M_{\varphi}:\varphi\in H^{\infty}(\mathbb{D})\} \] whenever \(I\) has the codimension 1 property, that is \(\dim (I\ominus zI)=1\). A bounded operator \(T\) on a Hilbert space \(H\) is essentially normal if its self-commutator, \([T^*,T]=T^*T-TT^*\), is compact. It is shown that \(M_I\) is essentially normal if and only if \(I\) has the codimension \(n\) property with \(n\) finite. It is also shown that if \(I\) has the codimension \(n\) property with finite \(n\) then the \(C^*\)-algebra generated by \(I\) denoted by \({\mathcal A}(I)\) is given by \[ {\mathcal A}(I)=\{T_{\varphi}+K:\varphi\in C(\overline\mathbb{D}), K\in {\mathcal K}(I)\}. \] Here \({\mathcal K}(I)\) is the ideal of compact operators on \(I\).