Extremal structure of projective tensor products (Q6171701)

Consider a Banach space \(X\) as canonically embedded in its bidual. An extreme point of the unit ball of \(X\) that remains an extreme point of the unit ball of the bidual is called a weak\(^\ast\)-extreme point; see the seminal work of \textit{H.~P. Rosenthal} [Adv. Math. 70, No.~1, 1--58 (1988; Zbl 0654.46024)]. The article explores this for projective tensor products. The classification of extremal structure of projective tensor product spaces has a long history. The main result of the article is that, if the space of compact operators \({\mathcal K}(X,Y^\ast)\) separates points of \(X \otimes_{\pi}Y\), then for closed and bounded convex sets \(C,D\) in the component spaces, any non-zero weak\(^\ast\)-extreme point of the closed convex hull of \(C \otimes D\) is of the form \(x \otimes y\), where \(x \in C\), \(y\in D\) are weak\(^\ast\)-extreme points. For a description of weak\(^\ast\)-extreme points in the case of injective tensor products, see the article by \textit{K.~Jarosz} and the reviewer [Contemp. Math. 328, 231--237 (2003; Zbl 1069.46009)].