The cotype and uniform convexity of unitary ideals (Q796794): Difference between revisions

This paper deals with the relation between geometry properties of a symmetric Banach sequence space E and corresponding properties of the unitary ideal \(S_ E\), which consists of those compact operators A on a (fixed) complex Hilbert space whose sequence of singular numbers \(S(A)=\{s_ j(A)\}\) belongs to E; here \(s_ j(A)\) is the \(j^{th}\) largest eigenvalue (counting multiplicities) of \(| A| =\sqrt{A^*A},\) and \(S_ E\) is normed by \(\| A\|_{S_ E}=\| S(A)\|_ E.\) Of particular interest are situations in which \(E=\ell_ p\) for some p. Some of the main results are as follows. Theorem 4(a) and its corollary show that if either E or \(S_ E\) has cotype [resp. type] 2 (that is, norms add up, on the average, at least [resp. at most] as would orthogonal vectors in \(\ell_ 2)\), then so has the other. Theorem 5 says that if \(1<r<p\leq q<s<\infty\) with \(r\leq 2\leq s\) and if E satisfies an upper p-estimate and a lower q-estimate (that is, norms of disjoint elements add up at most as they would in \(\ell_ p\) and at least as they would in \(\ell_ q)\), then E can be renormed so that \(S_ E\) is uniformly convex with modulus of convexity \(\delta\) (\(\epsilon)\) of power type s (that is, \(\epsilon^{-s}\delta(\epsilon)\) is bounded away from 0 for positive \(\epsilon)\) and uniformly smooth with modulus of smoothness \(\rho\) (\(\tau)\) of power type r (that is, \(\tau^{-r}\rho(\tau)\) is bounded for positive \(\tau)\). The analysis involves establishing norm inequalities on operators, and studying the interpolation norm \[ K_ 2(\tau,x;X_ 0,X_ 1)=\inf \{(\| x_ 0\|^ 2+\tau^ 2\| x_ 1\|^ 2)^{1/2}:\quad x_ j\in X_ j,\quad x=x_ 0+x_ 1\} \] where \(\tau\) is a positive number, \(X_ 0\) and \(X_ 1\) are Banach spaces embedded in the same ambient vector space, and \(x\in X_ 0+X_ 1\). \(K_ 2\) is equivalent to the more customary interpolation norm K, defined in the same fashion but without the squares and square root.