MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $G$ be a finite group and $V$ be finite-dimensional real representation of $G$. Write $S^V$ for the one-point compactification of $V$, with induced $G$-action, viewed as a pointed space, and consider the homotopy orbit space $(S^V)_{hG}$. For instance, if $V$ is the regular representation of $G=\mathbb{Z}/2$, $(S^V)_{hG}$ works out to be the suspension of $B\mathbb{Z}/2$. Is there some kind of general description of this space, presumably built out of classifying spaces of subgroups of $G$? What if I only care about the stable homotopy type? I'm most interested in the permutation representations of the symmetric groups.

share|cite|improve this question

The most salient fact about (SV)hG is that it is the Thom space of a vector bundle over BG. So this gives you a lot of control over the sorts of things seen by homology: e.g., a Thom isomorphism if the bundle is oriented with respect to your homology theory; if you put a CW-structure on BG, then (SV)hG has a CW-structure with cells in the same dimensions (shifted up by dim V). Morally, it's a "twisted suspension" of BG, and that fact encodes most of what I know about it.

For G=Z/2, and L=sign rep, you have (SnL)hG = RP/RPn-1, and something similar holds for Z/p, and for the symmetric group Σp (and perhaps for every group with periodic tate cohomology?)

If you have a decomposition of the form BG = hocolim BH, then you can pull your bundle over BG back to all the terms in the hocolim to get (SV)hG = hocolim (SV)hH.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.