On Igusa zeta functions of monomial ideals

We show that the real parts of the poles of the Igusa zeta function of a monomial ideal can be computed from the torus-invariant divisors on the normalized blow-up of the affine space along the ideal. Moreover, we show that every such number is a root of the Bernstein-Sato polynomial associated to the monomial ideal.

     

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.

     

Trees, parking functions, syzygies, and deformations of monomial ideals

For a graph , we construct two algebras whose dimensions are both equal to the number of spanning trees of . One of these algebras is the quotient of the polynomial ring modulo certain monomial ideal, while the other is the quotient of the polynomial ring modulo certain powers of linear forms. We describe the set of monomials that forms a linear basis in each of these two algebras. The basis elements correspond to -parking functions that naturally came up in the abelian sandpile model. These ideals are instances of the general class of monotone monomial ideals and their deformations. We show that the Hilbert series of a monotone monomial ideal is always bounded by the Hilbert series of its deformation. Then we define an even more general class of monomial ideals associated with posets and construct free resolutions for these ideals. In some cases these resolutions coincide with Scarf resolutions. We prove several formulas for Hilbert series of monotone monomial ideals and investigate when they are equal to Hilbert series of deformations. In the appendix we discuss the abelian sandpile model.

     

Hilbert functions of Gorenstein monomial curves

It is a conjecture due to M. E. Rossi that the Hilbert function of a one-dimensional Gorenstein local ring is non-decreasing. In this article, we show that the Hilbert function is non-decreasing for local Gorenstein rings with embedding dimension four associated to monomial curves, under some arithmetic assumptions on the generators of their defining ideals in the non-complete intersection case. In order to obtain this result, we determine the generators of their tangent cones explicitly by using standard basis computations under these arithmetic assumptions and show that the tangent cones are Cohen-Macaulay. In the complete intersection case, by characterizing certain families of complete intersection numerical semigroups, we give an inductive method to obtain large families of complete intersection local rings with arbitrary embedding dimension having non-decreasing Hilbert functions.

     

Antichains of monomial ideals are finite

The main result of this paper is that all antichains are finite in the poset of monomial ideals in a polynomial ring, ordered by inclusion. We present several corollaries of this result, both simpler proofs of results already in the literature and new results. One natural generalization to more abstract posets is shown to be false.

     

Replication in critical graphs and the persistence of monomial ideals

Motivated by questions about square-free monomial ideals in polynomial rings, in 2010 Francisco et al. conjectured that for every positive integer k and every k-critical (i.e., critically k  -chromatic) graph, there is a set of vertices whose replication produces a (k+1)$(k+1)$-critical graph. (The replication of a set W of vertices of a graph is the operation that adds a copy of each vertex w in W, one at a time, and connects it to w and all its neighbours.)     

CW-resolutions of monomial ideals that are supported on face posets

Given a monomial ideal I with minimal free resolution ? supported in characteristic p>0 on a CW-complex X with regular 2-skeleton, in general it is not the case that the face poset of X, P(X), also supports ? in the sense of Clark and Tchernev. We construct a (not necessarily regular) CW-complex Y that also supports ? and such that the face poset P(Y) also supports ?.     

Hilbert Polynomials in Combinatorics

We prove that several polynomials naturally arising in combinatorics are Hilbert polynomials of standard graded commutative k-algebras.     

Betti numbers of some monomial ideals

In this paper we compute the graded Betti numbers of certain monomial ideals that are not stable. As a consequence we prove a conjecture, stated by G. Fatabbi, on the graded Betti numbers of two general fat points in

     

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.     

Length, multiplicity, and multiplier ideals

Let be an -dimensional regular local ring, essentially of finite type over a field of characteristic zero. Given an -primary ideal of , the relationship between the singularities of the scheme defined by and those defined by the multiplier ideals , with varying in , are quantified in this paper by showing that the Samuel multiplicity of satisfies whenever . This formula generalizes an inequality on log canonical thresholds previously obtained by Ein, Mustata and the author of this paper. A refined inequality is also shown to hold for small dimensions, and similar results valid for a generalization of test ideals in positive characteristics are presented.

     

关于Hilbert-代数的Fuzzy理想与Fuzzy演绎系统

In this paper we prove that a Fuzzy ideal and a Fuzzy deductive system coincide in Hilbert algebra.     

type free resolutions of monomial ideals

Let be a monomial ideal of . Bayer-Peeva-Sturmfels studied a subcomplex of the Taylor resolution, defined by a simplicial complex . They proved that if is generic (i.e., no variable appears with the same non-zero exponent in two distinct monomials which are minimal generators), then is the minimal free resolution of , where is the Scarf complex of . In this paper, we prove the following: for a generic (in the above sense) monomial ideal and each integer , there is an embedded prime of . Thus a generic monomial ideal with no embedded primes is Cohen-Macaulay (in this case, is shellable). We also study a non-generic monomial ideal whose minimal free resolution is for some . In particular, we prove that if all associated primes of have the same height, then is Cohen-Macaulay and is pure and strongly connected.

     

PBW deformations of quadratic monomial algebras

A result of Braverman and Gaitsgory from 1996 gives necessary and sufficient conditions for a filtered algebra to be a Poincaré-Birkhoff-Witt (PBW) deformation of a Koszul algebra. The main theorem in this paper establishes conditions equivalent to the Braverman-Gaitsgory Theorem to efficiently determine PBW deformations of quadratic monomial algebras. In particular, a graphical interpretation is presented for this result, and we discuss circumstances under which some of the conditions of this theorem need not be checked. Several examples are also provided. Finally, with these tools, we show that each quadratic monomial algebra admits a nontrivial PBW deformation.     

Mixed multiplicities of ideals versus mixed volumes of polytopes

The main results of this paper interpret mixed volumes of lattice polytopes as mixed multiplicities of ideals and mixed multiplicities of ideals as Samuel's multiplicities. In particular, we can give a purely algebraic proof of Bernstein's theorem which asserts that the number of common zeros of a system of Laurent polynomial equations in the torus is bounded above by the mixed volume of their Newton polytopes.

     

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.