Extreme bilinear forms on \(\mathbb R^n\) with the supremum norm (Q1714980)

Let \(\ell^n_\infty,\, n\geq 2,\) be the space \(\mathbb{R}^n\) endowed with the sup-norm. Denote by \(\mathcal L(^2\ell^n_\infty)\) the Banach space of all continuous bilinear forms \[ T:\ell^n_\infty\times\ell^n_\infty\to\mathbb{R},\quad T\big((x_1,\dots, x_n),(y_1,\dots, y_n)\big)=\sum_{1\leq i,j\leq n}a_{ij}x_iy_j\,, \] where \(a_{ij}\in\mathbb{R}\). The norm of \(T\) is given by \[ \| T\| =\max\left\{\sum_{i=1}^n| a_{i1}+(-1)^{l_2}a_{i2}+\dots+(-1)^{l_n}a_{in}| : l_2,\dots,l_n=1,2 \right\}. \] Let \(\mathcal L_s(^2\ell^n_\infty)\) denote the subspace of all symmetric bilinear forms in \(\mathcal L(^2\ell^n_\infty)\). The author gives characterizations of the extreme points of the closed unit ball of \(B_{\mathcal L(^2\ell^n_\infty)}\) and \(B_{\mathcal L_s(^2\ell^n_\infty)}\) (Theorems 2.4 and 2.7, respectively). It is shown that, for \(n\geq 3,\) \[ {\mathrm{ext}}B_{\mathcal L(^2\ell^2_\infty)}\subseteq {\text{ext}} B_{\mathcal L(^2\ell^n_\infty)}\quad \text{and}\quad {\text{ext}}B_{\mathcal L_s(^2\ell^2_\infty)}\subseteq {\text{ext}} B_{\mathcal L_s(^2\ell^n_\infty)}\,, \] but ext\(B_{\mathcal L_s(^2\ell^2_\infty)}\nsubseteq\) ext\( B_{\mathcal L(^2\ell^n_\infty)}\).