Finite decomposition complexity and the integral Novikov conjecture for higher algebraic K-theory

DOI10.1515/CRELLE-2012-0112MaRDI QIDQ741785zbMATH OpenOpenAlexWikidataFDO

Authors Daniel Ramras, Romain Tessera, Guoliang Yu

Publication date 12 September 2014

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1111.7022

zbMATH Keywords

continuously controlled \(K\)-theoryNovikov conjecture

Mathematics Subject Classification ID

Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) Computations of higher (K)-theory of rings (19D50)

Abstract: Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded geometry metric spaces with finite decomposition complexity. This leads to a proof of the integral K-theoretic Novikov conjecture, regarding split injectivity of the K-theoretic assembly map, for groups with finite decomposition complexity and finite CW models for their classifying spaces. By work of Guentner, Tessera, and Yu, this includes all (geometrically finite) linear groups.

Review text

The notion of \textit{decomposition complexity} of a metric space was introduced by \textit{E. Guentner}, \textit{R. Tessera} and \textit{G. Yu} in [Invent. Math. 189, No. 2, 315--357 (2012; Zbl 1257.57028)]. Roughly speaking, this measures the the difficulty of decomposing a metric space into uniformly bounded pieces that are suitable separated. This, on the other hand, naturally generalizes the notion of asymptotic dimension of a space. The authors explore this notion in the context of geometric modules and their continuously controlled \(K\)-theory of spaces. The main applications are the following theorems: Theorem 1. Let \(\Gamma\) be a group with finite decomposition complexity. Assume that there exists a universal principal \(\Gamma\)-bundle \(E\Gamma\to B\Gamma\) with \(B\Gamma\) a finite \(CW\) complex. Then, the \(K\)-theoretic assembly \[ H_*(B\Gamma ;\mathbb{K}(R))\to K_*(R[\Gamma]) \] is an isomorphism for all \(*\in\mathbb{Z}\) and any ring \(R\). In the above, the homology groups have coefficients in the non-connective \(K\)-theory spectrum \(\mathbb{K}\) of \(R\). The second important result is the following vanishing result for continuously controlled \(K\) theory: Theorem 2. Let \(X\) be a metric space with bounded geometry and finite decomposition complexity, then \[ \mathrm{colim}_s K^c_*(P_sX)=0 \text{ for all } *\in\mathbb{Z}. \] In the above, \(P_sX\) denotes the Rips complex associated to \(X\) and the colimit is over an increasing unbounded sequence of real numbers \(s_0<s_1<s_2<\dots\).

Recommendations

• The integral K-theoretic Novikov conjecture for groups with finite asymptotic dimension
• Controlled algebra and the Novikov conjectures for \(K\)- and \(L\)-theory
• On the K-theory of groups with finite asymptotic dimension

Cited in

(17)

• Dimension of compact metric spaces
• Addendum to: ``Finite decomposition complexity and the integral Novikov conjecture for higher algebraic \(K\)-theory
• Matrix algebra of sets and variants of decomposition complexity
• Extending properties to relatively hyperbolic groups
• Excision in equivariant fibred \(G\)-theory
• Coarse homology theories and finite decomposition complexity
• Novikov's conjecture
• Algebraic K-theory of group rings and the cyclotomic trace map
• Equivariant coarse homotopy theory and coarse algebraic K-homology
• Higher invariants in noncommutative geometry
• Discrete groups with finite decomposition complexity
• The Novikov conjecture
• Shortening binary complexes and commutativity of \(K\)-theory with infinite products
• Topological equivariant coarse K-homology
• Controlled objects in left-exact -categories and the Novikov conjecture
• The bounded isomorphism conjecture for box spaces of residually finite groups
• Operator norm localization property of metric spaces under finite decomposition complexity

This page was built for publication: Finite decomposition complexity and the integral Novikov conjecture for higher algebraic \(K\)-theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q741785)