Betti numbers and degree bounds for some linked zero-schemes

In [J. Herzog, H. Srinivasan, Bounds for multiplicities, Trans. Amer. Math. Soc. 350 (1998) 2879-2902], Herzog and Srinivasan study the relationship between the graded Betti numbers of a homogeneous ideal I in a polynomial ring R and the degree of I. For certain classes of ideals, they prove a bound on the degree in terms of the largest and smallest Betti numbers, generalizing results of Huneke and Miller in [C. Huneke, M. Miller, A note on the multiplicity of Cohen-Macaulay algebras with pure resolutions, Canad. J. Math. 37 (1985) 1149-1162]. The bound is conjectured to hold in general; we study this using linkage. If R/I is Cohen-Macaulay, we may reduce to the case where I defines a zero-dimensional subscheme Y. If Y is residual to a zero-scheme Z of a certain type (low degree or points in special position), then we show that the conjecture is true for I_Y.     

Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers

An SI-sequence is a finite sequence of positive integers which is symmetric, unimodal and satisfies a certain growth condition. These are known to correspond precisely to the possible Hilbert functions of graded Artinian Gorenstein algebras with the weak Lefschetz property, a property shared by a nonempty open set of the family of all graded Artinian Gorenstein algebras having a fixed Hilbert function that is an SI sequence. Starting with an arbitrary SI-sequence, we construct a reduced, arithmetically Gorenstein configuration G of linear varieties of arbitrary dimension whose Artinian reduction has the given SI-sequence as Hilbert function and has the weak Lefschetz property. Furthermore, we show that G has maximal graded Betti numbers among all arithmetically Gorenstein subschemes of projective space whose Artinian reduction has the weak Lefschetz property and the given Hilbert function. As an application we show that over a field of characteristic zero every set of simplicial polytopes with fixed h-vector contains a polytope with maximal graded Betti numbers.     

Rigid resolutions and big Betti numbers

The Betti-numbers of a graded ideal I in a polynomial ring and the Betti-numbers of its generic initial ideal Gin(I) are compared. In characteristic zero it is shown that if these Betti-numbers coincide in some homological degree, then they coincide in all higher homological degrees. We also compare the Betti-numbers of componentwise linear ideals which are contained in each other and have the same Hilbert polynomial.     

Multigraded Betti numbers of simplicial forests

We prove that multigraded Betti numbers of a simplicial forest are always either 0 or 1. Moreover a nonzero multidegree appears exactly in one homological degree in the resolution. Our work generalizes work of Bouchat [2] on edge ideals of graph trees.     

Separators of points in a multiprojective space

In this note we develop some of the properties of separators of points in a multiprojective space. In particular, we prove multigraded analogs of results of Geramita, Maroscia, and Roberts relating the Hilbert function of and via the degree of a separator, and Abrescia, Bazzotti, and Marino relating the degree of a separator to shifts in the minimal multigraded free resolution of the ideal of points.     

The structure of the minimal free resolution of semigroup rings obtained by gluing

We construct a minimal free resolution of the semigroup ring $k[C]$ in terms of minimal resolutions of $k[A]$ and $k[B]$ when $〈C〉$ is a numerical semigroup obtained by gluing two numerical semigroups $〈A〉$ and $〈B〉$. Using our explicit construction, we compute the Betti numbers, graded Betti numbers, regularity and Hilbert series of $k[C]$, and prove that the minimal free resolution of $k[C]$ has a differential graded algebra structure provided the resolutions of $k[A]$ and $k[B]$ possess them. We discuss the consequences of our results in small embedding dimensions. Finally, we give an extension of our main result to semigroups in ${\mathbb{N}}^n$.     

Stability and unobstructedness of syzygy bundles

It is a longstanding problem in Algebraic Geometry to determine whether the syzygy bundle E_d1,…,dn on P^N defined as the kernel of a general epimorphism

     

Characteristic-independence of Betti numbers of graph ideals

In this paper, we study the Betti numbers of Stanley-Reisner ideals generated in degree 2. We show that the first 6 Betti numbers do not depend on the characteristic of the ground field. We also show that, if the number of variables n is at most 10, all Betti numbers are independent of the ground field. For n=11, there exists precisely 4 examples in which the Betti numbers depend on the ground field. This is equivalent to the statement that the homology of flag complexes with at most 10 vertices is torsion free and that there exists precisely 4 non-isomorphic flag complexes with 11 vertices whose homology has torsion.In each of the 4 examples mentioned above the 8th Betti numbers depend on the ground field and so we conclude that the highest Betti number which is always independent of the ground field is either 6 or 7; if the former is true then we show that there must exist a graph with 12 vertices whose 7th Betti number depends on the ground field.     

On free resolutions of some semigroup rings

For some numerical semigroup rings of small embedding dimension, namely those of embedding dimension 3, and symmetric or pseudosymmetric of embedding dimension 4, presentations has been determined in the literature. We extend these results by giving the whole graded minimal free resolutions explicitly. Then we use these resolutions to determine some invariants of the semigroups and certain interesting relations among them. Finally, we determine semigroups of small embedding dimensions which have strongly indispensable resolutions.     

Onf-vectors and Betti numbers of multicomplexes

A multicomplexM is a collection of monomials closed under divisibility. For suchM we construct a cell complex M whosei-dimensional cells are in bijection with thef _i monomials ofM of degreei+1. The bijection is such that the inclusion relation of cells corresponds to divisibility of monomials. We then study relations between the numbersf _i and the Betti numbers of M. For squarefree monomials the construction specializes to the standard geometric realization of a simplicial complex.This work was supported by the Mittag-Leffler Institute during the Combinatorial Year program 1991–92. The second author also acknowledges support from the Serbian Science Foundation, Grant No. 0401D.     

Stillman's question for exterior algebras and Herzog's conjecture on Betti numbers of syzygy modules

Let K be a field of characteristic 0 and consider exterior algebras of finite dimensional K-vector spaces. In this short paper we exhibit principal quadric ideals in a family whose Castelnuovo–Mumford regularity is unbounded. This negatively answers the analogue of Stillman's Question for exterior algebras posed by I. Peeva. We show that, via the Bernstein–Gel'fand–Gel'fand correspondence, these examples also yields counterexamples to a conjecture of J. Herzog on the Betti numbers in the linear strand of syzygy modules over polynomial rings.     

Looking out for stable syzygy bundles

We study (slope-)stability properties of syzygy bundles on a projective space PN given by ideal generators of a homogeneous primary ideal. In particular we give a combinatorial criterion for a monomial ideal to have a semistable syzygy bundle. Restriction theorems for semistable bundles yield the same stability results on the generic complete intersection curve. From this we deduce a numerical formula for the tight closure of an ideal generated by monomials or by generic homogeneous elements in a generic two-dimensional complete intersection ring.     

A tight bound on the projective dimension of four quadrics

Motivated by Stillman's question, we show that the projective dimension of an ideal generated by four quadric forms in a polynomial ring is at most 6; moreover, this bound is tight. We achieve this bound, in part, by giving a characterization of the low degree generators of ideals primary to height three primes of multiplicities one and two.     

On the ring of approximation triples attached to a class of extremal real numbers

We attach a ring of sequences to each number from a certain class of extremal real numbers, and we study the properties of this ring both from an analytic point of view by exhibiting elements with specific behaviors, and also from an algebraic point of view by identifying it with the quotient of a polynomial ring over ?. The link between these points of view relies on combinatorial results of independent interest. We apply this theory to estimate the dimension of a certain space of sequences satisfying prescribed growth constraints.     

Resolutions of generic points lying on a smooth quadric

For a 0-dimensional schemeX on a smooth quadricQ we define a special type of resolution of its ideal sheaf as a locally freeO _Q. These resolutions allow to find, for schemes which are generic inQ, the minimal free resolution ofX as a subscheme of ℙ³. For almost all such schemes the graded Betti numbers in ℙ³ depend only on the Hilbert function ofX in ℙ³. Work done with financial support of M.U.R.S.T., while the authors were members of C.N.R.     

On quasi divisor theories and systems of valuations

We study the relationship between divisor theories and systems of valuations, and characterize monoids with quasi divisor theories of finite character by systems of essential valuations. Throughout, we avoid ideal theory but use divisor theoretical methods.     

Families of artinian and low dimensional determinantal rings

Let $\mathrm{GradAlg}(H)$ be the scheme parameterizing graded quotients of $R=k[x_0,\dots ,x_n]$ with Hilbert function H (it is a subscheme of the Hilbert scheme of ${\mathbb{P}}^n$ if we restrict to quotients of positive dimension, see definition below). A graded quotient $A=R/I$ of codimension c is called standard determinantal if the ideal I can be generated by the $t\times t$ minors of a homogeneous $t\times (t+c?1)$ matrix $(f_{ij})$. Given integers $a_0\le a_1\le ...\le a_{t+c?2}$ and $b_1\le ...\le b_t$, we denote by $W_s(\underset{\_}{b};\underset{\_}{a})?\mathrm{GradAlg}(H)$ the stratum of determinantal rings where $f_{ij}\in R$ are homogeneous of degrees $a_j?b_i$.In this paper we extend previous results on the dimension and codimension of $W_s(\underset{\_}{b};\underset{\_}{a})$ in $\mathrm{GradAlg}(H)$ to artinian determinantal rings, and we show that $\mathrm{GradAlg}(H)$ is generically smooth along $W_s(\underset{\_}{b};\underset{\_}{a})$ under some assumptions. For zero and one dimensional determinantal schemes we generalize earlier results on these questions. As a consequence we get that the general element of a component W of the Hilbert scheme of ${\mathbb{P}}^n$ is glicci provided W contains a standard determinantal scheme satisfying some conditions. We also show how certain ghost terms disappear under deformation while other ghost terms remain and are present in the minimal resolution of a general element of $\mathrm{GradAlg}(H)$.     

The projective dimension of three cubics is at most 5

Let R be a polynomial ring over a field and I an ideal generated by three forms of degree three. Motivated by Stillman's question, Engheta proved that the projective dimension $\mathrm{pd}(R/I)$ of $R/I$ is at most 36, although the example with largest projective dimension he constructed has $\mathrm{pd}(R/I)=5$. Based on computational evidence, it had been conjectured that $\mathrm{pd}(R/I)\le 5$. In the present paper we prove this conjectured sharp bound.     

A bound for the Castelnuovo-Mumford regularity of log canonical varieties

In this note, we give a bound for the Castelnuovo-Mumford regularity of a homogeneous ideal I in terms of the degrees of its generators. We assume that I defines a local complete intersection with log canonical singularities.