denotes isomorphism after p-completion, and the sum is taken over
conjugacy classes of nontrivial subgroups H G.
Notice that this theorem says that the Tate homology of :E00
pends at least p-adically only on the singular subspace of X. In particular, if X
is a free G-space, the p-adic Tate homology of its suspension spectrum is zero.
We now turn our attention to the case in which G
the circle group,
and to the proof of 1.1(
Our machinery actually leads to the definition of
generalized cyclic homology theories, and we will make some observations about
is a finite G-cW complex. As observed in (DHK] and (J], the
has a natural cyclic structure. We will write
HC .. (X),
respectively to denote the cyclic, negative cyclic, and
periodic cyclic homology groups of the cyclic module
S .. (X).
We refer the reader
to (Go2] and (J] for a description of these theories. It has been proved by
Goodwillie (Gol] that the groups
are the homotopy groups of the
X+)· We will now describe the other two types of cyclic
homology in terms of the homotopy groups of spectra.
4.4. There is
This lemma is proved in two steps. First, by (DHK] (Gol] we may
assume without loss of generality that
is the realization of a cyclic set [(.
By applying the free abelian group functor Z
from the category of cyclic
sets to the category of cyclic modules ( cf. §3) and then taking realization, we
end up with an
1-space IZ ®
which is homotopy equivalent to the zero
(H .t\ X+). Moreover we can make this equivalence a weak equivariant
equivalence, and in particular produce an equivalence of infinite loop spaces
The construction of
is carried out using the techniques in the proof of 1.1(2).
The second step in the proof is then to show that
is isomorphic in
positive dimensions to
or equivalently to the negative cyclic homology
of the cyclic module Z®K. This is done by recalling the second quadrant double
chain complex for computing HC; constructed in
One compares this double
complex with the one obtained by first giving ES1 a cyclic decomposition and
then using this to construct a cocyclic cyclic abelian group Hoiilcyc( ES1
whose total space is IZ ®
Here "HOIIlcyc" denotes morphisms preserving
the cyclic structure. An argument analogous to the one which was used to
prove 1.1(2) proves that in positive total dimensions the above double complex
1r,.(IZ ® Klh 51
1r,.(H .t\ X+).
As in the proof of 1.1(2), the restriction to positive dimensions can be removed
by working with arbitrarily high suspensions
This completes the proof of