BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We study the upper bound of the colength of trace of the canonical module in one-dimensional Cohen-Macaulay rings. We answer the two questions posed by Herzog-Hibi-Stamate and Kobayashi.
In this paper we study graded Bourbaki ideals. It is a well-known fact that for torsionfree modules over Noetherian normal domains, Bourbaki sequences exist. We give criteria in terms of certain attached matrices for a homomorphism of modules to induce a Bourbaki sequence. Special attention is given to graded Bourbaki sequences. In the second part of the paper, we apply these results to the Koszul cycles of the residue class field and determine particular Bourbaki ideals explicitly. We also obtain in a special case the relationship between the structure of the Rees algebra of a Koszul cycle and the Rees algebra of its Bourbaki ideal.
For a monomial ideal I, we consider the ith homological shift ideal of I, denoted by HSi(I), that is, the ideal generated by the ith multigraded shifts of I. Some algebraic properties of this ideal are studied. It is shown that for any monomial ideal I and any monomial prime ideal P, HSi(I(P))⊆HSi(I)(P) for all i, where I(P) is the monomial localization of I. In particular, we consider the homological shift ideal of some families of monomial ideals with linear quotients. For any c-bounded principal Borel ideal I and for the edge ideal of complement of any path graph, it is proved that HSi(I) has linear quotients for all i. As an example of c-bounded principal Borel ideals, Veronese type ideals are considered and it is shown that the homological shift ideal of these ideals are polymatroidal. This implies that for any polymatroidal ideal which satisfies the strong exchange property, HSj(I) is again a polymatroidal ideal for all j. Moreover, for any edge ideal with linear resolution, the ideal HSj(I) is characterized and it is shown that HS1(I) has linear quotients.
Given a number q, we construct a monomial ideal I with the property that the function which describes the number of generators of Ik has at least q local maxima.
We show that under some conditions, if the initial ideal in<(I) of an ideal I in a polynomial ring has the property that its symbolic and ordinary powers coincide, then the ideal I shares the same property. We apply this result to prove the equality between symbolic and ordinary powers for binomial edge ideals with quadratic Gröbner basis.
We study ideals which are generated by monomials of degree d in the polynomial ring in n variables and which satisfy certain numerical side conditions regarding their exponents. Typical examples of such ideals are the ideals of Veronese type, squarefree Veronese ideals or t-spread Veronese ideals. In this paper we focus on c-bounded t-spread Veronese ideals and on Veronese ideals of bounded support. Their powers as well as their fiber cone is also be considered.
We recall a numerical criteria for Cohen--Macaulayness related to system of parameters, and introduce monomial ideals of König type which include the edge ideals of König graphs. We show that a monomial ideal is of König type if and only if its corresponding residue class ring admits a system of parameters whose elements are of the form xi−xj. This provides an algebraic characterization of König graphs. We use this special parameter systems for the study of the edge ideal of König graphs and the study of the order complex of a certain family of posets. Finally, for any simplicial complex Δ we introduce a system of parameters for K[Δ] with a universal construction principle, independent of the base field and only dependent on the faces of Δ. This system of parameters is an efficient tool to test Cohen--Macaulayness of the Stanley--Reisner ring of a simplicial complex.
The trace of the canonical module (the canonical trace) determines the non-Gorenstein locus of a local Cohen--Macaulay ring. We call a local Cohen--Macaulay ring nearly Gorenstein, if its canonical trace contains the maximal ideal. Similar definitions can be made for positively graded Cohen--Macaulay K-algebras. We study the canonical trace for tensor products and Segre products of algebras, as well as of (squarefree) Veronese subalgebras. The results are used to classify the nearly Gorenstein Hibi rings. We study connections between the class of nearly Gorenstein rings and that of almost Gorenstein rings. We show that in dimension one, the former class includes the latter.
Let H⊆Nd be a normal affine semigroup, R=K[H] its semigroup ring over the field K and ωR its canonical module. The Ulrich elements for H are those h in H such that for the multiplication map by xh from R into ωR, the cokernel is an Ulrich module. We say that the ring R is almost Gorenstein if Ulrich elements exist in H. For the class of slim semigroups that we introduce, we provide an algebraic criterion for testing the Ulrich propery. When d=2, all normal affine semigroups are slim. Here we have a simpler combinatorial description of the Ulrich property. We improve this result for testing the elements in H which are closest to zero. In particular, we give a simple arithmetic criterion for when is (1,1) an Ulrich element in H.
The trace of the canonical module of a Cohen-Macaulay ring describes its non-Gorenstein locus. We study the trace of the canonical module of a Segre product of algebras, and we apply our results to compute the non-Gorenstein locus of toric rings. We provide several sufficient and necessary conditions for Hibi rings and normal semigroup rings to be Gorenstein on the punctured spectrum.
Let G be a connected finite simple graph and let IG be the edge ideal of G. The smallest number k for which $\depth S/I_G^k$ stabilizes is denoted by $\dstab(I_G)$. We show that $\dstab(I_G)<\ell(I_G)$ where ℓ(IG) denotes the analytic spread of I. For trees we give a stronger upper bound for $\dstab(I_G)$. We also show for any two integers 1≤a<b there exists a tree for which $\dstab(I_G)=a$ and ℓ(IG)=b.
To a natural number n, a finite partially ordered set P and a poset ideal J in the poset Hom(P,[n]) of isotonian maps from P to the chain on n elements, we associate two monomial ideals, the letterplace ideal L(n,P;J) and the co-letterplace ideal L(P,n;J). These ideals give a unified understanding of a number of ideals studied in monomial ideal theory in recent years. By cutting down these ideals by regular sequences of variable differences we obtain: multichain ideals and generalized Hibi type ideals, initial ideals of determinantal ideals, strongly stable ideals, d-partite d-uniform ideals, Ferrers ideals, edge ideals of cointerval d-hypergraphs, and uniform face ideals.
It is shown that for large classes of posets P and Q, the defining ideal JP,Q of an isotonian algebras is generated by squarefree binomials. Within these classes, those posets are classified for which JP,Q is quadratically generated.
Chordal clutters in the sense of [14] and [3] are defined via simplicial orders. Their circuit ideal has a linear resolution, independent of the characteristic of the base field. We show that any Betti sequence of an ideal with linear resolution appears as the Betti sequence of the circuit ideal of such a chordal clutter. Associated with any simplicial order is a sequence of integers which we call the λ-sequence of the chordal clutter. All possible λ-sequences are characterized. They are intimately related to the Hilbert function of a suitable standard graded K-algebra attached to the chordal clutter. By the λ-sequence of a chordal clutter we determine other numerical invariants of the circuit ideal, such as the h-vector and the Betti numbers.
In this paper we consider bi-Cohen-Macaulay graphs, and give a complete classification of such graphs in the case they are bipartite or chordal. General bi-Cohen-Macaulay graphs are classified up to separation. The inseparable bi-Cohen-Macaulay graphs are determined. We establish a bijection between the set of all trees and the set of inseparable bi-Cohen-Macaulay graphs.
To a pair P and Q of finite posets we attach the toric ring K[P,Q] whose generators are in bijection to the isotone maps from P to Q. This class of algebras, called isotonian, are natural generalizations of the so-called Hibi rings. We determine the Krull dimension of these algebras and for particular classes of posets P and Q we show that K[P,Q] is normal and that their defining ideal admits a quadratic Gröbner basis.
Let X be an (m×n)-matrix of indeterminates, and let J be the ideal generated by a set S of maximal minors of X. We construct the linear strand of the resolution of J. This linear strand is determined by the clique complex of the m-clutter corresponding to the set S. As a consequence one obtains explicit formulas for the graded Betti numbers βi,i+m(J) for all i≥0. We also determine all sets S for which J has a linear resolution.
We compute the regularity of the Hibi ring of any finite distributive lattice in terms of its poset of join irreducible elements.
We consider classes of ideals which generalize the mixed product ideals introduced by Restuccia and Villarreal, and also generalize the expansion construction by Bayati and the first author \cite{BH}. We compute the minimal graded free resolution of generalized mixed product ideals and show that the regularity of a generalized mixed product ideal coincides with regularity of the monomial ideal by which it is induced.
We introduce balanced polyominoes and show that their ideal of inner minors is a prime ideal and has a quadratic Gröbner basis with respect to any monomial order, and we show that any row or column convex and any tree-like polyomino is simple and balanced.
We classify all convex polyomino ideals which are linearly related or have a linear resolution. Convex stack polyominoes whose ideals are extremal Gorenstein are also classified. In addition, we characterize, in combinatorial terms, the distributive lattices whose join-meet ideals are extremal Gorenstein or have a linear resolution.
Let a=a1<⋯<ar be a sequence of positive integers, and let Ha denote the semigroup generated by a1,…,ar. For an integer k≥0 we denote by a+k the shifted sequence a1+k,…,ar+k. Fix a field K. We show that for all k≫0 the associated graded ring of the semigroup ring K[Ha+k] is Cohen--Macaulay and that it has the same Betti numbers as K[Ha+k] itself. As a consequence, we show that the number of defining equations of the tangent cone of a numerical semigroup ring is bounded by a value depending only on the width of the semigroup, where the width of a numerical semigroup is defined to be the difference of the largest and the smallest element in the minimal generating set of the semigroup. We also provide a conjectured upper bound of the above number of equations and we verify it in some cases.
In this paper, we study orthogonal representations of simple graphs G in Rd from an algebraic perspective in case d=2. Orthogonal representations of graphs, introduced by Lovász, are maps from the vertex set to Rd where non-adjacent vertices are sent to orthogonal vectors. We exhibit algebraic properties of the ideal generated by the equations expressing this condition and deduce geometric properties of the variety of orthogonal embeddings for d=2 and R replaced by an arbitrary field. In particular, we classify when the ideal is radical and provide a reduced primary decomposition if −1∈K. This leads to a description of the variety of orthogonal embeddings as a union of varieties defined by prime ideals. In particular, this applies to the motivating case K=R.
We introduce pseudo-Gorenstein rings and characterize those Hibi rings attached to a finite distributive lattice L which are pseudo-Gorenstein. The characterization is given in terms of the poset of join-irreducible elements of L. We also present a necessary condition for Hibi rings to be level. Special attention is given to planar and hyper-planar lattices. Finally the pseudo-Goresntein and level property of Hibi rings and generalized Hibi rings is compared with each other.
Let I⊂K[x1,…,xn] be a zero-dimensional monomial ideal, and Δ(I) be the simplicial complex whose Stanley--Reisner ideal is the polarization of I. It follows from a result of Soleyman Jahan that Δ(I) is shellable. We give a new short proof of this fact by providing an explicit shelling. Moreover, we show that Δ(I) is even vertex decomposable. The ideal L(I), which is defined to be the Stanley--Reisner ideal of the Alexander dual of Δ(I), has a linear resolution which is cellular and supported on a regular CW-complex. All powers of L(I) have a linear resolution. We compute depth L(I)k and show that depth L(I)k=n for all k≥n.
Given a simplicial complex we associate to it a squarefree monomial ideal which we call the face ideal of the simplicial complex, and show that it has linear quotients. It turns out that its Alexander dual is a whisker complex. We apply this construction in particular to chain and antichain ideals of a finite partially ordered set. We also introduce so-called higher dimensional whisker complexes and show that their independence complexes are shellable.
We present some partial results regarding subadditivity of maximal shifts in finite graded free resolutions.
The purpose of this note is to introduce a multiplication on the set of homogeneous polynomials of fixed degree d, in a way to provide a duality theory between monomial ideals of K[x_1,\ldots,x_d] generated in degrees \leq n and block stable ideals (a class of ideals containing the Borel fixed ones) of K[x_1,\ldots,x_n] generated in degree d. As a byproduct we give a new proof of the characterization of Betti tables of ideals with linear resolution given by Murai.
Let S=K[x1,…,xn] be the polynomial ring in n variables over a field K and I⊂S a squarefree monomial ideal. In the present paper we are interested in the monomials u∈S belonging to the socle $\Soc(S/I^{k})$ of S/Ik, i.e., u∈Ik and uxi∈Ik for 1≤i≤n. We prove that if a monomial x1a1⋯xnan belongs to $\Soc(S/I^{k})$, then ai≤k−1 for all 1≤i≤n. We then discuss squarefree monomial ideals I⊂S for which $x_{[n]}^{k-1} \in \Soc(S/I^{k})$, where x[n]=x1x2⋯xn. Furthermore, we give a combinatorial characterization of finite graphs G on [n]={1,…,n} for which $\depth S/(I_{G})^{2}=0$, where IG is the edge ideal of G.
It is shown that if the binomial edge ideal of a graph G defines a Koszul algebra, then G must be chordal and claw free. A converse of this statement is proved for a class of chordal and claw free graphs.
We show that the graded maximal ideal of a graded K-algebra R has linear quotients for a suitable choice and order of its generators if the defining ideal of R has a quadratic Gröbner basis with respect to the reverse lexicographic order, and show that this linear quotient property for algebras defined by binomial edge ideals characterizes closed graphs. Furthermore, for algebras defined by binomial edge ideals attached to a closed graph and for join-meet rings attached to a finite distributive lattice we present explicit Koszul filtrations.
We characterize monomial ideals which are intersections of monomial prime ideals and study classes of ideals with this property, among them polymatroidal ideals.
In this paper, we introduced the polarization of Koszul cycles and use it to study the depth function of powers of edge ideals of whisker graphs.
We give a numerical characterization of the possible extremal Betti numbers (values as well as positions) of any homogeneous ideal in a polynomial ring over a field.
Let M be a finitely generated bigraded module over the standard bigraded polynomial ring S=K[x1,...,xm,y1,...,yn], and let Q=(y1,...,yn). The local cohomology modules HQk(M) are naturally bigraded, and the components $H^k_Q(M)_j=\Dirsum_iH^k_Q(M)_{(i,j)}$ are finitely generated graded K[x1,...,xm]-modules. In this paper we study the regularity of HQk(M)j, and show in several cases that $\reg H^k_Q(M)_j$ is linearly bounded as a function of j.
We introduce an exact functor defined on multigraded modules which we call the expansion functor and study its homological properties. The expansion functor applied to a monomial ideal amounts to substitute the variables by monomial prime ideals and to apply this substitution to the generators of the ideal. This operation naturally occurs in various combinatorial contexts.
We construct monomial ideals with the property that their depth function has any given number of strict local maxima.
In this paper we consider monomial localizations of monomial ideals and conjecture that a monomial ideal is polymatroidal if and only if all its monomial localizations have a linear resolution. The conjecture is proved for squarefree monomial ideals where it is equivalent to a well-known characterization of matroids. We prove our conjecture in many other special cases. We also introduce the concept of componentwise polymatroidal ideals and extend several of the results, known for polymatroidal ideals, to this new class of ideals.
Let S be a positively graded polynomial ring over a field of characteristic 0, and I⊂S a proper graded ideal. In this note it is shown that S/I is Golod if ∂(I)2⊂I. Here ∂(I) denotes the ideal generated by all the partial derivatives of elements of I. We apply this result to find large classes of Golod ideals, including powers, symbolic powers, and saturations of ideals.
We introduce the concept of strong persistence and show that it implies persistence regarding the associated prime ideals of the powers of an ideal. We also show that strong persistence is equivalent to a condition on power of ideals studied by Ratliff. Furthermore, we give an upper bound for the depth of powers of monomial ideals in terms of their linear relation graph, and apply this to show that the index of depth stability and the index of stability for the associated prime ideals of polymatroidal ideals is bounded by their analytic spread.
Let I be a proper graded ideal in a positively graded polynomial ring S over a field of characteristic 0. In this note it is shown that S/Ik is Golod for all k≥2.
In this paper we study squarefree monomial ideals which have constant depth functions. Edge ideals, matroidal ideals and facet ideals of pure simplicial forests connected in codimension one with this property are classified.
We introduce a class of ideals generated by a set of 2-minors of m×n-matrix of indeterminates indexed by a pair of graphs. This class of ideals is a natural common generalization of binomial edge ideals and ideals generated by adjacent minors. We determine the minimal prime ideals of such ideals and give a lower bound for their degree of nilpotency. In some special cases we compute their Gröbner basis and characterize unmixedness and Cohen--Macaulayness.
Gröbner bases of binomial ideals arising from finite lattices will be studied. In terms of Gröbner bases and initial ideals, a characterization of finite distributive lattices as well as planar distributive lattices will be given.
For an ideal I in a regular local ring (R,m)$ with residue class field K = R/m or a standard graded K-algebra R we show that for k >> 0 --> the Artin--Rees number of the syzygy modules of I^k as submodules of the free modules from a free resolution is constant, and thereby present the Artin-Rees number as a proper replacement of regularity in the local situation, --> the ring R/I^k is Golod, its Poincer{é}-Betti series is rational and the Betti numbers of the free resolution of K over R/I^k are polynomials in k of a specific degree. The first result is an extension of work of Kodiyalam and Cutkosky, Herzog & Trung on the regularity of I^k for k >> 0 from the graded situation to the local situation. The polynomiality consequence of the second result is an analog of work by Kodiyalam on the behavior of Betti numbers of the minimal free resolution of R/I^k over R.
It is shown that any set of nonzero monomial prime ideals can be realized as the stable set of associated prime ideals of a monomial ideal. Moreover, an algorithm is given to compute the stable set of associated prime ideals of a monomial ideal.
The associated prime ideals of powers of polymatroidal ideals are studied, including the stable set of associated prime ideals of this class of ideals. It is shown that polymatroidal ideals have the persistence property and for transversal polymatroids and polymatroidal ideals of Veronese type the index of stability and the stable set of associated ideals is determined explicitly.
Lyubeznik introduced the concept of size of a monomial ideal and showed that the size of a monomial ideal increased by 1 is a lower bound for its depth. We show that the size is also a lower bound for its Stanley depth. Applying Alexander duality we obtain upper bounds for the regularity and Stanley regularity of squarefree monomial ideals.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.