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
Let G be a finite simple connected graph on [n] and R=K[x1,…,xn] the polynomial ring in n variables over a field K. The edge ideal of G is the ideal I(G) of R which is generated by those monomials xixj for which {i,j} is an edge of G. In the present paper, the possible tuples (n,depth(R/I(G)),reg(R/I(G)),dimR/I(G),deg h(R/I(G))), where deg h(R/I(G)) is the degree of the h-polynomial of R/I(G), arising from Cameron--Walker graphs on [n] will be completely determined.
Fix an integer n≥1, and consider the set of all connected finite simple graphs on n vertices. For each G in this set, let I(G) denote the edge ideal of G in the polynomial ring R=K[x1,…,xn]. We initiate a study of the set RD(n)⊆N2 consisting of all the pairs (r,d) where r=reg(R/I(G)), the Castelnuovo-Mumford regularity, and d=deghR/I(G)(t), the degree of the h-polynomial, as we vary over all the connected graphs on n vertices. In particular, we identify sets A(n) and B(n) such that A(n)⊆RD(n)⊆B(n). When we restrict to the family of Cameron-Walker graphs on n vertices, we can completely characterize all the possible (r,d).
Let S be the polynomial ring over a field K and I⊂S a homogeneous ideal. Let h(S/I,λ) be the h-polynomial of S/I and s=degh(S/I,λ) the degree of h(S/I,λ). It follows that the inequality s−r≤d−e, where r=reg(S/I), d=dimS/I and e=depthS/I, is satisfied and, in addition, the equality s−r=d−e holds if and only if S/I has a unique extremal Betti number. We are interested in finding a natural class of finite simple graphs G for which S/I(G), where I(G) is the edge ideal of G, satisfies s−r=d−e. Let a(S/I(G)) denote the a-invariant of S/I, i.e., a(S/I(G))=s−d. One has a(S/I(G))≤0. In the present paper, by showing the fundamental fact that every Cameron--Walker graph G satisfies a(S/I(G))=0, a class of Cameron--Walker graphs G for which S/I(G) satisfies s−r=d−e will be exhibited.
The regularity of an edge ideal of a finite simple graph G is at least the induced matching number of G and is at most the minimum matching number of G. If G possesses a dominating inuduced matching, i.e., an induced matching which forms a maximal matching, then the induced matching number of G is equal to the minimum matching number of G. In the present paper, from viewpoints of both combinatorics and commutative algebra, finite simple graphs with dominating induced matchings will be mainly studied.
Let G be a finite simple graph on [n] and I(G)⊂S the edge ideal of G, where S=K[x1,…,xn] is the polynomial ring over a field K. Let m(G) denote the maximum size of matchings of G and im(G) that of induced matchings of G. It is known that im(G)≤reg(S/I(G))≤m(G), where reg(S/I(G)) is the Castelnuovo-Mumford regularity of S/I(G). Cameron and Walker succeeded in classifying the finite connected simple graphs G with im(G)=m(G). We say that a finite connected simple graph G is a Cameron-Walker graph if im(G)=m(G) and if G is neither a star nor a star triangle. In the present paper, we study Cameron-Walker graphs from a viewpoint of commutative algebra. First, we prove that a Cameron-Walker graph G is unmixed if and only if G is Cohen-Macaulay and classify all Cohen-Macaulay Cameron-Walker graphs. Second, we prove that there is no Gorenstein Cameron-Walker graph. Finally, we prove that every Cameron--Walker graph is sequentially Cohen-Macaulay.
Let R be a polynomial ring over a field K. To a given squarefree monomial ideal I⊂R, one can associate a hypergraph H(I). In this article, we prove that the arithmetical rank of I is equal to the projective dimension of R/I when H(I) is a string or a cycle hypergraph.
Given a finite simple graph one can associate the edge ideal. In this paper we prove that a graded Betti number of the edge ideal does not vanish if the original graph contains a set of complete bipartite subgraphs with some conditions. Also we give a combinatorial description for the projective dimension of the edge ideals of unmixed bipartite graphs.
Let I be a squarefree monomial ideal of a polynomial ring S. In this paper, we prove that the arithmetical rank of I is equal to the projective dimension of S/I when one of the following conditions is satisfied: (1) μ(I)≤5; (2) $\arithdeg I \leq 4$.
Let G be a finite graph on the vertex set [d]={1,...,d} with the edges e1,...,en and $K[\tb] = K[t_1, ..., t_d]$ the polynomial ring in d variables over a field K. The edge ring of G is the semigroup ring K[G] which is generated by those monomials $\tb^e = t_it_j$ such that e={i,j} is an edge of G. Let $K[\xb] = K[x_1, ..., x_n]$ be the polynomial ring in n variables over K and define the surjective homomorphism $π: K[\xb] \to K[G]$ by setting $π(x_i) = \tb^{e_i}$ for i=1,...,n. The toric ideal IG of G is the kernel of π. It will be proved that, given integers f and d with 6≤f≤d, there exist a finite connected nonbipartite graph G on [d] together with a reverse lexicographic order $<_{\rev}$ on $K[\xb]$ and a lexicographic order $<_{\lex}$ on $K[\xb]$ such that (i) K[G] is normal, (ii) $\depth K[\xb]/\ini_{<_{\rev}}(I_G) = f$ and (iii) $K[\xb]/\ini_{<_{\lex}}(I_G)$ is Cohen--Macaulay, where $\ini_{<_{\rev}}(I_G)$ (resp.\ $\ini_{<_{\lex}}(I_G)$) is the initial ideal of IG with respect to $<_{\rev}$ (resp.\ $<_{\lex}$) and where $\depth K[\xb]/\ini_{<_{\rev}}(I_G)$ is the depth of $K[\xb]/\ini_{<_{\rev}}(I_G)$.
Given finite simple graph one can associate the edge ideal. In this paper we discuss the non-vanishingness of the graded Betti numbers of edge ideals in terms of the original graph. In particular, we give a necessary and sufficient condition for a chordal graph on which the graded Betti number does not vanish and characterize the graded Betti number for a forest. Moreover we characterize the projective dimension for a chordal graph.
Let G be a finite graph and K[G] the edge ring of G. Based on the technique of Gröbner bases and initial ideals, it will be proved that, given integers f and d with 7≤f≤d, there exists a finite graph G on [d]=1,...,d with $\depth K[G] = f$ and with $\Krull-dim K[G] = d$.
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.