arXiv++ Combinatorics

Let $R=K[x_1,\ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I$ be a polymatroidal ideal of $R$. In this paper, we provide a comprehensive classification of all unmixed polymatroidal ideals. This work addresses a question raised by Herzog and Hibi in [10]

Let $R=K[x_1,\ldots,x_n]$ be a polynomial ring in $n$ variables over a field $K$ and $I$ be a matroidal ideal of degree $d$. Let $\astab(I)$ and $\dstab(I)$ be the smallest integers $l$ and $k$, for which $\Ass(I^l)$ and $\depth(R/I^k)$ stabilize, respectively. In this paper, we show that $\astab(I),\dstab(I)\leq\min\{d,\ell(I)\}$, where $\ell(I)$ is the analytic spread of $I$. Furthermore, by a counterexample we give a negative answer to the conjecture of Herzog and Qureshi \cite{HQ} about stability of matroidal ideals.

We show that any polarization of an Artin monomial ideal defines a triangulated ball. This proves a conjecture of A.Almousa, H.Lohne and the first author. Geometrically, polarizations of ideals containing $(x_1^{a_1}, \ldots, x_n^{a_n})$ define full-dimensional triangulated balls on the sphere which is the join of boundaries of simplices of dimensions $a_1-1, \cdots, a_n-1$. Every full-dimensional Cohen-Macaulay sub-complex of this joined sphere is of this kind, and these balls are constructible. Such a triangulated ball has a dual cell complex which is a sub-complex of the product of simplices of dimensions $a_1-1, \cdots a_n-1$. The associated cellular complex of this gives the minimal free resolution of the Alexander dual ideal of the triangulated ball. When the product of simplices is a hypercube, in many examples these dual cell complexes enables a classification of the range of polarizations of the Artin monomial ideal. We also show that the squeezed balls of G.Kalai \cite{Ka} derive from polarizations of Artin monomial ideals.

We introduce a class of chordal graphs called ($d_1$,$d_2$,$\dots$,$d_q$)-trees. A graph belongs to this class if and only if its clique complex is sequentially Cohen-Macaulay, providing a complete classification of all sequentially Cohen-Macaulay co-chordal graphs. This class also yields a classification of bi-sequentially Cohen-Macaulay graphs. We study the relationship between the projective dimension of a graph and its maximum vertex degree. We show that the projective dimension is always at least the maximum vertex degree, although this bound is not always tight, even for co-chordal graphs. However, equality holds when the graph is sequentially Cohen-Macaulay co-chordal or has a full vertex.

Let $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be a monomial ideal of degree $d\leq 2$. We show that $(I^{k+1}:I)=I^k$ for all $k\geq 1$ and we disprove a motivation question that was appeared in \cite[Question 2.51]{CHHV} by providing of a counterexample. Also, by this counterexample, we give a negative answer to the question that depth function of square-free monomial ideals are non-increasing.

There are two motivation questions in \cite{MTS, MTS1} about Castelnuovo-Mumford regularity and vertex decomposable of simple graph $G$. In this paper, we disprove the questions by providing of two counterexamples.

Let $K$ be a field and $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$. Let $Δ$ be a simplicial complex on $n$ vertices and $I=I_Δ$ be its Stanley-Reisner ideal. In this paper, we show that if $I$ is a matroidal ideal then the following conditions are equivalent: $(i)$ $Δ$ is sequentially Cohen-Macaulay; $(ii)$ $Δ$ is shellable; $(iii)$ $Δ$ is vertex decomposable. Also, if $I$ is a minimally generated by $u_1,\ldots,u_s$ such that $s\leq 3$ or ${\rm supp}(u_i)\cup {\rm supp}(u_j)=\{x_1,\ldots,x_n\}$ for all $i\neq j$, then $Δ$ is vertex decomposable. Furthermore, we prove that if $I$ is a monomial ideal of degree $2$ then $I$ is weakly polymatroidal if and only if $I$ has linear quotients if and only if $I$ is vertex splittable.

In this paper we study almost Cohen-Macaulay bipartite graphs. Furthermore, we prove that if $G$ is almost Cohen-Macaulay bipartite graph with at least one vertex of positive degree, then there is a vertex of $°(v) \leq 2$. In particular, if $G$ is an almost Cohen-Macaulay bipartite graph and $u$ is a vertex of degree one of $G$ and $v$ its adjacent vertex, then $G\setminus\{v\}$ is almost Cohen-Macaulay. Also, we show that an unmixed Ferrers graph is almost Cohen-Macaulay if and only if it is connected in codimension two. Moreover, we give some examples.

Let $I$ be a matroidal ideal of degrre $d$ of a polynomial ring $R=K[x_1,...,x_n]$, where $K$ is a field. Let astab$(I)$ and dstab$(I)$ be the smallest integer $n$ for which Ass$(I^n)$ and depth$(I^n)$ stabilize, respectively. In this paper, we show that astab$(I)=1$ if and only if dstab$(I)=1$. Moreover, we prove that if $d=3$, then ${\rm astab}(I)={\rm dstab}(I)$. Furthermore, we show that if $I$ is an almost square-free Veronese type ideal of degree $d$, then ${\rm astab}(I)={\rm dstab}(I)=\lceil\frac{n-1}{n-d}\rceil$.

Let $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$ and let $M_{n,t}=(x^{e_1},\ldots, x^{e_n})$ be a monomial ideal of $R$, where $x^{e_i}=x_1^t\ldots x_{i-1}^tx_{i+1}^t\ldots x_n^t$. We study the unmixedness of its integral closure. Furthermore, we compute the Hilbert series of this ideal and we show that this ideal is Freiman.

Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and let $J$ be a matroidal ideal of degree $d$ in $R$. In this paper, we study the class of sequentially Cohen-Macaulay matroidal ideals. In particular, all sequentially Cohen-Macaulay matroidal ideals of degree $2$ are classified. Furthermore, we give a classification of sequentially Cohen-Macaulay matroidal ideals of degree $d\geq 3$ in some special cases.

Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ with the maximal ideal $\frak{m}=(x_1,...,x_n)$. Let $\astab(I)$ and $\dstab(I)$ be the smallest integer $n$ for which $\Ass(I^n)$ and $\depth(I^n)$ stabilize, respectively. In this paper we show that $\astab(I)=\dstab(I)$ in the following cases: \begin{itemize} \item[(i)] $I$ is a matroidal ideal and $n\leq 5$. \item[(ii)] $I$ is a polymatroidal ideal, $n=4$ and $\frak{m}\notin\Ass^{\infty}(I)$, where $\Ass^{\infty}(I)$ is the stable set of associated prime ideals of $I$. \item[(iii)] $I$ is a polymatroidal ideal of degree $2$. \end{itemize} Moreover, we give an example of a polymatroidal ideal for which $\astab(I)\neq\dstab(I)$. This is a counterexample to the conjecture of Herzog and Qureshi, according to which these two numbers are the same for polymatroidal ideals.