Pith. sign in

REVIEW

Extremal structure of projective tensor products

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2211.13559 v2 pith:TX5UN3CS submitted 2022-11-24 math.FA

classification math.FA
keywords otimesexposedweak-stronglypointpointssubseteqwheneverwidehat
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

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

Discussion (0). Continue with ORCID to comment.

Pith tools