Posted by: Steven Sam | March 8, 2009

Boij–Söderberg theory II: the Cohen–Macaulay property

Last time in this post, I gave an introduction to minimal resolutions over polynomial rings and stated a theorem of Eisenbud and Schreyer. This time I want to describe the significance of the Cohen–Macaulay property, and in part III, I will start explaining the proof of the Boij–Söderberg conjectures.

The first point to address is the notion of a Cohen–Macaulay module. Let’s first assume that M is a module over a local ring R with maximal ideal P (either this is an actual local ring, or R is graded, and it has a unique homogeneous maximal ideal). An M-sequence x_1, \dots, x_n \in P satisfies 1) multiplication by x_i is an injective function M_{i-1} \to M_{i-1} where M_0 = M and M_{i-1} = M / (x_1, \dots, x_{i-1}) M for i>0, and 2) (x_1, \dots, x_n) M \ne M, and the depth of M, depth(P,M), is the longest length of an M-sequence. The dimension of M, denoted dim(M), is the Krull dimension of R / ann(M) where ann(M) denotes the annihilator ideal of M. In general, the inequality \text{dim}(M) \ge \text{depth}(P,M) holds, and we say that M is Cohen–Macaulay (CM from now on) in case of equality. The ring R is CM if it is CM as a module over itself, and we extend these definitions to the global case by saying that a ring / module is CM if its localization at every maximal ideal is CM. But actually, since we will be dealing with graded modules, we will think of the polynomial ring K[x_1, \dots, x_n] as a “local graded ring” because it has a unique homogeneous maximal ideal.

The important point is that this is the right condition to be able to write down some nice equations. First we should point out that polynomial rings over fields are CM.  Now let M be a finitely generated module over a ring R with finite projective dimension, denoted pd(M) (this means that the shortest projective resolution we can find for M has length pd(M)). Furthermore, if either 1) R is a local ring and P is its maximal ideal, or 2) R is a finitely generated positively graded ring with R_0 a field, M is a graded R-module, and P is its maximal homogeneous ideal R_1 \oplus R_2 \oplus \cdots, then we have

Theorem (Auslander–Buchsbaum). pd(M) = depth(P,R) – depth(P,M).

In particular, if we let R be the polynomial ring in n variables over K, then depth(P,R) = n, and if in addition M is CM, this says that dim(M) = n – pd(M). How is this relevant? We’ll unfortunately need some more definitions. First, give M as above, define the Hilbert function h_M(n) = \text{dim}_K M_n (here we mean vector space dimension) and the Hilbert series H_M(t) = \sum_{n \ge 0} h_M(n) t^n.

Theorem (Hilbert–Serre). Let M be a finitely generated positively graded module over A = K[x_1, \dots, x_n], and let d = dim(M). Then there exists a polynomial R(t) with integer coefficients such that

\displaystyle H_M(t) = \frac{R(t)}{(1-t)^d}.

Now here’s where we can begin. First, we will assume that all modules we are dealing with are CM and of codimension c=n-d. Let A = K[x_1, \dots, x_n], and write down the minimal resolution for a finitely generated graded A-module CM M (the Auslander–Buchsbaum formula tells us that the length of this resolution must be c):

0 \to \bigoplus_j A(-j)^{\beta_{c,j}} \to \cdots \to \bigoplus_j A(-j)^{\beta_{0,j}} \to M \to 0.

Since the Hilbert function is additive on degree 0 exact sequences, we can write H_M(t) = \sum_{i=0}^c (-1)^i H_{F_i}(t) where F_i = \bigoplus_j A(-j)^{\beta_{i,j}}. To get H_{F_i}(t), we just note that \displaystyle H_{A(-j)}(t) = \frac{t^j}{(1-t)^n}, so we conclude that

\displaystyle H_M(t) = \sum_{i=0}^c (-1)^i \sum_j \frac{\beta_{i,j} t^j}{(1-t)^n}.

Now since M is CM, the Hilbert–Serre theorem tells us that H_M(t) is a polynomial divided by (1-t)^d. So this means that the polynomial \beta_M(t) = \sum_{i=0}^n (-1)^i \sum_j \beta_{i,j} t^j must have 1 as a root with multiplicity c. This can be expressed as saying that the first c derivatives of \beta_M(t) have 1 as a root, and this gives us c linearly independent equations on the possible Betti numbers of graded CM modules of codimension c. Call these the HK (for Herzog and Kühl) equations. Furthermore, if we assume that M has a pure free resolution, then we can figure out what the Betti numbers have to be up to a multiple. I’ll spare you the details, but mention that if the degrees of i-th syzygy module is d_i, i.e., if \beta_{i,j} = 0 unless j = d_i, then they must be of the form

\displaystyle \beta_{i, d_i} = r \prod_{j \ne i} \frac{1}{|d_j - d_i|} (*)

for 0 \le i \le c, and where r is some rational number.

Remember that the theorem of Eisenbud and Schreyer stated that every Betti table of a CM module (of a given codimension c) is a positive rational linear combination of pure Betti tables (of the same codimension). This last statement translates well into convex geometry where it says: in the vector space of all tables of rational numbers with c+1 columns and infinitely many rows, the cone spanned by the pure Betti tables contains all of the Betti tables of CM modules.

Of course, the space of all tables with c+1 columns is infinite-dimensional. To avoid doing infinite-dimensional convex geometry, we can always focus our attention on finite-dimensional subspaces. In particular, fix two degree sequences \overline{d} = (\overline{d}_0, \dots, \overline{d}_c) and \underline{d} = (\underline{d}_0, \dots, \underline{d}_c). We’ll set B_{[\underline{d}, \overline{d}]} to be the subspace of tables T such that T_{i,j} = 0 unless \underline{d}_i \le j \le \overline{d}_i and which satisfy the HK equations.

Also, define a partial ordering on the degree sequences by saying that (d_0, \dots, d_c) \le (d'_0, \dots, d'_c) if d_i \le d'_i for all i. It is something which remains to be proved that for every degree sequence d, there exists a CM module with a pure free resolution of degree d, but we will postpone that. The key point is that one can deduce from (*) that Betti tables corresponding to degree sequences in a chain are linearly independent. The number of degree sequences in a maximal chain d^0 < d^1 < \cdots < d^N is N = 1 + \sum_{i=0}^c (\overline{d}_i - \underline{d}_i) since for each i, d^i and d^{i+1} can only differ in exactly one spot, and this difference is 1. The dimension of B_{[\underline{d}, \overline{d}]} is -c + \sum_{i=0}^c (\overline{d}_i - \underline{d}_i + 1) = 1 + \sum_{i=0}^c (\overline{d}_i - \underline{d}_i) (the -c comes from the fact that there are c HK equations, and they are linearly independent). So we conclude that every maximal chain forms a basis for B_{[\underline{d}, \overline{d}]}.

Not too interesting yet. We know only that every Betti table is a linear combination of pure Betti tables at this point. But now let’s restrict to positive linear combinations. In this case, each maximal chain forms a simplicial cone, and in fact any two such cones intersect in a facet of both, so we get a simplicial fan. So what we must do is 1) identify the exterior facets of this fan, 2) find the facet-defining equations, and 3) show that these equations are nonnegative on all Betti tables.

Step 1) was done by Boij and Söderberg, and 2) can be done (although since we are working in a proper subspace of a Euclidean space, these functionals will not be uniquely determined). The key insight of Eisenbud and Schreyer was to construct the functionals in 2) in terms of a bilinear pairing between minimal free resolutions and cochain complexes. Then the facet defining equations come from very special cochain complexes: the linear monads of “supernatural” vector bundles on projective space \mathbf{P}_K^{n-1}.

I’ll explain this last paragraph and discuss what to do next in the next installment: part III.

-Steven

Advertisements

Responses

  1. I am very interested in this topic. I am a PhD student at the University of Texas at Arlington and I am specifically trying to find out how to come up with the pure Betti table for the resolution of a Cohen Macaulay module given a degree sequence. From Eisenbud and Schreyer’s paper (2008) they indicate that we need to use the Herzog-Kuhl equations to find this. I am currently waiting to get Herzog and Kuhl’s paper (1984) pulled out of storage from the UTA Library, so if you have any other information that could help me here I would appreciate it, or maybe I will just have to wait until your third post.

  2. Hi Jared,

    Sorry that I have been behind on the third installment. Too many things have come up. In the meantime, I can offer you some references. If I understand you correctly, you want to know what the possible Betti diagrams of a given pure CM module with given degree sequence is, right?

    Section 2 of Boij and Söderberg’s original paper: http://arxiv.org/abs/math/0611081 contains a complete derivation of the diagram (up to scalar multiple of course). I wasn’t planning on elaborating on this in the next post. My next topic was going to be how to construct pure modules and how the rest of the proof proceeds. For the construction of pure modules you probably found that in Eisenbud and Schreyer’s paper. There’s also the equivariant construction (only in characteristic 0) in the paper of Eisenbud, Fløystad and Weyman: http://arxiv.org/abs/0709.1529

  3. Thanks for the info.


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

Categories

%d bloggers like this: