Linear algebra in the category of C(X)-locally convex modules (Q908490)

The paper under review may be classified as a representative one of ``categorically-oriented analysis of Banach bundles''. This direction was initiated by K. H. Hofmann, see also \textit{J. Cigler}, \textit{V. Losert}, and \textit{P. Michor} [Banach modules and functors on categories of Banach spaces, Lect. Notes Pure Appl. Math. 46 (1979; Zbl 0411.46044)] and also \textit{M. J. Dupre} and \textit{R. M. Gillette} [Banach bundles, Banach modules and automorphisms of \(C^*\)-algebras, Research Notes Math. 92 (1983; Zbl 0536.46048)]. The authors develop their earlier reslts and methods [Gelfand representation of Banach modules, Diss. Math. (Rozprawy Mat.) 203 (1982; Zbl 0544.46041)]. The authors study the category \(Bun_ X\) of Banach bundles over Hausdorff compact space X and the category \((LC)Mod_ X\) of (C(X)- locally convex) C(X)-modules within the equivalence of these categories provided with the section space functor \(\Gamma: Bun_ X\to LCMod_ X,\quad \pi \to \Gamma (\pi)\) for the bundle \(\pi: E\to X.\) The first Section of the paper deals with rather traditional material: the Gelfand functor, which assigns to each \(M\in Mod_ X\) its canonical bundle \(\pi\) : \(E\to X\) with the fiber space E constructed as the disjoint union of corresponding quotients of M. Some results in Section 1 are folklore, but they are gathered there upon some universal point of view. As \(LCMod_ X\) is cocomplete and is a reflective subcategory of \(Mod_ X\), the correspondng reflector \((=\) Gelfand functor) preserves colimits; the latest enable the authors to rewrite some ``spectral'' decompositions for section space (via colimits). Also, the authors prove (Theorem 1.9) that every \(M\in Mod_ X\) is a colimit of space with the form \(\ell^ 1_ n{\hat \otimes}C(X)\) endowed with the \(\ell^ 1\)-norm, i.e., every initial C(X)-module is a colimit of free and finitely-generated C(X)- modules. As an immediate corollary, every \(\pi \in Bun_ X\) is a colimit of trivial bundles with finite-dimensional fibers. The remainder of the Section deals with tensor products of Banach bundles within the categorical approach. In the second section the main result is the following (Proposition 2.12): \(M\in LCMod_ X\) is projective if and only if M is the retract of a free object in \(LCMod_ X\) (free objects are defined via an usual ``lifting'' property for bounded maps). As it seems, there exists a natural generalization of the result for a wide class of reflective subcategories in \(Mod_ X.\) Lastly, Section 3 contains a characterization of some injective objects in \(LCMod_ X\). As for the section spaces, \(\Gamma (\pi)\in LCMod_ X\) is injective if and only if there exists a suitable set Y such that \(\Gamma\) (\(\pi)\) is a retract of the product of modules in the family \(\{\pi (\ell^{\infty}(Y)\}\) indexed by X (Theorem 3.5). Most of the corollaries concern the structure of C(X)-spaces, which are [LC] \((Mod_ X\)-) \((Ban_ 1\)-) injective and which all bear a resemblance to C(X) with X being extremally disconnected. As a whole, this paper may be considered as a valuable source of constructions, results and methods for categorically-oriented approaches in the theory of Banach bundles.