text:
# 0 Introduction

## 0 Introduction

In  we defined abelian groups $`H_n^𝒞(X;𝐄)`$ when $`X:𝒞\mathrm{SPACES}`$ is a contravariant functor and $`𝐄:𝒞\mathrm{SPECTRA}`$ is a covariant functor 111We also defined cohomology groups $`H_𝒞^n(X;𝐄)`$ when $`X:𝒞\mathrm{SPACES}`$ and $`𝐄:𝒞\mathrm{SPECTRA}`$ are both contravariant functors. In this introduction we will only discuss homology in order to simplify the exposition.. These abelian groups behave like a generalized homology theory defined on $`𝒞`$-spaces, for example, there is a long exact Mayer-Vietoris sequence. They are weak homotopy invariant; given a map $`f:XY`$ of $`𝒞`$-spaces (i.e. a natural transformation) which induces a weak homotopy equivalence $`f(c):X(c)Y(c)`$ for all objects $`c\mathrm{Ob}𝒞`$, then $`f_{}:H_n^𝒞(X;𝐄)H_n^𝒞(Y;𝐄)`$ is an isomorphism.

Three special cases will illustrate these groups:

1. Fixing an object $`c\mathrm{Ob}𝒞`$, $`H_n^𝒞(\mathrm{mor}_𝒞(\mathrm{?},c))=\pi _n(𝐄(c))`$. This should be thought of as giving the coefficients of the generalized homology theory;
2. If $`X=`$ is the constant functor, then $`H_n^𝒞(;𝐄)=\pi _n(\underset{𝒞}{hocolim}𝐄)`$;
3. If $`𝒞`$ is a category with a single object, all of whose morphisms are isomorphisms, our generalized homology theory reduces to Borel homology. More precisely, let $`G`$ be the group of morphisms and let $`X`$ be a $`CW`$-complex with an action of $`G`$ by cellular maps, then

$$H_n^𝒞(X;𝐄)=H_n^G(X;𝐄)=:\pi _n((X\times EG)_+_G𝐄).$$

In  we gave a spectral sequence converging to $`H_{p+q}^𝒞(X;𝐄)`$ whose $`E^2`$-term is $`E_{p,q}^2=H_p^𝒞(X;\pi _q(𝐄))`$. This spectral sequence is both quite useful and quite standard. It is related to spectral sequences of Atiyah-Hirzebruch, Bousfield-Kan, and Quinn. The point of the current paper is to introduce a new spectral sequence. It converges to $`H_{p+q}^𝒞(X;𝐄)`$ and has as $`E^1`$-term

$$E_{p,q}^1=\underset{\begin{array}{c}\overline{c}_{}_{i=0}^p\mathrm{Is}(𝒞),\\ S(\overline{c}_{})\mathrm{}\end{array}}{}H_q^𝒞(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{})\times _{\mathrm{aut}(c_0)}\mathrm{mor}(\mathrm{?},c_0);𝐄),$$

where $`\mathrm{Is}(𝒞)`$ is the set of isomorphism classes of objects in $`𝒞`$ and $`S(\overline{c}_{})`$ is a certain $`\mathrm{aut}(c_p)`$-$`\mathrm{aut}(c_0)`$-set. In the special case of an orbit category $`\mathrm{Or}(G,)`$, where $`G`$ is a (discrete) group and $``$ is a family of subgroups satisfying the condition $`gHg^1HgHg^1=H`$ for $`gG`$ and $`H`$, then $`E_{p,q}^1`$ can be indexed by “$`p`$-chains”

$$(H_0)<(H_1)<\mathrm{}<(H_p)$$

where $`(H_i)`$ is the conjugacy class of $`H_i`$ and $`(H_i)<(H_{i+1})`$ means that there exists $`gG`$ so that $`gH_ig^1H_{i+1}`$. More generally, if $`𝒞`$ is a EI-category (endomorphisms are isomorphisms), then $`E_{p,q}^1`$ is indexed by similar $`p`$-chains. The $`E_{p,q}^1`$-term looks formidable, but we discuss many simplifications and reinterpretations in cases of interest. In general, the $`E^1`$-term of the spectral sequence is related to Borel homology of the groups $`\{\mathrm{aut}(c)\}_{c\mathrm{Ob}𝒞}`$ and the differentials are related to assembly maps.

It should be emphasized that the motivation for this abstract-looking spectral sequence comes from geometric topology (the surgery classification of manifolds), geometry (which manifolds admits metrics of positive scalar curvature), and analysis (the study of $`K`$-theory of group $`C^{}`$-algebras), in conjunction with the study of (fundamental) groups which are infinite, but contain torsion. The connection with these various subjects comes through isomorphism conjectures and assembly maps, for more on this see  and the end of Section 1 of the current paper.

In Section 1 we review the definition of $`H_n^𝒞(X;𝐄)`$ and discuss maps connected with a functor $`F:𝒞𝒟`$. In Section 2 we derive the $`p`$-chain spectral sequence and its differentials and discuss simplifications which occur when the category $`𝒞`$ is left-free. In Section 3 we discuss the important special case $`H_n^𝒞(;𝐄)`$ where $`𝒞`$ is the restricted orbit category. Here, by using the Cofinality Theorem and an analogue of Quillen’s Theorem A, computations can be simplified. We also discuss differentials in the $`p`$-chain spectral sequence, which often turn out to be assembly maps themselves. In Section 4 we give examples of groups where the methods of the preceeding sections in combination with the Isomorphism Conjectures of Baum-Connes and Farrell-Jones lead to explicit computations of algebraic $`K`$\- and $`L`$-groups of group rings and topological $`K`$-groups of reduced group $`C^{}`$-algebras.

The $`p`$-chain spectral sequence is a generalization of the spectral sequence in \[17, Chapter 17\] and is related to the paper of Slominska .

The authors thank Bill Dwyer and Reiner Vogt for useful conversations. The second author thanks the Max-Planck Institut für Mathematik in Bonn for its hospitality during his stay in November/December 2002 when parts of this paper were written.

The paper is organized as follows:
0 Introduction. Introduction  1. Review of Spaces over a Category and Assembly maps  2. The $`p`$-Chain Spectral Sequence  3. Assembly Maps  4. Examples   References

## 1 Review of Spaces over a Category and Assembly Maps

In this section we review some basic facts from  for the convenience of the reader.

Let $`\mathrm{SPACES}`$ and $`\mathrm{SPACES}_+`$ be the categories of topological spaces and pointed topological spaces respectively. We will always work in the category of compactly generated spaces (see  and \[33, I.4\]). A spectrum

$$𝐄=\{(E(n),\sigma (n))n\}$$

is a sequence of pointed spaces $`\{E(n)n\}`$ together with pointed maps $`\sigma (n):E(n)S^1E(n+1)`$, called structure maps. A (strong) map of spectra $`𝐟:𝐄𝐄^{}`$ is a sequence of maps $`f(n):E(n)E^{}(n)`$ which are compatible with the structure maps, i.e. $`f(n+1)\sigma (n)=\sigma ^{}(n)\left(f(n)\mathrm{id}_{S^1}\right)`$ holds for all $`n`$. This should not be confused with the notion of map of spectra in the stable category (see \[1, III.2.\]). A spectrum is called an $`\mathrm{\Omega }`$-spectrum if the adjoint of each structure map $`E(n)\mathrm{\Omega }E(n+1)`$ is a weak homotopy equivalence. The homotopy groups of a spectrum are defined by

$$\pi _i(𝐄)=\underset{k\mathrm{}}{colim}\pi _{i+n}(E(n))$$

where the system $`\pi _{i+n}(E(n))`$ is given by the composite

$$\pi _{i+n}(E(n))\stackrel{𝑆}{}\pi _{i+n+1}(E(n)S^1)\stackrel{\sigma (n)_{}}{}\pi _{i+n+1}(E(n+1))$$

of the suspension homomorphism and the homomorphism induced by the structure map.

Let $`𝒞`$ be a small category, i.e. a category such that the objects and the morphisms form sets. A covariant (or contravariant) $`𝒞`$-space, pointed $`𝒞`$-space, $`𝒞`$-spectrum, $`\mathrm{}`$  is a covariant (or contravariant) functor from $`𝒞`$ to $`\mathrm{SPACES}`$, $`\mathrm{SPACES}_+`$, $`\mathrm{SPECTRA}`$, $`\mathrm{}`$ and a morphism is a natural transformation.

Let $`X`$ be a contravariant and $`Y`$ be a covariant $`𝒞`$-space. Define their tensor product to be the space

$$X_𝒞Y=\underset{c\mathrm{Ob}(𝒞)}{}X(c)\times Y(c)/$$

where $``$ is the equivalence relation which is generated by $`(x\varphi ,y)(x,\varphi y)`$ for all morphisms $`\varphi :cd`$ in $`𝒞`$ and points $`xX(d)`$ and $`yY(c)`$. Here $`x\varphi `$ stands for $`X(\varphi )(x)`$ and $`\varphi y`$ for $`Y(\varphi )(y)`$. If $`X`$ and $`Y`$ are $`𝒞`$-spaces of the same variance, denote by $`\mathrm{hom}_𝒞(X,Y)`$ the space of maps of $`𝒞`$-spaces from $`X`$ to $`Y`$ with the subspace topology coming from the obvious inclusion into $`_{c\mathrm{Ob}(𝒞)}\mathrm{map}(X(c),Y(c))`$. If $`Y`$ is a $`𝒞`$-space and $`Z`$ a space, let $`Y\times Z`$ be the $`𝒞`$-space with the same variance as $`Y`$ whose value at the object $`c`$ in $`𝒞`$ is $`Y(c)\times Z`$. For $`𝒞`$-spaces $`X`$ and $`Y`$ of the same variance, the set of homotopy classes of maps of $`𝒞`$-spaces $`[X,Y]^𝒞`$ is defined using maps of $`𝒞`$-spaces $`X\times [0,1]Y`$. If $`Y`$ is a $`𝒞`$-space and $`Z`$ a space, let $`\mathrm{map}(Y,Z)`$ be the $`𝒞`$-space with the opposite variance as $`Y`$ whose value at the object $`c`$ in $`𝒞`$ is $`\mathrm{map}(Y(c),Z)`$. If $`X`$ is a contravariant $`𝒞`$-space, $`Y`$ a covariant $`𝒞`$-space and $`Z`$ a space, there is a canonical adjunction homeomorphism \[9, Lemma 1.5\]

$$\mathrm{map}(X_𝒞Y,Z)\stackrel{}{}\mathrm{hom}_𝒞(X,\mathrm{map}(Y,Z)).$$

All of the above notions also make sense for pointed spaces; one has to substitute wedges for disjoint unions, smash products for cartesian products, and pointed mapping spaces for mapping spaces.

A contravariant $`𝒞`$-$`CW`$-complex $`X`$ is a contravariant $`𝒞`$-space $`X`$ together with a filtration

$$\mathrm{}=X_1X_0X_1X_2\mathrm{}X_n\mathrm{}X=\underset{n0}{}X_n$$

such that $`X=\underset{n\mathrm{}}{colim}X_n`$ and for any $`n0`$ the $`n`$-skeleton $`X_n`$ is obtained from the $`(n1)`$-skeleton $`X_{n1}`$ by attaching $`𝒞`$-$`n`$-cells, i.e. there exists a pushout of $`𝒞`$-spaces of the form

$$\begin{array}{ccc}_{iI_n}\mathrm{mor}_𝒞(\mathrm{?},c_i)\times S^{n1}& & X_{n1}\\ & & & & \\ _{iI_n}\mathrm{mor}_𝒞(\mathrm{?},c_i)\times D^n& & X_n\end{array}$$

where the vertical maps are inclusions, $`I_n`$ is an index set, and the $`c_i`$ are objects of $`𝒞`$. The definition of a covariant $`𝒞`$-$`CW`$-complex is analogous. In  these were called contravariant free and covariant free $`𝒞`$-$`CW`$-complexes, we will omit the word free here. One of the main properties of $`CW`$-complexes carries over to $`𝒞`$-$`CW`$-complexes, namely, a map $`f:YZ`$ of $`𝒞`$-spaces is a weak homotopy equivalence, i.e. $`f(c)`$ is a weak homotopy equivalence of spaces for all objects $`c`$ in $`𝒞`$, if and only if for any $`𝒞`$-$`CW`$-complex $`X`$ the induced map

$$f_{}:[X,Y]^𝒞[X,Z]^𝒞[g][gf]$$

between the homotopy classes of maps of $`𝒞`$-spaces is bijective \[9, Theorem 3.4\]. In particular Whitehead’s Theorem carries over: a map of $`𝒞`$-$`CW`$-complexes is a homotopy equivalence if and only if it is a weak homotopy equivalence. A $`𝒞`$-$`CW`$-approximation $`(X,f)`$ of a $`𝒞`$-space $`Y`$ consists of a $`𝒞`$-$`CW`$-complex $`X`$ together with a weak homotopy equivalence $`f:XY`$. Such a $`𝒞`$-$`CW`$-approximation always exists, there is even a functorial construction. If $`(X,f)`$ and $`(X^{},f^{})`$ are two $`𝒞`$-$`CW`$-approximations of a $`𝒞`$-space $`Y`$, there is a homotopy equivalence $`h:XX^{}`$ of $`𝒞`$-spaces which is determined uniquely up to homotopy by the property that $`f^{}h`$ and $`f`$ are homotopic.

Let $`(X,A)`$ be a pair of contravariant pointed $`𝒞`$-spaces. Denote the reduced cone of the pointed space $`A`$ by $`\mathrm{cone}(A)`$. For a covariant $`𝒞`$-spectrum $`𝐄`$ define

$$𝐄_q^𝒞(X,A)=\pi _q(X_A\mathrm{cone}(A)_𝒞𝐄).$$

Given a contravariant $`𝒞`$-spectrum $`𝐄`$, define

$$𝐄_𝒞^q(X,A)=\pi _q(\mathrm{hom}_𝒞(X_A\mathrm{cone}(A),𝐄)).$$

Define $`(X_+,A_+)`$ to be the pair of contravariant pointed $`𝒞`$-spaces which is obtained from $`(X,A)`$ by adding a disjoint base point. Let $`(u,v):(X^{},A^{})(X,A)`$ be a $`𝒞`$-$`CW`$-approximation. For a covariant $`𝒞`$-spectrum $`𝐄`$ define the homology of $`(X,A)`$ with coefficients in $`𝐄`$ by

$$H_q^𝒞(X,A;𝐄)=𝐄_q^𝒞(X_+^{},A_+^{}).$$

Given a contravariant $`𝒞`$-spectrum $`𝐄`$, define the cohomology of $`(X,A)`$ with coefficients in $`𝐄`$ by

$$H_𝒞^q(X,A;𝐄)=𝐄_𝒞^q(X_+^{},A_+^{}).$$

When $`A`$ is empty we omit it from the notation.

Then $`H_q^𝒞(X,A;𝐄)`$ and $`H_𝒞^q(X,A;𝐄)`$ are unreduced homology and cohomology theories on pairs of $`𝒞`$-spaces which satisfy the WHE-axiom, which says that a weak homotopy equivalence induces an isomorphism on (co-)homology. The homology theory satisfies the disjoint union axiom. The cohomology theory satisfies the disjoint union axiom provided that $`𝐄`$ is a $`𝒞`$-$`\mathrm{\Omega }`$-spectrum. Let $`_𝒞`$, or briefly $``$, be the $`𝒞`$-space which takes each object to a point. Then for $`(X,A)=(,\mathrm{})`$ then the above notions reduce to

$$\pi _q(\underset{𝒞}{hocolim}𝐄)$$

and

$$\pi _q(\underset{𝒞}{holim}𝐄)$$

respectively. If $`𝒞`$ is the category associated to a group $`G`$, i.e. $`𝒞`$ has a single object, the morphisms in $`𝒞`$ are in one-to-one correspondence with $`G`$, and the composition law in $`𝒞`$ corresponds to multiplication in $`G`$, then $`H_q^𝒞(X,A;𝐄)`$ can be identified with Borel homology $`\pi _q(EG\times (X_+,A_+)_G𝐄)`$, and similarly for cohomology, provided that $`(X,A)`$ is a $`CW`$-pair with a $`G`$-action by cellular maps. Finally, if $`𝒞`$ is the trivial category with precisely one object and morphism, these notions reduce to the standard notions of the homology and cohomology of spaces given by a spectrum.

Given a functor $`F:𝒞𝒟`$ and a $`𝒟`$-space (or spectrum) $`Y`$, define the restriction of $`Y`$ with respect to $`F`$ to be the $`𝒞`$-space (or spectrum) $`F^{}Y(c)=Y(F(c))`$. For $`X`$ a contravariant, respectively covariant, $`𝒞`$-space define the induction of $`X`$ with respect to $`F`$ to be the $`𝒟`$-space

$$F_{}X(\mathrm{?}\mathrm{?})=X(\mathrm{?})_𝒞\mathrm{mor}_𝒟(\mathrm{?}\mathrm{?},F(\mathrm{?})),$$

respectively

$$F_{}X(\mathrm{?}\mathrm{?})=\mathrm{mor}_𝒟(F(\mathrm{?}),\mathrm{?}\mathrm{?})_𝒞X(\mathrm{?}).$$

There are natural adjunction isomorphisms (see \[9, Lemma 1.9\])

$`X_𝒞F^{}Y`$ $``$ $`F_{}X_𝒟Y,`$ (1.1)
$`\mathrm{hom}_𝒞(X,F^{}Y)`$ $``$ $`\mathrm{hom}_𝒟(F_{}X,Y).`$ (1.2)
###### Lemma 1.3

Let $`F:𝒞𝒟`$ be a covariant functor.

1. If $`f:XY`$ is a fibration of $`𝒟`$-spaces, then $`F^{}f:F^{}XF^{}Y`$ is a fibration of $`𝒞`$-spaces. If $`f:XY`$ is a cofibration of $`𝒞`$-spaces, then $`F_{}f:F_{}XF_{}Y`$ is a cofibration of $`𝒟`$-spaces;
2. If $`X`$ is a $`𝒞`$-$`CW`$-complex, then $`F_{}X`$ is a $`𝒟`$-$`CW`$-complex;
3. Let $`X`$ be a contravariant $`𝒞`$-space and $`𝐄`$ be a covariant $`𝒟`$-spectrum. Then there is a map, natural in $`X`$ and $`𝐄`$,

$$\mathrm{\Phi }_F:H_q^𝒞(X;F^{}𝐄)H_q^𝒟(F_{}X;𝐄).$$

If either

1. $`X`$ is a $`𝒞`$-$`CW`$-complex, or,
    2. for all objects $`d`$ of $`𝒟`$ the covariant $`𝒞`$-set $`\mathrm{mor}_𝒟(d,F(\mathrm{?}))`$ is isomorphic to a disjoint union of covariant $`𝒞`$-sets of the form $`\mathrm{mor}_𝒞(c_0,\mathrm{?}))`$,

then $`\mathrm{\Phi }_F:H_q^𝒞(X;F^{}𝐄)H_q^𝒟(F_{}X;𝐄)`$ is an isomorphism.

Similar statements hold true for cohomology.

Proof: (a) To show that $`F^{}f`$ is a fibration, one sets up the homotopy lifting problem for $`𝒞`$-spaces, solves the adjoint problem for $`𝒟`$-spaces, and uses the adjoint property to translate the solution back to $`𝒞`$-spaces. The proof for cofibrations is similar.
(b) This follows from two facts. First, for any $`c\mathrm{Ob}C`$, one can identify $`F_{}\mathrm{mor}_𝒞(\mathrm{?},c)\mathrm{mor}_𝒟(\mathrm{?},F(c))`$. Second, since $`F_{}`$ has a right adjoint, it commutes with colimits, in particular, it commutes with pushouts.
(c) Define the map $`\mathrm{\Phi }_F`$ so that when $`X^{}X`$ is a $`𝒞`$-$`CW`$-approximation, the following diagram commutes

$$\begin{array}{ccc}(F^{}𝐄)_q^𝒞(X^{})& \stackrel{}{}& (𝐄)_q^𝒟(F_{}X^{})\\ & & & & \\ H_q^𝒞(X^{};F^{}𝐄)& & H_q^𝒟(F_{}X^{};𝐄)\\ & & & & \\ H_q^𝒞(X;F^{}𝐄)& \stackrel{\mathrm{\Phi }_F}{}& H_q^𝒟(F_{}X;𝐄).\end{array}$$

Uniqueness of $`𝒞`$-$`CW`$-approximations (up to homotopy) gives that $`\mathrm{\Phi }_F`$ is well-defined. If condition (a) holds, then the identity map $`XX`$ is a $`𝒞`$-$`CW`$-approximation and the claim follows.

If condition (b) is satisfied, then a weak homotopy equivalence $`X^{}X`$ gives a weak homotopy equivalence $`F_{}X^{}F_{}X`$ and hence the lower right vertical map in the above diagram is an isomorphism.

For the applications we are most interested in the most important example is the orbit category $`\mathrm{Or}(G)`$ defined for a group $`G`$. The objects are homogeneous $`G`$-spaces $`G/H`$ and the morphisms are the $`G`$-maps. More generally, for a family $``$ of subgroups of $`G`$, define the *restricted orbit category* $`\mathrm{Or}(G,)`$ to be the category whose objects are the homogeneous $`G`$-spaces $`G/H`$ where $`H`$ and the morphisms are the $`G`$-maps. Some examples for $``$ are $`𝒯`$, $`𝒩`$, $`𝒱𝒞`$, and $`𝒜`$, which are the families consists of the trivial group, the finite subgroups, the virtually cyclic subgroups, and all subgroups respectively.

The remainder of this section is not necessary for the discussion of the $`p`$-chain spectral sequence itself in Section 2, but does give the motivation for this paper and is necessary for Section 3. We will review the point of view of  concerning assembly maps and the Farrell-Jones and Baum-Connes Isomorphism Conjectures.

###### Definition 1.4

Let $`F:𝒞`$ and $`𝐄:𝒞\mathrm{SPECTRA}`$ be covariant functors. Then the composite

$$H_q^{}(;F^{}𝐄)\stackrel{\mathrm{\Phi }_F}{}H_q^𝒞(F_{};𝐄)\stackrel{H_q^𝒞(\mathrm{pr};𝐄)}{}H_q^𝒞(;𝐄)$$

is called the assembly map induced by $`F`$, where $`\mathrm{\Phi }_F`$ is the map appearing in Lemma 1.3 (c) and $`\mathrm{pr}:F_{}`$ is the constant map at each object. We sometimes abbreviate $`F^{}𝐄`$ by $`𝐄`$.

###### Remark 1.5

This map can be identified with the map $`\pi _q\left(\underset{}{hocolim}F^{}𝐄\right)\pi _q\left(\underset{𝒞}{hocolim}𝐄\right)`$ induced by the functor $`F`$.

The three $`\mathrm{Or}(G)`$-spectra which are useful to us are covariant functors

$`𝐊^{\mathrm{alg}}:\mathrm{Or}(G)\mathrm{SPECTRA}`$
$`𝐋^j:\mathrm{Or}(G)\mathrm{SPECTRA}`$
$`𝐊^{\mathrm{top}}:\mathrm{Or}(G)\mathrm{SPECTRA}.`$
These functors were constructed in \[9, Section 2\], but there was a problem with the construction of $`𝐊^{\mathrm{top}}`$ connected with the pairing on \[9, p. 217\]. This problem can easily be fixed and the construction can be replaced by more refined ones (see ). The key property of these functors is that $`\pi _q(𝐊^{\mathrm{alg}}(G/H))=K_q(RH)`$ for a fixed ring $`R`$, $`\pi _q(𝐋^{\mathrm{}}(G/H))=L_q(RH)`$ for a fixed ring $`R`$ with involution, and $`\pi _q(𝐊^{\mathrm{top}}(G/H))=K_q(C_r^{}H)`$. Here $`K_q(C_r^{}H)`$ is the $`K`$-theory of the real or complex reduced $`C^{}`$-algebra of $`H`$. In connection with $`L`$-groups we use the involution on $`RG`$ sending $`rg`$ to $`\overline{r}g^1`$ The index $`j\mathrm{}`$ on the $`L`$-theory is the $`K`$-theory decoration; the important cases for us are $`j=\mathrm{}`$ which arises in the isomorphism conjecture, and the case $`j=2`$ which is used in Wall’s book  to classify manifolds. The Isomorphism Conjecture of Farrell and Jones is not true for the decorations $`j=0,1,2`$, which correspond to the decorations $`p`$, $`h`$ and $`s`$ appearing in the literature .

The Isomorphism Conjecture of Baum-Connes for a group $`G`$ is that the assembly map associated to the inclusion functor $`I:\mathrm{Or}(G,𝒩)\mathrm{Or}(G)`$ (see Definition 1.4) yields an isomorphism

$$H_q^{\mathrm{Or}(G,𝒩)}(;𝐊^{\mathrm{top}})H_q^{\mathrm{Or}(G)}(;𝐊^{\mathrm{top}})=K_q(C_r^{}(G)).$$

The Isomorphism Conjecture of Farrell-Jones for $`RG`$ says that

$$H_q^{\mathrm{Or}(G,𝒱𝒞)}(;𝐊^{\mathrm{alg}})H_q^{\mathrm{Or}(G)}(;𝐊^{\mathrm{alg}})=K_q(RG)$$

and

$$H_q^{\mathrm{Or}(G,𝒱𝒞)}(;𝐋^{\mathrm{}})H_q^{\mathrm{Or}(G)}(;𝐋^{\mathrm{}})=L_q^{\mathrm{}}(RG)$$

are isomorphisms. We will mainly consider the case $`R=`$. The point of these conjectures is that they express the target, which is the group one wants to compute, by the source, which only involves the $`K`$-theory of the family of finite or virtually cyclic subgroups and is much easier to compute. In the case of the family $`𝒩`$ the source can rationally be computed by equivariant Chern characters , . The $`p`$-chain spectral sequence is an important tool for integral computations which are much harder. More information about these conjectures can be found for instance in , ,  and .

## 2 The $`p`$-Chain Spectral Sequence

We establish a spectral sequence converging to the homology (respectively cohomology) of a $`𝒞`$-space $`X`$ with coefficients in a $`𝒞`$-spectrum $`𝐄`$. In the special case where $`X=`$, this gives a spectral sequence converging to $`\pi _{}(\underset{𝒞}{hocolim}𝐄)`$ (respectively $`\pi _{}(\underset{𝒞}{holim}𝐄)`$). It is different from the standard spectral sequence \[9, Theorem 4.7\], \[26, Theorem 8.7\], \[6, XII, 5.7 on page 339 and XI, 7.1 on page 309\] which is an Atiyah-Hirzebruch type spectral sequence and comes from a skeletal filtration. We will need some preliminaries for its construction.

For every non-negative integer $`p`$, define the category $`[p]`$ whose objects are $`\{0,1,2,\mathrm{},p\}`$, with precisely one morphism from $`i`$ to $`j`$ if $`ij`$ and no morphism otherwise. Let $`𝚫`$ be the category of finite ordered sets, i.e. objects are the categories $`[0],[1],[2],\mathrm{}`$ and morphisms are the functors from $`[p]`$ to $`[q]`$. In other words, the morphisms from an object $`\{0,1,2,\mathrm{},p\}`$ to an object $`\{0,1,2,\mathrm{},q\}`$ are the monotone increasing functions. A simplicial set is a contravariant $`𝚫`$-set. There is a covariant $`𝚫`$-space $`\mathrm{\Delta }_{}`$ which sends an object $`[p]`$ to the standard $`p`$-simplex. The geometric realization of a simplicial set $`X_{}`$ is the space $`|X_{}|=X_{}_𝚫\mathrm{\Delta }_{}`$. Recall that the nerve of a category $`𝒞`$ is the simplicial set

$$N_p𝒞=\mathrm{functor}([p],𝒞)$$

and its classifying space $`B𝒞`$ is the geometric realization $`|N_{}𝒞|`$ of its nerve. Next we introduce a similar construction. Denote by $`\stackrel{~}{\mathrm{functor}}([p],𝒞)`$ the equivalence classes of covariant functors from $`[p]`$ to $`𝒞`$, where two such functors are called equivalent if they are related by a natural transformation whose evaluation at any object is an isomorphism. More explicitly, $`\mathrm{functor}([p],𝒞)`$ consists of the set of diagrams in $`𝒞`$ of the shape

$$c_0\stackrel{\varphi _0}{}c_1\stackrel{\varphi _1}{}c_2\stackrel{\varphi _2}{}\mathrm{}\stackrel{\varphi _{p1}}{}c_p$$

and $`\stackrel{~}{\mathrm{functor}}([p],𝒞)`$ is the set of equivalence classes under the following equivalence relation on $`\mathrm{functor}([p],𝒞)`$: Two such diagrams $`(c_{},\varphi _{})`$ and $`(c_{}^{},\varphi _{}^{})`$ are equivalent if there is a commutative diagram with isomorphisms as vertical maps

$`\begin{array}{ccccccccccccc}c_0& & \stackrel{\varphi _0}{}& & c_1& & \stackrel{\varphi _1}{}& & \mathrm{}& & \stackrel{\varphi _{p1}}{}& & c_p\\ & & & & & & & & & & & & & & \\ c_0^{}& & \stackrel{\varphi _0^{}}{}& & c_1^{}& & \stackrel{\varphi _1^{}}{}& & \mathrm{}& & \stackrel{\varphi _{p1}^{}}{}& & c_p^{}\end{array}`$

Define $`\stackrel{~}{N}_{}𝒞`$ to be the simplicial set given by

$$\stackrel{~}{N}_p𝒞=\stackrel{~}{\mathrm{functor}}([p],𝒞)$$

and $`\stackrel{~}{B}𝒞`$ to be its geometric realization. We shall proceed to develop basic properties of $`\stackrel{~}{B}𝒞`$ analogous to those of $`B𝒞`$, as discussed in \[9, pp. 227-229\].

If $`𝒞`$ is a groupoid, i.e. all morphisms are isomorphisms, then $`\stackrel{~}{B}𝒞`$ is the (discrete) set of isomorphism classes of objects. If $`𝒞`$ is a category such that the identity morphisms are the only isomorphisms in $`𝒞`$, then $`B𝒞`$ is the same as $`\stackrel{~}{B}𝒞`$. For instance, $`\stackrel{~}{B}[1]=B[1]=[0,1]`$.

###### Lemma 2.1

The projections from $`𝒞_0\times 𝒞_1`$ to $`𝒞_i`$ for $`i=0,1`$ induce a homeomorphism

$$\stackrel{~}{B}(𝒞_0\times 𝒞_1)\stackrel{~}{B}𝒞_0\times \stackrel{~}{B}𝒞_1.$$

Proof: Given two simplicial sets $`A_{}`$ and $`B_{}`$, define their product $`A_{}\times B_{}`$ by sending $`[p]`$ to the product $`A_p\times B_p`$. The projections induce a homeomorphism \[16, page 43\]

$$|A_{}\times B_{}||A_{}|\times |B_{}|.$$

Now the claim follows since the projections induce isomorphisms of simplicial sets

$$\stackrel{~}{\mathrm{functor}}([p],𝒞_0\times 𝒞_1)\stackrel{~}{\mathrm{functor}}([p],𝒞_0)\times \stackrel{~}{\mathrm{functor}}([p],𝒞_1).\text{ }\text{}$$

Given two objects $`\mathrm{?}`$ and $`\mathrm{?}\mathrm{?}`$ in $`𝒞`$, define the category $`\mathrm{?}𝒞\mathrm{?}\mathrm{?}`$ as follows: An object is a diagram

$$\mathrm{?}\stackrel{𝛼}{}c\stackrel{𝛽}{}\mathrm{?}\mathrm{?}$$

in $`𝒞`$. A morphism from $`\mathrm{?}\stackrel{𝛼}{}c\stackrel{𝛽}{}\mathrm{?}\mathrm{?}`$ to $`\mathrm{?}\stackrel{\alpha ^{}}{}c^{}\stackrel{\beta ^{}}{}\mathrm{?}\mathrm{?}`$ is a commutative diagram in $`𝒞`$ of the shape

$`\begin{array}{ccccccccc}\mathrm{?}& & \stackrel{\alpha }{}& & c& & \stackrel{\beta }{}& & \mathrm{?}\mathrm{?}\\ \mathrm{id}& & & & \varphi & & & & \mathrm{id}& & \\ \mathrm{?}& & \stackrel{\alpha ^{}}{}& & c^{}& & \stackrel{\beta ^{}}{}& & \mathrm{?}\mathrm{?}\end{array}`$

Let $`\stackrel{~}{B}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$ be the $`p`$-skeleton of $`\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$. We will regard $`\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$ as a contravariant $`𝒞\times 𝒞^{\mathrm{op}}`$-space where $`\mathrm{?}`$ is the variable in $`𝒞`$ and $`\mathrm{?}\mathrm{?}`$ the variable in $`𝒞^{\mathrm{op}}`$. Since maps on classifying spaces induced by functors are cellular, we get a filtration of the contravariant $`𝒞\times 𝒞^{\mathrm{op}}`$-space $`\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$ by the contravariant $`𝒞\times 𝒞^{\mathrm{op}}`$-spaces $`\stackrel{~}{B}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$ such that

$$\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})=\underset{p\mathrm{}}{colim}\stackrel{~}{B}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?}).$$

Let $`\overline{\mathrm{mor}(\mathrm{?},\mathrm{?}\mathrm{?})}`$ be the category whose set of objects is $`\mathrm{mor}(\mathrm{?},\mathrm{?}\mathrm{?})`$ and whose only morphisms are the identity morphisms of objects. Consider the functor

$$\mathrm{pr}:\mathrm{?}𝒞\mathrm{?}\mathrm{?}\overline{\mathrm{mor}(\mathrm{?},\mathrm{?}\mathrm{?})}\left(\mathrm{?}\stackrel{𝛼}{}c\stackrel{𝛽}{}\mathrm{?}\mathrm{?}\right)(\beta \alpha :\mathrm{?}\mathrm{?}\mathrm{?}).$$

It induces a map of contravariant $`𝒞\times 𝒞^{\mathrm{op}}`$-spaces

$$\stackrel{~}{B}(\mathrm{pr}):\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})\stackrel{~}{B}(\overline{\mathrm{mor}(\mathrm{?},\mathrm{?}\mathrm{?})})=\mathrm{mor}(\mathrm{?},\mathrm{?}\mathrm{?}).$$

Let $`X`$ be a contravariant $`𝒞`$-space. We obtain contravariant $`𝒞`$-spaces $`X_𝒞\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$ and $`X_𝒞\mathrm{mor}(\mathrm{?},\mathrm{?}\mathrm{?})`$ where the tensor product is taken over the variable $`\mathrm{?}\mathrm{?}`$. Define a map of contravariant $`𝒞`$-spaces

$`p:X_𝒞\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})\stackrel{\mathrm{id}_𝒞\stackrel{~}{B}(\mathrm{pr})}{}X_𝒞\mathrm{mor}(\mathrm{?},\mathrm{?}\mathrm{?})\stackrel{}{}X,`$ (2.2)
where the second map is the canonical isomorphism given by $`x\varphi X(\varphi )(x)`$.

Let $`n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$ denote the set of non-degenerate $`p`$-simplices of the simplicial set $`\stackrel{~}{N}_{}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$. Elements are given by classes of diagrams

$$\mathrm{?}\stackrel{𝛼}{}c_0\stackrel{\varphi _0}{}c_1\stackrel{\varphi _1}{}c_2\stackrel{\varphi _2}{}\mathrm{}\stackrel{\varphi _{p1}}{}c_p\stackrel{𝛽}{}\mathrm{?}\mathrm{?}$$

such that no $`\varphi _i`$ is an isomorphism.

###### Lemma 2.3

1. We have

$$X_𝒞\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})=\underset{p\mathrm{}}{colim}X_𝒞\stackrel{~}{B}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?})$$

as contravariant $`𝒞`$-spaces;
2. There is a pushout of contravariant $`𝒞`$-spaces whose vertical maps are $`(p1)`$-connected cofibrations of contravariant $`𝒞`$-spaces

$`\begin{array}{ccc}(X_𝒞n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?}))\times S^{p1}& & X_𝒞\stackrel{~}{B}_{p1}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})\\ \mathrm{id}_𝒞\mathrm{inc}& & \mathrm{id}_𝒞\mathrm{inc}& & \\ (X_𝒞n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?}))\times D^p& & X_𝒞\stackrel{~}{B}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?};\end{array}`$
3. The map $`p:X_𝒞\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})X`$ defined in (2.2) is a weak homotopy equivalence of contravariant $`𝒞`$-spaces.

Proof: (a) Since the functor $`X_𝒞`$ from the category of covariant $`𝒞`$-spaces to the category of spaces has a right adjoint, it is compatible with colimits.
(b) There is a canonical $`CW`$-structure on the geometric realization of a simplicial set whose cells are in bijective correspondence with the non-degenerate simplices \[16, page 39\]. Hence we get the following pushout of contravariant $`𝒞\times 𝒞^{\mathrm{op}}`$-spaces

$`\begin{array}{ccc}n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?})\times S^{p1}& & \stackrel{~}{B}_{p1}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})\\ & & & & \\ n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?})\times D^p& & \stackrel{~}{B}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?}).\end{array}`$

Since the functor $`X_𝒞`$ has a right adjoint, it is compatible with pushouts. For any space $`Z`$ there is a natural homeomorphism

$$(X_𝒞n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?}))\times ZX_𝒞(n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?})\times Z)$$

This shows that the diagram appearing in assertion (b) is a pushout of contravariant $`𝒞`$-spaces. As the inclusion of $`S^{p1}`$ into $`D^p`$ is a $`(p1)`$-connected cofibration of spaces, the left vertical and hence also the right vertical arrow are $`(p1)`$-connected cofibrations of contravariant $`𝒞`$-spaces.
(c) Fix an object $`c`$ in $`𝒞`$. Define a functor

$$j^{}:\overline{\mathrm{mor}(c,\mathrm{?}\mathrm{?})}c𝒞\mathrm{?}\mathrm{?}\left(c\stackrel{𝛼}{}\mathrm{?}\mathrm{?}\right)\left(c\stackrel{id}{}c\stackrel{𝛼}{}\mathrm{?}\mathrm{?}\right).$$

It induces a map of spaces by

$$j:X(c)\stackrel{}{}X_𝒞\stackrel{~}{B}(\overline{\mathrm{mor}(c,\mathrm{?}\mathrm{?})})\stackrel{\mathrm{id}_X_𝒞\stackrel{~}{B}j^{}}{}X_𝒞\stackrel{~}{B}(c𝒞\mathrm{?}\mathrm{?}).$$

Define a natural transformation

$$S:j^{}\mathrm{pr}(c,\mathrm{?}\mathrm{?})\mathrm{id}_{c𝒞\mathrm{?}\mathrm{?}}$$

by assigning to an object $`c\stackrel{𝛼}{}d\stackrel{𝛽}{}\mathrm{?}\mathrm{?}`$ in $`c𝒞\mathrm{?}\mathrm{?}`$ the morphism in $`c𝒞\mathrm{?}\mathrm{?}`$

$`\begin{array}{ccccc}c& \stackrel{\mathrm{id}}{}& c& \stackrel{\beta \alpha }{}& \mathrm{?}\mathrm{?}\\ \mathrm{id}& & \alpha & & \mathrm{id}& & \\ c& \stackrel{\alpha }{}& d& \stackrel{\beta }{}& \mathrm{?}\mathrm{?}\end{array}`$

Thus we have a homotopy of maps of covariant $`𝒞`$-spaces

$$h^{}:\stackrel{~}{B}(c𝒞\mathrm{?}\mathrm{?})\times [0,1]\stackrel{~}{B}(c𝒞\mathrm{?}\mathrm{?})\times \stackrel{~}{B}[1]\stackrel{~}{B}(c𝒞\mathrm{?}\mathrm{?}\times [1])\stackrel{~}{B}(c𝒞\mathrm{?}\mathrm{?})$$

where the first map comes from the identification $`[0,1]=\stackrel{~}{B}[1]`$, the second from the homeomorphism of Lemma 2.1 and the third from interpreting $`S`$ as a functor

$$S:c𝒞\mathrm{?}\mathrm{?}\times [1]c𝒞\mathrm{?}\mathrm{?}.$$

It induces a homotopy of maps of spaces

$$h=\mathrm{id}_X_𝒞h^{}:X_𝒞\stackrel{~}{B}(c𝒞\mathrm{?}\mathrm{?})\times [0,1]X_𝒞\stackrel{~}{B}(c𝒞\mathrm{?}\mathrm{?}).$$

One easily checks that $`p(c)j`$ is the identity on $`X(c)`$ and $`h`$ is a homotopy from $`jp(c)`$ to the identity on $`X_𝒞\stackrel{~}{B}(c𝒞\mathrm{?}\mathrm{?})`$. Hence

$$p(c):X_𝒞\stackrel{~}{B}(c𝒞\mathrm{?}\mathrm{?})X(c)$$

is a homotopy equivalence and in particular a weak homotopy equivalence for all objects $`c`$. This finishes the proof of Lemma 2.3.

###### Remark 2.4

Notice that the map $`p:X_𝒞\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})X`$ is not a homotopy equivalence of contravariant $`𝒞`$-spaces. In the proof of Lemma 2.3 we have constructed a homotopy inverse and a corresponding homotopy for $`p(c)`$ for each object $`c`$, but they do not fit together to an homotopy inverse of $`p`$ as a map of contravariant $`𝒞`$-spaces. Therefore it is important that we use the (co-)homology $`H(X;𝐄)`$ which satisfies the WHE-axiom.

We can now apply \[9, Theorem 4.7\] to the filtration of $`X_𝒞\stackrel{~}{B}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$ by the subspaces $`X_𝒞\stackrel{~}{B}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$ and obtain:

###### Theorem 2.5

Let $`X`$ be a contravariant $`𝒞`$-space and $`𝐄`$ a covariant respectively contravariant $`𝒞`$-spectrum. Let $`H_p^𝒞(X;𝐄)`$ respectively $`H_𝒞^p(X;𝐄)`$ be the associated homology respectively cohomology theories satisfying the WHE-axiom.

1. There is a spectral (homology) sequence $`(E_{p,q}^r,d_{p,q}^r)`$ whose $`E^1`$-term is given by

$$E_{p,q}^1=H_q^𝒞(X_𝒞n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?});𝐄).$$

The first differential

$$d_{p,q}^1:H_q^𝒞(X_𝒞n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?});𝐄)H_q^𝒞(X_𝒞n.d.\stackrel{~}{N}_{p1}(\mathrm{?}𝒞\mathrm{?}\mathrm{?});𝐄)$$

is $`_{i=0}^p(1)^iH_q^𝒞(\mathrm{id}_𝒞d_i^p;𝐄)`$ where $`d_i^p:n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?})n.d.\stackrel{~}{N}_{p1}(\mathrm{?}𝒞\mathrm{?}\mathrm{?})`$ is the $`i`$-th face map. This spectral sequence converges to $`H_{p+q}^𝒞(X;𝐄)`$, i.e. there is an ascending filtration $`F_{p,mp}H_m^𝒞(X,𝐄)`$ of $`H_m^𝒞(X,𝐄)`$ such that

$$F_{p,q}H_{p+q}^𝒞(X,𝐄)/F_{p1,q+1}H_{p+q}^𝒞(X,𝐄)E_{p,q}^{\mathrm{}};$$
2. Assume that $`𝐄`$ is a $`𝒞`$-$`\mathrm{\Omega }`$-spectrum, i.e. for each object $`c`$ the spectrum $`𝐄(c)`$ is an $`\mathrm{\Omega }`$-spectrum. Then there is a spectral (cohomology) sequence $`(E_r^{p,q},d_r^{p,q})`$ whose $`E^1`$-term is given by

$$E_1^{p,q}=H_𝒞^q(X_𝒞n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?});𝐄).$$

The first differential

$$d_1^{p,q}:H_𝒞^q(X_𝒞n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?});𝐄)H_𝒞^q(X_𝒞n.d.\stackrel{~}{N}_{p+1}(\mathrm{?}𝒞\mathrm{?}\mathrm{?});𝐄)$$

is $`_{i=0}^{p+1}(1)^iH^q(\mathrm{id}_𝒞d_i^p;𝐄)`$. If one of the following conditions is satisfied:

1. The filtration is finite, i.e. there is an integer $`n>0`$ such that for any diagram

    $$c_0\stackrel{\varphi _0}{}c_1\stackrel{\varphi _1}{}\mathrm{}\stackrel{\varphi _{n1}}{}c_n$$

    one of the morphisms $`\varphi _i`$ is an isomorphism;
    2. There is $`n`$ such that $`\pi _q(𝐄(c))`$ vanishes for all objects $`c\mathrm{Ob}(𝒞)`$ and $`q<n`$;

then the spectral sequence converges to $`H_𝒞^{p+q}(X;𝐄)`$, i.e. there is a descending filtration $`F^{p,mp}H_𝒞^m(X,𝐄)`$ of $`H_𝒞^m(X,𝐄)`$ such that

$$F^{p,q}H_𝒞^{p+q}(X;𝐄)/F^{p+1,q1}H_𝒞^{p+q}(X;𝐄)E_{\mathrm{}}^{p,q}.$$

Next we want to analyse the $`E^1`$-term further. Let $`\mathrm{Is}(𝒞)`$ be the set of isomorphism classes $`\overline{c}`$ of objects $`c`$ in $`𝒞`$. Fix for any isomorphism class $`\overline{c}`$ a representative $`c\overline{c}`$. For two objects $`c`$ and $`d`$ let $`\mathrm{mor}_{\cong ̸}(c,d)`$ be the subset of $`\mathrm{mor}(c,d)`$ consisting of all morphisms from $`c`$ to $`d`$ which are not isomorphisms. For an element

$$\overline{c}_{}=(\overline{c_0},\overline{c_1},\mathrm{},\overline{c_p})\underset{i=0}{\overset{p}{}}\mathrm{Is}(𝒞)$$

and $`p1`$ define a left-$`\mathrm{aut}(c_p)`$-right-$`\mathrm{aut}(c_0)`$-set

$`S(\overline{c}_{})`$ $`=`$ $`\mathrm{mor}_{\cong ̸}(c_{p1},c_p)\times _{\mathrm{aut}(c_{p1})}\mathrm{mor}_{\cong ̸}(c_{p2},c_{p1})\times _{\mathrm{aut}(c_{p2})}`$ (2.6)
$`\mathrm{}\times _{\mathrm{aut}(c_1)}\mathrm{mor}_{\cong ̸}(c_0,c_1).`$
If $`A`$ is a right-$`\mathrm{aut}(c_p)`$-set and $`B`$ is a left-$`\mathrm{aut}(c_0)`$-set, define $`A\times _{\mathrm{aut}(c_p)}S(\overline{c}_{})\times _{\mathrm{aut}(c_0)}B`$ in the obvious way for $`p1`$ and by $`A\times _{\mathrm{aut}(c_0)}B`$ for $`p=0`$. One easily checks that the map

$$\underset{\begin{array}{c}\overline{c}_{}_{i=0}^p\mathrm{Is}(𝒞),\\ S(\overline{c}_{})\mathrm{}\end{array}}{}\mathrm{mor}(c_p,\mathrm{?}\mathrm{?})\times _{\mathrm{aut}(c_p)}S(\overline{c}_{})\times _{\mathrm{aut}(c_0)}\mathrm{mor}(\mathrm{?},c_0)n.d.\stackrel{~}{N}_p(\mathrm{?}𝒞\mathrm{?}\mathrm{?})$$

which sends the element represented by

$$(\varphi _p,\varphi _{p1},\mathrm{},\varphi _0,\varphi )\mathrm{mor}(c_p,\mathrm{?}\mathrm{?})\times \mathrm{mor}_{\cong ̸}(c_{p1},c_p)\times \mathrm{}\times \mathrm{mor}_{\cong ̸}(c_0,c_1)\times \mathrm{mor}(\mathrm{?},c_0)$$

to the class of

$$\mathrm{?}\stackrel{\mathit{\varphi }}{}c_0\stackrel{\varphi _0}{}c_1\stackrel{\varphi _1}{}\mathrm{}\stackrel{\varphi _{p1}}{}c_p\stackrel{\varphi _p}{}\mathrm{?}\mathrm{?}$$

is natural in $`\mathrm{?}`$ and $`\mathrm{?}\mathrm{?}`$ and bijective. Since there is a natural isomorphism of contravariant $`𝒞`$-spaces

$$\begin{array}{c}X_𝒞\mathrm{mor}(c_p,\mathrm{?}\mathrm{?})\times _{\mathrm{aut}(c_p)}S(\overline{c}_{})\times _{\mathrm{aut}(c_0)}\mathrm{mor}(\mathrm{?},c_0)\hfill \\ \hfill \stackrel{}{}X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{})\times _{\mathrm{aut}(c_0)}\mathrm{mor}(\mathrm{?},c_0)\end{array}$$

we conclude:

###### Lemma 2.7

There are identifications for the $`E^1`$-terms of the spectral sequences in Theorem 2.5

$$E_{p,q}^1=\underset{\begin{array}{c}\overline{c}_{}_{i=0}^p\mathrm{Is}(𝒞),\\ S(\overline{c}_{})\mathrm{}\end{array}}{}H_q^𝒞(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{})\times _{\mathrm{aut}(c_0)}\mathrm{mor}(\mathrm{?},c_0);𝐄)$$

and

$$E_1^{p,q}=\underset{\begin{array}{c}\overline{c}_{}_{i=0}^p\mathrm{Is}(𝒞),\\ S(\overline{c}_{})\mathrm{}\end{array}}{}H_𝒞^q(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{})\times _{\mathrm{aut}(c_0)}\mathrm{mor}(\mathrm{?},c_0);𝐄).$$

If the category satisfies an additional condition, we can do a much better job identifying the $`E^1`$-terms.

###### Definition 2.8

We call $`𝒞`$ left-free if for any two objects $`c`$ and $`c^{}`$ the left $`\mathrm{aut}(c^{})`$-action on $`\mathrm{mor}(c,c^{})`$ given by composition is free.

For any group $`G`$ and any family $``$ of subgroups the orbit category $`\mathrm{Or}(G,)`$ is left-free since any $`G`$-map of homogeneous $`G`$-spaces $`G/HG/K`$ is surjective.

Let $`Z`$ be a (left) $`G`$-space and let $`𝐅`$ be spectrum with an action of $`G`$ by maps of spectra. We can interpret $`𝐅`$ also as a covariant $`\mathrm{Or}(G,𝒯)`$-spectrum, where $`𝒯`$ is the family consisting of the trivial subgroup of $`G`$. We write

$`H_q^G(Z;𝐅)`$ $`:=`$ $`H_q^{\mathrm{Or}(G,𝒯)}(Z,𝐅).`$ (2.9)
Explicitly we get after a choice of a free $`G`$-$`CW`$-complex $`Z^{}`$ together with a $`G`$-map $`u:Z^{}Z`$ which is a weak equivalence after forgetting the group action

$`H_q^G(Z;𝐅)`$ $`=`$ $`\pi _q(Z_+^{}_G𝐅).`$ (2.10)
For instance $`H_q^G(;𝐅)=\pi _q(EG_+_G𝐅)`$.

###### Lemma 2.11

Suppose $`𝒞`$ is left-free. Then there are identifications for the $`E^1`$-terms of the spectral sequences in Theorem 2.5

$$E_{p,q}^1=\underset{\begin{array}{c}\overline{c}_{}_{i=0}^p\mathrm{Is}(𝒞),\\ S(\overline{c}_{})\mathrm{}\end{array}}{}H_q^{\mathrm{aut}(c_0)}(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{});𝐄(c_0))$$

and

$$E_1^{p,q}=\underset{\begin{array}{c}\overline{c}_{}_{i=0}^p\mathrm{Is}(𝒞),\\ S(\overline{c}_{})\mathrm{}\end{array}}{}H_{\mathrm{aut}(c_0)}^q(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{});𝐄(c_0))$$

where $`X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{})`$ means $`X(c_0)`$ for $`p=0`$.

With this identification the first differential can be written as

$$d_{p,q}^1=\underset{i=0}{\overset{p}{}}(1)^i(d_{p,q}^1)_i$$

for certain maps

$$\begin{array}{c}(d_{p,q}^1)_0:H_q^{\mathrm{aut}(c_0)}(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{});𝐄(c_0))\hfill \\ \hfill H_q^{\mathrm{aut}(c_1)}(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_1,\mathrm{},\overline{c}_p);𝐄(c_1)),\end{array}$$

$$\begin{array}{c}(d_{p,q}^1)_i:H_q^{\mathrm{aut}(c_0)}(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{});𝐄(c_0))\hfill \\ \hfill H_q^{\mathrm{aut}(c_0)}(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_0,\mathrm{},\overline{c}_{i1},\overline{c}_{i+1},\mathrm{},\overline{c}_p);𝐄(c_0)),\end{array}$$

for $`0<i<p`$, and

$$\begin{array}{c}(d_{p,q}^1)_p:H_q^{\mathrm{aut}(c_0)}(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{});𝐄(c_0))\hfill \\ \hfill H_q^{\mathrm{aut}(c_0)}(X(c_{p1})\times _{\mathrm{aut}(c_{p1})}S(\overline{c}_0,\mathrm{},\overline{c}_{p1});𝐄(c_0)).\end{array}$$

For $`0<ip`$, these maps are induced by maps of $`\mathrm{aut}(c_0)`$-sets given by concatenation. The description of $`(d_{p,q}^1)_0`$ is more difficult, due to the change of group and coefficients. Let $`c_0c_1`$ denote the full subcategory of $`𝒞`$ with objects $`\{c_0,c_1\}`$. We label the inclusions of categories $`i:\mathrm{aut}(c_0)(c_0c_1)`$, $`j:\mathrm{aut}(c_1)(c_0c_1)`$, and $`k:(c_0c_1)𝒞`$. Let $`Y`$ be the $`\mathrm{aut}(c_1)`$-space

$$X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_1,\mathrm{},\overline{c}_p).$$

Then with the above identification of $`E^1`$ the map $`(d_{p,q}^1)_0`$ is given by

$$\begin{array}{c}H_q^{\mathrm{aut}(c_0)}(Y\times _{\mathrm{aut}(c_1)}\mathrm{mor}_{\cong ̸}(c_0,c_1);i^{}k^{}𝐄)\hfill \\ \hfill H_q^{c_0c_1}(i_{}(Y\times _{\mathrm{aut}(c_1)}\mathrm{mor}_{\cong ̸}(c_0,c_1));k^{}𝐄)\\ \hfill H_q^{c_0c_1}(j_{}Y;k^{}𝐄)\stackrel{}{}H_q^{\mathrm{aut}(c_1)}(Y;j^{}k^{}𝐄),\end{array}$$

where the first map is the map $`\mathrm{\Phi }_i`$ from Lemma 1.3 (c), the middle map is given by the map of $`(c_0c_1)`$-spaces given as the adjoint of the inclusion of $`\mathrm{aut}(c_0)`$-spaces

$$Y\times _{\mathrm{aut}(c_1)}\mathrm{mor}_{\cong ̸}(c_0,c_1)Y\times _{\mathrm{aut}(c_1)}\mathrm{mor}(c_0,c_1)=i^{}j_{}Y,$$

and the last map is $`(\mathrm{\Phi }_j)^1`$.

Similar statements are valid in cohomology.

Proof: For an object $`c_0`$ of $`𝒞`$, let $`i_{c_0}:\mathrm{aut}(c_0)𝒞`$ be the corresponding inclusion of categories. Then, according to Lemma 2.7, the $`E^1`$-term of the $`p`$-chain spectral sequence is identified with

$$E_{p,q}^1=\underset{\begin{array}{c}\overline{c}_{}_{i=0}^p\mathrm{Is}(𝒞),\\ S(\overline{c}_{})\mathrm{}\end{array}}{}H_q^𝒞((i_{c_0})_{}(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{}));𝐄)$$

The maps $`\mathrm{\Phi }_{i_{c_0}}`$ send the sum below to the sum above to

$$\underset{\begin{array}{c}\overline{c}_{}_{i=0}^p\mathrm{Is}(𝒞),\\ S(\overline{c}_{})\mathrm{}\end{array}}{}H_q^{\mathrm{aut}(c_0)}(X(c_p)\times _{\mathrm{aut}(c_p)}S(\overline{c}_{});𝐄(c_0))$$

This map between sums is an isomorphism by Lemma 1.3 (c), since $`𝒞`$ is left-free. We have thus established the first identification in the lemma. The identifications of the differentials are established similarly.

###### Remark 2.12

Lemma 2.11 shows for a left-free category $`𝒞`$ what the spectral sequence does. Namely, it reduces the computation of the (co-)homology groups of spaces and spectra over a category to the special case of spaces and spectra over a group. The most important case of the $`p`$-chain spectral sequence is where $`X=`$ is the constant functor given by a point at every object. In this case the $`\mathrm{aut}(c_0)`$-sets are all discrete and hence a disjoint union of homogeneous spaces $`\mathrm{aut}(c_0)/H`$, and so the differentials $`(d_{p,q}^1)_i`$ for $`0<ip`$ all involve change of group maps $`BH_0BH_1`$. The remaining differential $`(d_{p,q}^1)_0`$ is more subtle and should be thought of as some sort of assembly map. We will comment further on this map in the next section.

###### Remark 2.13

We have put some effort into avoiding the assumption that $`𝒞`$ is an EI-category, i.e that all endomorphisms are isomorphisms. Otherwise we would have excluded the orbit category $`\mathrm{Or}(G,)`$ for $``$ the family of virtually cyclic subgroups of $`G`$ (see \[17, Example 1.32\]). But this category appears in the Isomorphism Conjecture in algebraic $`K`$ or $`L`$-theory of Farrell-Jones. The Baum-Connes Conjecture, however, uses only the orbit category $`\mathrm{Or}(G,𝒩)`$ for $`𝒩`$ the family of finite subgroups of $`G`$ which is an EI-category.

If one has an EI-category, the bookkeeping simplifies a little bit. The EI-property makes it possible to define a partial ordering on $`\mathrm{Is}(𝒞)`$ by

$$\overline{c}\overline{d}\mathrm{mor}(c,d)\mathrm{}.$$

We write $`\overline{c}<\overline{d}`$ if $`\overline{c}\overline{d}`$ and $`\overline{c}\overline{d}`$ holds. A $`p`$-chain $`\overline{c_{}}`$ in $`𝒞`$ is a sequence

$$\overline{c_0}<\overline{c_1}<\mathrm{}<\overline{c_p}.$$

Let $`ch_p(𝒞)`$ be the set of $`p`$-chains. Now one can replace the index set

$$\left\{\overline{c}_{}\underset{i=0}{\overset{p}{}}\mathrm{Is}(𝒞)\right|S(\overline{c}_{})\mathrm{}\}$$

in Lemma 2.7 and Lemma 2.11 by $`ch_p(𝒞)`$ and replace in the definition of $`S(\overline{c_{}})`$ the set $`\mathrm{mor}_{\cong ̸}(c_{i1},c_i)`$ by $`\mathrm{mor}(c_{i1},c_i)`$.

###### Example 2.14

Let $``$ be a family of subgroups of the (discrete) group $`G`$. We get a bijection

$$\{(H)H\}\stackrel{}{}\mathrm{Is}(\mathrm{Or}(G,))(H)\overline{G/H}$$

where $`(H)`$ denotes the conjugacy class of a subgroup $`HG`$. Let $`NH`$ be the normalizer and $`WH=NH/H`$ be the Weyl group of $`HG`$. We obtain a bijection

$$WH\stackrel{}{}\mathrm{aut}(G/H)gH(R_{g^1}:G/HG/H)$$

where $`R_{g^1}`$ maps $`g^{}H`$ to $`g^{}g^1H`$. For

$$(\overline{G/H_i}i=0,1,\mathrm{}p)\underset{i=0}{\overset{p}{}}\mathrm{Is}(Or(G,))$$

we get

$`S(\overline{G/H_i}i=0,1,\mathrm{}p)`$ $`=`$ $`\mathrm{map}_{\cong ̸}(G/H_{p1},G/H_p)^G\times _{WH_{p1}}`$
$`\mathrm{}\times _{WH_1}\mathrm{map}_{\cong ̸}(G/H_0,G/H_1)^G,`$
where $`\mathrm{map}_{\cong ̸}(G/H_{i1},G/H_i)^G`$ is the set of $`G`$-maps which are not bijective.

Suppose that $`\mathrm{Or}(G,)`$ is an EI-category. Then a $`p`$-chain $`\overline{G/H_0}<\mathrm{}<\overline{G/H_p}`$ is the same as a sequence of conjugacy classes of subgroups

$$(H_0)<\mathrm{}<(H_p)$$

where $`(H_{i1})<(H_i)`$ means that $`H_{i1}`$ is subconjugated, but not conjugated to $`(H_i)`$. The $`WH_p`$-$`WH_0`$-set associated to such a $`p`$-chain is

$`S((H_0)<\mathrm{}<(H_p))`$ $`=`$ $`\mathrm{map}(G/H_{p1},G/H_p)^G\times _{WH_{p1}}`$
$`\mathrm{}\times _{WH_1}\mathrm{map}(G/H_0,G/H_1)^G.`$
The $`E^1`$-terms of the spectral sequences in Theorem 2.5 become

$$E_{p,q}^1=\underset{(H_0)<\mathrm{}<(H_p)}{}H_q^{WH_0}(X(G/H_p)\times _{WH_p}S((H_0)<\mathrm{}<(H_p));𝐄(G/H_0))$$

and

$$E_1^{p,q}=\underset{(H_0)<\mathrm{}<(H_p)}{}H_{WH_0}^q(X(G/H_p)\times _{WH_p}S((H_0)<\mathrm{}<(H_p));𝐄(G/H_0))$$

where $`X(G/H_p)\times _{WH_p}S((H_0)<\mathrm{}<(H_p))`$ means $`X(G/H_0)`$ for $`p=0`$.

There is a module or chain complex version of the spectral sequence above. In the sequel we use the notation and language of . Let $`R`$ be a commutative associative ring with unit and $`𝒞`$ be a small category. One replaces the contravariant space $`X`$ by a contravariant $`R𝒞`$-chain complex $`C`$ which satisfies $`C_p=0`$ for $`p<0`$ and the covariant respectively contravariant spectrum $`𝐄`$ by a covariant respectively contravariant $`R𝒞`$-chain complex $`D`$ which may have non-trivial chain modules in negative dimensions. The role of contravariant $`𝒞`$-$`CW`$-complexes is now played by projective contravariant $`R𝒞`$-chain complexes. The tensor product $`_𝒞`$ is replaced by the tensor product $`_{R𝒞}`$ of $`R𝒞`$-modules and the mapping space is replaced by the $`R`$-module of homomorphisms of $`R𝒞`$-modules $`\mathrm{hom}_{R𝒞}`$. The homology $`H_p^𝒞(X;𝐄)`$ now becomes $`\mathrm{Tor}_p^{R𝒞}(C,D)`$ and the cohomology $`H_𝒞^p(X;𝐄)`$ now becomes $`\mathrm{Ext}_{R𝒞}^p(C,D)`$. Notice that a $`R𝒞`$-module can be interpreted as a chain complex concentrated in dimension $`0`$. The proof of the next result is analogous to the results of this section and generalizes the spectral sequence in \[17, section 17\].

###### Theorem 2.15

Let $`M`$ be a contravariant $`R𝒞`$-module and $`N`$ be a covariant respectively contravariant $`R𝒞`$-module. Suppose that $`𝒞`$ is left-free. Then:

1. There is a spectral (homology) sequence $`(E_{p,q}^r,d_{p,q}^r)`$ whose $`E^1`$-term is given by

$$E_{p,q}^1=\underset{\overline{c}_{}_{i=0}^p\mathrm{Is}(𝒞)}{}\mathrm{Tor}_q^{R[\mathrm{aut}(c_0)]}(M(c_p)\times _{R[\mathrm{aut}(c_p)]}RS(\overline{c}_{}),N(c_0))$$

where $`R[\mathrm{aut}(c_i)]`$ is the group ring of $`\mathrm{aut}(c_i)`$ with coefficients in $`R`$ and $`RS(\overline{c}_{})`$ is the free $`R`$-module generated by the set $`S(\overline{c}_{})`$. The spectral sequence converges to $`\mathrm{Tor}_{p+q}^{R𝒞}(M,N)`$;
2. There is a spectral (cohomology) sequence $`(E_r^{p,q},d_r^{p,q})`$ whose $`E^1`$-term is given by

$$E_1^{p,q}=\underset{\overline{c}_{}_{i=0}^p\mathrm{Is}(𝒞)}{}\mathrm{Ext}_{R[\mathrm{aut}(c_0)]}^q(M(c_p)\times _{R[\mathrm{aut}(c_p)]}RS(\overline{c}_{});N(c_0)).$$

The spectral sequence converges to $`\mathrm{Ext}_{R𝒞}^{p+q}(M,N)`$.

## 3 Assembly Maps

Let $`F:𝒞`$ and $`𝐄:𝒞\mathrm{SPECTRA}`$ be covariant functors. We introduced their assembly map

$$H_q^{}(;F^{}𝐄)\stackrel{\mathrm{\Phi }_F}{}H_q^𝒞(;𝐄)$$

in Definition 1.4. Recall that we sometimes write $`𝐄`$ instead of $`F^{}𝐄`$ to simplify notation.

Let $`F:𝒞`$ be a covariant functor. For any object $`c\mathrm{Ob}C`$, define the undercategory $`cF`$ and the overcategory $`Fc`$ as follows. An object of $`cF`$ is a pair $`(b,\varphi :cF(b))`$ where $`b`$ is an object in $``$ and $`\varphi `$ a morphism in $`𝒞`$. A morphism $`f`$ from $`(b,\varphi :cF(b))`$ to $`(b^{},\varphi ^{}:cF(b^{}))`$ is a morphism $`f:bb^{}`$ in $``$ satisfying $`F(f)\varphi =\varphi ^{}`$. An object of $`Fc`$ is a pair $`(b,\varphi :F(b)c)`$. A morphism $`f`$ from $`(b,\varphi :F(b)c)`$ to $`(b^{},\varphi ^{}:F(b^{})c)`$ is a morphism $`f:bb^{}`$ in $``$ satisfying $`\varphi ^{}F(f)=\varphi `$. We denote the under and overcategories associated to the identity functor $`F:𝒞𝒞`$ by $`c𝒞`$ and $`𝒞c`$.

A covariant functor $`F:𝒞`$ is cofinal if for every object $`c`$ of $`𝒞`$, the classifying space $`B(cF)`$ is contractible.

For a category $`𝒞`$, let $`E𝒞`$ be the contravariant $`𝒞`$-space given by

$$E𝒞(\mathrm{?})=B(\mathrm{?}𝒞).$$

The $`𝒞`$-map $`E𝒞`$ is a $`𝒞`$-$`CW`$-approximation by \[9, p. 230\].

###### Theorem 3.1 (Cofinality Theorem)

Let $`F:𝒞`$ be a cofinal covariant functor. Let $`𝐄:𝒞\mathrm{SPECTRA}`$ be a covariant functor. Then the assembly map

$$H_q^{}(;F^{}𝐄)H_q^𝒞(;𝐄)$$

is an isomorphism.

Proof: The proof can be found in \[15, 4.4\]. Here is a proof in our language. Notice that $`F_{}E(\mathrm{?})`$ is a $`𝒞`$-$`CW`$-complex by Lemma 1.3 (b). Since there is a natural isomorphism $`F_{}E(\mathrm{?})B(\mathrm{?}F)`$ and $`B(\mathrm{?}F)`$ is contractible for each $`\mathrm{?}`$ by cofinality, the unique map $`F_{}E(\mathrm{?})`$ is a $`𝒞`$-$`CW`$-approximation. Using Lemma 1.3 (c), we conclude

$$H_q^{}(;F^{}𝐄)=H_q^{}(E;F^{}𝐄)=H_q^𝒞(F_{}E;𝐄)=H_q^𝒞(;𝐄).\text{ }\text{}$$

For example, let $`𝒞`$ be a category with a final object $`c_0`$. Let $``$ be the subcategory with single object $`c_0`$ and only the identity morphism. Then the inclusion functor $`F:𝒞`$ is cofinal, and so Theorem 3.1 shows that

$$\pi _q(𝐄(c_0))=H_q^{}(;F^{}𝐄)H_q^𝒞(;𝐄),$$

which is a well-known fact about homotopy colimits. This also follows from the observation that $`_𝒞=\mathrm{mor}_𝒞(\mathrm{?},c_0)`$ is a $`𝒞`$-$`CW`$-complex in this case. Note that $`\mathrm{Or}(G)`$ has a final object $`G/G`$.

Given a functor $`F:𝒞`$ and an object $`c`$ in $`𝒞`$, there is a commutatative square of functors

$$\begin{array}{ccc}Fc& \stackrel{F_c}{}& 𝒞c\\ P_c& & Q_c& & \\ & \stackrel{F}{}& 𝒞\end{array}$$

where

$`P_c(b,\varphi :F(b)c)`$ $`=b,`$
$`F_c(b,\varphi :F(b)c)`$ $`=(F(b),\varphi :F(b)c),`$
$`Q_c(c^{},\varphi :c^{}c)`$ $`=c^{}.`$
Let $`𝐄`$ be a covariant $`𝒞`$-spectrum. Since $`𝒞c`$ has a final object, namely $`(c,\mathrm{id}_c)`$, we get an identification

$$H_q^{𝒞c}(;Q_c^{}𝐄)=\pi _q(𝐄(c)).$$

###### Theorem 3.2 (Analogue of Quillen’s Theorem A)

Let $`n`$ be an integer and let $`𝒫`$ be a set of primes. Let $`F:𝒞`$ and $`𝐄:𝒞\mathrm{SPECTRA}`$ be covariant functors. Suppose that for all objects $`c`$ in $`𝒞`$ the assembly map induced by $`F_c`$

$$H_q^{Fc}(;F_c^{}Q_c^{}𝐄)H_q^{𝒞c}(;Q_c^{}𝐄)=\pi _q(𝐄(c))$$

is a $`𝒫`$-isomorphism for all $`qn`$, where a $`𝒫`$-isomorphism is a map of abelian groups which becomes bijective after inverting all elements in $`𝒫`$.

Then the assembly map induced by $`F`$

$$H_q^{}(;F^{}𝐄)H_q^𝒞(;𝐄)$$

is a $`𝒫`$-isomorphism for all $`qn`$.

###### Remark 3.3

Quillen’s Theorem A  states that for a covariant functor $`F:𝒞`$, if for all objects $`c`$ of $`𝒞`$, one has that $`BF_c:B(Fc)B(Cc)`$ is a homotopy equivalence, then $`BF:BB𝒞`$ is a homotopy equivalence.

Theorems similar to and special cases of Theorem 3.2 are well-known. Since we lack a reference and for the reader’s convenience, we give a proof in our case. We need some preparation.

###### Lemma 3.4

Let $`X`$ be a contravariant $`(Fc)`$-space. Then there is a natural homeomorphism of contravariant $``$-spaces

$$v:P_{c}^{}{}_{}{}^{}X(\mathrm{?})\stackrel{}{}\underset{\varphi \mathrm{mor}_𝒞(F(\mathrm{?}),c)}{}X(\mathrm{?},\varphi :F(\mathrm{?})c).$$

In particular $`P_{c}^{}{}_{}{}^{}`$ maps weak equivalences of contravariant $`(Fc)`$-spaces to weak equivalences of contravariant $``$-spaces.

Proof: A typical element in the domain of $`v`$ is represented by a pair $`(x,f)`$, where $`xX(b,\psi :F(b)c)`$ and $`f:\mathrm{?}b`$ is a morphism in $``$. The image of it under $`v`$ is given by the image of $`x`$ under the map

$$X(b,\psi :F(b)c)X(\mathrm{?},\psi F(f):F(\mathrm{?})c)$$

which is given by $`X`$ applied to the morphism

$$f:(\mathrm{?},\psi F(f):F(\mathrm{?})c)(b,\psi :F(b)c)$$

in $`Fc`$. One easily checks that this is consistent with the tensor-relations appearing in the definition of $`P_{c}^{}{}_{}{}^{}X(\mathrm{?})`$ as a tensor product. The map in the other direction sends $`xX(\mathrm{?},\varphi :F(\mathrm{?})c)`$ to the element in $`P_{c}^{}{}_{}{}^{}X`$ represented by the pair $`(x,\mathrm{id}_\mathrm{?})`$. One easily checks using the tensor relation that this map is surjective and $`v`$ composed with it is the identity on $`_{\varphi \mathrm{mor}_𝒞(F(\mathrm{?}),c)}X(\mathrm{?},\varphi :F(\mathrm{?})c)`$.

Since a disjoint union of weak equivalences of spaces is again a weak equivalence of spaces, $`v`$ sends weak equivalences to weak equivalences.

The contravariant $``$-space $`P_{c}^{}{}_{}{}^{}E(Fc)`$ is actually a contravariant $`𝒞^{\mathrm{op}}\times `$-space, where the covariant $`𝒞`$-structure comes from the functoriality in the object $`c`$ in $`𝒞`$.

By a homotopy $``$-$`CW`$-approximation of a $``$-space $`Y`$ we mean a weak homotopy equivalence $`Y^{}Y`$ of $``$-spaces where $`Y^{}`$ has the homotopy type of a $``$-$`CW`$-complex.

###### Lemma 3.5

Let $`F:𝒞`$ be a covariant functor and let $`X`$ be a contravariant $`𝒞`$-$`CW`$-complex. Then the map

$$X_𝒞P_{c}^{}{}_{}{}^{}E(Fc)X_𝒞P_{c}^{}{}_{}{}^{}=X_𝒞\mathrm{mor}_𝒞(F(),c))=F^{}X$$

is a homotopy $``$-$`CW`$-approximation.

Proof: Since $`X`$ is a $`𝒞`$-$`CW`$-complex and, by Lemma 3.4, $`P_{c}^{}{}_{}{}^{}E(Fc)P_{c}^{}{}_{}{}^{}`$ is a weak homotopy equivalence, Theorem 3.11 of  shows that $`X_𝒞P_{c}^{}{}_{}{}^{}E(Fc)X_𝒞P_{c}^{}{}_{}{}^{}`$ is weak homotopy equivalence.

To complete the proof we will show that for any contravariant $`𝒞`$-$`CW`$-complex $`Y`$ and any covariant functor $`Z`$ from $`𝒞`$ into the category of contravariant $``$-$`CW`$-complexes that the contravariant $``$-space $`Y_𝒞Z`$ has the homotopy type of a contravariant $``$-$`CW`$-complex. We first show by induction that for each $`n1`$ the $``$-space $`Y_n_𝒞Z`$ has the homotopy type of a contravariant $``$-$`CW`$-complex. The induction beginning $`n=1`$ is trivial because of $`Y_1_𝒞Z=\mathrm{}`$. In the induction step we can write $`Y_n`$ as a pushout of contravariant $`𝒞`$-spaces

$`\begin{array}{ccc}_{iI}S^n\times \mathrm{mor}_𝒞(\mathrm{?},c_i)& & Y_n\\ & & & & \\ _{iI}D^{n+1}\times \mathrm{mor}_𝒞(\mathrm{?},c_i)& & Y_{n+1}\end{array}`$

Since the functor $`_𝒞Z`$ has a right adjoint, it is compatible with pushouts and we obtain a pushout of contravariant $``$-spaces

$`\begin{array}{ccc}_{iI}S^n\times Z(c_i)& & Y_n_𝒞Z\\ & & & & \\ _{iI}D^{n+1}\times Z(c_i)& & Y_{n+1}_𝒞Z\end{array}`$

whose left vertical arrow is a cofibration of contravariant $``$-spaces. Since the contravariant spaces occuring in the left upper, right upper and left lower corner have the homotopy type of contravariant $``$-$`CW`$-complexes, the same is true for $`Y_{n+1}_𝒞Z`$. Since each inclusion $`Y_nY_{n+1}`$ is a cofibration of contravariant $`𝒞`$-$`CW`$-complexes, each inclusion $`Y_n_𝒞ZY_{n+1}_𝒞Z`$ is a cofibration of contravariant $``$-spaces which have the homotopy type of contravariant $``$-$`CW`$-complexes. Since $`Y=\underset{n\mathrm{}}{colim}Y_n`$, then $`Y_𝒞Z=\underset{n\mathrm{}}{colim}Y_n_𝒞Z`$. Hence $`Y_𝒞Z`$ and in particular $`X_𝒞P_{c}^{}{}_{}{}^{}E(Fc)`$ have the homotopy type of a contravariant $``$-$`CW`$-complex.

Now we can prove Theorem 3.2.
Proof: We will factor the assembly map:

$`H_q^{}(;F^{}𝐄)`$ $`\stackrel{}{}H_q^{}(F^{}E𝒞;F^{}𝐄)`$ w.h. invariance
$`\stackrel{}{}\pi _q((E𝒞_𝒞P_{c}^{}{}_{}{}^{}E(Fc))_{}F^{}𝐄)`$ Lemma 3.5
$`=\pi _q(E𝒞_𝒞(P_{c}^{}{}_{}{}^{}E(Fc)_{}F^{}𝐄))`$
$`=H_q^𝒞(;P_{c}^{}{}_{}{}^{}E(Fc)_{}F^{}𝐄)`$
$`=H_q^𝒞(;E(Fc)_{Fc}P_{c}^{}{}_{}{}^{}F^{}𝐄)`$ adjunction (1.1)
$`=H_q^𝒞(;E(Fc)_{Fc}F_{c}^{}{}_{}{}^{}Q_{c}^{}{}_{}{}^{}𝐄)`$
$`H_q^𝒞(;𝐄)`$
By assumption the map

$$\pi _i(E(Fc)_{Fc}F_{c}^{}{}_{}{}^{}Q_{c}^{}{}_{}{}^{}𝐄)\pi _i(𝐄(c))$$

is a $`𝒫`$-isomorphism for each $`in`$ and each object $`c`$ in $`𝒞`$. Now Theorem 3.2 follows from a standard comparison argument applied to the spectral homology sequence \[9, Theorem 4.7 (1)\].

Our motivation for studying assembly maps, as well as for creating the $`p`$-chain spectral sequence, is that the standard conjectures of high-dimensional topology (Farrell-Jones and Baum-Connes) can be expressed in terms of assembly maps. One problem is that applying the $`p`$-chain spectral sequence directly to $`\mathrm{Or}(G,𝒱𝒞)`$ can be quite unpleasant, since there are so many virtually cyclic subgroups. We wish to make several remarks aimed at applying Theorems 3.1 and 3.2 to the case where $`=\mathrm{Or}(G,)\mathrm{Or}(G,𝒢)=𝒞`$ where $`𝒢`$ are families of subgroups of $`G`$. The aim is to “simplify” a family to make computations easier. In the sequel *family* $``$ of subgroups of $`G`$ means a set of subgroups of $`G`$ which is closed under conjugation.

An example is the following corollary which appeared $`n=\mathrm{}`$ and $`𝒫=\mathrm{}`$ in \[12, Theorem A.10\] and for $`𝒫=\mathrm{}`$ in \[20, Theorem 2.3\].

###### Corollary 3.6

Let $`𝒢`$ be families of subgroups of $`G`$. Let $`𝐄:\mathrm{Or}(G,𝒢)\mathrm{SPECTRA}`$ be a covariant functor. For a subgroup $`H`$ of $`G`$, put $`_H=\{KK\text{ and }KH\}`$. Let $`n`$ be an integer and let $`𝒫`$ be a set of primes. Suppose that for all $`H𝒢`$ and for all $`qn`$, the assembly map

$$H_q^{\mathrm{Or}(H,_H)}(;𝐄)H_q^{\mathrm{Or}(H,𝒜)}(;𝐄)$$

is a $`𝒫`$-isomorphism. Then the assembly map

$$H_q^{\mathrm{Or}(G,)}(;𝐄)H_q^{\mathrm{Or}(G,𝒢)}(;𝐄)$$

is a $`𝒫`$-isomorphism for all $`qn`$.

Proof: First note that the condition in the statement of the lemma holds for all $`H𝒢`$, since for $`H`$, $`\mathrm{Or}(H,_H)`$ has a final object $`H/H`$.

Then Theorem 3.2 applies where $`F:=\mathrm{Or}(G,)𝒞=\mathrm{Or}(G,𝒢)`$, since for all $`H𝒢`$, there is an equivalence of categories

$`\mathrm{Or}(H,_H)`$ $`FG/H`$
$`H/K`$ $`(G/K,gKgH).\text{ }\text{}`$
We next apply the Cofinality Theorem.

###### Lemma 3.7

Let $`𝒢`$ be families of subgroups of $`G`$. Suppose that for every $`H𝒢`$ there exists $`K_H`$ with the properties that $`HK_H`$ and that for any $`L`$ with $`HL`$ we have $`LK_H`$, in other words, $`K_H`$ is the maximal element of the set $`\{LHL\}`$.

Then the inclusion functor $`I:\mathrm{Or}(G,)\mathrm{Or}(G,𝒢)`$ is cofinal.

Proof: We have to show for $`G/H\mathrm{Or}(G,𝒢)`$ that $`B(G/HI)`$ is contractible. Recall the well-known fact that $`B𝒞`$ is contractible if $`𝒞`$ contains an initial or final object $`c_0`$. If $`H`$ belongs to $``$, the object $`(G/H,\mathrm{id}:G/HG/H)`$ is an initial object in $`G/HI`$. It remains to show for $`H𝒢`$ that there exists a final object in $`G/HI`$.

Let $`K_H`$ be the maximal element of the set $`\{LHL\}`$. Let $`\mathrm{pr}_H:G/HG/K_H`$ be the canonical projection. It suffices to show for any $`L`$ and $`G`$-map $`\varphi :G/HG/L`$ that there is a $`G`$-map $`\overline{\varphi }:G/LG/K_H`$ satisfying $`\overline{\varphi }\varphi =\mathrm{pr}_H`$. Since $`\varphi `$ is surjective, $`\overline{\varphi }`$ is uniquely determined by this property and one easily checks that the object $`(G/H,\mathrm{pr}_H:G/HG/K_H)`$ is final in $`G/HI`$. Choose $`\gamma G`$ with $`\varphi (1H)=\gamma L`$. Then $`H\gamma L\gamma ^1`$. By assumption $`\gamma L\gamma ^1K_H`$. Hence we can define a $`G`$-map $`\overline{\varphi }:G/LG/K_H`$ by sending $`gL`$ to $`g\gamma ^1K_H`$. One easily checks $`\overline{\varphi }\varphi =\mathrm{pr}_H`$.

###### Corollary 3.8

Let $`𝒢`$ be family of all subgroups of $`G`$. Suppose that every element of $`𝒢`$ is contained in a unique element of $``$.

Then the inclusion functor $`I:\mathrm{Or}(G,)\mathrm{Or}(G,𝒢)`$ is cofinal.

The next result presents a systematically way to replace the family $`𝒢`$ by a smaller family $`𝒢^{}`$.

###### Corollary 3.9

Let $`𝒢`$ be a family of subgroups of $`G`$. Let $`𝒢^{}𝒢`$ be the subfamily consisting of all maximal elements of $`𝒢`$, together with all elements of $`𝒢`$ which are contained in no or in more than one maximal elements of $`𝒢`$.

Then the inclusion functor $`I:\mathrm{Or}(G,𝒢^{})\mathrm{Or}(G,𝒢)`$ is cofinal.

Let $`HG`$ be a normal subgroup of $`G`$. Let $`\{H\}`$ be the family consisting of a single subgroup, namely $`H`$, and let $`𝒮𝒰(H)`$ be the family of subgroups of $`H`$. Both are indeed closed under conjugation, since $`H`$ is normal. Let $`𝐄`$ be a covariant $`\mathrm{Or}(G,𝒮𝒰(H))`$-spectrum. The inclusion functor $`I:\mathrm{Or}(G,\{H\})\mathrm{Or}(G,𝒮𝒰(H))`$ is cofinal by Corollary 3.8. Hence the assembly map

$$H_q^{\mathrm{Or}(G,\{H\})}(;I^{}𝐄)\stackrel{}{}H_q^{\mathrm{Or}(G,𝒮𝒰(H))}(;𝐄)$$

is bijective by Theorem 3.1. Let $`Q`$ be the quotient group $`G/H`$. There is an obvious isomorphism $`\mathrm{Or}(G,\{H\})\mathrm{Or}(Q,𝒯)`$. It induces an isomorphism

$`H_q^{\mathrm{Or}(G,\{H\})}(;I^{}𝐄)`$ $`\stackrel{}{}`$ $`H_q^Q(;𝐄(G/H))`$
where we equip $`𝐄(G/H)`$ with the obvious $`Q`$-action and $`H_q^Q(;𝐄(G/H))`$ has been introduced in (2.9). Thus we rediscover the isomorphism from \[20, Lemma 2.6\]

$`H_q^{\mathrm{Or}(G,𝒮𝒰(H))}(;𝐄)`$ $`\stackrel{}{}`$ $`H_q^Q(;𝐄(G/H)).`$ (3.10)
In the sequel $`1`$ denotes the trivial group.

###### Definition 3.11

Let $`H`$ be a normal subgroup of $`G`$ and let $`Q`$ be the quotient group. Let $`𝐄:\mathrm{Or}(G,𝒮𝒰(H))\mathrm{SPECTRA}`$ be a covariant functor. Then the assembly map associated to the inclusion $`\mathrm{Or}(G,𝒯)\mathrm{Or}(G,𝒮𝒰(H))`$ gives using the identifications (2.9) and (3.10) a map

$$H_q^G(;𝐄(G/1))H_q^Q(;𝐄(G/H)).$$

It is called the partial assembly map, assembling along $`H`$.

This partial assembly map can be identified with the composition

$$\begin{array}{c}\pi _q\left(EG_+_G𝐄(G/1)\right)\stackrel{\pi _q(\mathrm{id}_G𝐄(\mathrm{pr}))}{}\pi _q\left(EG_+_G𝐄(G/H)\right)\hfill \\ \hfill =\pi _q\left((H\backslash EG)_+_Q𝐄(G/H)\right)\stackrel{\pi _q(f_+_Q\mathrm{id})}{}\pi _q\left(EQ_+_Q𝐄(G/H)\right),\end{array}$$

where $`\mathrm{pr}:G/1G/H`$ is the projection and $`f:H\backslash EGEQ`$ is the up to $`Q`$-homotopy unique $`Q`$-map.

We next wish to make an analysis of a few of the terms and differentials in the $`p`$-chain spectral sequence. Recall the Weyl group $`WH=NH/H`$. We leave the elementary proof of the next result to the reader.

###### Theorem 3.12

Let $`𝐄:\mathrm{Or}(G)\mathrm{SPECTRA}`$ be a covariant functor. Consider the $`p`$-chain spectral sequence when $`X=`$. Then

1. The summand of $`E_{0,q}^1`$ corresponding to a $`0`$-chain of the form $`\overline{G/H}`$ is isomorphic to

$$H_q^{WH}(;𝐄(G/H))=\pi _q(EWH_+_{WH}𝐄(G/H)),$$

where the $`WH`$-action on $`𝐄(G/H)`$ comes from the action of the automorphisms of $`G/H`$ in $`\mathrm{Or}(G)`$;
2. The summand of $`E_{1,q}^1`$ corresponding to a $`1`$-chain of the form $`(\overline{G/1},\overline{G/H})`$ is isomorphic to

$$H_q^{NH}(;𝐄(G/1))=\pi _q(ENH_+_{NH}𝐄(G/1)),$$

where the $`NH`$-action on $`𝐄(G/1)`$ is the restriction of the $`G`$-action which is given by the identification $`G=\mathrm{aut}_{\mathrm{Or}(G)}(G/1)`$;
3. The component of $`d_{1,q}^1`$ corresponding to omitting $`\overline{G/1}`$ from a $`1`$-chain of the form $`(\overline{G/1},\overline{G/H})`$ can be identified with the partial assembly map (see Definition 3.11 )

$$H_q^{NH}(;𝐄(G/1))H_q^{WH}(;𝐄(G/H)),$$

for $`HNH`$ and $`𝐄`$ considered as covariant functor $`\mathrm{Or}(NH,𝒮𝒰(H))\mathrm{SPECTRA}`$ by sending $`NH/L`$ to $`𝐄(G/L)`$.

If there are no $`p`$-chains for $`p>1`$, then the $`p`$-chain spectral sequence gives a long exact sequence.

###### Corollary 3.13

Let $``$ be a family of subgroups of $`G`$. Suppose that any $`G`$-map $`G/HG/K`$ is bijective, provided $`H,K`$, $`H1`$, $`K1`$. Let $`\mathrm{\Lambda }`$ be the set of conjugacy classes $`(H)`$ of non-trivial subgroups in $``$. Let $`𝐄:\mathrm{Or}(G,)\mathrm{SPECTRA}`$ be a functor. Then there is a long exact sequence

$$\begin{array}{c}\mathrm{}\underset{(H)\mathrm{\Lambda }}{}H_q^{NH}(;𝐄(G/1))\hfill \\ \hfill \stackrel{pa,i}{}\left(\underset{(H)\mathrm{\Lambda }}{}H_q^{WH}(;𝐄(G/H))\right)H_q^G(;𝐄(G/1))\\ \hfill \stackrel{ha}{}H_q^{\mathrm{Or}(G,)}(;𝐄)\underset{(H)\mathrm{\Lambda }}{}H_{q1}^{NH}(;𝐄(G/1))\stackrel{pa,i}{}\mathrm{}\end{array}$$

Here the map $`pa`$ is a sum of partial assembly maps, $`i`$ is a change of group map associated to the inclusion $`NHG`$, and $`a`$ is the assembly map induced by the inclusion of categories $`I:\mathrm{Or}(G,𝒯)\mathrm{Or}(G,)`$ under the identification $`H_q^{\mathrm{Or}(G,𝒯)}(;I^{}𝐄)=H_q^G(;𝐄(G/1))`$. The $`NH`$-action on $`𝐄(G/1)`$ is the restriction of the $`G=\mathrm{aut}_{\mathrm{Or}(G)}(G/1)`$-action and the $`WH`$-action on $`𝐄(G/H)`$ comes from the identification $`WH=\mathrm{aut}_{\mathrm{Or}(G)}(G/H)`$.

For the reader’s convenience we restate the exact sequence appearing Corollary 3.13 in more familiar terms given by homotopy groups

$$\begin{array}{c}\mathrm{}\underset{(H)}{}\pi _q(ENH_+_{NH}𝐄(G/1))\hfill \\ \hfill \stackrel{pa,i}{}\left(\underset{(H)}{}\pi _q(EWH_{WH}𝐄(G/H))\right)\pi _q(EG_+_G𝐄(G/1))\\ \hfill \stackrel{ha}{}H_q^{\mathrm{Or}(G,)}(;𝐄)\underset{(H)}{}\pi _{q1}(ENH_+_{NH}𝐄(G/1))\stackrel{pa,i}{}\mathrm{}\end{array}$$

An example of family $``$ appearing in Corollary 3.13 is the family $`𝒩`$ of finite subgroups of a group $`G`$, provided every non-trivial finite subgroup of $`G`$ has prime order. We will see other examples in Section 4.

## 4 Examples

In this section we illustrate how the methods of the preceeding sections can be used to compute $`K_q(G)`$, $`L_q^{\mathrm{}}(G)`$ and $`K_q(C_r^{}(G))`$ for certain discrete groups $`G`$ explicitly.

Let $`𝒩`$ be the subfamily of $`𝒩`$ consisting of elements in $`𝒩`$ which are maximal in $`𝒩`$. Consider the following assertions concerning $`G`$:

* Every non-trivial finite subgroup of $`G`$ is contained in a unique maximal finite subgroup;
* $`M𝒩NM=M`$;
* If $`V`$ is an infinite virtually cyclic subgroup of $`G`$, then $`V`$ is isomorphic to $``$;
* The Baum-Connes Conjecture for $`G`$ is true, i.e. the assembly map

$$H_q^{\mathrm{Or}(G,𝒩)}(;𝐊^{\mathrm{top}})H_q^{\mathrm{Or}(G)}(;𝐊^{\mathrm{top}})=K_q(C_r^{}(G))$$

is bijective for all $`q`$;
* The Isomorphism Conjecture of Farrell-Jones for algebraic $`K`$-theory is true for $`G`$ in the range $`qN`$ for a fixed element $`N\{\mathrm{}\}`$, i.e. the assembly map

$$H_q^{\mathrm{Or}(G,𝒱𝒞)}(;𝐊^{\mathrm{alg}})H_q^{\mathrm{Or}(G)}(;𝐊^{\mathrm{alg}})=K_q(G)$$

is bijective for $`q`$ with $`qN`$;
* The Isomorphism Conjecture of Farrell-Jones for algebraic $`L`$-theory is true for $`G`$, i.e. the assembly map

$$H_q^{\mathrm{Or}(G,𝒱𝒞)}(;𝐋^{\mathrm{}})H_q^{\mathrm{Or}(G)}(;𝐋^{\mathrm{}})=L_q^{\mathrm{}}(G)$$

is bijective for $`q`$;
* The Isomorphism Conjecture of Farrell-Jones for algebraic $`L`$-theory is true for $`G`$ after inverting $`2`$ , i.e. the assembly map

$$H_q^{\mathrm{Or}(G,𝒱𝒞)}(;𝐋^{\mathrm{}})H_q^{\mathrm{Or}(G)}(;𝐋^{\mathrm{}})=L_q^{\mathrm{}}(G)$$

is bijective after inverting $`2`$ for all $`q`$..

Denote by $`\underset{¯}{E}G`$ *the classifying space for proper $`G`$-actions*. It is a $`G`$-$`CW`$-complex such that all of its isotropy groups are finite and the fixed point set of each finite subgroup of $`G`$ is contractible. It has the universal property that for any $`G`$-$`CW`$-complex $`X`$ with all isotropy groups finite, there is a $`G`$-map from $`X`$ to $`\underset{¯}{E}G`$, and any two $`G`$-maps from $`X`$ to $`\underset{¯}{E}G`$ are $`G`$-homotopic. This property characterizes $`\underset{¯}{E}G`$ up to $`G`$-homotopy.

For a group $`H`$, define $`\stackrel{~}{K}_q(H)`$ to be the cokernel of the map $`K_q([1])K_q(H)`$ induced by the inclusion of the trivial subgroup $`1`$ into $`H`$. Define $`\stackrel{~}{L}^{\mathrm{}}(H)`$, $`\stackrel{~}{K}_q(C_r^{}(H))`$ and $`\stackrel{~}{K}_q(BH)`$ analogously.

###### Theorem 4.1

Let $`A`$ be a ring such that the order of any finite subgroup of $`G`$ is invertible in $`A`$. Let $`\mathrm{\Lambda }`$ be the set of conjugacy classes (H) of non-trivial subgroups belonging to $`𝒩`$. Then:

1. If $`G`$ satisfies (M), (NM) and (BC), then there are exact sequences of topological $`K`$-groups

$$\begin{array}{c}\mathrm{}\underset{(H)\mathrm{\Lambda }}{}K_q(BH)\left(\underset{(H)\mathrm{\Lambda }}{}K_q(C_r^{}(H))\right)K_q(BG)\hfill \\ \hfill K_q(C_r^{}(G))\underset{(H)\mathrm{\Lambda }}{}K_{q1}(BH)\mathrm{}\end{array}$$

and

$$0\underset{(H)\mathrm{\Lambda }}{}\stackrel{~}{K}_q(C_r^{}(H))K_q(C_r^{}(G))K_q(G\backslash \underset{¯}{E}G)0.$$

The maps $`K_q(BH)K_q(C_r^{}(H))`$ and $`K_q(BG)K_q(C_r^{}(G))`$ are the assembly maps associated to $`𝒯𝒜`$. The maps $`K_q(BH)K_q(BG)`$, $`K_q(C_r^{}(H))K_q(C_r^{}(G))`$ and $`\stackrel{~}{K}_q(C_r^{}(H))K_q(C_r^{}(G))`$ are induced by the inclusion $`HG`$. The second sequence splits after applying $`_{}A`$;
2. If $`G`$ satisfies (M), (NM), (VCL) and (FJL), then there are exact sequences of algebraic $`L`$-groups

$$\begin{array}{c}\mathrm{}\underset{(H)\mathrm{\Lambda }}{}H_q(BH;𝐋())\left(\underset{(H)\mathrm{\Lambda }}{}L_q^{\mathrm{}}(H)\right)H_q(BG;𝐋())\hfill \\ \hfill L_q^{\mathrm{}}(G)\underset{(H)\mathrm{\Lambda }}{}H_{q1}(BH;𝐋())\mathrm{}\end{array}$$

and

$$\begin{array}{c}\mathrm{}H_{q+1}(G\backslash \underset{¯}{E}G;𝐋())\underset{(H)\mathrm{\Lambda }}{}\stackrel{~}{L}_q^{\mathrm{}}(H)\hfill \\ \hfill L_q^{\mathrm{}}(G)H_q(G\backslash \underset{¯}{E}G;𝐋())\mathrm{}\end{array}$$

where $`𝐋()=𝐋^{\mathrm{}}()`$ is the algebraic $`L`$-theory-spectrum associated to the ring $``$. The maps $`H_q(BH;𝐋())L_q^{\mathrm{}}(H)`$ and $`H_q(BG;𝐋())L_q^{\mathrm{}}(G)`$ are the assembly maps associated to $`𝒯𝒜`$. The maps and $`H_q(BH;𝐋())H_q(BG;𝐋())`$, $`L_q^{\mathrm{}}(H)L_q^{\mathrm{}}(G)`$ and $`\stackrel{~}{L}_q^{\mathrm{}}(H)L_q^{\mathrm{}}(G)`$ are induced by the inclusion $`HG`$. The second sequence splits after applying $`_{}A`$, more precisely

$$L_q^{\mathrm{}}(G)_{}AH_q(G\backslash \underset{¯}{E}G;𝐋())_{}A$$

is a split-surjective map of $`A`$-modules;
3. If $`G`$ satisfies (M), (NM), and (FJL\[1/2\]), then the conclusion of assertion (b) still holds if we invert $`2`$ everywhere. Moreover, the second sequence reduces to a short exact sequence

$$0\underset{(H)\mathrm{\Lambda }}{}\stackrel{~}{L}_q(H)\left[\frac{1}{2}\right]L_q(G)\left[\frac{1}{2}\right]H_q(G\backslash \underset{¯}{E}G;𝐋()\left[\frac{1}{2}\right]0.$$

which splits after applying $`_{\left[\frac{1}{2}\right]}A\left[\frac{1}{2}\right]`$.

(Recall that the decorations in $`L`$-theory do not matter after inverting $`2`$);
4. If $`G`$ satisfies (M), (NM), and (FJKN), then there is for $`q,qN`$ an isomorphism of Whitehead groups

$$\underset{(H)\mathrm{\Lambda }}{}\mathrm{Wh}_q(H)\stackrel{}{}\mathrm{Wh}_q(G),$$

where $`\mathrm{Wh}_q(H)\mathrm{Wh}_q(G)`$ is induced by the inclusion $`HG`$.

Proof: (a) The inclusion functor $`\mathrm{Or}(G,𝒯𝒩)\mathrm{Or}(G,𝒩)`$ is cofinal because of assumption (M) and Corollary 3.9. Lemma 3.1 implies that the assembly map associated to the inclusion $`I:\mathrm{Or}(G,𝒯𝒩)\mathrm{Or}(G,𝒩)`$

$$H_q^{\mathrm{Or}(G,𝒯𝒩)}(;𝐊^{\mathrm{top}})\stackrel{}{}H_q^{\mathrm{Or}(G,𝒩)}(;𝐊^{\mathrm{top}})$$

is bijective for $`q`$. Now the first long exact sequence follows from assumptions (NM) and (BC) and Corollary 3.13.

From \[20, Lemma 2.8 (c)\] we obtain an exact sequence

$$\begin{array}{c}\mathrm{}K_{q+1}(G\backslash \underset{¯}{E}G)H_q^{\mathrm{Or}(G,𝒩)}(;\stackrel{~}{𝐊}^{\mathrm{top}})\hfill \\ \hfill H_q^{\mathrm{Or}(G,𝒩)}(;𝐊^{\mathrm{top}})K_q(G\backslash \underset{¯}{E}G)\mathrm{}\end{array}$$

such that the map

$$H_q^{\mathrm{Or}(G,𝒩)}(;𝐊^{\mathrm{top}})_{}AK_q(G\backslash \underset{¯}{E}G)_{}A$$

is a split surjective maps of $`A`$-modules. Here $`\stackrel{~}{𝐊}^{\mathrm{top}}`$ is a covariant $`\mathrm{Or}(G)`$-spectrum satisfying $`\pi _q(\stackrel{~}{𝐊}^{\mathrm{top}}(G/H))=\stackrel{~}{K}_q(C_r^{}(H))`$. Since $`\pi _q(\stackrel{~}{𝐊}^{\mathrm{top}}(G/1))`$ vanishes for all $`q`$, we obtain from Corollary 3.9, Corollary 3.13 and assumption (NM) an isomorphism

$$\underset{(H)\mathrm{\Lambda }}{}\stackrel{~}{K}_q(C_r^{}(H))\stackrel{}{}H_q^{\mathrm{Or}(G,𝒩)}(;\stackrel{~}{𝐊}^{\mathrm{top}})$$

Thus we obtain a long exact sequence which splits after applying $`_{}A`$

$$\mathrm{}K_{q+1}(G\backslash \underset{¯}{E}G)\underset{(H)\mathrm{\Lambda }}{}\stackrel{~}{K}_q(C_r^{}(H))K_q(C_r^{}(G))K_q(G\backslash \underset{¯}{E}G)\mathrm{}$$

Since $`\stackrel{~}{K}_q(C_r^{}(H))`$ is a finitely generated torsionfree abelian group, assertion (a) follows.
(b) The proof is analogous to the one of assertion (a) except that one additionally has to prove that the assembly map associated to the inclusion $`\mathrm{Or}(G,𝒩)\mathrm{Or}(G,𝒱𝒞)`$ induces an isomorphism

$$H_q^{\mathrm{Or}(G,𝒩)}(;𝐋^{\mathrm{}})\stackrel{}{}H_q^{\mathrm{Or}(G,𝒩)}(;𝐋^{\mathrm{}}).$$

Because of Corollary 3.6 and assumption (VCL) it suffices to check that the following assembly map is an isomorphism

$$H_q^{\mathrm{Or}(,𝒯)}(;𝐋^{\mathrm{}})\stackrel{}{}H_q^{\mathrm{Or}()}(;𝐋^{\mathrm{}})$$

This follows from the Shaneson splitting \[28, Theorem 5.1\], the Rothenberg sequence and the fact that $`\stackrel{~}{K}_i([])`$ for $`i0`$ and $`\mathrm{Wh}()`$ vanish.
(c) The proof is analogous to the one of assertion (b) using the conclusion from  that for any virtually cyclic group $`V`$ the assembly map

$$H_q^{\mathrm{Or}(V,𝒩)}(;𝐋^{\mathrm{}})\left[\frac{1}{2}\right]\stackrel{}{}H_q^{\mathrm{Or}(V)}(;𝐋^{\mathrm{}})\left[\frac{1}{2}\right]$$

is bijective, and the conclusion from \[27, Proposition 22.34 on page 253\] that $`L_q(H)\left[\frac{1}{2}\right]`$ is a torsionfree $`\left[\frac{1}{2}\right]`$\- module for a finite group $`H`$.
(d) There are canonical identifications \[20, Lemma 2.4\]

$`H_q^{\mathrm{Or}(G)}(_{\mathrm{Or}(G)},_𝒯;𝐊^{\mathrm{alg}})`$ $`=`$ $`\{\begin{array}{ccc}\mathrm{Wh}_q(G)\hfill & & q2;\hfill \\ \mathrm{Wh}(G)=\mathrm{Wh}_1(G)\hfill & & q=1;\hfill \\ \stackrel{~}{K}_0(G)=\mathrm{Wh}_0(G)\hfill & & q=0;\hfill \\ K_q(G)=\mathrm{Wh}_q(G)\hfill & & q1,\hfill \end{array}`$
where $`_𝒯_{\mathrm{Or}(G)}`$ is the contravariant sub-$`\mathrm{Or}(G)`$-space which sends $`G/1`$ to the one-point space and $`G/H`$ for $`H1`$ to the empty set. The assembly map

$$H_p^{\mathrm{Or}(V,𝒩)}(;𝐊^{\mathrm{alg}})\stackrel{}{}H_p^{\mathrm{Or}(V)}(;𝐊^{\mathrm{alg}})$$

is an isomorphism for all $`q`$ if $`V`$ is $``$ or $`/2\times /2`$ (see \[20, Lemma 2.5\]). Let $`VG`$ be an infinite virtually cyclic subgroup. Any infinite virtually cyclic group $`V`$ admits an epimorphism with finite kernel $`F`$ to $``$ or $`/2/2`$. Let $`M`$ be a maximal finite subgroup containing $`F`$. For $`gNF`$ we have $`FMgMg^1`$. If $`F`$ is non-trivial, assumption (M) and (NM) imply $`gNM=M`$ which contradicts $`VNF`$. This shows that $`V`$ is isomorphic to $``$ or $`/2/2`$. Hence the assembly map

$$H_q^{\mathrm{Or}(G,𝒯𝒩)}(;𝐊^{\mathrm{alg}})\stackrel{}{}H_q^{\mathrm{Or}(G)}(;𝐊^{\mathrm{alg}})=K_q(G)$$

is an isomorphism for $`qN`$ by assumption (FJKN) and Corollary 3.6. This implies by a Five-Lemma argument that there is for $`qN`$ an isomorphism

$$H_q^{\mathrm{Or}(G,𝒯𝒩)}(_{\mathrm{Or}(G,𝒯𝒩)},_𝒯;𝐊^{\mathrm{alg}})\stackrel{}{}\mathrm{Wh}_q(G).$$

Now apply the $`p`$-chain spectral sequence (for pairs) to the source of this map. Notice that here the $`E^1`$-term consists only of contributions by $`0`$-chains associated to elements $`H𝒩`$. This finishes the proof of Theorem 4.1.

###### Remark 4.3

The claims for the topological $`K`$-theory of the complex reduced $`C^{}`$-algebra carry directly over to the real reduced $`C^{}`$-algebra.

One can also replace in the computations of algebraic $`K`$ and $`L`$-theory the ring $``$ by some commutative ring $`R`$ with unit. If $`R`$ contains $``$, then the assembly map

$$H_p^{\mathrm{Or}(V,𝒩)}(;𝐊^{\mathrm{alg}})H_p^{\mathrm{Or}(V)}(;𝐊^{\mathrm{alg}})=K_q(RV)$$

is bijective for any virtually cyclic group $`V`$, essentially because $`RV`$ is a regular ring for any virtually cyclic group $`V`$ and $`R`$ and hence all Nil-terms vanish. By Corollary 3.6 the assembly map

$$H_p^{\mathrm{Or}(G,𝒩)}(;𝐊^{\mathrm{alg}})H_p^{\mathrm{Or}(G,𝒱𝒞)}(;𝐊^{\mathrm{alg}})$$

is bijective and one is for the computation of $`K_q(RG)`$ in the same fortunate situation as in $`K_p(C_r^{}(G))`$, where it suffices to consider $`𝒩`$ instead of $`𝒱𝒞`$.

Now we give some groups for which Theorem 4.1 applies:

* Extensions $`1^nGF1`$ for finite $`F`$ such that the conjugation action of $`F`$ on $`^n`$ is free outside $`0^n`$.
The conditions (M), (NM), (BC) and (FJK1) and (FJL\[1/2\]) are satisfied by \[20, Theorem 1.2, Lemma 6.1 and Lemma 6.3\]. Hence the conclusions appearing in assertions (a), (c) and (d) for $`N=1`$ of Theorem 4.1 holds for $`G`$. This has already been proved in \[20, Theorem 0.2\], where further information is given. The $`L`$-groups of $`F`$ are computed in \[20, Remark 6.4\] for all decorations. There a term UNIL appears which has meanwhile been computed by Connolly and Davis ;
* Fuchsian groups $`F`$
The conditions (M), (NM), (BC) and (FJK1) and (FJL\[1/2\]) are satisfied for $`F`$ (see for instance \[20, Theorem 1.2 and Lemma 4.5\]). Hence the conclusions appearing in assertions (a), (c) and (d) for $`N=1`$ hold for $`F`$. The $`L`$-groups of $`F`$ are computed in \[20, Remark 4.10\] for all decorations. There a term UNIL appears which has meanwhile been computed by Connolly and Davis . The computation of $`\mathrm{Wh}_q(F)`$ for a Fuchsian groups $`F`$ for $`q1`$ was independently carried out in  and  using the $`p`$-chain spectral sequence. In  the larger class of cocompact planar groups (sometimes also called cocompact NEC-groups) is treated. The $`p`$-chain spectral sequence was applied in  to prove the Gromov-Lawson-Rosenberg positive scalar curvature conjecture for manifolds whose fundamental group is Fuchsian;
* One-relator groups $`G`$
Let $`G`$ be a one-relator group. Let $`G=(g_i)_{iI}r`$ be a presentation with one relation. Then (BC) is satisfied . We do not know whether (FJKN) or (FJL) hold for $`G`$ in general, and we will assume in the discussion below that they do.

We begin with the case, where $`G`$ is torsionfree. Then there is a $`2`$-dimensional model for $`BG`$ which is given by the $`2`$-dimensional $`CW`$-complex associated to any presentation with one generator \[21, Chapter III §§9 -11\]. We obtain isomorphisms

$`K_p(BG)`$ $`\stackrel{}{}`$ $`K_p(C_r^{}(G));`$
$`H_q(BG;𝐊())`$ $`\stackrel{}{}`$ $`K_p(G);`$
$`H_q(BG;𝐋())`$ $`\stackrel{}{}`$ $`L_p(G);`$
Now suppose that $`G`$ is not torsionfree. Let $`F`$ be the free group with basis $`\{g_iiI\}`$. Then $`r`$ is an element in $`F`$. There exists an element $`sF`$ and an integer $`m2`$ such that $`r=s^m`$, the cyclic subgroup $`C`$ generated by the class $`\overline{s}G`$ represented by $`s`$ has order $`m`$, any finite subgroup of $`G`$ is subconjugated to $`C`$ and for any $`gG`$ the implication $`g^1CgC1gC`$ holds. These claims follows from \[21, Propositions 5.17, 5.18 and 5.19 in II.5 on pages 107 and 108\]. Hence $`G`$ satisfies (M) and (NM) and up to conjugation there is precisely one maximal finite subgroup, namely $`C`$. Hence the conclusion in assertion (a) of Theorem 4.1 holds for $`G`$ (see also ). If we assume (FJL\[1/2\]) or (FJKN) respectively, this is also true for assertions (c), and (d) of Theorem 4.1.

From now on suppose that (FJL) holds and that $`m=|C|`$ has odd order. Then assertion (b) of Theorem 4.1 is true. Since the $`\left[\frac{1}{2}\right]`$module $`\stackrel{~}{L}_q^{\mathrm{}}(C)\left[\frac{1}{2}\right]`$ is finitely generated free, we get a short exact sequence

$$0\stackrel{~}{L}_q^{\mathrm{}}(C)L_q^{\mathrm{}}(G)H_q(G\backslash \underset{¯}{E}G;𝐋())0,$$

which splits after inverting $`m`$. One easily checks that it induces a short exact sequence

$$0L_q^{\mathrm{}}(C)L_q^{\mathrm{}}(G)H_q(G\backslash \underset{¯}{E}G,;𝐋())0,$$

which splits after inverting $`m`$.

We mention that there is a $`2`$-dimensional $`CW`$-model for $`G\backslash \underset{¯}{E}G`$ such that there is precisely one $`0`$-cell, precisely one $`2`$-cell and there is a bijective correspondence between the $`1`$-cells and the index set $`I`$. This follows from \[7, Exercise 2 (c) II. 5 on page 44\]. The Atiyah-Hirzebruch spectral sequence yields isomorphisms

$$H_q(G\backslash \underset{¯}{E}G,;𝐋())\{\begin{array}{ccc}H_2(G\backslash \underset{¯}{E}G;/2)\hfill & & q=0(4);\hfill \\ H_1(G\backslash \underset{¯}{E}G;)\hfill & & q=1(4);\hfill \\ H_2(G\backslash \underset{¯}{E}G;)\hfill & & q=2(4);\hfill \\ H_1(G\backslash \underset{¯}{E}G;/2)\hfill & & q=3(4).\hfill \end{array}$$

We mention without giving the proofs the following facts. The abelian groups $`H_2(G\backslash \underset{¯}{E}G;)`$ and $`H_2(G\backslash \underset{¯}{E}G;/2)`$ vanish and there is an exact sequence $`0H_1(C;)H_1(BG;)H_1(G\backslash \underset{¯}{E}G;)0`$, provided that the relation $`rF`$ does not belong to the commutator $`[F,F]`$. We have $`H_2(G\backslash \underset{¯}{E}G;)`$ and $`H_2(G\backslash \underset{¯}{E}G;/2)/2`$, and $`H_1(BG;))H_1(G\backslash \underset{¯}{E}G;)`$ is a free abelian group of rank $`|I|1`$, provided that $`r[F,F]`$.

There are a number of computations where $`G`$ is a two-dimensional crystallographic group. The groups $`\mathrm{Wh}_q(G)`$ for $`q1`$ were computed in , the groups $`K_0(G)`$ were computed in , and the groups $`K_q(C_{}^r(G))`$ for $`q`$ were computed in  (see also  and ). These computations were done in a unified way in \[20, Section 5\], as well as $`\mathrm{Wh}_2(G)`$ and $`L_q(G)\left[\frac{1}{2}\right]`$ for $`q`$.

Addresses
James F. Davis Wolfgang Lück
Department of Mathematics Fachbereich für Mathematik und Informatik
Indiana University Westfälische Wilhelms-Universität
Blomington, IN 47405 48149 Münster
U.S.A. Einsteinstr. 62
Germany
email: jfdavis@ucs.indiana.edu lueck@topologie.math.uni-muenster.de
Fax-number: 812 855-0046 0251 8338370
http://www.indiana.edu/`~`jfdavis/ http://wwwmath.uni-muenster.de/
math/u/lueck/