Invariant subspaces for operators in a general \(\text{II}_{1}\)-factor (Q1026658): Difference between revisions

Let \(\mathcal{M}\) be a von Neumann factor of type \(II_1\) with a normalized trace \(\tau\). In [``Lidskii's theorem in the type II case'', Pitman Res.\ Notes Math.\ Ser.\ 123, 1--35 (1986; Zbl 0646.46058)], \textit{L.\,G.\thinspace Brown} showed that to every operator \(T \in \mathcal{M}\) one can associate in a natural way a spectral distribution measure \(\mu_T\) (now called the Brown measure of \(T\)) which is a probability measure in \(\mathbb{C}\) with support in the spectrum \(\sigma(T)\) of \(T\). In the paper under review, the authors prove that for every \(T \in \mathcal{M}\) and every Borel set \(B\) in \(\mathbb{C}\), there is a unique closed \(T\)-invariant subspace \(\mathcal{K}= \mathcal{K}_T(B)\) affiliated with \(\mathcal{M}\), such that the Brown measure of \(T|_\mathcal{K}\) is concentrated on \(B\) and the Brown measure of \(P_{\mathcal{K}^\bot}T|_{\mathcal{K}^\bot}\) is concentrated on \(\mathbb{C} \backslash B\). Moreover, \(\mathcal{K}\) is \(T\)-hyperinvariant and the trace of \(P_\mathcal{K}\) is equal to \(\mu_T(B)\). In particular, if \(T\in\mathcal{M}\) has a Brown measure which is not concentrated on a singleton, then there exists a nontrivial closed \(T\)-hyperinvariant subspace. Furthermore, the authors show that for every \(T \in \mathcal{M}\) the limit \(A:=\lim_{n\rightarrow \infty}[(T^n)^*T^n]^{\frac {1} {2n}}\) exists in the strong operator topology, and the projection onto \(\mathcal{K}_T\overline{(B(0,r))}\) is equal to \(1_{[0,r]}(A),\) for every \(r > 0\).