Embeddability of snowflaked metrics with applications to the nonlinear geometry of the spaces \(L_p\) and \(\ell_p\) for \(0<p<\infty\) (Q2256819)

The paper is mostly devoted to the study of embeddability of the function spaces \(L_p\) and sequence spaces \(\ell_p\), \(0<p<\infty\), into another. The spaces are endowed either with their classical metrics or with their snowflaked metrics (that is, \(d^\alpha\), where \(0<\alpha<1\) and \(d\) is the classical metric). The authors mostly study bilipschitz and isometric embeddings, the results can be interpreted in terms of uniform and coarse embeddings of the original spaces. The paper contains a very useful summary of the existing tools and of the results which can be interpreted in this language. The authors also develop some new tools, most notably Theorem 3.4. In addition of being the natural topic of geometric functional analysis, the topic of the paper is of interest because embeddings of discrete metric spaces into \(L_p\) and \(\ell_p\) are very important in many areas. Results of this paper show the relations between embeddability into different spaces of this type. The paper contains a list of open problems on the topic. { Reviewer's remarks:} 1. An alternative way of proving Proposition 5.3 (iii) is mentioned in Hint to Exercise 1.61 in [\textit{M. I. Ostrovskii}, Metric embeddings. Bilipschitz and coarse embeddings into Banach spaces. Berlin: de Gruyter (2013; Zbl 1279.46001)]. It is based on discretization of Remark 5.10 in [\textit{M. Mendel} and \textit{A. Naor}, Adv. Math. 189, No. 2, 451--494 (2004; Zbl 1088.46007)]. 2. Two misprints: (1) Page 6, line 15 from below: ``less than 2'' should be ``at most 2''; (2) Page 8, line 6 from above: metric convexity of \(\ell_1\) is irrelevant, the authors use the fact that \(\ell_1\) is a metric space and \(\mathbb{R}\) can be partitioned into arbitrarily small intervals.