A characterization of a local vector valued Bollobás theorem (Q2044612)

This work is devoted to study a local strong vector valued Bishop-Phelps-Bollobás property. More precisely, a pair of Banach spaces \((X,Y)\) is said to have the property \(\mathbf{L}_{o,o}\) for operators if given \(\varepsilon>0\) and \(T\in L(X,Y)\) with \(\|T\|=1\), there exists \(\eta(\varepsilon, T)\) such that whenever \(x\in S_X\) satisfies \(\|T(x)\|>1-\eta(\varepsilon, T)\), there exists \(x_0\in S_X\) such that \(\|T(x_0)\|=1\) and \(\|x_0-x\|<\varepsilon\). This clearly forces \(X\) to be reflexive. The first main result of the paper shows that, for a reflexive Banach space \(X\), it is equivalent that the pair \((X,Y)\) has the property \(\mathbf{L}_{o,o}\) for compact operators for every Banach space \(Y\) and that \(X^*\) is strongly subdifferentiable. This generalizes previously known results in [\textit{D.~Sain}, Oper. Matrices 13, No.~2, 433--445 (2019; Zbl 1440.46010); \textit{J. Talponen}, ``Note on a kind of Bishop-Phelps-Bollobás property for operators'', Preprint (2017), \url{arXiv:1707.03251}]. The second main result is devoted to characterize when \((X\widehat\otimes_\pi Y,\mathbb{K})\) has the property \(\mathbf{L}_{o,o}\) for linear functionals assuming that \(X\) is strictly convex or has the Kadec-Klee property, and \(X, Y\) have reasonable approximation properties. This turns out to be equivalent to the fact that \((X\times Y, \mathbb{K})\) has the property \(\mathbf{L}_{o,o}\) for bilinear forms and to the fact that \(X\widehat\otimes_\pi Y\) is reflexive and both \((X,\mathbb{K})\), \((Y,\mathbb{K})\) have the property \(\mathbf{L}_{o,o}\) for linear functionals.