t-Spread strongly stable monomial ideals*

We introduce the concept of t-spread monomials and t-spread strongly stable ideals. These concepts are a natural generalization of strongly stable and squarefree strongly stable ideals. For the study of this class of ideals we use the t-fold stretching operator. It is shown that t-spread strongly stable ideals are componentwise linear. Their height, their graded Betti numbers and their generic initial ideal are determined. We also consider the toric rings whose generators come from t-spread principal Borel ideals.     

Path ideals of rooted trees and their graded Betti numbers

Let Γ be a rooted (and directed) tree, and let t be a positive integer. The path ideal It(Γ) is generated by monomials that correspond to directed paths of length (t−1) in Γ. In this paper, we study algebraic properties and invariants of It(Γ). We give a recursive formula to compute the graded Betti numbers of It(Γ) in terms of path ideals of subtrees. We also give a general bound for the regularity, explicitly compute the linear strand, and investigate when It(Γ) has a linear resolution.     

Efficient Generation of Prime Ideals in Polynomial Rings up to Radical

We call an ideal I of a ring R radically perfect if among all ideals whose radical is equal to the radical of I, the one with the least number of generators has this number of generators equal to the height of I. Let R be a ring and R[X] be the polynomial ring over R. We prove that if R is a strong S-domain of finite Krull dimension and if each nonzero element of R is contained in finitely many maximal ideals of R, then each maximal ideal of R[X] of maximal height is the J _max-radical of an ideal generated by two elements. We also show that if R is a Prüfer domain of finite Krull dimension with coprimely packed set of maximal ideals, then for each maximal ideal M of R, the prime ideal MR[X] of R[X] is radically perfect if and only if R is of dimension one and each maximal ideal of R is the radical of a principal ideal. We then prove that the above conditions on the Prüfer domain R also imply that a power of each finitely generated maximal ideal of R is principal. This result naturally raises the question whether the same conditions on R imply that the Picard group of R is torsion, and we prove this to be so when either R is an almost Dedekind domain or a Prüfer domain with an extra condition imposed on it.     

Monomial ideals, edge ideals of hypergraphs, and their graded Betti numbers

We use the correspondence between hypergraphs and their associated edge ideals to study the minimal graded free resolution of squarefree monomial ideals. The theme of this paper is to understand how the combinatorial structure of a hypergraph ℋ appears within the resolution of its edge ideal ℐ(ℋ). We discuss when recursive formulas to compute the graded Betti numbers of ℐ(ℋ) in terms of its sub-hypergraphs can be obtained; these results generalize our previous work (Hà, H.T., Van Tuyl, A. in J. Algebra 309:405–425, 2007) on the edge ideals of simple graphs. We introduce a class of hypergraphs, which we call properly-connected, that naturally generalizes simple graphs from the point of view that distances between intersecting edges are “well behaved.” For such a hypergraph ℋ (and thus, for any simple graph), we give a lower bound for the regularity of ℐ(ℋ) via combinatorial information describing ℋ and an upper bound for the regularity when ℋ=G is a simple graph. We also introduce triangulated hypergraphs that are properly-connected hypergraphs generalizing chordal graphs. When ℋ is a triangulated hypergraph, we explicitly compute the regularity of ℐ(ℋ) and show that the graded Betti numbers of ℐ(ℋ) are independent of the ground field. As a consequence, many known results about the graded Betti numbers of forests can now be extended to chordal graphs. Dedicated to Anthony V. Geramita on the occasion of his 65th birthday.     

Betti numbers of determinantal ideals

Let R=k[x₁,…,x_n] be a polynomial ring and let IR be a graded ideal. In [T. Römer, Betti numbers and shifts in minimal graded free resolutions, arXiv: AC/070119], Römer asked whether under the Cohen–Macaulay assumption the ith Betti number β_i(R/I) can be bounded above by a function of the maximal shifts in the minimal graded free R-resolution of R/I as well as bounded below by a function of the minimal shifts. The goal of this paper is to establish such bounds for graded Cohen–Macaulay algebras k[x₁,…,x_n]/I when I is a standard determinantal ideal of arbitrary codimension. We also discuss other examples as well as when these bounds are sharp.     

Graded rings and essential ideals

LetG be a group andA aG-graded ring. A (graded) idealI ofA is (graded) essential ifI⊃J≠0 wheneverJ is a nonzero (graded) ideal ofA. In this paper we study the relationship between graded essential ideals ofA, essential ideals of the identity componentA _e and essential ideals of the smash productA#G ^*. We apply our results to prime essential rings, irredundant subdirect sums and essentially nilpotent rings.     

Skeletons of monomial ideals

In analogy to the skeletons of a simplicial complex and their Stanley–Reisner ideals we introduce the skeletons of an arbitrary monomial ideal I ? S = K [x₁, …, x_n ]. This allows us to compute the depth of S /I in terms of its skeleton ideals. We apply these techniques to show that Stanley's conjecture on Stanley decompositions of S /I holds provided it holds whenever S /I is Cohen–Macaulay. We also discuss a conjecture of Soleyman Jahan and show that it suffices to prove his conjecture for monomial ideals with linear resolution (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Convex bodies and asymptotic invariants for powers of monomial ideals

Continuing a well established tradition of associating convex bodies to monomial ideals, we initiate a program to construct asymptotic Newton polyhedra from decompositions of monomial ideals. This is achieved by forming a graded family of ideals based on a given decomposition. We term these graded families powers since they generalize the notions of ordinary and symbolic powers. Asymptotic invariants for these graded families are expressed as solutions to linear optimization problems on the respective convex bodies. This allows to establish a lower bound on the Waldschmidt constant of a monomial ideal by means of a more easily computable invariant, which we introduce under the name of naive Waldschmidt constant.     

Coefficient Ideal of Ideals Generated by Monomials

In a commutative Noetherian ring R, the coefficient ideal of I relative to J is the largest ideal 𝔟 for which I𝔟 =J𝔟 when I is integral over J. In this article, we will give a simple algorithm to compute 𝔞(I, J) when I, J are ideals in a polynomial ring R = k[X ₁,…, X _d ] generated by monomials and J is a parameter ideal. We use the concept of socle sequence. Also we will show that the reduction number r _J (I) is also computed by our algorithm.     

Candidates for nonzero Betti numbers of monomial ideals

Let I be a monomial ideal in the polynomial ring S generated by elements of degree at most d. In this paper, it is shown that, if the i-th syzygy of I has no elements of degrees j,…,j+(d?1) (where j≥i+d), then (i+1)-th syzygy of I does not have any element of degree j+d. Then we give several applications of this result, including an alternative proof for Green–Lazarsfeld index of the edge ideals of graphs as well as an alternative proof for Fröberg’s theorem on classification of square-free monomial ideals generated in degree 2 with linear resolution. Among all, we deduce a partial result on subadditivity of the syzygies for monomial ideals.     

The Limiting Shape of the Generic Initial System of a Complete Intersection

Consider a complete intersection I of type (d ₁,…, d _r ) in a polynomial ring over a field of characteristic 0. We study the graded system of ideals {gin(I ⁿ )} _n obtained by taking the reverse lexicographic generic initial ideals of the powers of I and describe its asymptotic behavior. This behavior is nicely captured by the limiting shape which is shown to depend only on the type of the complete intersection.     

Monomial Ideals of Forest Type

As a generalization of the facet ideal of a forest, we define monomial ideal of forest type and show that monomial ideals of forest type are pretty clean. As a consequence, we show that if I is a monomial ideal of forest type in the polynomial ring S, then Stanley's decomposition conjecture holds for S/I. The other main result of this article shows that a clutter is totally balanced if and only if it has the free vertex property, and which is also equivalent to say that its edge ideal is a monomial ideal of forest type or is generated by an M sequence.     

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.     

Resolutions of monomial ideals of projective dimension 1

We show that a monomial ideal I in a polynomial ring S has projective dimension ≤ 1 if and only if the minimal free resolution of S∕I is supported on a graph that is a tree. This is done by constructing specific graphs which support the resolution of the S∕I. We also provide a new characterization of quasi-trees, which we use to give a new proof to a result by Herzog, Hibi, and Zheng which characterizes monomial ideals of projective dimension 1 in terms of quasi-trees.     

The Lefschetz Property for Componentwise Linear Ideals and Gotzmann Ideals

Abstract

For standard graded Artinian K-algebras defined by componentwise linear ideals and Gotzmann ideals, we give conditions for the weak Lefschetz property in terms of numerical invariants of the defining ideals.     

Hilbert function of powers of ideals of low codimension

We study the Hilbert function of the powers of homogeneous ideals which are either Cohen-Macaulay of codimension 2 or Gorenstein of codimension 3. We show that that if I is an ideal in one of these classes and it is of linear type then for all k the Hilbert function of depends only on the Hilbert function of I. In other words, if I andJ are ideals in one of the above mentioned classes which are both of linear type and they have the same Hilbert function then also and have the same Hilbert function for all k. Received July 29, 1997; in final form January 23, 1998     

The core of zero-dimensional monomial ideals

The core of an ideal is the intersection of all its reductions. We describe the core of a zero-dimensional monomial ideal I as the largest monomial ideal contained in a general reduction of I. This provides a new interpretation of the core in the monomial case as well as an efficient algorithm for computing it. We relate the core to adjoints and first coefficient ideals, and in dimension two and three we give explicit formulas.