4
$\begingroup$

So, in $R-Mod$, we have the rather short sequence

  • $\mathrm{Ext}^0(A,B)\cong Hom_R(A,B) $

  • $\mathrm{Ext}^1(A,B)\cong \mathrm{ShortExact}(A,B)\mod \equiv $, equivalence classes of "good" factorizations of $0\in Hom_R(A,B)\cong\mathrm{Ext}^0(A,B)$, with the Baer sum.

Question:

  • $\mathrm{Ext}^{2+n}(A,B) \cong\ ??? $

While I suppose one could pose a conjugate question in algebraic topology/geometry, where the answer might look "simpler", I'm asking for a more directly algebraic/diagramatic understanding of the higher $\mathrm{Ext}$ functors. For instance, I'd expect $\mathrm{Ext}^2(A,B)$ to involve diagrams extending the split exact sequence $A\rightarrow A\oplus B\rightarrow B$, but precisely what sort of extension? Or is that already completely wrong?

$\endgroup$

2 Answers 2

11
$\begingroup$

They correspond to longer exact sequences under an equivalence relation due to Yoneda. See chapter III.3 (p. 82ff) of MacLane's Homology (or briefly on the wikipedia page for the Ext functor). There are also many online sources for "higher extension modules and yoneda", but MacLane's presentation is clear and describes the Baer addition very nicely. Yoneda also describes a product from Ext^n x Ext^m to Ext^(n+m) that can turn certain Ext's into rings. This is popular to do with Ext^*(k,k) where k is the trivial module for a k-algebra.

$\endgroup$
2
  • $\begingroup$ Another reference is section IV.9 of Hilton & Stammbach, A course in homological algebra. $\endgroup$ Feb 12, 2010 at 0:19
  • $\begingroup$ Perhaps it is worth noting that there is a description of cohomology classes in $H^n(G,M)$ for $G$ a group and $M$ a $G$-module, that uses crossed n-fold extensions. I do not know if the nice detailed higher structure of such cohomology groups of groups has been looked at using this description. $\endgroup$
    – Tim Porter
    Sep 25, 2010 at 7:25
5
$\begingroup$

I think what you are asking is for the standard description in terms of n-term exact sequences starting with A and ending with B (or the other way around). One usual reference is MacLane Chapter III section 5, p.82 in my copy. It is known as the Yoneda description.

It is also in http://en.wikipedia.org/wiki/Ext_functor

$\endgroup$

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.