First off, we need to get this pesky result out of the way that derived functors are independent of the choice of resolution. So we do this by proving a related result. Suppose is a a complex of projective A-modules, and is a complex of A-modules. Let and . Suppose the homology of vanishes except . Then every map is a map induced on by a map of complexes and is determined up to homotopy by .
Before proving this, note that as a corollary we get that any two projective resolutions are homotopy equivalent, and hence the derived functors have constructed on different resolutions have a natural isomorphism between them.
Proof: I knew I should never have tried to do homological algebra without a good way to do diagrams on wordpress. This is clearer if you draw it out…but the idea for existence is to inductively lift your maps. Lift to , then . Thus we lift this to and continue this process. This gives the map of the complexes.
We now want uniqueness up to homotopy. Suppose we have two lifts of say and . Then lifts the zero map. i.e. we need only show that any lifting of 0 is homotopic to 0. Suppose then that is a lifting of zero. We need that for some . Note that takes . So we lift to such that . But now . Thus maps into . But is projective so we can lift to . Repeat this process.
I highly recommend just doing the diagram chasing yourself. This is sort of a mess to read, and so should only be used as a sort of guideline if you get stuck somewhere.
Hmm…what else did I say I would do? Oh right. If you’ve seen homological constructions, then you can probably guess that there is a connecting homomorphism type theorem. i.e. Something that is phrased, “a short exact sequence of complexes induces a long exact sequence in homology.” So this trick tends to be useful in actually calculations of your derived functor. I won’t go through it, since it is just your standard “Snake Lemma” construction.
When I said there was extra structure, I was thinking about going into putting a product on the whole thing to make it into a graded ring, but I’ve decided that that is getting a little far afield for now. This may be the end of my ramblings on derived things for awhile.
The other thing I thought I should mention was my confusion on what this blog has become. I’m at a sort of turning point. I’m not sure if I should eliminate the non-math/mathematical physics and turn it into a blog just on that stuff (it sort of accidentally has shifted to that unofficially), or if I should make a conscious effort to balance things more. There are positives and negatives to both in my mind. Actually changing to a more focused blog would help draw and keep readers that actually care about the stuff I’ve been doing recently. On the other hand, it sort of goes against everything I believe in. But how its been going now, I’ve probably alienated all readers that used to read for philosophy or random art things, and so randomly posting on those things seems sort of pointless if I’ve lost those people and it will just serve to confuse and possibly alienate people only interested in the math side.
No immediate decisions will be made, so there is some time.