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 generated group $Γ$ to satisfy the Novikov Conjecture.
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.
In this paper, we study the coarse embedding into Banach space. We proved that under certain conditions, the property of embedding into Banach space can be preserved under taking the union the metric spaces. For a group $G$ strongly relative hyperbolic to a subgroup $H$, we proved that if $H$ admits a coarse embedding into a uniformly convex Banach space, so is $B(n)=\{g\in G|\abs{g}_{S\cup\mathscr{H}}\leq n\}$.
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 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.
A map f between two metric spaces (X,d_1) and (Y,d_2) is called a coarse embedding of X into Y if there exist two nondecreasing functions phi_1, phi_2:[0,\infty) --> [0,\infty) such that: phi_1(d_1(x,y)) \leq d_2(f(x),f(y)) \leq phi_2(d_1(x,y)) for all x, y in X, and phi_1(t) tends to \infty as t tends to \infty. We characterize those quasi-Banach spaces that have a coarse embedding into a Hilbert space.
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…
We show that there exists a strong uniform embedding from any proper metric space into any Banach space without cotype. Then we prove a result concerning the Lipschitz embedding of locally finite subsets of $\mathcal{L}_{p}$-spaces. We use this locally finite result to construct a coarse bi-Lipschitz embedding for proper subsets of any $\mathcal{L}_p$-space into any Banach space $X$ containing the $\ell_p^n$'s. Finally using an argument of G. Schechtman we prove that for general proper metric spaces and for Banach spaces without cotype a converse statement holds.
We introduce the notion of asymptotic coarse Lipschitz equivalence of metric spaces. We show that it is strictly weaker than coarse Lipschitz equivalence. We study its impact on the asymptotic dimension of metric spaces. Then we focus on Banach spaces. We prove that, for $2\leq p<\infty$, being linearly isomorphic to $\ell_p$ is stable under asymptotic coarse Lipschitz equivalences. Finally, we establish a version of the Gorelik principle in this setting and apply it to prove the stability of various properties of asymptotic uniform smoothness of Banach spaces under asymptotic coarse Lipschitz…
Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z) \ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of $\ell_\infty$.
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…
For a fixed $K\gg 1$ and $n\in\mathbb{N}$, $n\gg 1$, we study metric spaces which admit embeddings with distortion $\le K$ into each $n$-dimensional Banach space. Classical examples include spaces embeddable into $\log n$-dimensional Euclidean spaces, and equilateral spaces. We prove that good embeddability properties are preserved under the operation of metric composition of metric spaces. In particular, we prove that any $n$-point ultrametric can be embedded with uniformly bounded distortion into any Banach space of dimension $\log n$. The main result of the paper is a new example of a famil…
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…
The purpose of this article is to generalize some known characterizations of Banach space properties in terms of graph preclusion. In particular, it is shown that superreflexivity can be characterized by the non-equi-bi-Lipschitz embeddability of any family of bundle graphs generated by a nontrivial finitely-branching bundle graph. It is likewise shown that asymptotic uniform convexifiability can be characterized within the class of reflexive Banach spaces with an unconditional asymptotic structure by the non-equi-bi-Lipschitz embeddability of any family of bundle graphs generated by a nontriv…
The paper contains the following results and observations: (1) There exists a sequence of unweighted graphs $\{G_n\}_n$ with maximum degree 3 such that a Banach space $X$ has no nontrivial cotype iff $\{G_n\}_n$ admit uniformly bilipschitz embeddings into $X$; (2) The same for Banach spaces with no nontrivial type; (3) A sequence $\{G_n\}$ characterizing Banach spaces with no nontrivial cotype in the sense described above can be chosen to be a sequence of bounded degree expanders; (4) The infinite diamond does not admit a bilipschitz embedding into Banach spaces with the Radon-Nikodým property…
The main goal of this paper is to develop a new embedding method which we use to show that some finite metric spaces admit low-distortion embeddings into all non-superreflexive spaces. This method is based on the theory of equal-signs-additive sequences developed by Brunel and Sucheston (1975-1976). We also show that some of the low-distortion embeddability results obtained using this method cannot be obtained using the method based on the factorization between the summing basis and the unit vector basis of $\ell_1$, which was used by Bourgain (1986) and Johnson and Schechtman (2009).
We find a class of metric structures which do not admit bilipschitz embeddings into Banach spaces with the Radon-Nikodým property. Our proof relies on Chatterji's (1968) martingale characterization of the RNP and does not use the Cheeger's (1999) metric differentiation theory. The class includes the infinite diamond and both Laakso (2000) spaces. We also show that for each of these structures there is a non-RNP Banach space which does not admit its bilipschitz embedding. We prove that a dual Banach space does not have the RNP if and only if it admits a bilipschitz embedding of the infinite dia…
Warped cones are metric spaces introduced by John Roe from discrete group actions on compact metric spaces to produce interesting examples in coarse geometry. We show that a certain class of warped cones $\mathcal{O}_Γ(M)$ admit a fibred coarse embedding into a $L_p$-space ($1\leq p<\infty$) if and only if the discrete group $Γ$ admits a proper affine isometric action on a $L_p$-space. This actually holds for any class of Banach spaces stable under taking Lebesgue-Bochner $L_p$-spaces and ultraproducts, e.g., uniformly convex Banach spaces or Banach spaces with nontrivial type. It follows that…
We prove that a Banach space X is not super-reflexive if and only if the hyperbolic infinite tree embeds metrically into X. We improve one implication of J.Bourgain's result who gave a metrical characterization of super-reflexivity in Banach spaces in terms of uniforms embeddings of the finite trees. A characterization of the linear type for Banach spaces is given using the embedding of the infinite tree equipped with a suitable metric.
Given a Banach space $X$ and a real number $α\ge 1$, we write: (1) $D(X)\leα$ if, for any locally finite metric space $A$, all finite subsets of which admit bilipschitz embeddings into $X$ with distortions $\le C$, the space $A$ itself admits a bilipschitz embedding into $X$ with distortion $\le α\cdot C$; (2) $D(X)=α^+$ if, for every $\varepsilon>0$, the condition $D(X)\leα+\varepsilon$ holds, while $D(X)\leα$ does not; (3) $D(X)\le α^+$ if $D(X)=α^+$ or $D(X)\le α$. It is known that $D(X)$ is bounded by a universal constant, but the available estimates for this constant are rather large. The…
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 give a definition of coarse quotient mapping and show that several results for uniform quotient mapping also hold in the coarse setting. In particular, we prove that any Banach space that is a coarse quotient of $L_p\equiv L_p[0,1]$, $1<p<\infty$, is isomorphic to a linear quotient of $L_p$. It is also proved that $\ell_q$ is not a coarse quotient of $\ell_p$ for $1<p<q<\infty$ using Rolewicz's property ($β$).
Within the class of reflexive Banach spaces, we prove a metric characterization of the class of asymptotic-$c_0$ spaces in terms of a bi-Lipschitz invariant which involves metrics that generalize the Hamming metric on $k$-subsets of $\mathbb{N}$. We apply this characterization to show that the class of separable, reflexive, and asymptotic-$c_0$ Banach spaces is non-Borel co-analytic. Finally, we introduce a relaxation of the asymptotic-$c_0$ property, called the asymptotic-subsequential-$c_0$ property, which is a partial obstruction to the equi-coarse embeddability of the sequence of Hamming g…
We show that if the Szlenk index of a Banach space $X$ is larger than the first infinite ordinal $ω$ or if the Szlenk index of its dual is larger than $ω$, then the tree of all finite sequences of integers equipped with the hyperbolic distance metrically embeds into $X$. We show that the converse is true when $X$ is assumed to be reflexive. As an application, we exhibit new classes of Banach spaces that are stable under coarse-Lipschitz embeddings and therefore under uniform homeomorphisms.
We construct a locally finite graph and a bounded geometry metric space which do not admit a quasi-isometric embedding into any uniformly convex Banach space. Connections with the geometry of $c_0$ and superreflexivity are discussed.
We study finite subsets of $\ell_2$, and more generally any metric space, and consider whether these isometrically embed into a Banach space. Our results partially answer a question of Ostrovskii, on whether every infinite-dimensional Banach space contains every finite subset of $\ell_2$ isometrically. The updated version contains acknowledgement that Theorem 3.1 has been proven previously in a paper of Shkarin.
The main purpose of the paper is to find some expansion properties of locally finite metric spaces which do not embed coarsely into a Hilbert space. The obtained result is used to show that infinite locally finite graphs excluding a minor embed coarsely into a Hilbert space. In an appendix a direct proof of the latter result is given.
We construct the first example of a coarsely non-amenable (= without Guoliang Yu's property A) metric space with bounded geometry which coarsely embeds into a Hilbert space.
For each sequence X of finite-dimensional Banach spaces there exists a sequence H of finite connected nweighted graphs with maximum degree 3 such that the following conditions on a Banach space Y are equivalent: (1) Y admits uniformly isomorphic embeddings of elements of the sequence X. (2) Y admits uniformly bilipschitz embeddings of elements of the sequence H.
We consider a general notion of snowflake of a metric space by composing the distance by a nontrivial concave function. We prove that a snowflake of a metric space $X$ isometrically embeds into some finite-dimensional normed space if and only if $X$ is finite. In the case of power functions we give a uniform bound on the cardinality of $X$ depending only on the power exponent and the dimension of the vector space.
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 study four asymptotic smoothness properties of Banach spaces, denoted $\textsf{T}_p,\textsf{A}_p, \textsf{N}_p$ and $\textsf{P}_p$. We complete their description by proving the missing renorming theorem for $\textsf{A}_p$. We prove that asymptotic uniform flattenability (property $\textsf{T}_\infty$) and summable Szlenk index (property $\textsf{A}_\infty$) are three space properties. Combined with the positive results of the first named author, Draga, and Kochanek, and with the counterexamples we provide, this completely solves the three space problem for this family of properties. We also …
We consider the problem of isometric embedding of metric spaces to the Banach spaces; and introduce and study the remarkable class of so-called linearly rigid metric spaces: these are the spaces that admit a unique, up to isometry, linearly dense isometric embedding into a Banach space. The first nontrivial example of such a space was given by R. Holmes; he proved that the universal Urysohn space has this property. We give a criterion of linear rigidity of a metric space, which allows us to give a simple proof of the linear rigidity of the Urysohn space and some other metric spaces. The variou…
We generalize the notions of asymptotic dimension and coarse embeddings from metric spaces to quantum metric spaces in the sense of Kuperberg and Weaver. We show that quantum asymptotic dimension behaves well with respect to metric quotients and direct sums, and is preserved under quantum coarse embeddings. Moreover, we prove that a quantum metric space that equi-coarsely contains a sequence of reflexive quantum expanders must have infinite asymptotic dimension. This is done by proving a quantum version of a vertex-isoperimetric inequality for expanders, based upon a previously known edge-isop…
In the proof of his systolic inequality, Gromov uses an isometric embedding of a Riemannian manifold M into the Banach space of bounded functions on M, the so-called Kuratowski-embedding. Subsequently, it was shown by different authors that the Kuratowski embedding can be approximated by bi-Lipschitz embeddings into finite-dimensional Banach spaces. We give a detailed proof for the existence of such finite-dimensional approximations along the lines suggested by Larry Guth and go on to discuss quantitative aspects of the problem, establishing for the dimension of the Banach space a bound which …
In this paper we prove that $L_{p}$ does not admit an equivariant coarse embedding into $\ell_p$ i.e there is no proper, affine, isometric action of $L_{p}$, viewed as a group under addition with the standard metric $|| . ||_p$, on $\ell_p$. This is done by showing that representations of $L_{p}$ into $ Isom(\ell_p)$ has to be trivial, which allows us to reduce the question to bi-Lipschitz setting.
We study finite subsets of $\ell_p$ and show that, up to nowhere dense and Haar null complement, all of them embed isometrically into any Banach space that uniformly contains the spaces $\ell_p^n$, $n \in \mathbb{N}$.
We study embeddings of uniform Roe algebras which have "large range" in their codomain and the relation of those with coarse quotients between metric spaces. Among other results, we show that if $Y$ has property A and there is an embedding $Φ:\mathrm{C}^*_u(X)\to \mathrm{C}^*_u(Y)$ with "large range" and so that $Φ(\ell_\infty(X))$ is a Cartan subalgebra of $\mathrm{C}^*_u(Y)$, then there is a bijective coarse quotient $X\to Y$. This shows that the large scale geometry of $Y$ is, in some sense, controlled by the one of $X$. For instance, if $X$ has finite asymptotic dimension, so does $Y$.
We show that a geodesic metric space which does not admit bilipschitz embeddings into Banach spaces with the Radon-Nikodým property does not necessarily contain a bilipschitz image of a thick family of geodesics. This is done by showing that any thick family of geodesics is not Markov convex, and comparing this result with results of Cheeger-Kleiner, Lee-Naor, and Li. The result contrasts with the earlier result of the author that any Banach space without the Radon-Nikodým property contains a bilipschitz image of a thick family of geodesics.
We construct a finitely generated group which is an extension of two finitely generated groups coarsely embeddable into Hilbert space but which itself does not coarsely embed into Hilbert space. Our construction also provides a new infinite monster group: the first example of a finitely generated group that does not coarsely embed into Hilbert space and yet does not contain a weakly embedded expander.
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.
We introduce the notion of cotype of a metric space, and prove that for Banach spaces it coincides with the classical notion of Rademacher cotype. This yields a concrete version of Ribe's theorem, settling a long standing open problem in the nonlinear theory of Banach spaces. We apply our results to several problems in metric geometry. Namely, we use metric cotype in the study of uniform and coarse embeddings, settling in particular the problem of classifying when L_p coarsely or uniformly embeds into L_q. We also prove a nonlinear analog of the Maurey-Pisier theorem, and use it to answer a qu…
The objective of this series is to study metric geometric properties of (coarse) disjoint unions of amenable Cayley graphs. We employ the Cayley topology and observe connections between large scale structure of metric spaces and group properties of Cayley accumulation points. In this Part I, we prove that a disjoint union has property A of G. Yu if and only if all groups appearing as Cayley accumulation points in the space of marked groups are amenable. As an application, we construct two disjoint unions of finite special linear groups (and unimodular linear groups) with respect to two systems…
IMPA（巴西数学纯应用与计算研究所）；University of North Carolina at Charlotte（北卡罗来纳大学夏洛特分校）；Université Marie et Louis Pasteur, CNRS, LmB (UMR 6623)（玛丽和路易·巴斯德大学，法国国家科学研究中心，LmB实验室）；York University（约克大学）；Czech Technical University in Prague（布拉格捷克理工大学）；Texas A&M University（德克萨斯农工大学）
The coarse geometric Novikov conjecture provides an algorithm to determine when the higher index of an elliptic operator on a noncompact space is nonzero. The purpose of this paper is to prove the coarse geometric Novikov conjecture for spaces which admit a (coarse) uniform embedding into a uniformly convex Banach space.
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.
Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_α\}_{α\in A}$ be a set of metric spaces. We say that $T$ is a set of {\it test-spaces} for $\mathcal{P}$ if the following two conditions are equivalent: (1) $X\notin\mathcal{P}$; (2) The spaces $\{T_α\}_{α\in A}$ admit uniformly bilipschitz embeddings into $X$. The first part of the paper is devoted to a simplification of the proof of the following test-space characterization obtained in M.I. Ostrovskii [Different forms of metric characterizations of classes of Banach spaces, Houston J. Math., to appear]: For each sequence $\{X_m\}_{…
We give a short and elementary proof of the fact that every metric space of finite asymptotic dimension can be embedded into a finite product of trees.
The objective of this series is to study metric geometric properties of disjoint unions of amenable Cayley graphs by group properties of the Cayley accumulation points in the space of marked groups. In this Part II, we prove that a disjoint union admits a fibred coarse embedding into a Hilbert space (in a generalized sense) if and only if the Cayley boundary of the sequence in the space of marked groups is uniformly a-T-menable. We furthermore extend this result to ones with other target spaces. By combining our main results with constructions of Arzhantseva--Osajda and Osajda, we construct tw…
We introduce an obstruction to the existence of a coarse embedding of a given group or space into a hyperbolic group, or more generally into a hyperbolic graph of bounded degree. The condition we consider is "admitting exponentially many fat bigons", and it is preserved by a coarse embedding between graphs with bounded degree. Groups with exponential growth and linear divergence (such as direct products of two groups one of which has exponential growth, solvable groups that are not virtually nilpotent, and uniform higher-rank lattices) have this property and hyperbolic graphs do not, so the fo…
A theorem proved by Hrushovski for graphs and extended by Solecki and Vershik (independently from each other) to metric spaces leads to a stronger version of ultrahomogeneity of the infinite random graph $R$, the universal Urysohn metric space $\Ur$, and other related objects. We show how the result can be used to average out uniform and coarse embeddings of $\Ur$ (and its various counterparts) into normed spaces. Sometimes this leads to new embeddings of the same kind that are metric transforms and besides extend to affine representations of various isometry groups. As an application of this …
Introduced by Gromov in the 80's, coarse embeddings are a generalization of quasi-isometric embeddings when the control functions are not necessarily affine. In this paper, we will be particularly interested in coarse embeddings between symmetric spaces and Euclidean buildings. The quasi-isometric case is very well understood thanks to the rigidity results for symmetric spaces and buildings of higher rank by Anderson-Schroeder, Kleiner, Kleiner-Leeb, Eskin-Farb and Fisher-Whyte. In particular, it is well known that the rank of these spaces is monotonous under quasi-isometric embeddings. This i…
