Powers of lexsegment ideals with linear resolution

Authors Viviana Ene, Anda-Georgina Olteanu

Publication date 27 November 2013

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1011.2157, https://projecteuclid.org/euclid.ijm/1385129963

Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Syzygies, resolutions, complexes and commutative rings (13D02) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: All powers of lexsegment ideals with linear resolution (equivalently, with linear quotients) have linear quotients with respect to suitable orders of the minimal monomial generators. For a large subclass of the lexsegment ideals the corresponding Rees algebra has a quadratic Gr"obner basis, thus it is Koszul. We also find other classes of monomial ideals with linear quotients whose powers have linear quotients too.

Review text

Let \(S=k[x_{1},\dots,x_{n}]\) be the polynomial ring in \(n\) variables over a field \(K\) and, for an integer \(d\geq 2\), let \(\mathcal{M}_{d}\) be the set of all monomials of \(S\) of degree \(d\). A lexsegment ideal of \(S\) is a monomial ideal generated by a lexsegment set \(L(u,v)=\{\omega\in \mathcal{M}_{d}: u\geq_{\mathrm{lex}}\omega\geq_{\mathrm{lex}}v\}\) where \(u\geq_{\mathrm{lex}}v\) are two given monomials of \(\mathcal{M}_{d}\).NEWLINENEWLINE The authors start considering lexsegment ideals that, with respect a suitable order, have linear quotients (equivalently a linear resolution). They analyze when the same property is valid for all powers of these lexsegment ideals. In the main theorem they give a nice characterization for the class of powers of completely lexsegment ideals. After they refine the so-called \(l\)-exchange property, introduced in [Osaka J. Math. 42, No. 4, 807--829 (2005; Zbl 1092.05012)] by \textit{J. Herzog} et al., with the new \(\sigma\)-exchange property, in order to show that the class of all powers of not completely lexsegment ideals with linear resolution have linear quotients too with respect to the decreasing revlexicographic order.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Powers of lexsegment ideals with linear resolution

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