MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

If G is a finite group, I understand that the category of RO(G)-graded spectra, when rationalized, becomes Quillen equivalent to the category of Mackey functors valued in chain complexes of rational vector spaces.

How does RO(G) act on the category of Mackey functors? For instance, if F = F(G/H) is a Mackey functor and V is a real representation of G, what is (S^V F)(G/H)?

share|cite|improve this question
In characteristic zero the category of Mackey functors is semisimple. The simple Mackey functors over any field have been classified by Thevenaz and Webb -- they are one-to-one with conjugacy classes of pairs (subgroup $H$, irrep $L$ of $N_G(H)/H$). I think a sphere $\,\, S^V$ acts on the simple Mackey functor corresponding to $(H,L)$ by a shift, but a shift that depends on $H$: the dimension of the fixed-point space $V^H$. – David Treumann Nov 6 '14 at 1:54

The term ``RO(G)-graded spectrum'' is a misnomer, not to be used. It is never used in the literature I'm familiar with, and it never should be. There are several Quillen equivalent models for the category of genuine $G$-spectra, and such animals represent $RO(G)$-graded cohomology theories, but it is meaningless to think of them as $RO(G)$-graded themselves. They are not.

The zeroth stable homotopy group system of the sphere $G$-spectrum (take $H$-fixed point spectra and then take $\pi_0$ of those) is the Burnside ring Mackey functor $\mathbf{A}(G)$. It is a Green functor (think of it as a ring in the category of Mackey functors), and any Mackey functor is a module over it. That is where the action takes place. The category of rational $G$-spectra, $G$-finite, is equivalent to the category of chain complexes in the category of rational Mackey functors.

Via permutation representations, we get a map of Green functors from $\mathbf{A}(G)$ to the representation ring Mackey functor $\mathbf{RO}(G)$ that sends $G/H$ to $RO(H)$. That is one way that $RO(G)$ enters the picture.

In equivariant cohomology theory, the use of $RO(G)$ is a great convenience, but it is not the thing most intrinsic to the mathematics. Ignore the multiplication on $RO(G)$, which is irrelevant to its use for grading theories, and think of it just as an abelian group. Send a representation $V$ to the isomorphism class of the suspension $G$-spectrum of the one-point compactification $S^V$. This induces a homomorphism from $RO(G)$ into the Picard group $Pic(Ho G\mathcal S)$ of the stable homotopy category of $G$-spectra, namely the abelian group of equivalence classes of $G$-spectra that are invertible under the smash product. That homomorphism is neither a monomorphism nor an epimorphism. See for a discussion of that Picard group. Logically, equivariant cohomology theories really should be graded on $Pic(Ho G\mathcal S)$, but that group is much less convenient than $RO(G)$.

share|cite|improve this answer
Thanks Peter, sorry for the malapropism. I think my question still makes sense: how does RO(G) act on the category of chain complexes of rational-vector-space-valued Mackey functors? How to give a formula for (S^V F)(G/H) in terms of F? – KHBG Jul 27 '14 at 2:20
Delete the first use of ``how''. No meaning, no formula. – Peter May Jul 27 '14 at 19:03
If E is a rational G-spectrum, is its smash product with a representation sphere not also a rational G-spectrum? If that's a meaningful operation, I would like to know a formula for it in terms of Mackey functors. – KHBG Jul 27 '14 at 19:39
Not an operation of RO(G). You've got to learn the math. – Peter May Jul 28 '14 at 0:26
Peter, you seem to be saying I fell for something, but I cannot see what it is. Please tell me. If $E$ is a rational $G$-spectrum, and $V$ is a real representation of $G$, is $S^V E$ another rational $G$-spectrum or not? – KHBG Jul 28 '14 at 0:41

Although I agree with Peter's comments, I believe I can add a few helpful comments of my own. First for $G$ finite, every rational Mackey functor is both injective and projective, so chain complexes are weakly equivalent to their homology. One can find this statement in appendix A of Greenlees-May 'Generalized Tate Cohomology.'

Given a representation sphere $S^V$ and a graded Mackey functor $M$ with associated Eilenberg-MacLane spectrum $HM$ we have an associated $G$-spectrum $S^V\wedge HM$ which represents the integer graded Bredon cohomology theory $$ X\mapsto H^{*-V}_{(-)}(X;M ).$$ Because rational equivariant cohomology theories are ordinary there is an equivalence $$S^V\wedge HM\simeq H(\pi_*^{(-)}(S^V\wedge HM)).$$ Hence the representation sphere takes a graded Mackey functor to another graded Mackey functor, namely the Bredon homology of $S^V$ with coefficients in $M$.

A similar argument shows that $H^{*+V}_{(-)}(X;M)$ is represented by $F(S^V,HM)\simeq D(S^V)\wedge HM$ which is again ordinary. Here $DX=F(X,S)$ is the equivariant Spanier-Whitehead dual of $X$.

If you like, after fixing $M$ you can extend this into a functor from the subcategory of the homotopy category spanned by the representation spheres, their Spanier-Whitehead duals, and their smash products to the category of graded Mackey functors. One can try to take a skeleton of this category to obtain an '$RO(G)$-graded' functor, but this involves keeping track of the automorphisms and solving a coherence problem. My understanding is that this coherence problem can be solved, but that it involves choices (which never seem to be specified).

As Peter pointed out the representation spheres are only distinguished by the fact that they are invertible, well understood, and play a pivotal role in the duality theory for $G$-manifolds. The canonical choice from a homotopical perspective would be to think of the Picard group of invertible objects instead.

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.