zbMATH — the first resource for mathematics

Metric sparsification and operator norm localization. (English) Zbl 1148.46040
For a finitely generated residually finite group \(\Gamma\) with a sequence of normal subgroups \(\Gamma_1 \supseteq \Gamma_2 \supseteq \dots\) such that \(\bigcap_{i=1}^\infty \Gamma_1 = \{e\}\) and with the quotient metric on \(\Gamma/\Gamma_i\), defined by \(d(a\Gamma_i,b\Gamma_i) := \min\{ d(a\gamma_1,b\gamma_2) ; \gamma_1,\gamma_2\in \Gamma_i\}\), one defines the so called box metric space \(X(\Gamma):= \amalg_{i=1}^\infty \Gamma/\Gamma_i\) as the disjoint union of \(\Gamma/\Gamma_i\) with the metric such that the restrictions to \(\Gamma/\Gamma_i\) coincide with their quotient metric and that \(\lim_{n+m\to\infty, n\neq m} d(\Gamma/\Gamma_n,\Gamma/\Gamma_m) = \infty\), see e.g. [J. Roe, Lectures on Coarse Geometry, Univ. Lecture Ser. 31, Am. Math. Soc. (2003; Zbl 1042.53027)]. Denote by \(E\Gamma\) the universal space for the free and proper \(\Gamma\) actions and \(C^*_r(\Gamma)\) the reduced group C*-algebra. The Strong Novikov Conjecture states that the Baum-Connes map \(\mu_r : K^\Gamma_*(E\Gamma) \to K_*(C^*_r(\Gamma))\) is injective. If \(X\) is a discrete metric space with bounded geometry, the Coarse Geometric Novikov Conjecture states that the Baum-Connes map \(\mu : \lim_{d\to\infty} K_*(P_d(X)) \to K_*(C^*(X))\) is injective, see e.g. [G. Yu, Invent. Math. 139, No. 1, 201–240 (2000; Zbl 0956.19004)], where \(P_d(X)\) is the Rips complex and \(C^*(X)\) is the Roe algebra associated to \(X\).
In the paper under review, the authors study an operator norm localization property (Definition 2.2) and its applications to the coarse Novikov conjecture in operator K-theory. The authors introduce some sparsification property (Definition 3.1) which is (Proposition 4.1) a sufficient geometric condition for the operator norm localization property. This leads the authors to give many examples of finitely generated groups with infinite asymptotic dimension and the operator norm localization property. In §6 they show that a sequence of expanding graphs does not posseses the operator norm localization property.
If \(\Gamma\) has the operator norm localization property and the classifying space \(E\Gamma/\Gamma\) for free \(\Gamma\)-actions has homotopy type of a compact CW complex, then the strong Novikov conjecture for \(\Gamma\) and \(\Gamma_n (n=1,2,3,...)\) implies the coarse geometric Novikov conjecture for \(X(\Gamma)\) (Theorem 7.1).

46L80 \(K\)-theory and operator algebras (including cyclic theory)
19K35 Kasparov theory (\(KK\)-theory)
Full Text: DOI arXiv
[1] Baum, P.; Connes, A., K-theory for discrete groups, (), 1-20
[2] Bell, G.; Dranishnikov, A., On asymptotic dimension of groups, Algebr. geom. topol., 1, 57-71, (2001) · Zbl 1008.20039
[3] G. Gong, Q. Wang, G. Yu, Geometrization of the strong Novikov conjecture for residually finite groups, Crelle’s Journal (2008), in press · Zbl 1154.46042
[4] Kasparov, G.G., Equivariant KK-theory and the Novikov conjecture, Invent. math., 91, 147-201, (1988) · Zbl 0647.46053
[5] Lubotzky, A., Discrete groups, expanding graphs and invariant measures, Progr. math., vol. 125, (1994), Birkhäuser Verlag · Zbl 0826.22012
[6] Roe, J., Coarse cohomology and index theory on complete Riemannian manifolds, Mem. amer. math. soc., 104, 497, (1993), x+90 pp · Zbl 0780.58043
[7] Roe, J., Lectures on coarse geometry, Univ. lecture ser., vol. 31, (2003), Amer. Math. Soc. · Zbl 1042.53027
[8] Yu, G., The Novikov conjecture for groups with finite asymptotic dimension, Ann. of math., 147, 2, 325-355, (1998) · Zbl 0911.19001
[9] Yu, G., The coarse baum-Connes conjecture for spaces which admit a uniform embedding into Hilbert space, Invent. math., 139, 1, (2000) · Zbl 0956.19004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.