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 ?
$\begingroup$
$\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$– Mariano Suárez-ÁlvarezApr 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 GrantApr 16, 2012 at 17:38
-
1$\begingroup$ This question has already been asked and answered: mathoverflow.net/questions/75472/… $\endgroup$– Chris GerigApr 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$– EmertonApr 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$– EmertonApr 17, 2012 at 2:28
Add a comment
|