Commuting homotopy limits and smash products (Q1431752): Difference between revisions

The following question represents the class of problems investigated in this paper. Let \(\mathbf{E}\) be a small diagram of spectra, and \(X\) a space. Under what conditions is the natural map \[ X_+ \wedge \text{holim\,} \mathbf{E} \to \text{holim} (X_+ \wedge \mathbf{E}) \] a weak homotopy equivalence? The authors show this to be true when three conditions hold simultaneously: the spectra in the diagram are uniformly bounded below, the homology of \(X\) is of finite type in each degree, and the category which indexes \(\mathbf{E}\) is finite-dimensional in a suitable sense. The above question is actually investigated in a much more general context, where the space \(X\) has a given action of a discrete group \(G\), and the homotopy limit and smash product are replaced by equivariant analogues. The theory is motivated by forthcoming applications to generalized assembly maps in algebraic \(K\)-theory.