Quantitative property A, Poincaré inequalities, \(L^p\)-compression and \(L^p\)-distortion for metric measure spaces (Q960055)

A mapping \(f:A\to B\) between two metric spaces is called a coarse embedding (sometimes uniform embedding) if there exist non-decreasing functions \(\rho_1,\rho_2:[0,\infty)\to[0,\infty)\) such that \[ \forall x,y\in A: \rho_1(d_A(x,y))\leq d_B(f(x),f(y))\leq\rho_2(d_A(x,y)),\tag{1} \] \[ \lim_{r\to\infty}\rho_1(r)=\infty.\tag{2} \] The supremum of all non-decreasing functions \(\rho_1\) for which inequality (1) holds is called the compression of \(f\). \textit{G.--L.\thinspace Yu} [Invent.\ Math.\ 139, No.\,1, 201--240 (2000; Zbl 0956.19004)] introduced Property A of discrete metric spaces as a sufficient condition for coarse embeddability into a Hilbert space. Since then, Property~A has found many other applications; e.g., it was discovered (\textit{E.\,Guentner} and \textit{J.\,Kaminker} [Topology 41, No.\,2, 411--418 (2002; Zbl 0992.58002)] and \textit{N.\,Ozawa} [C.\ R.\ Acad.\ Sci., Paris, Sér.\ I, Math.\ 330, No.\,8, 691--695 (2000; Zbl 0953.43001)]) that, for discrete groups, Property~A is equivalent to the exactness of the reduced \(C^*\)-algebra. See \textit{P.\,Nowak} and \textit{G.--L.\thinspace Yu} [Notices Am.\ Math.\ Soc.\ 55, No.\,4, 474--475 (2008; Zbl 1154.46010)] for a short summary of known facts. The author introduces the following quantitative version of Property~A. Let \(X =(X, d,\mu)\) be a metric measure space, \(J :{\mathbb R}_+\to {\mathbb R}_+\) be some increasing function, and let \(1\leq p < \infty\). We say that \(X\) has property \(A(J, p)\) if for every \(n\in{\mathbb N}\) and \(x\in X\) there exists \(\psi_{n,x}\in L_p(X)\) such that (a) \(||\psi_{n,x}||_p\geq J(n)\) for every \(x\in X\); (b) \(\|\psi_{n,x}-\psi_{n,y}\|_p\leq d(x,y)\); (c) \(\psi_{n,x}\) is supported on \(\{y\in X:~ d(x,y)\leq n\}\). The author estimates the compression of coarse embeddings into \(L_p\) in terms of the function \(J\). We state one of his results: Theorem. Let \(X\) be a metric measure space having property \(A(J, p)\). Then, for every increasing function \(f\) satisfying \[ \int_1^\infty\left(\frac{f(t)}{J(t)}\right)^p\frac{dt}t<\infty, \] there exists a large-scale Lipschitz coarse embedding \(F\) of \(X\) into an \(L_p\)-space with compression \(\rho\) satisfying \(f(t)\leq C\rho(Ct)+C\) for some \(0<C<\infty\).