Search arXiv⌕ Search

arXiv · math/0109179

On the minimal free resolution of $n+1$ generic forms

Abstract

We consider the minimal free resolution of a generic set of n+1 forms (not necessarily of the same degree) in a polynomial ring of n variables. The Hilbert function for such an ideal is known, thanks to a result of Stanley and of Watanabe. (For more than n+1 forms the Hilbert function is conjectured by Froberg.) However, in all but a few trivial cases, the resolution is not known. A conjecture of Iarrobino says that apart from Koszul syzygies, there should be no overlaps in the twists occurring in the free modules in the resolution. We are able to find the precise minimal free resolutions in many cases (depending on n and on the particular degrees) and give good bounds in many other cases. As a result, we see that Iarrobino's conjecture does not hold and we begin to have an understanding of what causes this failure. We conjecture that there are no such overlaps when all n+1 generators have the same degree. In the process of achieving these results, we extend a result of Boij by giving the graded Betti numbers of a generic Gorenstein algebra when n is even and the socle degree is large.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Juan C. Migliore, Rosa Miró-Roig. 2001-09-23. On the minimal free resolution of $n+1$ generic forms. https://arxiv.org/abs/math/0109179

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Systems of parameters consisting of linear forms for monomial ideal quotients

Let $S=K[x_1,\ldots,x_n]$ be a polynomial ring over a field $K$ and let $I$ be a monomial ideal of $S$. We classify linear systems of parameters of $S/I$ over any field $K$ using linear algebra and show explicit linear systems of parameters when $K$ has at least $n$ elements. If $I(G)$ is the edge ideal of a perfect graph $G$, a cycle or the complement of a cycle, we show that $S/I(G)$ has a 0-1 linear system of parameters, and for graphs with independence number equal to $2$, we characterize when $S/I(G)$ has a 0-1 linear system of parameters.

math.AC↗

Primality of dilated closed path polyominoes

In this paper we define a novel product on polyominoes called the tensor product of polyominoes. Using a special case of this product which we name a dilation, we construct a new class of polyominoes called the dilated closed paths. This class is a ''thick'' generalization of Cisto and Navarra's class of closed paths (arXiv:2006.13935). We prove the Zig-Zag Walk Conjecture for this new class thereby fully characterizing primality for its associated polyomino ideals.

math.AC↗

Reduced and coreduced modules with respect to inverse families of ideals

Let R be a commutative ring and Phi an inverse family of ideals with greatest proper member L. We introduce and study Phi reduced and Phi coreduced modules, extending the corresponding notions for powers of a single ideal. We show that, on these classes of modules, the generalized torsion and completion functors associated with Phi are determined by L. We establish characterizations and closure properties of these modules and obtain a Greenlees May type adjunction and a Matlis Greenlees May type characterization. When Phi is a system of ideals, we further investigate the radicality of the generalized torsion functor and derive associated torsion theories on suitable Serre subcategories. These results provide a module theoretic framework for studying generalized torsion and completion with respect to families of ideals

math.AC↗