This is somewhat related to a question that I asked on Math.SE but, sadly, received no response. I apologize ahead of time if this is not appropriate for MO. Feel free to vote to close if this is the case.


I really have two (distinct) questions. The first is regarding a paper by Greenlees and May and the second is more of a "big-picture" question with no explicit relationship to their paper.


Let $G$ be a finite group.


In their paper [Some Remarks On the Structure of Mackey functors](http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=5&cad=rja&ved=0CEUQFjAE&url=http://www.ams.org/proc/1992-115-01/S0002-9939-1992-1076574-2/S0002-9939-1992-1076574-2.pdf&ei=ZaVSUPP5M4f28wT15IC4DQ&usg=AFQjCNFuJ21qi2OIXYT18tuVtjnzDoxFeg&sig2=PhtFfjAqaoK5ytWaVyeJvw) , Greenlees and May define the functor:


$R: GMod \rightarrow M[G]$ where $GMod$ is the category of finite left $G$-modules and $M[G]$ is the category of $G$ Mackey functors by:


$RV(G/H) = V^H$ where $V$ is a $G$ module and $V^H$ is the $H$ fixed point set of $V$.


In their main theorem(Thm. 12) they consider the map $\eta: M \rightarrow RM(G/H\_{j,k})$.


Question 1: In Theorem 12, why are $coker(\eta)$ and $ker(\eta)$ in $\mathcal{A}$? Unfortunately I don't see how this clearly follows from the induction hypothesis at the moment.


Question 2: In general, What are some examples of added benefits (aside from additional structure) that one obtains when it is known that you have a Green or Tambara functor rather than just a Mackey functor?



Mackey(also Green and Tambara) functors and Greenlees-May
I thank you for the careful reading and apologize for the concision. This is a downwards induction on the size of subgroups. Using the explicit description of the $RV$ given top of page 239 and the
conventions recalled at the bottom of page 240, we arrived at the description of the relevant $RV$ given just below Prop. 7. The map $\eta$ is the identity on $M(G/H\_{j,k})$ and since $M(G/H\_{j',k'}) = 0$ for $j'< j$ and for $j'=j$ and $k'< k$, the same is true of $RM(G/H\_{j,k})$. Therefore $Ker(\eta)$ and $Coker(\eta)$ can only be non-zero on $G/H\_{j',k'}$ where $j'>j$ or $j'=j$ and $k'>k$ and hence they are in $\mathcal{A}$ by the induction hypothesis. 


For the second question, I see no obvious relationship between our additive description of Mackey functors and any multiplicative structure that might be present. Anything anyone can say about that would be welcome. I've not thought hard about the question.


