Closed linear spaces consisting of strongly norm attaining Lipschitz functionals (Q2081211)

In this very interesting paper, the authors study when the set \(\operatorname{SNA}(M)\) of strongly norm-attaining Lipschitz functionals on a complete pointed metric space \(M\) contains large linear subspaces. A Lipschitz function is said to \textit{strongly attain its norm} [\textit{G.~Godefroy}, Commentat. Math. 55, No.~2, 89--118 (2015; Zbl 1358.46015); \textit{V.~Kadets} et al., Banach J. Math. Anal. 10, No.~3, 621--637 (2016; Zbl 1358.46009)] whenever the supremum of slopes defining the Lipschitz norm is actually a maximum. More information on denseness of \(\operatorname{SNA}(M)\) can be found in the already cited papers and in [\textit{B.~Cascales} et al., J. Funct. Anal. 277, No.~6, 1677--1717 (2019; Zbl 1447.46010); \textit{R.~Chiclana} et al., Rev. Mat. Iberoam. 37, No.~5, 1917--1951 (2021; Zbl 1506.46009); \textit{R.~Chiclana}, J. Math. Anal. Appl. 516, No.~1, Article ID 126489, 13~p. (2022; Zbl 07574888)] for instance. Among many other results, the following facts are proved in this paper: \begin{itemize} \item \(\operatorname{SNA}(M)\) contains \(\ell_1^n\) isometrically provided that \(M\) contains at least \(2^n\) distinct points. Hence, if \(M\) is infinite, \(\operatorname{SNA}(M)\) contains \(n\)-dimensional subspaces isometric to \(\ell_1^n\) for all \(n\in \mathbb{N}\). \item Every Banach space \(Y\) is isometric to a closed subspace contained in \(\operatorname{SNA}(B_{Y^*})\). \item If \(Y^*\) is not separable, there is no separable pointed metric space \(M\) such that \(Y\) is isometric to a closed subspace contained in \(\operatorname{SNA}(M)\). \item If \(M\) is \(\sigma\)-precompact, then all Banach spaces in \(\operatorname{SNA}(M)\) are separable and isomorphic to polyhedral spaces (hence Asplund). \item If \(M\) is any pointed metric space containing \([0,1]\) isometrically, then \(\operatorname{SNA}(M)\) contains isometric copies of \(c_0\). \end{itemize} The research of this paper has attracted the attention of some researchers who have already been able to go further in the study initiated here: \begin{itemize} \item \textit{A. Avilés} et al. have shown [``Infinite dimensional spaces in the set of strongly norm-attaining Lipschitz maps'', Preprint, \url{arXiv:2204.12529}] that \(\operatorname{SNA}(M)\) contains an isomorphic copy of \(c_0\) for every infinite complete metric space \(M\). \item \textit{S. Dantas} et al. have shown [``On isometric embeddings into the set of strongly norm-attaining Lipschitz functions'', Preprint, \url{arXiv:2208.02916}] that there exists an infinite metric space \(M\) such that \(\operatorname{SNA}(M)\) does not contain isometric copies of \(c_0\). On the other hand, they have shown that \(\operatorname{SNA}(M)\) contains isometric copies of \(c_0\) whenever \(M\) is not uniformly discrete (hence, in particular, for infinite compact metric spaces). \end{itemize}