The quasisimilarity orbits of invariant subspaces (Q1174985)

Let \(L(H)\) be the algebra of all bounded linear operators acting on the Hilbert space \(H\), and let \(T\in L(H)\). Two invariant subspaces \(M\) and \(N\) of \(T\) are equivalent if there exist quasiaffinities \(X\) and \(Y\), commuting with \(T\), such that \((XM)^ -=N\), \((XN)^ -=M\). This is an equivalence relation which determines the quasisimilarity orbit of a given invariant subspace. In a previous paper, the author (with A. Tannenbaum) proved that if \(T=S(\theta)^{(n)}\), and if \(M\), \(N\) are invariant for \(T\) such that \(T\mid M\), \(T\mid N\) are quasisimilar, then \(M\), \(N\) belong to the same quasisimilarity orbit. Here \(n\) is a natural number, \(\theta\) is an inner function, \(S(\theta)=P_{H(\theta)}S\mid H(\theta)\), \(H(\theta)=H^ 2\ominus \theta H^ 2\), where \(H^ 2\) is the Hardy space on the unit disc and \(S\) is the shift on \(H^ 2\); \(S(\theta)^{(n)}\) denotes the direct sum of \(n\) copies of \(S(\theta)\). In the present paper, the author characterizes all operators of class \(C_ 0\) for which the conclusion of the above assertion still holds. A situation when \(n\) is replaced by infinity is also studied.