Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level of the derived categories and derived functors:

1) Let $H$ be a subgroup of $G.$ Then we have the restriction functor $\downarrow^G_H\:: kG$-${\rm Mod}\to kH$-${\rm Mod}$ which is exact, so we can extend it on the derived category $\downarrow^G_H\:: \mathcal{D}(kG)\to \mathcal{D}(kH)$. Since $Ext^n_{?}(M,N)=Hom_{\mathcal{D}(?)}(M,N[n])$ this functor induces a map $$res:Ext^n_{kG}(M,N)\to Ext^n_{kH}(M,N)$$

2) Let $H$ be a normal subgroup of $G.$ Then similarly we have the restriction functor $\downarrow_G: \mathcal{D}(k[G/H])\to \mathcal{D}(kG)$ and it induces a map $inf: Ext^n_{k[G/H]}(M,N)\to Ext^n_{kG}(M,N).$

3) Let $H$ be a subgroup of $G$ and $[G:H]<\infty.$ Then we have functors $Hom_{kG}$ and $Hom_{kH}$ between categories $ kG\text{-}{\rm Mod}^{\rm op} \times kG\text{-}{\rm Mod} \to k\text{-}{\rm Mod}$ and a natural transformation ${\rm Tr}: Hom_{kH}\to Hom_{kG}$ by the formula ${\rm Tr}(\varphi)=\sum\limits_{gH\in G/H} g\varphi.$ It yields a natural transformation between derived functors $${\rm Tr}:{\bf R}Hom_{kH}(-\downarrow,=\downarrow)\to {\bf R}Hom_{kG}(-,=):\mathcal{D}(kG)^{\rm op}\times \mathcal{D}(kG)\to \mathcal{D}(k).$$ So we get a natural map ${\rm Tr}:Ext^n_{kH}\to Ext^n_{kG}.$

So my question is: What about Evens norm? How to see it on the level of derived categories?

It looks like one has to consider "derived functor" of the tensor induction functor, but it is not even an additive functor, it is a polynomial functor of degree $[G:H]$. As far as I know, the theory of model categories enables us to consider derived functors of such functors, but I don't know this theory well enough.

share|improve this question
What is the Evans norm? Usually, if one wants to derive a nonadditive functor, one considers the corresponding (co)simplicial functor and then uses Dold-Kahn correspondence to make a complex out of it and to compute the cohomology. –  Sasha Dec 23 '12 at 9:39
The definition is not very simple. It is close to the tensor induction of a module. You can find it in Evens' book "The cohomology of groups" p. 57 or in Benson's book "Representations and cohomology II" pp. 121-123. –  Sergei Ivanov Dec 23 '12 at 11:25

Your Answer


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

Browse other questions tagged or ask your own question.