On the Eliahou and Villarreal conjecture about the projective dimension of co-chordal graphs

MaRDI QIDQ6399152FDO

Authors Chwas Abas Ahmed, Amir Mafi, Mohammed Rafiq Namiq

Publication date 14 May 2022

Mathematics Subject Classification ID

Vertex degrees (05C07) Combinatorial aspects of commutative algebra (05E40) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Theory of modules and ideals in commutative rings described by combinatorial properties (13C70)

Abstract: Let $I(G)$ be the edge ideal of a graph $G$ with $|V(G)|=n$ and $R=mathbbK[xmidxinV(G)]$ be a polynomial ring in $n$ variables over a field $mathbbK$. In this paper we are interested in a conjecture of Eliahou and Villarreal which states that $extpdim(R/I(G))=ma{x}_{1leqileqn}leftext{deg}_G(x_i)ight$ when $G$ is connected and co-chordal. We show that this conjecture is not true in general. In fact we show that the difference between $extpdim(R/I(G))$ and $ma{x}_{1leqileqn}leftext{deg}_G(x_i)ight$ is not necessarily bounded. For any graph $G$ we prove that $ma{x}_{1leqileqn}leftext{deg}_G(x_i)ightleqextpdim(R/I(G))$. For a non-increasing sequence of positive integers $(d_1,d_2,dots,d_q)$, we define the $(d_1,d_2,dots,d_q)$-tree graphs. We show that the independence complex of the complements of these type of trees is vertex decomposable and quasi-forest. Finally we show that the conjecture is valid when the complement of $G$ is a $(d_1,d_2,dots,d_q)$-tree or $G$ has a full-vertex. To our knowledge the results in this paper generalise all the existing classes of graphs for which the conjecture is true.

This page was built for publication: On the Eliahou and Villarreal conjecture about the projective dimension of co-chordal graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6399152)