Algebras over equivariant sphere spectra (Q678837)

For a compact Lie group \(G\) a \(G\)-universe is a real inner product space \(U \cong R^\infty\) on which \(G\) acts through linear isometries. The trivial representation occurs in \(U\), and each irreducible representation that occurs in \(U\) occurs infinitely often. The methods of [\textit{A. D. Elmendorf}, \textit{I. Kriz}, \textit{M. A. Mandell} and \textit{J. P. May}, Rings, modules, and algebras stable homotopy theory, Math. Surv. Monogr. 47 (1997)] extend to the equivariant case. There is an associative, commutative smash product in the category of \(S_U\)-module spectra \(G{\mathcal M}_{S_U}\) with unit \(S_U\), the sphere \(G\)-spectrum. The paper addresses the problem to construct monoidal change of universe functors. The central results are (1) For \(G\)-universes \(U\) and \(V\) there is an induction functor inducing a monoidal equivalence \(I^V_U: G{\mathcal M}_{S_U} \to G {\mathcal M}_{S_V}\). (2) If \(f:U\to V\) is a \(G\)-linear isometry, there is a natural map \(\alpha: f_*M \to I^V_UM\) of \(V\)-indexed \(G\)-spectra which is a homotopy equivalence for a wide class of \(S_U\)-modules and (commutative) \(S_U\)-algebras \(M\) \((f_*\) is the standard change of universe functor (see [Elmendorf, Kriz, Mandell, May, loc. cit.]). This shows that there is a point-set level monoidal change of universe functor that becomes equivalent to \(f_*\) on passage to the stable homotopy category.