Hyperinvariant subspaces for operators having a compact part (Q640950)

Let \(H\) be a separable infinite-dimensional Hilbert space and let \(L(H)\) be the algebra of all bounded linear operators on \(H\). It is an open problem if every operator \(T\in L(H)\) has a nontrivial hyperinvariant subspace. In this paper, some new results related to this problem are proved. Recall that an operator \(T\in L(H)\) has a compact part if there exists a nontrivial \(T\)-invariant subspace \(M\) such that the restriction \(T|M\) is a compact operator. The hyperinvariant subspace problem for these operators has already been studied by \textit{R. G. Douglas} and \textit{C. Pearcy} [Mich. Math. J. 19, 1--12 (1972; Zbl 0233.47005)]. The main theorem of the present paper says the following. If \(M\) is a nontrivial closed subspace of \(H\), then, for a compact operator \(A\in L(M)\) and an arbitrary operator \(B\in L(M^\perp)\), either the operator whose block matrix with respect to the decomposition \(M\oplus M^\perp\) is upper triangular, with \(A\) and \(B\) on the diagonal, or the operator whose block matrix with respect to the decomposition \(M\oplus M^\perp\) is lower triangular, with \(A\) and \(B\) on the diagonal, has a nontrivial hyperinvariant subspace. It follows, as a corollary, that \(T\in L(H)\) which has a compact part and whose adjoint \(T^*\) is not weakly quasinilpotent (for the definition see the paper) has a nontrivial hyperinvariant subspace.