If $I$ is a monomial ideal with linear quotients, then it has componentwise linear quotients. However, the converse of this statement is an open question. In this paper, we provide two classes of ideals for which the converse of this statement holds. First class is the componentwise polymatroidal ideals in $K[x,y]$ and the second one is the componentwise polymatroidal ideals with strong exchange property.
We prove that a monomial ideal $I$ generated in a single degree, is polymatroidal if and only if it has linear quotients with respect to the lexicographical ordering of the minimal generators induced by every ordering of variables. We also conjecture that the polymatroidal ideals can be characterized with linear quotients property with respect to the reverse lexicographical ordering of the minimal generators induced by every ordering of variables. We prove our conjecture in many special cases.
The Non-Pure Dual Exchange Property in Low Dimensions
Institute for Advanced Studies in Basic Sciences (IASBS)（基础科学高等研究院）；Lahore University of Management Sciences（拉合尔管理科学大学）；Osaka Institute of Technology（大阪工业大学）
Let $G$ be a simple finite graph. A famous theorem of Dirac says that $G$ is chordal if and only if $G$ admits a perfect elimination order. It is known by Fröberg that the edge ideal $I(G)$ of $G$ has a linear resolution if and only if the complementary graph $G^c$ of $G$ is chordal. In this article, we discuss some algebraic consequences of Dirac's theorem in the theory of homological shift ideals of edge ideals. Recall that if $I$ is a monomial ideal, $\mbox{HS}_k(I)$ is the monomial ideal generated by the $k$th multigraded shifts of $I$. We prove that $\mbox{HS}_1(I)$ has linear quotients, …
For a monomial ideal $I$, we consider the $i$th homological shift ideal of $I$, denoted by $\text{HS}_i(I)$, that is, the ideal generated by the $i$th 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$, $\text{HS}_i(I(P))\subseteq \text{HS}_i(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 $\textbf{c}$-bounded principal Borel ideal $I$ and for the …
Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gröbner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded components $A_k$ of $A$ have linear quotients and with additional assumptions are componentwise linear. A typical example of such an algebra is the Rees ring $R(I)$ of a graded ideal or the symmetric algebra $Sym(M)$ of a module $M$. We apply our criterion to study certain symmetric algebras and the powers of vertex cover ideals of certain classes of graphs.
In this paper we study some algebraic and combinatorial behaviors of expansion functor. We show that on monomial ideals some properties like polymatroidalness, weakly polymatroidalness and having linear quotients are preserved under taking the expansion functor. The main part of the paper is devoted to study of toric ideals associated to the expansion of subsets of monomials which are minimal with respect to divisibility. It is shown that, for a given discrete polymatroid $P$, if toric ideal of $P$ is generated by double swaps then toric ideal of any expansion of $P$ has such a property. This …
This paper introduces two new notions of graded linear resolution and graded linear quotients, which generalize the concepts of linear resolution property and linear quotient for modules over the polynomial ring $A=k[x_1, \dots ,x_n]$. Besides, we compare graded linearity with componentwise linearity in general. For modules minimally generated by a regular sequence in a maximal ideal of $A$, we show that graded linear quotients imply graded linear resolution property for the colon ideals. On the other hand, we provide specific characterizations of graded linear resolution property for the Stan…
