In [one of their papers](http://www.ams.org/journals/tran/1994-342-02/S0002-9947-1994-1142778-X/S0002-9947-1994-1142778-X.pdf) (before Theorem 7.2), Benson and Carlson state that the transfer map is Tate-dual to the restriction homomorphisms (also see Remark 1.3 of this [recent paper](http://arxiv.org/pdf/1211.5999v1.pdf)). 


More precisely: If $H \le G$ are finite groups and $k$ a field those characteristic divides the order of $H$, then the there should be a commutative diagramm
$$\begin{array}{ccc}
\hat{H}^{-s-1}(G,k) & \cong & \text{Hom}\_k(\hat{H}^sS(G,k),k) \newline
res^G\_H \downarrow & & \downarrow (tr^G\_H)^\ast \newline
\hat{H}^{-s-1}(H,k) & \cong & \text{Hom}\_k(\hat{H}^sS(H,k),k)
\end{array}$$
where the horizontal isomorphisms are Tate duality.


Does anyone know a reference with a proof or can provide a proof of this statement ? Thanks in advance. 



Why is the transfer map Tate-dual to restriction ? 
I don't know of a reference, but the duality in question can be proved by results from Brown's book on group cohomology. I'll show the case $s\ge 0$. First note that for each integer $j$ there is an isomorphism 


$$\psi: \hat{H}^j(G,k) \xrightarrow{\sim} \text{Hom}\_k(\hat{H}\_j(G,k),k)$$


(Brown, VI.7.2) and for $s\ge 0$ there is an isomorphism $$\varphi: \hat{H}\_{-s-1}(G,k) \xrightarrow{\sim} H^s(G,k)$$


(Brown, VI.4). Denote the $k$-dual of a vector space or of a homomorphism by $(-)^\ast$. Tate duality is then the composition 
$$t = (\varphi^{-1})^\ast\circ \psi: \hat{H}^{-s-1}(G,k) \xrightarrow{\sim} \hat{H}\_{-s-1}(G,k)^\ast \xrightarrow{\sim} H^s(G,k)^\ast.$$
Hence we have to show the commutativity of the diagramm


$$\begin{array}{ccccc}
\hat{H}^{-s-1}(G,k) & \xrightarrow{\psi} & \hat{H}\_{-s-1}(G,k)^\ast & \xleftarrow{\varphi^\ast} & H^s(G,k)^\ast \newline
{\scriptstyle \widehat{res}} \downarrow & & \downarrow \scriptstyle res^\ast & & \downarrow \scriptstyle tr^\ast\newline 
 \hat{H}^{-s-1}(H,k) & \xrightarrow{\psi} & \hat{H}\_t(H,k)^\ast & \xleftarrow{\varphi^\ast} & H^s(H,k)^\ast
\end{array}$$


($t$ stands for $-s-1$ which the editor doesn't accept!?) The commutativity of the left hand square follows right from the definition of the maps and the right hand square commutes if we can show the commutativity of the following square: 
$$\begin{array}{ccc}
\hat{H}\_{-s-1}(G,k) & \xrightarrow{\varphi} & H^s(G,k)\newline 
{\scriptstyle \widehat{res}} \uparrow & & \uparrow \scriptstyle tr^G\_H \newline 
\hat{H}\_{-s-1}(H,k) & \xrightarrow{\varphi} & H^s(H,k) 
\end{array}\tag{1}$$
In order to describe $\varphi$ on chain level, let $P \to k$ be a projective resolution over $kG$ and let $F$ be a complete resolution such that $F\_i=P\_i$ and $F\_{-i-1} = P\_i^\ast$ for $i \ge 0$. Then $\varphi$ is induced by the composition 
$$\varphi: F\_{-i-1}\otimes\_{kG}k=P\_i^\ast \otimes\_{kG}k \xrightarrow{\alpha\otimes id} \text{Hom}\_{kG}(P\_i,kG) \otimes\_{kG} k\xrightarrow{\beta}\text{Hom}\_{kG}(P\_i,k)$$
where $\alpha(f)(x)=\sum\_{g \in G}f(g^{-1}x)g$ (Brown, VI.3.4) and $\beta(f \otimes a)(x)=f(x)a$ (Brown, I.8.3). Hence 
$$\varphi(f \otimes a)(x)=\sum\_{g \in G}f(g^{-1}x)(ga)=\sum\_{g \in G}f(g^{-1}x)a=tr^G\_E(f)(x)a\tag{2}$$
where $f \in P\_i^\ast, a \in k, x \in P\_i$ and $E=\{1\}$. 


On chain level $(1)$ is given by the diagramm 
$$\begin{array}{ccc}
P\_i^\ast \otimes\_{kG} k & \xrightarrow{\varphi\_G} & \text{Hom}\_{kG}(P\_i,k) \newline 
{\scriptstyle \kappa} \uparrow & & \uparrow \scriptstyle tr^G\_H \newline 
P\_i^\ast \otimes\_{kH} k & \xrightarrow[\varphi\_H]{} & \text{Hom}\_{kH}(P\_i,k) \newline 
\end{array}\tag{3}$$


where $\kappa(f \otimes\_H a)=f \otimes\_G a$. With $f,a,x$ as above, we obtain 
$$(tr^G\_H \circ \varphi\_H)(f \otimes\_H a)(x)=\sum\_{g \in G/H}\varphi\_H(f\otimes\_H a)(g^{-1}x)
\overset{(2)}{=}\sum\_{g \in G/H}tr^H\_E(f)(g^{-1}x)a$$
$$\qquad=tr^G\_H(tr^H\_E(f))(x)a=tr^G\_E(f)(x)a$$
$$\qquad\qquad=\varphi\_G(f \otimes\_G a)(x)=(\varphi\_G \circ res)(f \otimes\_H a)(x)$$
Thus the commutativity of $(3)$ is shown. **QED**


