We show that the Hilbert space is coarsely embeddable into any $\ell_p$ for $1\le p<\infty$. In particular, this yields new characterizations of embeddability of separable metric spaces into the Hilbert space.
The main purposes of this paper are (1) To survey the area of coarse embeddability of metric spaces into Banach spaces, and, in particular, coarse embeddability of different Banach spaces into each other; (2) To present new results on the problems: (a) Whether coarse non-embeddability into $\ell_2$ implies presence of expander-like structures? (b) To what extent $\ell_2$ is the most difficult space to embed into?
In this paper, we introduce the concept of uniformly bounded fibred coarse embeddability of metric spaces, generalizing the notion of fibred coarse embeddability defined by X. Chen, Q. Wang and G. Yu. Moreover, we show its relationship with uniformly bounded a-T-menability of groups. Finally, we give some examples to illustrate the differences between uniformly bounded fibred coarse embeddability and fibred coarse embeddability.
In 1994, Jan Pelant proved that a metric property related to the notion of paracompactness called the uniform Stone property characterizes a metric space's uniform embeddability into $c_0(κ)$ for some cardinality $κ$. In this paper it is shown that coarse Lipschitz embeddability of a metric space into $c_0(κ)$ can be characterized in a similar manner. It is also shown that coarse, uniform, and bi-Lipschitz embeddability into $c_0(κ)$ are equivalent notions for normed linear spaces.
We give a direct proof of the fact that a quasi-Banach space coarsely embeds into a Hilbert space if and only if it uniformly embeds into a Hilbert space.
We give a contractive Schur multiplier characterization of locally compact groups coarsely embeddable into Hilbert spaces. Consequently, all locally compact groups whose weak Haagerup constant is 1 embed coarsely into Hilbert spaces, and hence the Baum-Connes assembly map with coefficients is split-injective for such groups.
In this paper we show that a countable, residually amenable group admits a proper isometric affine action on some uniformly convex Banach space if and only if one (or equivalently, all) of its box families admits a fibred cofinitely-coarse embedding into some uniformly convex Banach space.
Dranishnikov and Zarichnyi constructed a universal space in the coarse category of spaces of bounded geometry of asymptotic dimension $0$. In this paper we construct universal spaces in the coarse category of separable (respectively, proper) metric spaces of asymptotic dimension $0$. Our methods provide an alternative proof of Dranishnikov-Zarichnyi result.
We introduce the notion of strong embeddability for a metric space. This property lies between coarse embeddability and property A. A relative version of strong embeddability is developed in terms of a family of set maps on the metric space. When restricted to discrete groups, this yields relative coarse embeddability. We verify that groups acting on a metric space which is strongly embeddable has this relative strong embeddability, provided the stabilizer subgroups do. As a corollary, strong embeddability is preserved under group extensions.
Given two finitely generated groups that coarsely embed into a Hilbert space, it is known that their wreath product also embeds coarsely into a Hilbert space. We introduce a wreath product construction for general metric spaces X,Y,Z and derive a condition, called the (delta-polynomial) path lifting property, such that coarse embeddability of X,Y and Z implies coarse embeddability of X\wr_Z Y. We also give bounds on the compression of X\wr_Z Y in terms of delta and the compressions of X,Y and Z. Next, we investigate the stability of the property of admitting a box space which coarsely embeds i…
There are several characterizations of coarse embeddability of a discrete metric space into a Hilbert space. In this note we give such characterizations for general metric spaces. By applying these results to the spaces $L_p(μ)$, we get their coarse embeddability into a Hilbert space for $0<p<2$. This together with a theorem by Banach and Mazur yields that coarse embeddability into $\ell_2$ and into $L_p(0,1)$ are equivalent when $1 \le p<2$. A theorem by G.Yu and the above allow to extend to $L_p(μ)$, $0<p<2$, the range of spaces, coarse embedding into which guarantees for a finitely generate…
If $H$ is a lattice in a locally compact second countable group $G$, then we show that $G$ has property A (respectively is coarsely embeddable into Hilbert space) if and only if $H$ has property A (respectively is coarsely embeddable into Hilbert space). Moreover, we show three interesting generalizations of this result. If $H$ is a closed subgroup of $G$ that is co-amenable in $G$, and if $H$ has property A (respectively, is coarsely embeddable into Hilbert space), then we show that $G$ has property A (respectively, is coarsely embeddable into Hilbert space). We also show that an extension of…
In this paper, we show that the strong embeddability has fibering permanence property and is preserved under the direct limit for the metric space. Moreover, we show the following result: let $G$ is a finitely generated group with a coarse quasi-action on a metric space $X$. If $X$ has finite asymptotic dimension and the quasi-stabilizers are strongly embeddable, then $G$ is also strongly embeddable.
In this note we prove that the Kalton interlaced graphs do not equi-coarsely embed into the James space $\mathcal J$ nor into its dual $\mathcal J^*$. It is a particular case of a more general result on the non equi-coarse embeddability of the Kalton graphs into quasi-reflexive spaces with a special asymptotic stucture. This allows us to exhibit a coarse invariant for Banach spaces, namely the non equi-coarse embeddability of this family of graphs, which is very close to but different from the celebrated property $\mathcal Q$ of Kalton. We conclude with a remark on the coarse geometry of the J…
We undertake a systematic study of the approximation properties of the topological and measurable versions of the coarse boundary groupoid associated to a sequence of finite graphs of bounded degree. On the topological side, we prove that asymptotic coarse embeddability of the graph sequence into a Hilbert space is equivalent to the coarse boundary groupoid being topologically a-T-menable, thus answering a question by Rufus Willett. On the measure-theoretic side, we prove that measure-theoretic amenability resp. a-T-menability of the coarse boundary groupoid are related to hyperfiniteness and …
It is known that the expanders arising as increasing sequences of level sets of warped cones, as introduced by the second-named author, do not coarsely embed into a Banach space as soon as the corresponding warped cone does not coarsely embed into this Banach space. Combining this with non-embeddability results for warped cones by Nowak and Sawicki, which relate the non-embeddability of a warped cone to a spectral gap property of the underlying action, we provide new examples of expanders that do not coarsely embed into any Banach space with nontrivial type. Moreover, we prove that these expan…
We construct metric spaces that do not have property A yet are coarsely embeddable into the Hilbert space. Our examples are so called warped cones, which were introduced by J. Roe to serve as examples of spaces non-embeddable into a Hilbert space and with or without property A. The construction provides the first examples of warped cones combining coarse embeddability and lack of property A. We also construct warped cones over manifolds with isometrically embedded expanders and generalise Roe's criteria for the lack of property A or coarse embeddability of a warped cone. Along the way, it is p…
We study the nonlinear embeddability of Banach spaces and the equi-embeddability of the family of Kalton's interlaced graphs $([\mathbb N]^k,d_{\mathbb K})_k$ into dual spaces. Notably, we define and study a modification of Kalton's property $\mathcal Q$ that we call property $\mathcal{Q}_p$ (with $p \in (1,+\infty]$). We show that if $([\mathbb N]^k,d_{\mathbb K})_k$ equi-coarse Lipschitzly embeds into $X^*$, then the Szlenk index of $X$ is greater than $ω$, and that this is optimal, i.e., there exists a separable dual space $Y^*$ that contains $([\mathbb N]^k,d_{\mathbb K})_k$ equi-Lipschitz…
We introduce a notion of coarse embedding at infinity into Hilbert space for metric spaces, which is a weakening of the notion of fibred coarse embedding and a far generalization of Gromov's concept of coarse embedding. It turns out that a residually finite group admits a coarse embedding into Hilbert space if and only if one (or equivalently, every) box space of the group admits a coarse embedding at infinity into Hilbert space. Moreover, we introduce a concept of generalized expander at infinity and show that it is an obstruction to coarse embeddability at infinity.
We show how to decompose all separable ultrametric spaces into a "Lego" combinations of scaled versions of full simplices. To do this we introduce metric resolutions of large scale metric spaces, which describe how a space can be broken up into roughly independent pieces. We use these metric resolutions to define the coarse disjoint union of large scale metric spaces, which provides a way of attaching large scale metric spaces to each other in a "coarsely independent way". We use these notions to construct universal spaces in the categories of separable and proper metric spaces of asymptotic d…
We investigate how coarse embeddability of box spaces into Hilbert space behaves under group extensions. In particular, we prove a result which implies that a semidirect product of a finitely generated free group by a finitely generated residually finite amenable group has a box space which coarsely embeds into Hilbert space. This provides a new class of examples of metric spaces with bounded geometry which coarsely embed into Hilbert space but do not have property A, generalising the example of Arzhantseva, Guentner and Spakula.
In this paper, we connect the rigidity problem and the coarse Baum-Connes conjecture for Roe algebras. In particular, we show that if $X$ and $Y$ are two uniformly locally finite metric spaces such that their Roe algebras are $*$-isomorphic, then $X$ and $Y$ are coarsely equivalent provided either $X$ or $Y$ satisfies the coarse Baum-Connes conjecture with coefficients. It is well-known that coarse embeddability into a Hilbert space implies the coarse Baum-Connes conjecture with coefficients. On the other hand, we provide a new example of a finitely generated group satisfying the coarse Baum-C…
In this paper fundamental nonlinear geometries of Lebesgue sequence spaces are studied in their quantitative aspects. Applications of this work are a positive solution to the strong embeddability problem from $\ell_q$ into $\ell_p$ ($0<p<q\le 1$) and new insights on the coarse embedabbility problem from $L_q$ into $\ell_q$, $q>2$. Relevant to geometric group theory purposes, the exact $\ell_p$-compressions of $\ell_2$ are computed. Finally coarse deformation of metric spaces with property A and locally compact amenable groups is investigated.
We prove that the class of reflexive asymptotic-$c_0$ Banach spaces is coarsely rigid, meaning that if a Banach space $X$ coarsely embeds into a reflexive asymptotic-$c_0$ space $Y$, then $X$ is also reflexive and asymptotic-$c_0$. In order to achieve this result we provide a purely metric characterization of this class of Banach spaces. This metric characterization takes the form of a concentration inequality for Lipschitz maps on the Hamming graphs, which is rigid under coarse embeddings. Using an example of a quasi-reflexive asymptotic-$c_0$ space, we show that this concentration inequality…
The main result of this article is a rigidity result pertaining to the spreading model structure for Banach spaces coarsely embeddable into Tsirelson's original space $T^*$. Every Banach space that is coarsely embeddable into $T^*$ must be reflexive and all its spreading models must be isomorphic to $c_0$. Several important consequences follow from our rigidity result. We obtain a coarse version of an influential theorem of Tsirelson: $T^*$ does not coarsely contain $c_0$ nor $\ell_p$ for $p\in[1,\infty)$. We show that there is no infinite dimensional Banach space that coarsely embeds into eve…