Riesz idempotent and algebraically \(M\)-hyponormal operators (Q816938)

For a bounded linear operator \(T\) on a complex Hilbert space \(H\) and an isolated point \(\lambda\) in its spectrum \(\sigma(T)\), let \(E_\lambda:=\frac{1}{2\pi i}\int_{| z-\lambda| =r}(z-T)^{-1}dz\) be the corresponding Riesz projection. The authors prove that if \(T\) is \(M\)-hyponormal, then \(E_\lambda\) is selfadjoint and \(E_\lambda H=\ker(T-\lambda)=\ker(T-\lambda)^*\). This result has been established previously for other classes of operators which include hyponormal, \(p\)-hyponormal and log-hyponormal operators; see [\textit{J.~G.\ Stampfli}, Trans.\ Am.\ Math.\ Soc.\ 117, 469--476 (1965; Zbl 0139.31201); \textit{M.~Cho} and \textit{K.~Tanahashi}, Integral Equations Oper.\ Theory 43, No.~4, 379--384 (2002; Zbl 1047.47017); \textit{A.~Uchiyama} and \textit{K. Tanahashi}, Math.\ Inequal.\ Appl.\ 5, No.~2, 291--298 (2002; Zbl 1016.47003); \textit{K.~Tanahashi}, Linear Algebra Appl.\ 341, No.~1--3, 345--350 (2002; Zbl 1011.47018)]. The authors of the paper under review also show that if \(T\) is algebraically \(M\)-hyponormal (i.e., there is a nonzero polynomial \(p\) such that \(p(T)\) is \(M\)-hyponormal), then the following statements hold: (i) Weyl's theorem holds for \(f(T)\) for all analytic functions \(f\) on an open neighborhood of \(\sigma(T)\). (ii) If \(S\) is a quasi-affine transform of \(T\), then \(a\)-Browder's theorem holds for \(f(S)\) for all analytic functions \(f\) on an open neighborhood of \(\sigma(S)\). By [\textit{K.~B.\ Laursen} and \textit{M.~M.\ Neumann}, ``An introduction to local spectral theory'' (Lond. Math. Soc. Mon., New Ser. 20, Clarendon Press, Oxford) (2000; Zbl 0957.47004), Theorem 3.3.9], it follows that every algebraically \(M\)-hyponormal operator has the single-valued extension property, and by [\textit{R.~E.\ Curto} and \textit{Y.~M.\ Han}, J.\ Lond.\ Math.\ Soc., II.\ Ser.\ 67, No.~2, 499--509 (2003; Zbl 1063.47001), Theorem 3.2] this suffices to deduce the second statement. The first statement remains valid even for bounded linear operators \(T\) on complex Banach space \(X\) for which there is a function \(p:\mathbb{C}\to\mathbb{Z}^+\) such that \[ H_0(T-\lambda):=\{x\in X:\lim_{n\to+\infty}\| (T-\lambda)^nx\| ^{\frac{1}{n}}=0\}=\ker(T-\lambda)^{p(\lambda)} \] for all \(\lambda\in\mathbb{C}\); see [\textit{M.~Oudghiri}, Stud.\ Math.\ 163, 85--101 (2004; Zbl 1064.47004)]. The class of operators for which this property holds is quite large and includes all subscalar operators.