Ideal-triangularizability of upward directed sets of positive operators (Q554374)

Let \(\mathcal F\) be a family of operators on a Banach lattice \(E\) and let \(I,J\) be closed order ideals of \(E\) such that \(J\subseteq I\). Then \(\mathcal F\) induces a family \(\widehat{\mathcal F}\) of operators on the quotient Banach lattices \(I/J\) as follows. For each \(T\in \mathcal F\), the operator \(\widehat{T}\) is defined on \(I/J\) by \(\widehat{T}(x +J) = Tx +J\). Any such \(\widehat{\mathcal F}\) is called a collection of ideal quotients of the family \( \mathcal F\). The author shows that ideal triangularizability of operators is inherited by ideal quotients. More precisely, he gives the following theorem. Theorem. Let \(\mathcal F\) be a family of operators on a Banach lattice \(E\) and \(J\) be a closed order ideal of \(E\) which is invariant under every operator in \(\mathcal F\). Then \(\mathcal F\) is ideal triangularizable if and only if \(\{S_{|J}: J\rightarrow J,S\in \mathcal F\}\) and \(\{\widehat{S}: S \in \mathcal F \}\) are ideal triangularizable. Let \(\mathcal F\) be a family of positive operators on a Banach lattice \(E\) and \({\mathcal F}^n\) be defined as the set of all products of at least \(n\) operators from \(\mathcal F\). Then it is shown that, if \({\mathcal F}^n\) is ideal triangularizable for some \(n\), then \(\mathcal F \) is also ideal triangularizable. It follows from this last result that every semigroup of positive weakly compact quasinilpotent operators on an AL or AM space is ideal triangularizable. Let now \(\mathcal F\) be an upward directed set of positive operators and suppose that \(\sup \mathcal F\) exists. Then we have the following. Proposition. Suppose that \(E\) has order continuous norm and \(\mathcal F = \{T_\alpha\}\) is an upward directed set of ideal triangularizable operators on \(E\). Then {\parindent=7mm \begin{itemize}\item[(a)] If \(E\) has atoms, then \(\{T_\alpha\}\) is ideal reducible. If \(\{T_\alpha\}\) is majorized, then \(\sup_\alpha T_\alpha\) is ideal reducible. \item[(b)] If \(E\) is atomic, then \(\{T_\alpha\}\) is ideal triangularizable. If \(\{T_\alpha\}\) is majorized, then \(\sup_\alpha T_\alpha\) is ideal triangularizable. \end{itemize}} In the main result of the paper, the author gives the following theorem. Theorem. Let \(E\) be a Banach lattice with order continuous norm and \(\{T_\alpha\} = \mathcal F\) be a net of upward directed set of positive ideal triangularizable operators on \(E\). Then {\parindent=7mm \begin{itemize}\item[(a)]If for each \(\alpha\), \(T_\alpha\) is a compact operator or an abstract integral operator, then \(\{T_\alpha\}\) is ideal triangularizable. If \(\{T_\alpha\}\) is majorized, then \(\sup_\alpha T_\alpha\) is ideal triangularizable. \item[(b)]If \(\mathcal F\) is majorized and if \(\sup_\alpha T_\alpha\) is power compact, then \(\sup_\alpha T_\alpha\) is also an ideal triangularizable operator. \end{itemize}} Then ideal triangularizablity of additive semigroups is discussed. Let us recall that, if \(T\) is power compact, then the smallest positive integer \(n\) such that \(T^n\) is a compact operator is called the index of compactness of \(T\). Theorem. Let \(\mathcal S\) be an additive semigroup of positive quasinilpotent power compact operators on a Banach lattice. If the index of compactness of operators from \(\mathcal S\) is bounded, then \(\mathcal S\) is ideal triangularizable. Moreover, if every operator in \(\mathcal S\) is nilpotent, then the algebra generated by \(\mathcal S\) is a nilpotent algebra.