Denseness of norm attaining compact operators to some vector-valued function spaces (Q2097358)

A Banach space \(Y\) is said to have property \(B^k\) if the set \(NA(X, Y) \cap \mathcal{K}(X,Y)\) is norm dense in \(\mathcal{K}(X, Y)\) for every Banach space \(X\). This is the analogous property of property \(B\) introduced by Lindenstrauss. It is known that \(Y\) satisfies property \(B^k\) when \begin{itemize} \item[(i)] \(Y\) satisfies property quasi-\(\beta\), \item[(ii)] \(Y = L_1(\mu)\) or \(Y\) is an isometric predual of \(L_1(\mu)\) for every positive measure \(\mu\), \item[(iii)] \(Y=C(K)\) for every compact Hausdorff space \(K\), \item[(iv)] \(Y\) is a uniform algebra. \end{itemize} It turns out that the Banach spaces that appear in (iii) and (iv) belong to a class called \(ACK_{\rho}\)-structure (introduced by Cascales, Guirao, Kadets and Soloviova [\textit{B.~Cascales} et al., J. Funct. Anal. 274, No.~3, 863--888 (2018; Zbl 1396.46006)]), where a typical example of a Banach space with this structure is the disk algebra \(\mathcal{A}(\mathbb{D})\). Thanks to a Urysohn-type lemma for some function algebras (see [\textit{B.~Cascales} et al., Adv. Math. 240, 370--382 (2013; Zbl 1298.46010); \textit{S.~K. Kim} and \textit{H.~J. Lee}, J. Math. Anal. Appl. 480, No.~2, Article ID 123393, 8~p. (2019; Zbl 1427.30083)]) the authors are able to provide vector-valued versions of the denseness (as well as Bollobás type results) for compact operators which attain their norms. Indeed, they show (see Theorem 2.2) that if \(\mathcal{A} \subseteq C_b(\Omega;Y)\) is a \(Y\)-valued function space over a base algebra \(A\) and \(\rho A\) is norming for \(\mathcal{A}\), then the set \(NA(X, \mathcal{A}) \cap \mathcal{K}(X, \mathcal{A})\) is dense in \(\mathcal{K}(X, \mathcal{A})\) whenever \(NA(X, Y) \cap \mathcal{K}(X, Y)\) is dense in \(\mathcal{K}(X, Y)\). This implies that the result is also valid for \(Y\)-valued function spaces over a uniform algebra (see Corollary~2.3). Similar results are given for \(Y\)-valued function spaces over a unital function algebra (see Theorem~2.4). The authors also provide a technique to transfer the Bishop-Phelps-Bollobás property (BPBp, for short) for compact operators from the pair \((X, Y)\) to the pair \((X, \mathcal{A})\), where \(\mathcal{A} \subseteq C_b(\Omega: Y)\) is a \(Y\)-valued function space over a base algebra (see Theorem~2.5) by making use once again of the Urysohn-type lemma obtained in [\textit{S.~K. Kim} and \textit{H.~J. Lee}, loc. cit.]. They also provide, under extra hypotheses, some results related to the pair \((\ell_1(X), \mathcal{A})\) to satisfy the BPBp for operators (see, for instance, Theorem~2.9). Finally, they conclude the paper by showing some positive results for the property \(B^k\) when the range space is \(\mathcal{A}(B_Z;Y)\), \(\mathcal{A}_b(B_Z;Y)\) or \(\mathcal{A}_u(B_Z;Y)\), where \(Z\) has the RNP (see Corollary~2.12).