0
$\begingroup$

Is there a Kunneth formula relating $H^i(k[G],A)\otimes_k H^i(k[G],B)$ and $H^i(k[G],A\otimes_k B)$ where $A\otimes_k B$ is given the diagonal $G$ action ?

$\endgroup$
5
  • 3
    $\begingroup$ It is quite possible that $H^0(G,A)=H^0(G,B)=0$ yet $H^0(G,A\otimes B)\neq0$ (for example, let $A$ be a non-trivial $1$-dimensional module and $B$ its dual) so one cannot expect something as simple as Künneth's formula for the general case. $\endgroup$ Apr 16, 2012 at 16:50
  • $\begingroup$ Although see: Greenblatt, R, Homology with local coefficients and characteristic classes. Homology, Homotopy Appl. 8 (2006), no. 2, 91–103, for a K\" unneth formula for a product action. $\endgroup$
    – Mark Grant
    Apr 16, 2012 at 17:38
  • 1
    $\begingroup$ This question has already been asked and answered: mathoverflow.net/questions/75472/… $\endgroup$ Apr 17, 2012 at 1:04
  • 2
    $\begingroup$ Kunneth relates $H^{\bulled}(G\times H, A\otimes B)$ with $H^{\bullet}(G,A)\otimes H^{\bullet}(H,B),$ if $A$ and $B$ are $k$-modules over groups $G$ and $H$ respectively. You can certainly take $G = H$ if you like. However, to relate $H^{\bullet}(G\times G,A \otimes_k B)$ to $H^{\bullet}(G,A\otimes_k B)$ is a special case of the general problem of relating cohomology of a group with coefficients in some module to cohomology of a subgroup with coefficients in the same module. In general it's hard to find a relation (it could be easier if $G$ were abelian, so that the diagonally embedded ... $\endgroup$
    – Emerton
    Apr 17, 2012 at 2:27
  • $\begingroup$ ... copy of $G$ is normal in $G\times G$, and inflation-restriction is available), and I don't think there's any reason to expect this particular case to be more tractable in general. Regards, $\endgroup$
    – Emerton
    Apr 17, 2012 at 2:28

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.