A Mind for Madness

Musings on art, philosophy, mathematics, and physics

What is a derived functor?

3 Comments


First recall that functors do not have to preserve exactness. In fact, some of our favorite ones in really nice situations fail to be exact. For instance, tensoring (i.e. -\otimes M) is a covariant functor that does not preserve exactness on the left.

This is going to be our motivating example. Before working with the functor, we need some definitions. Let M be an A-module. Then we define a projective resolution for M as a collection of projective A-modules \{M_i\} with maps \{f_i\} such that \cdots \stackrel{f_2}{\rightarrow} M_2 \stackrel{f_1}{\rightarrow} M_1 \stackrel{\epsilon}{\rightarrow} M \rightarrow 0 is exact. Things to note. We definitely do not necessarily have M projective. If we did, then the resolution would be easy: 0\rightarrow M\stackrel{i}{\rightarrow} M\rightarrow 0. Also, we don’t need to terminate at 0, we could end on M and just say that \epsilon is surjective. Lastly, such a resolution always exists. I won’t write it out, but try it yourself (hint: you can form the free module with generators the elements of M…it is probably absurdly large, but there is nothing wrong with doing it).

Alright, so now we can form an exact sequence of “nice” modules from a given module. We want to pull in the tensor now. So if we hit the projective resolution (note it does not include M itself) by the functor -\otimes N where N is an A-module, then we get another sequence: \cdots \stackrel{f_{2*}}{\rightarrow} M_2\otimes N \stackrel{f_{1*}}{\rightarrow} M_1\otimes N\rightarrow 0. But we’ve lost exactness. We have not however lost im f_i\subset ker f_{i+1}. i.e. This is a chain complex and we can measure how far off it is from being exact by taking the homology H_i M_. = \frac{ker f_i}{im f_{i-1}}. This is the derived functor Tor_i^A(N, M).

So a quick check will show you that Tor_0^A(N, M)=N\otimes M and that Tor_1^A(A/(x), M)=_xM the torsion subgroup, so it is a good name.

There was nothing special about this construction. This is called a left derived functor. You can do exactly the same thing for any right exact functor. Tor^A(-, M) is the left derived functor of -\otimes M. I won’t go through the left case in generality since the process is the same as the specific case, but you will get the idea from below.

We can also form a right derived functor of a left exact functor. Let \mathcal{F} be a left exact functor (out of the category of A-modules for now). Then take the injective resolution 0\rightarrow M \rightarrow I_1 \rightarrow I_2 \rightarrow \cdots (an exact sequence with each I_i injective). Apply the functor to the resolution (don’t forget M is not a part of it). We get a cochain complex 0\rightarrow \mathcal{F}(I_1)\rightarrow \mathcal{F}(I_2)\rightarrow This is no longer exact, so to check how far off it is we take the cohomology H^i(I_.)=\frac{ker f_i^*}{im f_{i-1}^*}. This is the ith right derived functor of \mathcal{F}.

In a specific case, we get that Ext_i^A(M, -) is the ith derived functor of Hom_A(M, -).

The astute reader may have noticed that in forming derived functors, there is an arbitrary choice, namely which resolution do you take (they are not unique!). It turns out that the choice is irrelevant. Any will yield the same construction.

Maybe I’ll talk a little more about this, how these are actually useful, and some more structure we actually have on them next time.

About these ads

Author: hilbertthm90

I am a mathematics graduate student fascinated in how all my interests fit together.

3 thoughts on “What is a derived functor?

  1. You’re keeping all functors covariant in this post right?

  2. Yes. I guess that was an important thing to mention.

  3. Pingback: The Derived Category 3: Derived Functors | A Mind for Madness

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 163 other followers