A Polynomial Bound on Regularity

A Polynomial Bound on the Regularity of an Ideal in Terms of Half of the Syzygies

Jason McCullough Department of Mathematics, Univeristy of California, Riverside, 900 University Ave., Riverside, CA 92521 jmccullo@math.ucr.edu
Abstract.

Let be a field and let be a polynomial ring. Consider a homogenous ideal . Let denote , the maximal degree of an th syzygy of . We prove bounds on the numbers for purely in terms of the previous . As a result, we give bounds on the regularity of in terms of as few as half of the numbers . We also prove related bounds for arbitrary modules. These bounds are often much smaller than the known doubly exponential bound on regularity purely in terms of .

Key words and phrases:
regularity, Betti numbers, resolution
2010 Mathematics Subject Classification:
Primary: 13D02; Secondary: 13D07, 13F20

1. Introduction

Given a homogeneous ideal of , it is natural to seek bounds on and relations among the degrees of the syzygies of . Doing so can yield interesting bounds on the regularity of . We set . Then is the maximal degree of a minimal th syzygy of . There are several bounds on the regularity of (or equivalently, on ), purely in terms of the degrees of the generators of . Note that the maximal degree of a minimal generator of is just . All of these bounds are doubly exponential in terms of . Examples of Mayr and Meyer [19] show that we cannot avoid this doubly exponential behavior. It seems reasonable, however, that given more information about the resolution and the degrees of the syzygies of , better bounds should be possible. Indeed, Engheta asks in [11] if there is a polynomial bound on the regularity of an ideal if, for some , the degrees of the minimal generators of the first syzygies are known as well? We give two results of this flavor.

Theorem 4.7.

Let be a homogeneous ideal. Set and let . Then

Hence we achieve a bound on the regularity of in terms of only half of the degrees of the syzygies. Note that this shows that if the numbers are not doubly exponential in terms of in the first half of the resolution, they cannot be doubly exponential in the second half.

We also prove the following bound, which shows that the final degree jump in the resolution of cannot be large relative to the preceding jumps.

Theorem 4.4.

Let be a homogenous ideal. Set and . Then

In particular,

For , this recovers the low-dimensional case of a result of Eisenbud-Huneke-Ulrich in [9].

These results reveal interesting restrictions on the possible Betti diagrams of cyclic modules . We also give slightly more general bound for arbitrary modules. Our methods involve a careful analysis of the Boij-Söderberg numerics in the decomposition of the Betti table into a positive rational sum of pure diagrams.

The rest of the paper is structured as follows: In Section 2, we set notation and summarize related results. In Section 3, we give a short review of Boij-Söderberg theory. Section 4 contains the main inequality we need to prove our main theorems. We close in Section 5 with some examples and questions about similar bounds.

2. Background and Terminology

We now fix notation for the remainder of the paper. Let denote an arbitrary field and let denote a polynomial ring over . We consider as a graded ring with the standard grading. For , let denote the rank one free -module whose generator is in degree . In other words, the th graded part of is . Given any finitely generated graded -module , we form the minimal graded free resolution

The integers are called the Betti numbers of and are commonly displayed in a matrix called the Betti diagram:

0 1
0:
1:
:

We then define two measures of the complexity of . The projective dimension of is . The Castelnuovo-Mumford regularity of (or just regularity of ) is We set

Note that regularity could be defined as

Eisenbud, Huneke and Ulrich proved the following weak convexity inequality on the degrees of the syzygies of a cyclic module:

Theorem 2.1 ([9] Corollary 4.1).

If , then

They also show that under nice hypotheses on , a similar inequality holds.

Theorem 2.2 ([9] Corollary 4.2).

If and , and contains a regular sequence of forms of degrees , then

In particular, if is Cohen-Macaulay of codimension and is generated in degree , then

However, if is not Cohen-Macaulay, the resolution of may not be so well-behaved. The authors observed that their hypotheses on in Theorem 2.2 are necessary in light of an example by Caviglia [6]. He defined a family of three-generated ideals with quadratically growing regularity relative to the degrees of the generators. In fact, he defined ideals in for with and , so that . These ideals have codimension and depth , so the result above does not apply. Whether Theorem 2.1 holds in greater generality is less clear and we address this question in Section 5.

The most general result bounding regularity in terms of the degrees of some of the syzygies is the following result, due in characteristic 0 to Galligo [14], [15] and Giusti [16], and later in all characteristics by Caviglia and Sbarra [7].

Theorem 2.3.

Let be an ideal generated in degree . (So that .) Then

Mayr and Meyer [19] produced a family of examples of homogeneous ideals for which the ideal membership problem had doubly exponential complexity in terms of the degrees of the generators. Bayer and Stillman [1] showed that these ideals also had doubly exponential regularity, which was exhibited in the first syzygies of . In other words and . Thus we cannot hope to avoid doubly exponential behavior given only the degrees of the generators.

It is striking, however, that the examples of “wild” regularity, such as the Mayr-Meyer ideals, Caviglia’s examples, or those in [2], all have large regularity by the first syzygies of (or second syzygies of ). The purpose of this paper is to give a bound on the degrees of the later syzygies in a resolution in terms of the earlier ones. In turn, this yields interesting regularity bounds for cyclic modules . This serves to give some indication why the examples mentioned have large regularity early in the resolution. While our bounds are much larger than the bounds of Eisenbud, Huneke and Ulrich and are likely not tight, they hold without any hypotheses on . And while our result requires more data on the syzygies of than just the degrees of the minimal generators of , it provides much smaller bounds than the doubly exponential bound above. Our main technical tool in proving these results is the numerics resulting from Boij-Söderberg decomposition [5].

In [12], Erman used Boij-Söderberg numerics to prove a special case of the Buchsbaum-Eisenbud-Horrocks conjecture on the ranks of free modules appearing in a free resolution. He used restrictions imposed by the Boij-Söderberg decomposition to show that ideals with small regularity relative to the degrees of the generators of satisfy the conjecture. While our methods are similar and the ideas here were inspired by Erman’s techniques, we do not use his results directly.

3. Review of Boij-Söderberg Theory

We follow the notation in [13]. We say that a sequence is a degree sequence (of length ) if for . Define to be the set of degree sequences of length . Given two degree sequences , we say if for . For with , we set . If and , then we set .

A graded -module is called pure of type , if if and only if for . Hence a pure module has a graded free resolution of the form

In [18], Herzog and Kuhl showed that any graded pure Cohen-Macaulay -module has prescribed Betti numbers up to constant multiple. Each degree sequence then defines a ray in the cone of Betti diagrams and there is a unique point on this ray with . In particular, there are specific formulas, called the Herzog-Kuhl equations, for the Betti numbers appearing in ; namely,

So for example, we have

We will use to denote the above formula even when the integers do not necessarily form a strictly increasing sequence.

Now let be a graded -module. Set and . For , we define and and then set and .

Eisenbud and Schreyer showed that the Betti diagram of any graded Cohen-Macaulay -module is a positive rational sum of pure diagrams. Boij and Söderberg extended this result to the non-Cohen-Macaulay case. Here we state a version of their theorem that will suffice for the purposes of this paper.

Theorem 3.1.

([10],[4]) Let be a graded -module of projective dimension and codimension . Then the Betti diagram can be decomposed as a sum:

where the are nonnegative rational numbers.

A much stronger statement is possible yielding a unique decomposition on the right given a saturated chain of degree sequences between to for . This stronger result also provides an algorithm for producing such a decomposition of the Betti diagram of any graded -module. However, we will not need these stronger statements and refer the interested reader to [4], [5], [10].

4. Main Results

In this section we show how one can use the Boij-Söderberg decomposition of the Betti table of a grade -module to produce bounds on regularity. We start with a simple lemma.

Lemma 4.1.

Let and be degree sequences of length . Suppose , , and for all . Then

Proof.

Since , we have for . Similarly for . Therefore

The next result contains the main idea needed for all of the subsequent bounds. It follows by noticing that if we fix at least half of the degrees in a degree sequence , then the final Betti number in tends to as the regularity increases.

Proposition 4.2.

Let be a finitely generated graded -module. Let , , and . Fix an integer and let . Suppose for all integers and with and , we have

Then

Proof.

Suppose . Since for all , there exist integers and with . Fix and then maximal among those ordered pairs with and with . Now consider the Boij-Söderberg decomposition of

Since , it follows that the rational coefficients sum to ; that is,

Now consider only those degree sequences with . By our choice of , these degree sequences correspond to the only pure diagrams represented in the sum with nonzero entry in the coordinate. By the previous lemma,

for all such degree sequences , where . Hence,

which is impossible. ∎

In the following we give two cases where the previous proposition yields interesting bounds on the regularity of cyclic modules. First we take the case .

Lemma 4.3.

Let . Set and . For any integer with

we have that

for all degree sequences of length with

Proof.

By Lemma 4.1, it suffices to check that . Note that for . Hence for . Therefore

We thus have the following bound on the degree of the final syzygies of .

Theorem 4.4.

Let be a homogenous ideal. Set and . Then

In particular,

Proof.

Since , this follows immediately from Lemma 4.3 and Proposition 4.2. ∎

In the following section we give some examples and compare this bound with known results. For the next result, we will need the following fact, whose proof we leave to the reader.

Lemma 4.5.

Let be positive integers and let denote the th elementary symmetric polynomial in . Then for any nonnegative real numbers , we have

We now show that given as few as half of the , we can give a bound on the regularity of .

Lemma 4.6.

Let be a homogeneous ideal. Set and . Suppose . For any integers and with and

we have that

Proof.

Again by Lemma 4.1 it suffices to check that for

Set . We have

where the last inequality holds because

The quantity above is less then if and only if

We rewrite this as

where denotes the th elementary symmetric polynomial on variables. Since

it follows that

Now fix even with . Then we have

Note that the last inequality follows, since

The final term

is nonnegative since

by the previous lemma. Hence by pairing off terms in the sum (possibly leaving the term unpaired and positive in the case where is even), we see that it is also positive, which finishes the argument. ∎

Theorem 4.7.

Let be a homogeneous ideal. Set and let . Then

Proof.

This follows from Lemma 4.6 and Proposition 4.2. ∎

Remark 4.8.

It is worth noting that the previous bound does not hold in general for non-cyclic modules. Constructions in [8], [10], and [3] show that for any degree sequence , there exists a Cohen-Macaulay graded -module with pure free resolution with degrees corresponding to . Hence no matter what degrees we pick for the first half of the resolution, no bound like this is possible in general.

5. Examples and Questions

Let be a homogenous ideal. Theorem 4.4 shows Hence for . This slightly extends Theorem 2.1 of Eisenbud-Huneke-Ulrich [9] in the case by removing the hypothesis on . Therefore we ask the following question.

Question 5.1.

Given a homogenous ideal and , is

without any restriction the dimension of ?

We know of no counterexamples to this question, yet the proof in [9] seems to require the hypothesis.

One might hope that the above statement holds without a restriction on the number of variables. The following example shows that this is not the case.

Example 5.2.

Let and let

Using Macaulay2 [17], we compute the Betti table of the free resolution of below:

0 1 2 3 4 5 6
total: 1 5 19 46 60 39 10
0: 1 - - - - - -
1: - - - - - - -
2: - 1 - - - - -
3: - - - - - - -
4: - - - - - - -
5: - 4 - - - - -
6: - - - - - - -
7: - - 4 - - - -
8: - - - - - - -
9: - - - - - - -
10: - - 6 - - - -
11: - - 2 4 - - -
12: - - 1 6 1 - -
13: - - 1 2 1 - -
14: - - 2 4 1 - -
15: - - 1 7 3 - -
16: - - 2 7 10 1 -
17: - - - 2 4 2 -
18: - - - 2 4 2 -
19: - - - 3 7 3 -
20: - - - 3 8 7 1
21: - - - 2 6 6 2
22: - - - 1 4 5 2
23: - - - 1 4 5 2
24: - - - 1 4 5 2
25: - - - 1 3 3 1

Hence we have that . And . We note however that the large regularity jumps happen early in the resolution.

Example 5.3.

The examples by Caviglia show that even with only four variables, can grow quadratically with respect to . The Theorem 4.7 with and shows that for any homogeneous ideal , we have

Hence and cannot grow quadratically purely in terms of .

Finally we remark that better bounds on are sometimes possible by applying Proposition 4.2 to in the case where has only a few generators. We use the case of a three-generated ideal as an example.

Example 5.4.

Let be a homogeneous ideal with three degree generators and suppose that and . Then Theorem 4.7 shows that

Now consider the Betti diagram of instead of . Since , we have . We observe that if , then both

and

By Proposition 4.2, we have that . Clearly this method will not work as well if has many minimal generators.

We close by noting that Theorem 4.7 provides a polynomial bound on the regularity of given half of the syzygies. It would be interesting to know if a different polynomial bound is possible using only the first syzygies. Clearly for this is not possible, but it is not clear what is possible for .

6. Acknowledgements

References

  • [1] David Bayer and Michael Stillman, On the complexity of computing syzygies, J. Symbolic Comput. 6 (1988), no. 2-3, 135–147, Computational aspects of commutative algebra.
  • [2] Jesse Beder, Jason McCullough, Luis Nũnez Betancourt, Alexandra Seceleanu, Bart Snapp, and Branden Stone, Ideals with larger projective dimension and regularity, J. Sym. Comp. 46 (2011), 1105–1113.
  • [3] Christine Berkesch, Daniel Erman, Manoj Kummini, and Steven V Sam, Tensor complexes: Multilinear free resolutions constructed from higher tensors, arXiv:1101.4604v3, March 2011.
  • [4] Mats Boij and Jonas Söderberg, Betti numbers of graded modules and the multiplicity conjectures in the non-cohen-macaulay case, arXiv:0803.1645v1, May 2008.
  • [5] by same author, Graded Betti numbers of Cohen-Macaulay modules and the multiplicity conjecture, J. Lond. Math. Soc. (2) 78 (2008), no. 1, 85–106.
  • [6] Giulio Caviglia, Kozul algebras, castelnuovo-mumford regularity and generic initial ideals, Ph.D. thesis, University of Kansas, 2004.
  • [7] Giulio Caviglia and Enrico Sbarra, Characteristic-free bounds for the Castelnuovo-Mumford regularity, Compos. Math. 141 (2005), no. 6, 1365–1373.
  • [8] David Eisenbud, Gunnar Floystad, and Jerzy Weyman, The existence of pure free resolutions, arXiv:1005.3361v1, September 2007.
  • [9] David Eisenbud, Craig Huneke, and Bernd Ulrich, The regularity of Tor and graded Betti numbers, Amer. J. Math. 128 (2006), no. 3, 573–605.
  • [10] David Eisenbud and Frank-Olaf Schreyer, Betti numbers of graded modules and cohomology of vector bundles, J. Amer. Math. Soc. 22 (2009), no. 3, 859–888.
  • [11] Bahman Engheta, Bounds on projective dimension, Ph.D. thesis, University of Kansas, 2005.
  • [12] Daniel Erman, A special case of the Buchsbaum-Eisenbud-Horrocks rank conjecture, Math. Res. Lett. 17 (2010), no. 6, 1079–1089.
  • [13] Gunnar Floystad, Boij-söderberg theory: Introduction and survey, arXiv:1106.0381v1, June 2011.
  • [14] André Galligo, À propos du théorème de-préparation de Weierstrass, Fonctions de plusieurs variables complexes (Sém. François Norguet, octobre 1970–décembre 1973; à la mémoire d’André Martineau), Springer, Berlin, 1974, pp. 543–579. Lecture Notes in Math., Vol. 409.
  • [15] by same author, Théorème de division et stabilité en géométrie analytique locale, Ann. Inst. Fourier (Grenoble) 29 (1979), no. 2, vii, 107–184.
  • [16] M. Giusti, Some effectivity problems in polynomial ideal theory, EUROSAM 84 (Cambridge, 1984), Lecture Notes in Comput. Sci., vol. 174, Springer, Berlin, 1984, pp. 159–171.
  • [17] Daniel R. Grayson and Michael E. Stillman, Macaulay2, a software system for research in algebraic geometry, Available at http://www.math.uiuc.edu/Macaulay2/.
  • [18] J. Herzog and M. Kühl, On the Betti numbers of finite pure and linear resolutions, Comm. Algebra 12 (1984), no. 13-14, 1627–1646.
  • [19] Ernst W. Mayr and Albert R. Meyer, The complexity of the word problems for commutative semigroups and polynomial ideals, Adv. in Math. 46 (1982), no. 3, 305–329.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
200429
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description