English

Geometry of the unit ball of ${\mathcal L}(X,Y^*)$

Functional Analysis 2025-11-12 v2

Abstract

In this work we study the geometry of the unit ball of the space of operators L(X,Y){\mathcal L}(X,Y^*), by considering the projective tensor product X^πYX\hat{\otimes}_{\pi} Y as a predual. We prove that if an elementary tensor (rank one operator) of the form x0y0x_0^*\otimes y_0^* in the unit sphere SL(X,Y) S_{{\mathcal L}(X,Y^*)} is a weak^*-strongly extreme point of the unit ball, then x0x_0^* is weak^*-strongly extreme point of unit ball of XX^* and y0y_0^* is weak^*-strongly extreme point of the unit ball of YY^*. We show that a similar conclusion holds if the rank one operator is a Namioka point (equivalently, point of weak^*-weak continuity for the identity mapping) on the unit sphere of L(X,Y){\mathcal L}(X,Y^*). We also study extremal phenomenon in the unit ball of L(X,Y){\mathcal L}(X,Y^*)^*. We partly solve the open problem, when does an elementary tensor, whose components are Namioka points is again a Namioka point? We show that if a point zSL(X,Y)z\in S_{{\mathcal L}(X,Y^*)^*} is a weak^*-strongly extreme point of the unit ball, then z=xyz=x\otimes y for some weak^*-strongly extreme points xSXx\in S_X and ySYy\in S_Y, provided the space of compact operators, K(X,Y)\mathcal{K}(X,Y^*) is separating for X^πYX\hat{\otimes}_{\pi} Y.

Keywords

Cite

@article{arxiv.2501.15783,
  title  = {Geometry of the unit ball of ${\mathcal L}(X,Y^*)$},
  author = {T. S. S. R. K. Rao and Susmita Seal},
  journal= {arXiv preprint arXiv:2501.15783},
  year   = {2025}
}