Compact operators in the commutant of essentially normal operators (Q2446078)

Let \(H\) be a separable infinite-dimensional Hilbert space. Denote by \(B(H)\) the algebra of all bounded linear operators on \(H\). An operator \(T \in B(H)\) is called essentially isometric (resp. essentially normal) if \(I-T^*T\) (resp., \(TT^*-T^*T\)) is compact. The authors study when an operator belonging to one of these classes admits a compact operator \(S\) in the commutant \(\{T\}'\) of \(T\). Among several results, I would like to mention the following: {\parindent=0,6cm \begin{itemize}\item[(1)] If \(T\) is an essentially isometric completely nonunitary contraction, then \(S \in \{ \, T \, \}'\) is compact if and only if \[ \displaystyle{\lim_{n\to \infty} \|T^nS\|=0.} \] \item[(2)] Let \(T\) be an essentially normal Fredholm operator and let \(S \in \{ \, T \, \}'\). If \[ \displaystyle{\liminf_{n \to \infty} \frac{1}{n} \left\| \sum_{k=1}^n \lambda^{-k} T^k S \right\| =0} \] holds for every number \(\lambda\) in the essential spectrum of \(T\), then \(S\) is compact. \end{itemize}}