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

algebraic K-theory assembly maps equivariant homology theory

Mathematics Subject Classification ID

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

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

H s u b s e t G

is a subgroup, then [ H^G_*(G/H,E(A))=E_*(A times H) ] If now

c F

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

X o Y

is a weak equivalence (resp. a fibration) if and only if

X^{H} o Y^{H}

is an equivalence (resp. a fibration) for all

H i n c F

. The strong isomorphism conjecture for the quadruple

(G, c F, E, A)

asserts that if

c X o X

is the

(G, c F)

-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

c X

is the classifying space

c E (G, c F)

. In this paper we introduce an algebraic notion of

(G, c F)

-properness for

G

-rings, modelled on the analogous notion for

G

-

C^{*}

-algebras, and show that the strong

(G, c F, E, P)

isomorphism conjecture for

(G, c F)

-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^{*}

-algebraic case. We apply this to show that under rather general hypothesis, the assembly map

H_{*}^{G} (c E (G, c F), E (A)) o E_{*} (A t i m e s G)

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.

Review text

For a group \(G\), let \({\mathcal{F}}\) be a family of subgroups of \(G\) closed under conjugation and under formation of subgroups. In this situation a \(G\)-simplicial set \(X\) is called a \((G, {\mathcal{F}})\)-complex if the stabilizer of every simplex of \(X\) is in \({\mathcal{F}}\). The category of \(G\)-simplicial sets has a closed model structure. Now, by \textit{J. F. Davis} and \textit{W. Lück} [\(K\)-Theory 15, No. 3, 201--252 (1998; Zbl 0921.19003)] an equivariant homology theory for a \(G\)-space \(X\) can be constructed for any functor \(E\) from the category \(Z\) of small \({\mathbb{Z}}\)-linear categories to the category of spectra, provided that \(E\) sends category equivalences to equivalent spectra. We have \(X \mapsto H^G(X, \, E(R))\), where \(R\) is a unital ring with \(G\)-action. If \(H\) is a subgroup of \(G\), then \[ H^G_* (G/H, \, E(H)) = E_*(R \rtimes H). \] The strong isomorphism conjecture for \((G, \, {\mathcal{F}}, \, E, \, R)\) states that \(H^G(\_\!\_ , \, E(R))\) sends \((G, {\mathcal{F}})\)-equivalences to weak equivalences of spectra. This conjecture is equivalent to the claim that for every \(G\)-simplicial set \(X\), the map \[ H^G(cX, \, E(R)) \to H^G(X, \, E(R)) \] is a weak equivalence, where \(cX \to X\) is the \((G, \, {\mathcal{F}})\)-cofibrant replacement. The weak isomorphism conjecture applies to the case when \(X\) is a point, yielding the assembly map \[ H^G ({\mathcal{E}}(G, \, {\mathcal{F}}), \, E(R)) \to H^G({\mathrm{pt}}, \, E(R)), \] where \({\mathcal{E}}(G, \, {\mathcal{F}}) \to {\mathrm{pt}}\) is the cofibrant replacement. The paper under review offers a proof of the strong isomorphism conjecture under certain conditions. Let \(E\) be a functor from rings to spectra. A ring \(A\) (not necessarily unital) is \(E\)-excisive if whenever \(A \to R\) is an embedding of \(A\) as a two-sided ideal into a unital ring \(R\), then \[ E(A) \to E(R) \to E(R/A) \] is a homotopy fibration. For a locally finite simplicial set \(X\), let \({\mathbb{Z}}^{(X)}\) be the ring of polynomial functions which are supported on a finite simplicial subset. Suppose that \(X\) has a \(G\)-action and \(A\) is a \(G\)-ring. Then \(A\) is called proper over \(X\) if \(A\) carries a \({\mathbb{Z}}^{(X)}\)-algebra structure which is compatible with the \(G\) action and satisfies \({\mathbb{Z}}^{(X)} \cdot A = A\). The main theorem of the paper can now be stated. Let \(G\) be a group, \(\mathcal{F}\) a family of subgroups, \(E\) a functor from \(Z\) to the category of spectra, and let \(P\) be an \(E\)-excisive \((G, \, {\mathcal{F}})\)-proper \(G\)-ring. Then the strong isomorphism conjecture holds for (i) homotopy algebraic K-theory, (iia) non-connective algebraic K-theory, \(K\), when \(P\) is proper over a 0-dimensional \((G, \, {\mathcal{F}})\)-complex, or (iib) when \({\mathcal{F}}\) contains all cyclic subgroups of \(G\) and \(P\) is a \(\mathbb{Q}\)-algebra, or (iic) \(E = K \otimes {\mathbb{Q}}\) and \(\mathcal{F}\) contains all the cyclic subgroups of \(G\). The notion of proper used in this paper is an algebraic analog of proper \(G\)-\(C^*\)-algebras [\textit{E. Guentner} et al., Mem. Am. Math. Soc. 703, 86 p. (2000; Zbl 0983.19003)].

Recommendations

Cites work

Cited in

(17)

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)