On the transfinite symmetric strong diameter two property (Q6095357)

A Banach space \(X\) has the symmetric strong diameter two property (SSD2P) if, for every \(x_1^*,x_2^*,\ldots,x_n^* \in S_{X^*}\) and \(\varepsilon > 0\), there are \(x_1,\ldots,x_n,y \in B_X\) such that \(\|y\| \ge 1 - \varepsilon\), \(x_i \pm y \in B_X\) and \(x_i(x_i) \ge 1 - \varepsilon\) for all \(1 \le i \le n\). In this paper, the author studies generalizations of the SSD2P where, instead of a set of finite cardinality we start with a larger set. These generalizations with slightly different notation first appeared in [\textit{A. Avilés} et al., Stud. Math. 271, No. 1, 39--63 (2023; Zbl 1528.46004)]. Let \(r \in (0,1)\), \(B \subset B_X\) and \(A \subset S_{X^*}\). We say that \(B\) \(r\)-norms \(A\) if, for every \(x^* \in A\), there is an \(x \in B\) such that \(x^*(x) \ge r\). If this holds for all \(r \in (0,1)\), \(B\) norms \(A\). For a Banach space \(X\) and an infinite cardinal \(\kappa\), we say that \(X\) has the SSD2P\(_\kappa\) if, for every set \(A\subset S_{X^*}\) of cardinality \(< \kappa\) and \(\varepsilon > 0\), there are \(B \subset B_X\) which \((1-\varepsilon)\)-norms \(A\), and \(y \in B_X\) with \(\|y\| \ge 1 - \varepsilon\) satisfying \(B \pm y \in B_X\). A \(1\)-norming and attaining version of the SSD2P\(_\kappa\) is also studied: \(X\) has the \(1\)-ASSD2P\(_\kappa\) if, for every set \(A \subset S_{X^*}\) of cardinality \(< \kappa\), there are \(B \subset S_X\) which norms \(A\), and \(y \in S_X\) satisfying \(B\pm y \subset S_X\). Let \(X\) and \(Y\) be Banach spaces and \(\kappa > \aleph_0\). It is shown that \(X\) or \(Y\) has the SSD2P\(_\kappa\) if and only if \(X \oplus_\infty Y\) has the SSD2P\(_\kappa\). General \(\infty\)-sums are also studied. It is also shown that, if \(X\) and \(Y\) have the SSD2P\(_\kappa\), then the projective tensor product \(X \hat{\otimes}_\pi Y\) has the SSD2P\(_\kappa\). However, there are characterizations of the SSD2P which cannot be transferred to the transfinite setting and the proof of the latter result is different from the proof for the SSD2P. Positive results are given for \(C_0(X)\) spaces where \(X\) is a locally compact Hausdorff space, but even in this case the situation is not entirely clear.