On the minimal free resolution of $n+1$ general forms
HTML articles powered by AMS MathViewer
- by J. Migliore and R. M. Miró-Roig PDF
- Trans. Amer. Math. Soc. 355 (2003), 1-36 Request permission
Abstract:
Let $R = k[x_1,\dots ,x_n]$ and let $I$ be the ideal of $n+1$ generically chosen forms of degrees $d_1 \leq \dots \leq d_{n+1}$. We give the precise graded Betti numbers of $R/I$ in the following cases:
$n=3$;
$n=4$ and $\sum _{i=1}^5 d_i$ is even;
$n=4$, $\sum _{i=1}^{5} d_i$ is odd and $d_2 + d_3 + d_4 < d_1 + d_5 + 4$;
$n$ is even and all generators have the same degree, $a$, which is even;
$(\sum _{i=1}^{n+1} d_i) -n$ is even and $d_2 + \dots + d_n < d_1 + d_{n+1} + n$;
$(\sum _{i=1}^{n+1} d_i) - n$ is odd, $n \geq 6$ is even, $d_2 + \dots +d_n < d_1 + d_{n+1} + n$ and $d_1 + \dots + d_n - d_{n+1} - n \gg 0$.
We give very good bounds on the graded Betti numbers in many other cases. We also extend a result of M. Boij by giving the graded Betti numbers for a generic compressed Gorenstein algebra (i.e., one for which the Hilbert function is maximal, given $n$ and the socle degree) when $n$ is even and the socle degree is large. A recurring theme is to examine when and why the minimal free resolution may be forced to have redundant summands. We conjecture that if the forms all have the same degree, then there are no redundant summands, and we present some evidence for this conjecture.
References
- David J. Anick, Thin algebras of embedding dimension three, J. Algebra 100 (1986), no. 1, 235–259. MR 839581, DOI 10.1016/0021-8693(86)90076-1
- Marc Aubry, Série de Hilbert d’une algèbre de polynômes quotient, J. Algebra 176 (1995), no. 2, 392–416 (French, with English summary). MR 1351616, DOI 10.1006/jabr.1995.1251
- D. Bayer and M. Stillman, Macaulay: A system for computation in algebraic geometry and commutative algebra. Source and object code available for Unix and Macintosh computers. Contact the authors, or download from ftp://math.harvard.edu via anonymous ftp.
- Anna Maria Bigatti, Upper bounds for the Betti numbers of a given Hilbert function, Comm. Algebra 21 (1993), no. 7, 2317–2334. MR 1218500, DOI 10.1080/00927879308824679
- Mats Boij, Betti numbers of compressed level algebras, J. Pure Appl. Algebra 134 (1999), no. 2, 111–131. MR 1663785, DOI 10.1016/S0022-4049(97)90163-8
- Mats Boij, Gorenstein Artin algebras and points in projective space, Bull. London Math. Soc. 31 (1999), no. 1, 11–16. MR 1651033, DOI 10.1112/S0024609398004925
- David A. Buchsbaum and David Eisenbud, Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension $3$, Amer. J. Math. 99 (1977), no. 3, 447–485. MR 453723, DOI 10.2307/2373926
- K. Chandler, The Geometric Fröberg-Iarrobino Conjecture, in preparation.
- E. D. Davis, A. V. Geramita, and F. Orecchia, Gorenstein algebras and the Cayley-Bacharach theorem, Proc. Amer. Math. Soc. 93 (1985), no. 4, 593–597. MR 776185, DOI 10.1090/S0002-9939-1985-0776185-6
- Susan J. Diesel, Irreducibility and dimension theorems for families of height $3$ Gorenstein algebras, Pacific J. Math. 172 (1996), no. 2, 365–397. MR 1386623
- David Eisenbud and Shiro Goto, Linear free resolutions and minimal multiplicity, J. Algebra 88 (1984), no. 1, 89–133. MR 741934, DOI 10.1016/0021-8693(84)90092-9
- David Eisenbud and Sorin Popescu, Gale duality and free resolutions of ideals of points, Invent. Math. 136 (1999), no. 2, 419–449. MR 1688433, DOI 10.1007/s002220050315
- Carl Jacobsson, Andrew R. Kustin, and Matthew Miller, The Poincaré series of a codimension four Gorenstein ring is rational, J. Pure Appl. Algebra 38 (1985), no. 2-3, 255–275. MR 814181, DOI 10.1016/0022-4049(85)90013-1
- Ralf Fröberg and Joachim Hollman, Hilbert series for ideals generated by generic forms, J. Symbolic Comput. 17 (1994), no. 2, 149–157. MR 1283740, DOI 10.1006/jsco.1994.1008
- R. Fröberg and D. Laksov, Compressed algebras, Complete intersections (Acireale, 1983), 121–151, Lecture Notes in Math., 1092, Springer, Berlin, 1984.
- Tadahito Harima, Characterization of Hilbert functions of Gorenstein Artin algebras with the weak Stanley property, Proc. Amer. Math. Soc. 123 (1995), no. 12, 3631–3638. MR 1307527, DOI 10.1090/S0002-9939-1995-1307527-7
- T. Harima, J. Migliore, U. Nagel and J. Watanabe, The Weak and Strong Lefschetz properties for Artinian $K$-algebras, to appear in J. Algebra.
- André Hirschowitz and Carlos Simpson, La résolution minimale de l’idéal d’un arrangement général d’un grand nombre de points dans $\textbf {P}^n$, Invent. Math. 126 (1996), no. 3, 467–503 (French). MR 1419005, DOI 10.1007/s002220050107
- David J. Anick, Thin algebras of embedding dimension three, J. Algebra 100 (1986), no. 1, 235–259. MR 839581, DOI 10.1016/0021-8693(86)90076-1
- Heather A. Hulett, Maximum Betti numbers of homogeneous ideals with a given Hilbert function, Comm. Algebra 21 (1993), no. 7, 2335–2350. MR 1218501, DOI 10.1080/00927879308824680
- A. Iarrobino, Inverse system of a symbolic power. III. Thin algebras and fat points, Compositio Math. 108 (1997), no. 3, 319–356. MR 1473851, DOI 10.1023/A:1000155612073
- Anthony Iarrobino and Vassil Kanev, Power sums, Gorenstein algebras, and determinantal loci, Lecture Notes in Mathematics, vol. 1721, Springer-Verlag, Berlin, 1999. Appendix C by Iarrobino and Steven L. Kleiman. MR 1735271, DOI 10.1007/BFb0093426
- Anna Lorenzini, The minimal resolution conjecture, J. Algebra 156 (1993), no. 1, 5–35. MR 1213782, DOI 10.1006/jabr.1993.1060
- Juan C. Migliore, Introduction to liaison theory and deficiency modules, Progress in Mathematics, vol. 165, Birkhäuser Boston, Inc., Boston, MA, 1998. MR 1712469, DOI 10.1007/978-1-4612-1794-7
- J. Migliore and U. Nagel, Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers, to appear in Adv. Math.
- Keith Pardue and Ben Richert, Resolutions of Generic Ideals, in preparation.
- C. Peskine and L. Szpiro, Liaison des variétés algébriques. I, Invent. Math. 26 (1974), 271–302 (French). MR 364271, DOI 10.1007/BF01425554
- Richard P. Stanley, Weyl groups, the hard Lefschetz theorem, and the Sperner property, SIAM J. Algebraic Discrete Methods 1 (1980), no. 2, 168–184. MR 578321, DOI 10.1137/0601021
- Junzo Watanabe, The Dilworth number of Artinian rings and finite posets with rank function, Commutative algebra and combinatorics (Kyoto, 1985) Adv. Stud. Pure Math., vol. 11, North-Holland, Amsterdam, 1987, pp. 303–312. MR 951211, DOI 10.2969/aspm/01110303
Additional Information
- J. Migliore
- Affiliation: Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556
- MR Author ID: 124490
- ORCID: 0000-0001-5528-4520
- Email: Juan.C.Migliore.1@nd.edu
- R. M. Miró-Roig
- Affiliation: Facultat de Matemàtiques, Departament d’Algebra i Geometria, Gran Via de les Corts Catalanes 585, 08007 Barcelona, Spain
- MR Author ID: 125375
- ORCID: 0000-0003-1375-6547
- Email: miro@cerber.mat.ub.es
- Received by editor(s): October 1, 2001
- Received by editor(s) in revised form: March 10, 2002
- Published electronically: August 28, 2002
- Additional Notes: The first author was partially supported by the University of Barcelona
The second author was partially supported by BFM2001-3584 - © Copyright 2002 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 355 (2003), 1-36
- MSC (2000): Primary 13D02, 13D40; Secondary 13P10, 13C40, 13H10
- DOI: https://doi.org/10.1090/S0002-9947-02-03092-1
- MathSciNet review: 1928075