Coarse and uniform embeddings between Orlicz sequence spaces (Q2454124)

Nonlinear isomorphisms between Banach spaces have attracted much attention in the last twenty years. We recall that a map \(f\) between metric spaces \(M\) and \(N\) is said to be a coarse embedding if there exist positive functions \(\rho_1\) and \(\rho_2\) such that \(\rho_1(d_M(x,y))\leq d_N(f(x), f(y))\leq \rho_2(d_M(x,y))\) for all \((x,y)\in M^2\) and, moreover, \(\rho_1(t)\) tends to \(+\infty\) when \(t\) increases to \(+\infty\). We say that \(f\) is a uniform embedding if \(f\) and \(f^{-1}\) (defined on \(f(M)\)) are uniformly continuous. An embedding which is both coarse and uniform is called a strong uniform embedding. Previous work has almost completely cleared up, in the special case of \(l_p\) spaces, the conditions under which such embeddings could exist. The present article concludes this investigation, and considers as well the challenging case of Orlicz sequences spaces \(h_M\). It is shown, in particular, that the upper Matuszewska-Orlicz index \(\beta_M\) plays a central part. Theorem 3.1 improves on a previous work by \textit{P. W. Nowak} [Fundam. Math. 189, No. 2, 111--116 (2006; Zbl 1097.46052)] and shows that, if \(1\leq p\leq 2\), then \(l_2\) strongly uniform embeds into \(l_p\). The very interesting main results are in Section 4 and the following is shown (where \(M\) and \(N\) denote Orlicz functions): (1) If \(\beta_M < \beta_N\) or \(\beta_N \leq \beta_M < 2\) or \(\beta_N=\beta_M=\infty\), then \(h_M\) strongly uniform embeds into \(h_N\). (2) If \(\beta_M>2\) and \(\beta_N<\beta_M\), then \(h_M\) does not coarsely or uniformly embed into \(h_N\). (3) If \(\beta_N \leq 2\) and \(\beta_M=2\), then the coarse (uniform) embeddability of \(h_M\) into \(h_N\) is not determined by \(\beta_N\). Finally, the case where \(2<\beta_N=\beta_M<\infty\) remains unclear so far.