Dualizing spectra and fibrations

John R. Klein

Wayne State University, Detroit, MI 48202 USA klein@math.wayne.edu

Let tex2html_wrap_inline41 be the geometric realization of a simplicial group. One then has the ``group ring over the sphere spectrum'' tex2html_wrap_inline43, which is the spectrum with G-action whose j-th space is tex2html_wrap_inline49, where G acts by left translation. The dualizing spectrum tex2html_wrap_inline53 is obtained by taking the homotopy fixed points of G acting on tex2html_wrap_inline43.

If X is a connected based space, we may identify X with BG up to homotopy for some G (using a suitable group model for the loop space of X). In this way, we can associate a tex2html_wrap_inline53 to any given connected based space tex2html_wrap_inline71. One reason for considering tex2html_wrap_inline53 is that it detects Poincar'e duality:

Fact. Assume X is homotopy finite. Then X is a Poincar'e duality space of dimension n if and only if tex2html_wrap_inline53 is the (-n)-sphere spectrum.

This can be applied to show that the assignment tex2html_wrap_inline85 (with tex2html_wrap_inline87) is multiplicative for fibrations of connected homotopy finite spaces. As a corollary, one has a homotopy theoretic solution to a problem posed by C.T. C. Wall:


thm27

This last statement can be used in turn to give a new proof (actually a slight strengthening) of a result of W. Browder:


thm29

Other applications. This circle of ideas has connections with the transfer and Tate cohomology: right translation together with inversion provides another G-action on tex2html_wrap_inline43 which induces a G-action on tex2html_wrap_inline53. If E is any spectrum with G-action, then it is possible to concoct in an elementary way a ``norm'' map
displaymath111
for any G. This map is a weak equivalence whenever E is a homotopy finite spectrum with G-action, or whenever BG is homotopy finite. It is not a weak equivalence in general.

If tex2html_wrap_inline41 is such that tex2html_wrap_inline123 is the total singular complex of a compact Lie group, then it turns out that tex2html_wrap_inline53 is equivariantly weak equivalent to the suspension spectrum of tex2html_wrap_inline127 the one point compactification of the adjoint representation of G. In this case, one obtains the usual norm map whose cofiber is the Tate construction for G acting on E.