Isomorphism conjectures with proper coefficients

DOI10.1016/J.JPAA.2013.11.016zbMATH Open1316.19003arXiv1108.5196OpenAlexW2070029855WikidataQ123159745 ScholiaQ123159745MaRDI QIDQ2436713FDOQ2436713

Authors: G. Cortiñas, Eugenia Ellis 

Publication date: 26 February 2014

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: Let $G$ be a group and let $E$ be a functor from small $$-linear categories to spectra. Also let $A$ be a ring with a $G$-action. Under mild conditions on $E$ and $A$ one can define an equivariant homology theory of $G$-simplicial sets $H^G(-,E(A))$ with the property that if $HsubsetG$ is a subgroup, then [ H^G_*(G/H,E(A))=E_*(A times H) ] If now $cF$ is a nonempty family of subgroups of $G$, closed under conjugation and under subgroups, then there is a model category structure on $G$-simplicial sets such that a map $XoY$ is a weak equivalence (resp. a fibration) if and only if $X^{H}o{Y}^H$ is an equivalence (resp. a fibration) for all $HincF$. The strong isomorphism conjecture for the quadruple $(G,cF,E,A)$ asserts that if $cXoX$ is the $(G,cF)$-cofibrant replacement then [ H^G(cX,E(A)) o H^G(X,E(A)) ] is an equivalence. The isomorphism conjecture says that this holds when $X$ is the one point space, in which case $cX$ is the classifying space $cE(G,cF)$. In this paper we introduce an algebraic notion of $(G,cF)$-properness for $G$-rings, modelled on the analogous notion for $G$-$C^{\ast }$-algebras, and show that the strong $(G,cF,E,P)$ isomorphism conjecture for $(G,cF)$-proper $P$ is true in several cases of interest in the algebraic $K$-theory context. Thus we give a purely algebraic, discrete counterpart to a result of Guentner, Higson and Trout in the $C^{\ast }$-algebraic case. We apply this to show that under rather general hypothesis, the assembly map $H_{\ast }^G(cE(G,cF),E(A))o{E}_{\ast }(AtimesG)$ can be identified with the boundary map in the long exact sequence of $E$-groups associated to certain exact sequence of rings. Along the way we prove several results on excision in algebraic $K$-theory and cyclic homology which are of independent interest.

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

Recommendations

• Singular coefficients in the \(K\)-theoretic Farrell-Jones conjecture
• On the isomorphism conjecture in algebraic \(K\)-theory.
• Isomorphism Conjectures in Algebraic K-Theory
• Fundamental isomorphism conjecture via non-commutative motives
• Spaces over a category and assembly maps in isomorphism conjectures in \(K\)- and \(L\)-theory

zbMATH Keywords

assembly mapsalgebraic K-theoryequivariant homology theory

Mathematics Subject Classification ID

(K)-theory and homology; cyclic homology and cohomology (19D55) Computations of higher (K)-theory of rings (19D50)

Cites Work

• \(K\)-homology of \(C^*\)-categories and symmetric spectra representing \(K\)-homology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Excision in algebraic \(K\)-theory
• Topological and bivariant K-theory
• Higher algebraic K-theory: I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(E\)-theory and \(KK\)-theory for groups which act properly and isometrically on Hilbert space
• Coefficients for the Farrell-Jones conjecture
• DETECTING $K$-THEORY BY CYCLIC HOMOLOGY
• The Baum-Connes conjecture via localisation of categories
• Title not available (Why is that?)
• Excision in cyclic homology and in rational algebraic K-theory
• Title not available (Why is that?)
• Equivariant 𝐸-theory for 𝐶*-algebras
• Bivariant algebraic K-theory
• On the homology of graded algebras
• Verallgemeinerung eines Satzes von Herrn F. Specker
• Title not available (Why is that?)
• The obstruction to excision in \(K\)-theory and in cyclic homology
• Algebraic v. Topological K-Theory: A Friendly Match
• $K$-théorie algébrique et $K$-théorie topologique I.
• Title not available (Why is that?)
• Title not available (Why is that?)
• The cyclic homology of an exact category
• Nil K-Theory Maps to Cyclic Homology
• The Baum-Connes conjecture via localization of Categories
• Universal coefficient theorems and assembly maps in KK-theory
• Hochschild and Cyclic Homology are Far From Being Homotopy Functors
• Noncommutative simplicial complexes and the Baum-Connes conjecture
• Compact operators and algebraic \(K\)-theory for groups which act properly and isometrically on Hilbert space
• Model theoretic reformulation of the Baum-Connes and Farrell-Jones conjectures

Cited In (16)

• Operator ideals and assembly maps in \(K\)-theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Controlled algebra for simplicial rings and algebraic \(K\)-theory
• On the \(K\)-theory of \(\mathbb{Z}\)-categories
• Restriction to finite-index subgroups as étale extensions in topology, KK-theory and geometry
• Isomorphism Conjectures in Algebraic K-Theory
• Fundamental isomorphism conjecture via non-commutative motives
• Resolving by a free action linear category and applications to Hochschild-Mitchell (co)homology
• Algebraic \(k\,k\)-theory and the KH-isomorphism conjecture
• Encoding equivariant commutativity via operads
• Tensor products of Leavitt path algebras.
• Homotopy invariance through small stabilizations
• Compact operators and algebraic \(K\)-theory for groups which act properly and isometrically on Hilbert space
• Inheritance of isomorphism conjectures under colimits
• Bivariant Hermitian \(K\)-theory and Karoubi's fundamental theorem

This page was built for publication: Isomorphism conjectures with proper coefficients

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