Skip to main content
1 of 2
Dylan Wilson
  • 13.5k
  • 9
  • 64
  • 108

Why are equivariant homotopy groups not RO(G)-graded?

I know very little about the fancy equivariant stable homotopy category, so I apologize if this question is silly for one reason or another, but:

I think that stable homotopy, in the non-equivariant case, corresponds to the homology theory associated to the sphere spectrum. And indeed, in the equivariant context we have $RO(G)$-graded homology and cohomology theories for every spectrum. On the other hand, equivariant stable homotopy groups are defined by looking at maps, not from representation spheres, but from spheres smashed with homogeneous spaces. The resulting object has a sort of quirky bigrading, it seems to me, over the integers and subgroups of $G$.

Is there some reason that this choice is more natural than defining homotopy groups as $\pi_{\nu}(E) = [S^{\nu}, E]_G$ for $\nu \in RO(G)$? Is this object somehow trivial or something?

If the answer to this question is that I'm missing something easy or that the objects I gave above are trivial for some reason- then let me know but don't tell me the answer! It'll probably be good for me to figure that out on my own...

Dylan Wilson
  • 13.5k
  • 9
  • 64
  • 108