I wanted to say something about Boij–Söderberg theory. But before I can even explain what that means, I have to give some definitions in homological commutative algebra. I might as well also use this as an excuse to talk about some results in that area.
Fix a field and let be a polynomial ring in variables. Let be a module over . We say that a chain complex
is a free resolution of if each is a free module, and if the complex is exact in each degree, i.e., the image of each map is equal to the kernel of the one following it. It is easy to see that every module has a free resolution: pick some set of generators for , and let be the free module generated by them, so that we have a surjection . Now pick a set of generators for the kernel of this map, and let be the free module generated by them, so that we have a map which is exact at , and repeat as necessary (possibly forever).
But we won’t really be interested in this unless is graded. The polynomial ring has a natural grading where is the -vector space generated by degree monomials. By grading, I just mean that for all and . So a (positively) graded module will be one with a decomposition such that for all and . Elements in for some will be called homogeneous. The right notion of a homomorphism of graded modules will be degree 0 maps: those that send to for all . We could also talk about degree maps, but instead we will use the notation to denote a grading shift: . So what we might call a degree map is just a degree 0 map . So now that our modules are graded, we will be interested in graded free resolutions. In general, these will look like
(we will see later why I use instead of , where the will denote the number of generators in each graded piece (most of these numbers will be 0 of course). The existence of graded free resolutions works as before: instead of just picking random generators each time, we restrict our attention to homogeneous ones.
Okay, so how about some examples. The first module to resolve is considered as the quotient module , so that it has a trivial action, and all of its elements are degree 0. Define to be the free module on generators where ranges over all -subsets of , and each generator has degree , i.e., . Define a map on the free generators by where corresponds to the variable in , and means remove it from the list. It’s an exercise to check that is a graded free resolution of . This is the Koszul complex associated to the sequence and was first introduced in the context of Lie algebra cohomology (in this case, our Lie algebra would be a trivial Lie algebra of dimension ). The point is that the Koszul complex is exact precisely because forms a regular sequence for , i.e., is not a zerodivisor, is not a zerodivisor in the ring for , and . The connection between the Koszul complex and regular sequences goes further, but we’ll talk about that another time maybe.
Here’s another example. Let , and write the variables as . Let . Then one can write down a minimal resolution
where the corresponds to the fact that can be generated by one element, and the terms are the minimal relations which have degrees 2,2,4, respectively. But this map is not injective because these relations satisfy second-order relations. Write . Then we have three relations , , and . Of course, the third relation is a consequence of the first two, and the first two relations are of degrees 3 and 5, respectively, which accounts for the term . Finally, there are no third-order relations (check!), so our resolution stops after two steps.
Another concept which will be of importance is that of a minimal resolution. First write . A resolution is minimal if the image of each map lies inside of . It seems like a funny definition, but this is a clean way of saying that at step of creating the free resolution, we always chose a minimal set of generators, or more precisely, that a basis of is mapped to a minimal set of generators for . To see that this is equivalent, consider the map , which is surjective by the fact that is a resolution. The codomain is a vector space over , and by degree considerations, a basis for this vector space lifts to minimal set of generators for . The fact that this map is also injective is equivalent to the requirement that .
One reason that the notion of a minimal resolution is a good one is that it is unique up to isomorphism. The th module is the th syzygy module of . Furthermore, minimal resolutions are always finite, in fact, for all . This is known as the Hilbert syzygy theorem, and can be proven using the Koszul complex above, and the symmetry of the Tor functor. First, we know that for all and all modules by the fact that the Koszul complex has length . So if is a minimal resolution of , then we can tensor it with and compute homology to calculate . But by minimality, the differentials in are all zero, and hence we must have for , which implies that for . Motivated by the uniqueness and finiteness of minimal resolutions, we can associate some invariants to graded modules based on their minimal resolutions. The first is the Betti table of which consists of the numbers from (*). Because of the minimality condition (i.e., minimal degrees of generators have to increase by at least 1 at each step), the convention is to let the th column and th row of be .
One thing which may be annoying (I guess depending on how much you care) is that for a general module , its syzygy modules will be generated by elements of different degrees. So we’ll say that a module is pure if each syzygy module is generated by elements all of the same degree. For example, the Koszul complex shows that is a pure module. Now here’s a surprising fact: we can always write where the are positive rational numbers, and the are pure modules. The addition and multiplication by rational numbers means pointwise addition and pointwise scalar multiplication. This was conjectured by Mats Boij and Jonas Söderberg in 2006 because it implies the multiplicity conjecture (which I’ll explain next time). The proof of their conjecture is due to David Eisenbud and Frank-Olaf Schreyer and came about in 2008. The proof is quite remarkable (and establishes some even more surprising results) and I’ll explain the important parts of it in my next post (or two). The proof was originally for Cohen–Macaulay modules (which I’ll define next time, and explain why this condition is relevant), but it turns out that it isn’t necessary if you’re willing to let the pure Betti tables of the have different numbers of columns.
This series is continued here.