Uniform nonextendability from nets (Q5965051): Difference between revisions

Known results show that two well-known (relatively weak) notions of embeddability of one Banach space into another are closely related. We mean such notions as uniform embeddability (which means the existence of an injective map \(f:X\to Y\) such that both \(f\) and \(f^{-1}\) are uniformly continuous) and coarse embeddability (which means the existence of \(f:X\to Y\) and \(\alpha,\beta:[0,\infty)\to [0,\infty)\) such that \(\lim_{t\to\infty}\alpha(t)=\infty\) and \(\alpha(||x-y||_X)\leq ||f(x)-f(y)||_Y\leq \beta(||x-y||_X)\)). For example, it is known that a Banach space \(X\) embeds uniformly into a Hilbert space if and only if it embeds coarsely into a Hilbert space (see [\textit{I. Aharoni} et al., Isr. J. Math. 52, 251--265 (1985; Zbl 0596.46010); \textit{W. B. Johnson} and \textit{N. L. Randrianarivony}, Proc. Am. Math. Soc. 134, No. 4, 1045--1050 (2006; Zbl 1097.46051); \textit{N. L. Randrianarivony}, Proc. Am. Math. Soc. 134, No. 5, 1315--1317 (2006; Zbl 1097.46053); \textit{M. Kraus}, Proc. Am. Math. Soc. 143, No. 11, 4835--4844 (2015; Zbl 1337.46019)]). Obstructions found for these types of embeddings work equally well for both types of embeddings (see [\textit{N. J. Kalton}, Q. J. Math. 58, No. 3, 393--414 (2007; Zbl 1148.46046); \textit{M. Mendel} and the author, Ann. Math. (2) 168, No. 1, 247--298 (2008; Zbl 1187.46014)]). It remains open whether the existence of a uniform embedding of a Banach space \(X\) into a Banach space \(Y\) always implies the existence of a coarse embedding \(X\to Y\), and vice versa. Recently, some progress in this direction was achieved by \textit{C. Rosendal} [``Equivariant geometry of Banach spaces and topological groups'', Preprint]. In particular, he proved that if \(X\) and \(Y\) are Banach spaces with the property that for every \(1\)-net \(\mathcal{N}\) of \(X\), every Lipschitz function \(f: \mathcal{N}\to Y\) admits a uniformly continuous extension to \(X\), then the existence of a coarse embedding of \(X\) into \(Y\) implies that \(X\) embeds uniformly into \(\ell_p(Y)\) for every \(p\geq 1\). In this connection, Rosendal asked whether or not every pair of Banach spaces \(X\) and \(Y\) has this extension property. The main goal of the present paper is to give a negative answer to this question. The note contains a complete proof of an even stronger result.