Weyl's theorem in several variables (Q984812)

For a Banach space operator \(T\), the Weyl spectrum is \(\sigma_W(T)=\{ \lambda \in {\mathbb C}\mid T-\lambda~\text{is not}\) \(\text{a Fredholm operator}\) \(\text{of index}~0\}\). Of course, \(\sigma_W(T)\subseteq \sigma(T)\). If \(\sigma(T)\setminus \sigma_W(T)\) consists of isolated eigenvalues of finite multiplicity, then \(T\) is said to satisfy Weyl's theorem. In this note, Weyl's theorem is studied for commuting \(n\)-tuples of operators. \textit{M.\,Cho} and \textit{M.\,Takaguchi} [Sci.\ Rep.\ Hirosaki Univ. 27, 47--49 (1980; Zbl 0465.47007)] have defined the joint Weyl spectrum of a commuting \(n\)-tuple \(T=(T_1, \dots, T_n)\) as \(\omega(T)=\cap \sigma_T(T+K)\), where the intersection is taken over all \(n\)-tuples \(K=(K_1, \dots, K_n)\) of compact operators such that \(T+K\) is a commuting \(n\)-tuple. Here, \(\sigma_T(\cdot)\) means the Taylor spectrum. However, it seems that the \textit{Taylor Weyl spectrum} \(\sigma_{TW}(T)\) of an \(n\)-tuple \(T\), which is introduced in this note, is a more natural generalization of the Weyl spectrum of a single operator. There are two versions of Weyl's theorem for a commuting \(n\)-tuple \(T\). The first says that \(\sigma_T(T)\setminus \pi_{00}(T)=\sigma_{TW}(T)\) and the second that \(\sigma_T(T)\setminus \pi_{00}(T)=\omega(T)\). The former implies the latter. (With \(\pi_{00}(T)\), we have denoted the set of all isolated points in \(\sigma_T(T)\) which are joint eigenvalues of finite multiplicity.) The main result of the paper asserts that a doubly commuting \(n\)-tuple \(T\) of hyponormal operators which has the quasitriangular property, a property related to the Koszul complex of \(T\), satisfies the first version of Weyl's theorem.