Filtrations of simplicial functors and the Novikov conjecture

DOI10.1007/S10977-006-7112-0MaRDI QIDQ864980zbMATH OpenOpenAlexWikidataFDO

Authors Crichton Ogle

Publication date 13 February 2007

Published in \(K\)-Theory (Search for Journal in Brave)

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

zbMATH Keywords

assembly mapNovikov conjecturesimplicial resolution

Mathematics Subject Classification ID

(K_1) of group rings and orders (19B28) Surgery obstructions ((K)-theoretic aspects) (19J25) Index theory (19K56) Cohomology of groups (20J06) Noncommutative topology (46L85) Homotopy theory (55P99) Surgery obstructions, Wall groups (57R67)

Abstract: We show that the Strong Novikov Conjecture for the maximal C*-algebra C*(G) of a discrete group G is equivalent to a statement in topological K-theory for which the corresponding statement in algebraic K-theory is always true. We also show that for any group G, rational injectivity of the full assembly map for the topological K-theory of C*(G) follows from rational injectivity of the restricted assembly map.

Review text

Let \(G\) be a countable discrete group. The strong Novikov conjecture for \(G\) is the assertion that the assembly map from the \(K\)-homology of \(BG\) to the topological \(K\)-theory \(K^{t}_{*}\) of \(C^{*}(G)\) is rationally injective. The author uses a free simplicial resolution of \(G\) to impose filtrations that are respected by the assembly map. As a consequence, the author shows that the assembly map is rationally injective if and only if the corresponding (degree-preserving) map \(H_{*}(BG; \mathbf Q ) \rightarrow K^{t}_{*} (C^{*}(G))\otimes \mathbf Q\) is injective. The author also shows that free resolutions create a role for algebraic \(K\)-theory \(K^{a}_{*}\) by allowing the definitions of Abelian groups \(A_{n}\) (depending on \(G\)), \(C^{*}\)-algebras \(C_{n}\) (depending on \(G\)), and maps \(A_{n} \rightarrow H_{n}(BG; \mathbf Q )\) and \(A_{n} \rightarrow K^{a}_{1} (C_{n-1})\otimes \mathbf Q \rightarrow K^{t}_{1} (C_{n-1})\otimes \mathbf Q\). If \(y\in A_{n}\) has nonzero image in \(H_{n}(BG; \mathbf Q )\), then \(y\) has nonzero image in \(K^{a}_{1} (C_{n-1})\otimes \mathbf Q\). The analogous assertion, for all \(n\geq 1\) and with \(K^{t}_{1} (C_{n-1})\otimes \mathbf Q\) replacing \(K^{a}_{1} (C_{n-1})\otimes \mathbf Q\), is equivalent to the strong Novikov conjecture for \(G\).

Recommendations

• Algebraic K-theory of spaces and the Novikov conjecture
• The strong Novikov conjecture for low degree cohomology
• scientific article; zbMATH DE number 4076079
• Equivariant KK-theory and the Novikov conjecture
• Controlled algebra and the Novikov conjectures for \(K\)- and \(L\)-theory

Cites work

• A SHORT PROOF THAT M_n(A) IS LOCAL IF A IS LOCAL AND FRÉCHET
• Coarse Baum-Connes conjecture
• Cyclic cohomology, the Novikov conjecture and hyperbolic groups
• Equivariant KK-theory and the Novikov conjecture
• Group cohomology with Lipschitz control and higher signatures
• Groups acting properly on ``bolic spaces and the Novikov conjecture
• scientific article; zbMATH DE number 4071910 (Why is no real title available?)
• scientific article; zbMATH DE number 3594275 (Why is no real title available?)
• K-theory of reduced C^*-algebras and rapidly decreasing functions on groups
• Proper group actions and the Baum-Connes conjecture
• Some relations between homotopy and homology
• Spaces over a category and assembly maps in isomorphism conjectures in \(K\)- and \(L\)-theory
• The cyclotomic trace and algebraic K-theory of spaces
• The Novikov conjecture for groups with finite asymptotic dimension

Cited in

(3)

• On the Functoriality of the Slice Filtration
• Strong Novikov conjecture for low degree cohomology and exotic group \(\mathrm{C}^\ast\)-algebras
• Algebraic K-theory of spaces and the Novikov conjecture

This page was built for publication: Filtrations of simplicial functors and the Novikov conjecture

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