Integral and nuclear operators on the space \(C(\Omega,c_0)\) (Q1010993)

The starting point of the paper are some classical associations corresponding to a bounded linear operator \(U:C(\Omega,X)\to Y\) (here, \(\Omega\) is compact Hausdorff, \(X\) and \(Y\) are Banach spaces and \(C(\Omega,X)\) means as usual the Banach space of continuous functions \(f:\Omega\to X\)): {\parindent=5mm \begin{itemize}\item[1.] The associated finitely additive vector measure \(G:\Sigma_\Omega\to L(X,Y^{**})\) is given by \(Uf=\int_\Omega f\,dG\) (or, more precisely, for given \(y^*\in Y^*\), \(G_{y^*}:\Sigma_\Omega\to X^*\) is given by \(\langle G_{y^*}(E),x\rangle =\langle G(B)(x),y^*\rangle\)). Here, \(\Sigma_\Omega\) denotes the Borel subsets of \(\Omega\). \item[2.] The two bounded, linear operators \(U^{\sharp}:C(\Omega)\to L(X,Y)\) and \(U_{\sharp}:X\to L(C(\Omega),Y)\) are given by \[ (U^{\sharp}f)(x)=U(f\otimes x)\text{ and }(U_{\sharp}x)(f)=U(f\otimes x), \] respectively, where \((f\otimes x)(\omega)=f(\omega)x\). \end{itemize}} General characterizations are known of how to determine whether \(U\) is absolutely summing or integral (see the introduction of the present paper for references). The author fixes the Banach space \(Y\) to be \(c_0\) and assumes that \(G\)'s range sits inside \(L(c_0,Y)\). From the main results we mention: Theorem. The following are equivalent: (i) \(U\) is absolutely summing. (ii) \(U\) is integral. (iii) \(M=\sum_n |G_{e_n}|(\Omega)<\infty\). Moreover, \(M\) equals the absolutely summing norm and the integral norm of \(U\) and the variation of \(G\) as a set function into the nuclear operators from \(c_0\) into \(Y\). Also, a characterization is given of when \(U\) is nuclear and it is shown that then \(\|U\|_{\text{nuc}}\) equals the variation of \(G\) (again, as a set function into the nuclear operators from \(c_0\) into \(Y\)). As applications of the main theorem, three illuminating examples are carefully worked out.