5
$\begingroup$

I want to make a Kunneth product of sorts on Ext. In particular, letting $C_*$ be a $R$-free resolution for $k$ over a $k$-hopf algebra $R$, elements in $Ext_R(k,k)$ are represented by maps in $Hom_R(C_*,k)$. Of course, we can consider $Hom_R(C_* \otimes C_*,k)$, the cohomology of this being the same since $k\otimes k \cong k$.

What I want then is a sort of Kunneth product:

$$\times :Hom_R(C_*,k)\otimes Hom_R(C_*,k)\to Hom_R(C_*\otimes C_*,k).$$

I want it to be the case that this defines the cup product (aka Yoneda product). If we get a magical map

$$\Delta : C_*\to C_*\otimes C_*,$$

then

$$\cup : Ext_R(k,k)\otimes Ext_R(k,k)\to Ext_R(k,k)$$

can be given, on the co-chain level,

$$(a\cup b)(\sigma) = (a\times b)(\Delta \sigma).$$

Now, $\Delta$ is possibly defined up to homotopy by the requirement that it commutes with the augmentation in $R$.

My question is this: is there a way to describe this Kunneth product using any $C_*$, or do I need to use a Bar resolution of sorts like in group cohomology. Does this method even make sense? Can you help flesh this out?

Thanks!

Improve this question
$\endgroup$
9
  • 6
    $\begingroup$ This is done in Cartan-Eilenberg. $\endgroup$
    – Mariano Suárez-Álvarez
    Commented Aug 5, 2012 at 20:57
  • 1
    $\begingroup$ I can't seem to improve on Mariano's observation... $\endgroup$
    – Sean Tilson
    Commented Aug 5, 2012 at 22:02
  • 2
    $\begingroup$ I'm reading it on Google Books preview right now, and it seems to walk through my reasoning and clear up my confusion. Thanks for the reference. I think I'll grab a real copy when the library opens Monday. $\endgroup$
    – Joseph Victor
    Commented Aug 5, 2012 at 22:04
  • $\begingroup$ @MarianoSuárez-Alvarez: more than two years later I would like to ask: is there a more modern version of cartan-eilenberg? I've learned homological algebra using gelfand-manin, but there are many topics in cartan-eilenberg which I think are treated in greater detail. Is there a book that does that but using more modern language (perhaps even using derived categories?). $\endgroup$
    – bananastack
    Commented Dec 15, 2014 at 20:11
  • 1
    $\begingroup$ The cup product is just the composition of maps in the derived category. If you want to actually compute, that's not very helpful, though. $\endgroup$
    – Mariano Suárez-Álvarez
    Commented Dec 16, 2014 at 3:19

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .