Isomorphism conjectures with proper coefficients

DOI10.1016/J.JPAA.2013.11.016MaRDI QIDQ2436713zbMATH OpenOpenAlexWikidataFDO

Authors G. Cortiñas, Eugenia Ellis

Publication date 26 February 2014

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

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

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)

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.

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

Cites work

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

Cited in

(16)

• Operator ideals and assembly maps in K-theory
• scientific article; zbMATH DE number 4154424 (Why is no real title available?)
• scientific article; zbMATH DE number 1171023 (Why is no real title available?)
• Restriction to finite-index subgroups as étale extensions in topology, KK-theory and geometry
• Controlled algebra for simplicial rings and algebraic \(K\)-theory
• On the \(K\)-theory of \(\mathbb{Z}\)-categories
• 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
• Encoding equivariant commutativity via operads
• Algebraic \(k\,k\)-theory and the KH-isomorphism conjecture
• 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)