The Golod property for powers of ideals and Koszul ideals

Let S be a regular local ring or a polynomial ring over a field and I be an ideal of S. Motivated by a recent result of Herzog and Huneke, we study the natural question of whether $I^m$ is a Golod ideal for all $m\ge 2$. We observe that the Golod property of an ideal can be detected through the vanishing of certain maps induced in homology. This observation leads us to generalize some known results from the graded case to local rings and obtain new classes of Golod ideals.     

Generic initial ideals and exterior algebraic shifting of the join of simplicial complexes

In this paper, the relation between algebraic shifting and join which was conjectured by Eran Nevo will be proved. Let σ and τ be simplicial complexes and σ*τ be their join. Let J _σ be the exterior face ideal of σ and Δ(σ) the exterior algebraic shifted complex of σ. Assume that σ*τ is a simplicial complex on [n]={1,2,...,n}. For any d-subset S⊂[n], let denote the number of d-subsets R∈σ which are equal to or smaller than S with respect to the reverse lexicographic order. We will prove that for all S⊂[n]. To prove this fact, we also prove that for all S⊂[n] and for all nonsingular matrices ϕ, where Δ_ϕ(σ) is the simplicial complex defined by .     

Multiplier ideals of monomial ideals

In this note we discuss a simple algebraic calculation of the multiplier ideal associated to a monomial ideal in affine -space. We indicate how this result allows one to compute not only the multiplier ideal but also the log canonical threshold of an ideal in terms of its Newton polygon.

     

Reduction numbers and initial ideals

The reduction number of a standard graded algebra is the least integer such that there exists a minimal reduction of the homogeneous maximal ideal of such that . Vasconcelos conjectured that where is the initial ideal of an ideal in a polynomial ring with respect to a term order. The goal of this note is to prove the conjecture.

     

Quadratic initial ideals of root systems

Let be one of the root systems , , and and write for the set of positive roots of together with the origin of . Let denote the Laurent polynomial ring over a field and write for the affine semigroup ring which is generated by those monomials with , where if . Let denote the polynomial ring over and write for the toric ideal of . Thus is the kernel of the surjective homomorphism defined by setting for all . In their combinatorial study of hypergeometric functions associated with root systems, Gelfand, Graev and Postnikov discovered a quadratic initial ideal of the toric ideal of . The purpose of the present paper is to show the existence of a reverse lexicographic (squarefree) quadratic initial ideal of the toric ideal of each of , and . It then follows that the convex polytope of the convex hull of each of , and possesses a regular unimodular triangulation arising from a flag complex, and that each of the affine semigroup rings , and is Koszul.     

Generic initial ideals and squeezed spheres

In 1988 Kalai constructed a large class of simplicial spheres, called squeezed spheres, and in 1991 presented a conjecture about generic initial ideals of Stanley-Reisner ideals of squeezed spheres. In the present paper this conjecture will be proved. In order to prove Kalai's conjecture, based on the fact that every squeezed (d−1)-sphere is the boundary of a certain d-ball, called a squeezed d-ball, generic initial ideals of Stanley-Reisner ideals of squeezed balls will be determined. In addition, generic initial ideals of exterior face ideals of squeezed balls are determined. On the other hand, we study the squeezing operation, which assigns to each Gorenstein* complex Γ having the weak Lefschetz property a squeezed sphere Sq(Γ), and show that this operation increases graded Betti numbers.     

Asymptotic invariants constructed from generic initial ideals

Generic initial ideals (gins for short) were systematically introduced by Galligo in 1974 under the name of Grauert invariants since they appeared apparently first in works of Grauert and Hironaka. Ever since they have been of interest in commutative algebra and indirectly in algebraic geometry. Recently, Mayes in a series of articles associated with gins of graded families of ideals geometric objects called limiting shapes. The construction resembles that of Okunkov bodies but there are some differences as well. This work is motivated by Mayes articles and explores the connections between gins, limiting shapes, and some asymptotic invariants of homogeneous ideals which are associated with the gins, for example, asymptotic regularity, Waldschmidt constant and some new invariants, which seem relevant from geometric point of view.     

Generic tropical initial ideals of Cohen-Macaulay algebras

We study the generic tropical initial ideals of a positively graded Cohen-Macaulay algebra R over an algebraically closed field k. Building on work of Römer and Schmitz, we give a formula for each initial ideal, and we express the associated quasivaluations in terms of certain I-adic filtrations. As a corollary, we show that in the case that R is a domain, every initial ideal coming from the codimension 1 skeleton of the tropical variety is prime, so “generic presentations of Cohen-Macaulay domains are well-poised in codimension 1.”     

Evaluations of initial ideals and Castelnuovo-Mumford regularity

This paper characterizes the Castelnuovo-Mumford regularity by evaluating the initial ideal with respect to the reverse lexicographic order.

     

Generic initial ideals of Artinian ideals having Lefschetz properties or the strong Stanley property

For a standard Artinian k-algebra A=R/I, we give equivalent conditions for A to have the weak (or strong) Lefschetz property or the strong Stanley property in terms of the minimal system of generators of gin(I). Using the equivalent condition for the weak Lefschetz property, we show that some graded Betti numbers of gin(I) are determined just by the Hilbert function of I if A has the weak Lefschetz property. Furthermore, for the case that A is a standard Artinian k-algebra of codimension 3, we show that every graded Betti number of gin(I) is determined by the graded Betti numbers of I if A has the weak Lefschetz property. And if A has the strong Lefschetz (respectively Stanley) property, then we show that the minimal system of generators of gin(I) is determined by the graded Betti numbers (respectively by the Hilbert function) of I.     

Generic initial ideals of some monomial complete intersections in four variables

Let R = K[x ₁, x ₂, x ₃, x ₄] be the polynomial ring over a field of characteristic zero. For the ideal (x₁^a, x₂^b, x₃^c, x₄^d) ì R{(x_1^a, x_2^b, x_3^c, x_4^d) \subset R}, where at least one of a, b, c and d is equal to two, we prove that its generic initial ideal with respect to the reverse lexicographic order is the almost revlex ideal corresponding to the same Hilbert function.     

A stratification of Hilbert schemes by initial ideals and applications

We show that the set of the homogeneous saturated ideals with given initial ideal in a fixed term-ordering is locally closed in the Hilbert scheme, and that it is affine if the initial ideal is saturated. Then, Hilbert schemes can be stratified using these subschemes. We investigate the behaviour of this stratification with respect to some properties of the closed points. As application, we describe the singular locus of the component of Hilb^{4 z +1} _ℙ4 containing the ACM curves of degree 4. Received: 30 November 1998 / Revised version: 16 September 1999     

Bigeneric initial ideals, diagonal subalgebras and bigraded Hilbert functions

In this paper we study some problems concerning bigraded ideals. By introducing the concept of bigeneric initial ideal, we answer an open question about diagonal subalgebras and we give a necessary condition for a function to be the bigraded Hilbert function of a bigraded algebra. Moreover, we give an upper bound for the regularity of a bistable ideal in terms of the degrees of its generators.     

The multiplier ideals of a sum of ideals

We prove that if , are nonzero sheaves of ideals on a complex smooth variety , then for every we have the following relation between the multiplier ideals of , and :

A similar formula holds for the asymptotic multiplier ideals of the sum of two graded systems of ideals.

We use this result to approximate at a given point arbitrary multiplier ideals by multiplier ideals associated to zero dimensional ideals. This is applied to compare the multiplier ideals associated to a scheme in different embeddings.

     

Convex polytopes all of whose reverse lexicographic initial ideals are squarefree

A compressed polytope is an integral convex polytope any of whose reverse lexicographic initial ideals is squarefree. A sufficient condition for a -polytope to be compressed will be presented. One of its immediate consequences is that the class of compressed -polytopes includes (i) hypersimplices, (ii) order polytopes of finite partially ordered sets, and (iii) stable polytopes of perfect graphs.

     

Finiteness of Hilbert functions and bounds for Castelnuovo-Mumford regularity of initial ideals

Bounds for the Castelnuovo-Mumford regularity and Hilbert coefficients are given in terms of the arithmetic degree (if the ring is reduced) or in terms of the defining degrees. From this it follows that there exists only a finite number of Hilbert functions associated with reduced algebras over an algebraically closed field with a given arithmetic degree and dimension. A good bound is also given for the Castelnuovo-Mumford regularity of initial ideals which depends neither on term orders nor on the coordinates and holds for any field.

     

Generic initial ideals and graded Artinian-level algebras not having the Weak-Lefschetz Property

We find a sufficient condition that is not level based on a reduction number. In particular, we prove that a graded Artinian algebra of codimension 3 with Hilbert function cannot be level if h_d≤2d+3, and that there exists a level O-sequence of codimension 3 of type for h_d≥2d+k for k≥4. Furthermore, we show that is not level if , and also prove that any codimension 3 Artinian graded algebra A=R/I cannot be level if . In this case, the Hilbert function of A does not have to satisfy the condition h_d−1>h_d=h_d+1.Moreover, we show that every codimension n graded Artinian level algebra having the Weak-Lefschetz Property has a strictly unimodal Hilbert function having a growth condition on (h_d−1−h_d)≤(n−1)(h_d−h_d+1) for every d>θ where

h₀<h₁<<h_α==h_θ>>h_s−1>h_s.