English

Extremal structure of projective tensor products

Functional Analysis 2022-12-05 v2

Abstract

We prove that, given two Banach spaces XX and YY and bounded, closed convex sets CXC\subseteq X and DYD\subseteq Y, if a nonzero element zco(CD)X^πYz\in \overline{\mathrm{co}}(C\otimes D)\subseteq X\widehat{\otimes}_\pi Y is a preserved extreme point then z=x0y0z=x_0\otimes y_0 for some preserved extreme points x0Cx_0\in C and y0Dy_0\in D, whenever K(X,Y)K(X,Y^*) separates points of X^πYX \widehat{\otimes}_\pi Y (in particular, whenever XX or YY has the compact approximation property). Moreover, we prove that if x0Cx_0\in C and y0Dy_0\in D are weak-strongly exposed points then x0y0x_0\otimes y_0 is weak-strongly exposed in co(CD)\overline{\mathrm{co}}(C\otimes D) whenever x0y0x_0\otimes y_0 has a neighbourhood system for the weak topology defined by compact operators. Furthermore, we find a Banach space XX isomorphic to 2\ell_2 with a weak-strongly exposed point x0BXx_0\in B_X such that x0x0x_0\otimes x_0 is not a weak-strongly exposed point of the unit ball of X^πXX\widehat{\otimes}_\pi X.

Keywords

Cite

@article{arxiv.2211.13559,
  title  = {Extremal structure of projective tensor products},
  author = {Luis C. García-Lirola and Guillaume Grelier and Gonzalo Martínez-Cervantes and Abraham Rueda Zoca},
  journal= {arXiv preprint arXiv:2211.13559},
  year   = {2022}
}
R2 v1 2026-06-28T07:11:26.256Z