Ideals with linear quotients and componentwise polymatroidal ideals (Q2684816): Difference between revisions

Let \(I\) be a monomial ideal having componentwise linear quotients. The paper under review asks if this \(I\) has linear quotients. This question is open in general. Since it is well-known that polymatroidal ideals have linear quotients, the current paper studies this question from the componentwise polymatroidal ideal point of view. The first section of this paper is devoted to certain exchange properties. It is shown that the componentwise polymatroidal property implies both the non-pure exchange property and the non-pure dual exchange property. In the equigenerated case, these three properties are equivalent. But in the general case, neither the non-pure exchange property nor the non-pure dual exchange property implies the componentwise polymatroidal property. A question is left at this point: if the ideal \(I\) has both the non-pure exchange property and the non-pure dual exchange property, is it componentwise polymatroidal? The second section of this paper studies the monomial ideal in \(K[x,y]\), a polymatroidal ring of dimension \(2\) over a field. Monomial ideals in this ring have easy-to-describe minimal monomial generating sets. Starting from this, polymatroidal ideals and componentwise polymatroidal ideal are completely characterized. Notions as \textit{\(x\)-tight}, \textit{\(y\)-tight} and \textit{\(yx\)-tight} are helpful in the argument. In particular, componentwise polymatroidal ideals in this ring are essentially \(yx\)-tight ideals and have linear quotients. Furthermore, products of componentwise polymatroidal ideals are still componentwise polymatroidal. The last section is based on a key observation: the polymatroidal ideals with strong exchange property are intrinsically ideals of Veronese type. With some additional techniques, this paper successfully shows that componentwise polymatroidal ideals with strong exchange property have linear quotients.