Uniqueness of the maximal ideal of the Banach algebra of bounded operators on C([0, _1])

From MaRDI portal
Publication:425751



Abstract: Let omega1 be the first uncountable ordinal. By a result of Rudin, bounded operators on the Banach space C([0,omega1]) have a natural representation as [0,omega1]imes0,omega1]-matrices. Loy and Willis observed that the set of operators whose final column is continuous when viewed as a scalar-valued function on [0,omega1] defines a maximal ideal of codimension one in the Banach algebra mathscrB(C([0,omega1])) of bounded operators on C([0,omega1]). We give a coordinate-free characterization of this ideal and deduce from it that mathscrB(C([0,omega1])) contains no other maximal ideals. We then obtain a list of equivalent conditions describing the strictly smaller ideal of operators with separable range, and finally we investigate the structure of the lattice of all closed ideals of mathscrB(C([0,omega1])).


Denote by \(C([0, \omega_{1}])\) the Banach space of continuous functions on the ordinal interval \([0, \omega_{1}]\), where \(\omega_{1}\) is the first uncountable ordinal. Denote also by \({\mathcal B}(C([0, \omega_{1}]))\) the Banach algebra of bounded operators on \(C([0, \omega_{1}])\). The starting point of the paper under review is a result of \textit{W. Rudin} [Proc. Am. Math. Soc. 8, 39--42 (1957; Zbl 0077.31103)] which implies that each \(T\) in \({\mathcal B}(C([0, \omega_{1}]))\) has a natural representation as a \([0, \omega_{1}] \times [0, \omega_{1}]\)-matrix. Then, it is recalled that \textit{R. J. Loy} and \textit{G. A. Willis} [J. Lond. Math. Soc., II. Ser. 40, No. 2, 327--346 (1989; Zbl 0651.47035)] observed that the set of operators whose final column is continuous when viewed as scalar-valued functions on \([0, \omega_{1}]\) defines a maximal ideal of codimension one in \({\mathcal B}(C([0, \omega_{1}]))\).NEWLINENEWLINEThus, the authors of the present paper give a coordinate-free characterization of this ideal and deduce from it that \({\mathcal B}(C([0, \omega_{1}]))\) contains no other maximal ideals. Then, they obtain a list of equivalent conditions describing the strictly smaller ideal of operators with separable range. They also investigate the structure of the lattice of all closed ideals of \({\mathcal B}(C([0, \omega_{1}]))\).



Cites work









This page was built for publication: Uniqueness of the maximal ideal of the Banach algebra of bounded operators on \(C([0, \omega_1])\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q425751)