Homological shift ideals

DOI10.1007/S13348-020-00284-4MaRDI QIDQ2228330zbMATH OpenOpenAlexFDO

Authors Somayeh Moradi, Masoomeh Rahimbeigi, Guangjun Zhu, Jürgen Herzog

Publication date 17 February 2021

Published in Collectanea Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.03966

\(\mathbf{c}\)-bounded Borel ideals monomial ideals multigraded shifts polymatroidal ideals

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: For a monomial ideal

I

, we consider the

i

th homological shift ideal of

I

, denoted by

e x t {H S}_{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

,

e x t {H S}_{i} (I (P)) s u b s e t e q e x t {H S}_{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

e x t b f c

-bounded principal Borel ideal

I

and for the edge ideal of complement of any path graph, it is proved that

e x t {H S}_{i} (I)

has linear quotients for all

i

. As an example of

e x t b f c

-bounded principal Borel ideals, Veronese type ideals are considered and it is shown that the homological shift ideal of these ideals are polymatroidal. This implies that for any polymatroidal ideal which satisfies the strong exchange property,

e x t {H S}_{j} (I)

is again a polymatroidal ideal for all

j

. Moreover, for any edge ideal with linear resolution, the ideal

e x t {H S}_{j} (I)

is characterized and it is shown that

e x t {H S}_{1} (I)

has linear quotients.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Homological shift ideals

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