Splitting theorems for certain equivariant spectra

Authors
Citation
Lg. Lewis, Splitting theorems for certain equivariant spectra, MEM AM MATH, 144(686), 2000, pp. 1
Citations number
30
Categorie Soggetti
Mathematics
Journal title
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY
ISSN journal
00659266 → ACNP
Volume
144
Issue
686
Year of publication
2000
Database
ISI
SICI code
0065-9266(200003)144:686<1:STFCES>2.0.ZU;2-B
Abstract
Let G be a compact Lie group, II: be a normal subgroup of G, G = G/II, X be a G-space and Y be a G-space. There are a number of results in the literat ure giving a direct sum decomposition of the group [Sigma(infinity)X, Sigma (infinity)Y](G) of equivariant stable homotopy classes of maps from X to Y. Here, these results are extended to, a decomposition of the group [B, C](G ) of equivariant stable homotopy classes of maps from an arbitrary finite G -CW spectrum B to any G-spectrum C carrying a geometric splitting (a new ty pe of structure introduced here). Any naive G-spectrum, and any spectrum de rived from such by a change of universe functor, carries a geometric splitt ing. Our decomposition of [B, C]G is a consequence of the fact that, if C i s geometrically split and (J',J) is any reasonable pair of families of subg roups of G, then there is a splitting of the cofibre sequence (EJ+ boolean AND C)(II) --> (EJ'(+)boolean AND C)(II) --> (E(J', J) boolean AND C)(II) constructed from the universal spaces for the families. Both the decomposit ion of the group [B, C](G) and the splitting of the cofibre sequence are pr oven here not just for complete G-universes, but for arbitrary G-universes. Various technical results about incomplete G-universes that should be of in dependent interest are also included in this paper. These include versions of the Adams and Wirthmuller isomorphisms for incomplete universes. Also in cluded is a vanishing theorem for the fixed-point spectrum (E(J',J) boolean AND C)(II) which gives computational force to the intuition that what real ly matters about a G-universe U is which orbits G/H embed as G-spaces in U.