Coassembly is a homotopy limit map

DOI10.2140/AKT.2020.5.373MaRDI QIDQ2193652zbMATH OpenOpenAlexFDO

Authors Cary Malkiewich, Mona Merling

Publication date 20 August 2020

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

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

zbMATH Keywords

\(A\)-theorybivariant \(A\)-theorycoassemblyequivariant \(A\)-theoryhomotopy limit

Mathematics Subject Classification ID

Algebraic (K)-theory of spaces (19D10) Stable homotopy theory, spectra (55P42) Equivariant homotopy theory in algebraic topology (55P91)

Abstract: We prove a claim by Williams that the coassembly map is a homotopy limit map. As an application, we show that the homotopy limit map for the coarse version of equivariant $A$-theory agrees with the coassembly map for bivariant $A$-theory that appears in the statement of the topological Riemann-Roch theorem.

Review text

Let \(G\) be a group that is the realization of a simplicial group and \(X\) a \(G\)-spectrum. The homotopy limit map is defined as the map \(X^{G}\to X^{hG}\) from fixed points to homotopy fixed points. There are several instances where this appears and it is a basic question when this is an equivalence. On the other hand, given a reduced contravariant homotopy functor \(F\) on the comma category over \(BG\) to spectra, the coassembly map is a natural transformation \(F\to F_{\%}\) where \(F_{\%}\) is a suitable final object and has the universal property of approximating \(F\) by a functor that sends homotopy pushouts to homotopy pullbacks. The main theorem of this work is the following: Theorem A. Let \(G\) be a group as before. Then the coassembly map on the terminal object \(F(BG)\to F_{\%}(BG)\) is equivalent to the homotopy limit map of the \(G\) spectrum \(F(BG)\to F(BG)^{hG}\). As an application, the authors prove that the homotopy limit map for \(A_{G}^{coarse}(X)\) is isomorphic to the coassembly map for bivariant \(A\)-theory.

Recommendations

• Coarse assembly maps
• Coarse co-assembly as a ring homomorphism
• Comparing Assembly Maps in Algebraic K-Theory
• DUALIZING THE COARSE ASSEMBLY MAP
• THE BAUM–CONNES ASSEMBLY MAP AS A BOUNDARY MAP

Cites work

• A parametrized index theorem for the algebraic \(K\)-theory Euler class.
• A tower connecting gauge groups to string topology
• A union theorem for cofibrations
• Bar and cobar constructions. II
• Categorical homotopy theory
• Coassembly and the \(K\)-theory of finite groups
• Embeddings from the point of view of immersion theory. I
• Embeddings from the point of view of immersion theory. II
• Equivariant \(A\)-theory
• Homotopy fixed point spectra for closed subgroups of the Morava stabilizer groups.
• Identifying assembly maps in \(K\)- and \(L\)-theory
• Isomorphism Conjectures in Algebraic K-Theory
• Model categories of diagram spectra
• On the map of Bökstedt-Madsen from the cobordism category to A-theory
• Parametrized spectra, multiplicative Thom spectra and the twisted Umkehr map
• Proceedings of the Northwestern Homotopy Theory Conference
• Simplicial homotopy theory
• Spaces over a category and assembly maps in isomorphism conjectures in \(K\)- and \(L\)-theory
• Spectral Mackey functors and equivariant algebraic \(K\)-theory. II.
• The homotopy limit problem for Hermitian K-theory, equivariant motivic homotopy theory and motivic real cobordism
• The motivic Hopf map solves the homotopy limit problem for \(K\)-theory
• Umkehr maps

Cited in

(2)

• The equivariant parametrized \(h\)-cobordism theorem, the non-manifold part
• Homotopy theory. Abstracts from the workshop held August 6--11, 2023

This page was built for publication: Coassembly is a homotopy limit map

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