Coarse non-amenability and coarse embeddings

Goulnara Arzhantseva,Erik Guentner,Jan Spakula

DOI: https://doi.org/10.48550/arXiv.1101.1993

2011-11-02

Abstract: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.

Group Theory,Functional Analysis,Metric Geometry

What problem does this paper attempt to address?

The Coarse Novikov Conjecture and Banach Spaces with Property (H)

Xiaoman Chen,Qin Wang,Guoliang Yu

DOI: https://doi.org/10.1016/j.jfa.2015.02.001

IF: 1.891

2015-01-01

Journal of Functional Analysis

Abstract:In this paper, we prove the coarse Novikov conjecture for metric spaces with bounded geometry which are coarsely embeddable into Banach spaces with a geometric condition, called Property (H), introduced by G. Kasparov and G. Yu.
Coarse and bi-Lipschitz embeddability of subspaces of the Gromov-Hausdorff space into Hilbert spaces

Nicolò Zava

2024-09-28

Abstract:In this paper, we discuss the embeddability of subspaces of the Gromov-Hausdorff space, which consists of isometry classes of compact metric spaces endowed with the Gromov-Hausdorff distance, into Hilbert spaces. These embeddings are particularly valuable for applications to topological data analysis. We prove that its subspace consisting of metric spaces with at most n points has asymptotic dimension $n(n-1)/2$. Thus, there exists a coarse embedding of that space into a Hilbert space. On the contrary, if the number of points is not bounded, then the subspace cannot be coarsely embedded into any uniformly convex Banach space and so, in particular, into any Hilbert space. Furthermore, we prove that, even if we restrict to finite metric spaces whose diameter is bounded by some constant, the subspace still cannot be bi-Lipschitz embedded into any finite-dimensional Hilbert space. We obtain both non-embeddability results by finding obstructions to coarse and bi-Lipschitz embeddings in families of isometry classes of finite subsets of the real line endowed with the Euclidean-Hausdorff distance.

Metric Geometry
Coarse embeddings of quotients by finite group actions

Thomas Weighill

2024-09-05

Abstract:We prove that for a metric space $X$ and a finite group $G$ acting on $X$ by isometries, if $X$ coarsely embeds into a Hilbert space, then so does the quotient $X/G$. A crucial step towards our main result is to show that for any integer $k > 0$ the space of unordered $k$-tuples of points in Hilbert space, with the $1$-Wasserstein distance, itself coarsely embeds into Hilbert space. Our proof relies on establishing bounds on the sliced Wasserstein distance between empirical measures in $\mathbb{R}^n$.

Metric Geometry
Some counterexamples in abstract coarse geometry

Pawel Grzegrzolka,Jeremy Siegert

DOI: https://doi.org/10.48550/arXiv.1904.11408

2019-04-25

Abstract:We construct an example of a coarse proximity space that is not induced by any coarse structure. We then show how to "stitch" two coarse proximity spaces with homeomorphic boundaries into one coarse proximity space. Finally, we construct a coarse proximity space that is not induced by any asymptotic resemblance structure.

General Topology
Coarse cohomology of configuration space and coarse embedding

Arka Banerjee

2024-01-15

Abstract:We introduce a notion of equivariant coarse cohomology of the complement of a subspace in a metric space. We use this cohomology to define a notion of coarse cohomology of the configuration space of a metric space and develop tools to compute this cohomology under certain conditions. As an application of this theory, we show that certain classes in the coarse cohomology of configuration space obstruct coarse embedding between two metric spaces.

Metric Geometry,Algebraic Topology
On the expansiveness of coarse maps between Banach spaces and geometry preservation

Bruno de Mendonça Braga,Gilles Lancien

2023-10-09

Abstract:We introduce a new notion of embeddability between Banach spaces. By studying the classical Mazur map, we show that it is strictly weaker than the notion of coarse embeddability. We use the techniques from metric cotype introduced by M. Mendel and A. Naor to prove results about cotype preservation and complete our study of embeddability between $\ell_p$ spaces. We confront our notion with nonlinear invariants introduced by N. Kalton, which are defined in terms of concentration properties for Lipschitz maps defined on countably branching Hamming or interlaced graphs. Finally, we address the problem of the embeddability into $\ell_\infty$.

Functional Analysis
Fibred Coarse Embedding into Non-Positively Curved Manifolds and Higher Index Problem

Xiaoman Chen,Qin Wang,Zhijie Wang

DOI: https://doi.org/10.1016/j.jfa.2014.10.004

IF: 1.891

2014-01-01

Journal of Functional Analysis

Abstract:Let X=⨆n=1∞Xn be the coarse disjoint union of a sequence of finite metric spaces with uniform bounded geometry. In this paper, we show that the coarse Novikov conjecture holds for X, if X admits a fibred coarse embedding into a simply connected complete Riemannian manifold of non-positive sectional curvature. This includes a large class of expander graphs with geometric property (T).
Coarse entropy of metric spaces

William Geller,Michał Misiurewicz,Damian Sawicki

2024-08-04

Abstract:Coarse geometry studies metric spaces on the large scale. The recently introduced notion of coarse entropy is a tool to study dynamics from the coarse point of view. We prove that all isometries of a given metric space have the same coarse entropy and that this value is a coarse invariant. We call this value the coarse entropy of the space and investigate its connections with other properties of the space. We prove that it can only be either zero or infinity, and although for many spaces this dichotomy coincides with the subexponential--exponential growth dichotomy, there is no relation between coarse entropy and volume growth more generally. We completely characterise this dichotomy for spaces with bounded geometry and for quasi-geodesic spaces. As an application, we provide an example where coarse entropy yields an obstruction for a coarse embedding, where such an embedding is not precluded by considerations of volume growth.

Metric Geometry,Dynamical Systems,Group Theory
On coarse embeddings of amenable groups into hyperbolic graphs

Romain Tessera

2024-04-26

Abstract:In this note we prove that if a finitely generated amenable group admits a regular map to a direct product of a hyperbolic space and a euclidean space, then it must be virtually nilpotent. We deduce that an amenable group regularly embeds into a hyperbolic group if and only if it is virtually nilpotent, answering a question of Hume and Sisto. We describe an application to Lorentz geometry due to Charles Frances.

Group Theory,Metric Geometry
Hilbert-Hadamard spaces and the equivariant coarse Novikov conjecture

Liang Guo,Qin Wang,Jianchao Wu,Guoliang Yu

2024-11-28

Abstract:In this paper, we study the equivariant coarse Novikov conjectures for spaces that equivariantly and coarsely embed into admissible Hilbert-Hadamard spaces, which are a type of infinite-dimensional nonpositively curved spaces. The paper is split into two parts. We prove in the first part that for any metric space $X$ with bounded geometry and with a proper isometric action $\alpha$ by a countable discrete group $\Gamma$, if $X$ admits an equivariant coarse embedding into an admissible Hilbert-Hadamard space and $\Gamma$ is torsion-free, then the equivariant coarse strong Novikov conjecture holds rationally for $(X, \Gamma, \alpha)$. In the second part, we drop the torsion-free assumption for $\Gamma$ in the first part. We introduce a Miscenko-Kasparov assembly map for a proper $\Gamma$-space $X$ with equivariant bounded geometry, which leads to a new Novikov-type conjecture that we call the analytic equivariant coarse Novikov conjecture. We show that for a proper $\Gamma$-space $X$ with equivariant bounded geometry, the rational analytic equivariant coarse Novikov conjecture holds for $(X,\Gamma,\alpha)$ if $X$ admits an equivariant coarse embedding into an admissible Hilbert-Hadamard space, i.e., the Miscenko-Kasparov assembly map is a rational injection.

K-Theory and Homology,Operator Algebras
Completely coarse maps are $\mathbb R$-linear

Bruno M. Braga,Javier Alejandro Chávez-Domínguez

DOI: https://doi.org/10.48550/arXiv.2006.00948

2020-06-01

Abstract:A map between operator spaces is called completely coarse if the sequence of its amplifications is equi-coarse. We prove that all completely coarse maps must be $\mathbb R$-linear. On the opposite direction of this result, we introduce a notion of embeddability between operator spaces and show that this notion is strictly weaker than complete $\mathbb R$-isomorphic embeddability (in particular, weaker than complete $\mathbb C$-isomorphic embeddability). Although weaker, this notion is strong enough for some applications. For instance, we show that if an infinite dimensional operator space $X$ embeds in this weaker sense into Pisier's operator space $\mathrm{OH}$, then $X$ must be completely isomorphic to $\mathrm{OH}$.

Operator Algebras,Functional Analysis
Coarse homological invariants of metric spaces

Alexander Margolis

2024-11-07

Abstract:Inspired by group cohomology, we define several coarse topological invariants of metric spaces. We define the coarse cohomological dimension of a metric space, and demonstrate that if G is a countable group, then the coarse cohomological dimension of G as a metric space coincides with the cohomological dimension of $G$ as a group whenever the latter is finite. Extending a result of Sauer, it is shown that coarse cohomological dimension is monotone under coarse embeddings, and hence is invariant under coarse equivalence. We characterise unbounded quasi-trees as quasi-geodesic metric spaces of coarse cohomological dimension one. A classical theorem of Hopf and Freudenthal states that if G is a finitely generated group, then the number of ends of G is either 0, 1, 2 or $\infty$. We prove a higher-dimensional analogue of this result, showing that if F is a field, G is countable, and $H^k(G,FG)=0$ for k<n, then $\dim H^n(G,FG)$=0,1 or $\infty$, significantly extending a result of Farrell from 1975. Moreover, in the case $\dim H^n(G,FG)=1$, then G must be a coarse Poincaré duality group. We prove an analogous result for metric spaces.

Group Theory,Metric Geometry
The coarse geometry of Tsirelson's space and applications

Florent Baudier,Gilles Lancien,Thomas Schlumprecht

DOI: https://doi.org/10.1090/jams/899

2018-02-10

Abstract: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 every infinite dimensional Banach space. In particular, we disprove the conjecture that the separable infinite dimensional Hilbert space coarsely embeds into every infinite dimensional Banach space. The rigidity result follows from a new concentration inequality for Lipschitz maps on the infinite Hamming graphs and taking values in $T^*$, and from the embeddability of the infinite Hamming graphs into Banach spaces that admit spreading models not isomorphic to $c_0$. Also, a purely metric characterization of finite dimensionality is obtained.

Functional Analysis,Group Theory,K-Theory and Homology,Metric Geometry
Uniformly bounded fibred coarse embeddability and uniformly bounded a-T-menability

Jianguo Zhang,Dapeng Zhou

DOI: https://doi.org/10.48550/arXiv.2107.10114

2021-07-21

Abstract: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.

Functional Analysis,Group Theory,Metric Geometry
Characterization of the Haagerup property by fibred coarse embedding into Hilbert space

Xiaoman Chen,Qin Wang,Xianjin Wang

DOI: https://doi.org/10.1112/blms/bdt045

IF: 1.036

2013-01-01

Bulletin of the London Mathematical Society

Abstract:We show that a finitely generated, residually finite group has the Haagerup property (Gromov's a-T-menability) if and only if one (or equivalently, all) of its box spaces admits a fibred coarse embedding into Hilbert space. In contrast, the box spaces of a finitely generated, residually finite hyperbolic group with property (T) do not admit a fibred coarse embedding into Hilbert space, but do admit a fibred coarse embedding into an l(p)-space for some p > 2.
An Invitation to Coarse Groups

Arielle Leitner,Federico Vigolo

2023-07-07

Abstract:In this monograph we lay the foundation for a theory of coarse groups and coarse actions. Coarse groups are group objects in the category of coarse spaces, and can be thought of as sets with operations that satisfy the group axioms "up to uniformly bounded error". In the first part of this work, we develop the theory of coarse homomorphisms, quotients, and subgroups, and prove that coarse versions of the Isomorphism Theorems hold true. We also initiate the study of coarse actions and show how they relate to the fundamental observation of Geometric Group Theory. In the second part we explore a selection of specialized topics, such as the study of coarse group structures on set-groups, groups of coarse automorphisms and spaces of controlled maps. Here the main aim is to show how the theory of coarse groups connects with classical subjects. These include: number theory; the study of bi-invariant metrics on groups; quasimorphisms and stable commutator length; ${\rm Out}(F_n)$; topological group actions.

Group Theory,Category Theory,Metric Geometry
Coarse embeddability, $L^1$-compression and Percolations on General Graphs

Chiranjib Mukherjee,Konstantin Recke

2024-07-30

Abstract:We show that a locally finite, connected graph has a coarse embedding into a Hilbert space if and only if there exist bond percolations with arbitrarily large marginals and two-point function vanishing at infinity. We further show that the decay of the two-point function is stretched exponential with stretching exponent $\alpha\in[0,1]$ if and only if the $L^1$-compression exponent of the graph is at least $\alpha$, leading to a probabilistic characterization of this exponent. These results are new even in the particular setting of Cayley graphs of finitely generated groups. The proofs build on new probabilistic methods introduced recently by the authors to study group-invariant percolation on Cayley graphs [25,26], which are now extended to the general, non-symmetric situation of graphs to study their coarse embeddability and $L^1$-compression exponents.

Probability,Metric Geometry
Remarks on the point character of Banach spaces and non-linear embeddings into~$c_0(\Ga)$

Petr Hajek,Michal Johanis,Th.Schlumprecht

2024-01-02

Abstract:We give a brief survey of the results on coarse or uniform embeddings of Banach spaces into $c_0(\Ga)$ and the point character of Banach spaces. In the process we prove several new results in this direction (for example we determine the point character of the spaces $L_p(\mu)$, $1\le p\le2$) solving open problems posed by C.~Avart, P.~Komjath, and V.~Roedl and by G.~Godefroy, G.~Lancien, and V.~Zizler. In particular, we show that $X=L_p(\mu)$, $1\le p<\infty$, bi-Lipschitz embeds into $c_0(\Ga)$ if and only if $\dens X<\om_\om$.

Functional Analysis
The maximal coarse Baum-Connes conjecture for spaces that admit an A-by-FCE coarse fibration structure

Liang Guo,Qin Wang,Chen Zhang

2024-09-27

Abstract:In this paper, we introduce a concept of A-by-FCE coarse fibration structure for metric spaces, which serves as a generalization of the A-by-CE structure for a sequence of group extensions proposed by Deng, Wang, and Yu. We prove that the maximal coarse Baum-Connes conjecture holds for metric spaces with bounded geometry that admit an A-by-FCE coarse fibration structure. As an application, the relative expanders constructed by Arzhantseva and Tessera, as well as the box spaces derived from an ``amenable-by-Haagerup'' group extension, admit the A-by-FCE coarse fibration structure. Consequently, the maximal coarse Baum-Connes conjecture holds for these spaces, which may not admit an FCE structure, i.e. fibred coarse embedding into Hilbert space.

K-Theory and Homology,Functional Analysis,Operator Algebras
The Strongly Quasi-Local Coarse Novikov Conjecture and Banach Spaces with Property (H)

Xiaoman Chen,Kun Gao,Jiawen Zhang

DOI: https://doi.org/10.1215/21562261-2023-0010

2024-01-01

Kyoto Journal of Mathematics

Abstract:In this paper, we introduce a strongly quasi-local version of the coarse Novikov conjecture, which states that certain assembly map from the coarse K-homology of a metric space to the K-theory of its strongly quasi-local algebra is injective. We prove that the conjecture holds for metric spaces with bounded geometry which can be coarsely embedded into Banach spaces with Property (H), introduced by Kasparov and Yu. Besides, we also generalise the notion of strong quasi-locality to proper metric spaces and provide a (strongly) quasi-local picture for K-homology.

Coarse non-amenability and coarse embeddings

The Coarse Novikov Conjecture and Banach Spaces with Property (H)

Coarse and bi-Lipschitz embeddability of subspaces of the Gromov-Hausdorff space into Hilbert spaces

Coarse embeddings of quotients by finite group actions

Some counterexamples in abstract coarse geometry

Coarse cohomology of configuration space and coarse embedding

On the expansiveness of coarse maps between Banach spaces and geometry preservation

Fibred Coarse Embedding into Non-Positively Curved Manifolds and Higher Index Problem

Coarse entropy of metric spaces

On coarse embeddings of amenable groups into hyperbolic graphs

Hilbert-Hadamard spaces and the equivariant coarse Novikov conjecture

Completely coarse maps are $\mathbb R$-linear

Coarse homological invariants of metric spaces

The coarse geometry of Tsirelson's space and applications

Uniformly bounded fibred coarse embeddability and uniformly bounded a-T-menability

Characterization of the Haagerup property by fibred coarse embedding into Hilbert space

An Invitation to Coarse Groups

Coarse embeddability, $L^1$-compression and Percolations on General Graphs

Remarks on the point character of Banach spaces and non-linear embeddings into~$c_0(\Ga)$

The maximal coarse Baum-Connes conjecture for spaces that admit an A-by-FCE coarse fibration structure

The Strongly Quasi-Local Coarse Novikov Conjecture and Banach Spaces with Property (H)