Expansions of monomial ideals and multigraded modules
Let \(S=K[x_{1},\dots,x_{n}]\), a polynomial ring over a field \(K\) in variables \(x_{1},\dots,x_{n}\). Fix an ordered \(n\)-tuple \((i_{1},\dots,i_{n})\) of positive integers, and consider the polynomial ring \(S^{*}=K[x_{11},\dots,x_{1i_{1}},x_{21},\dots,x_{2i_{2}},\dots,x_{n1},\dots,x_{ni_{n}}]\). Let \(P_{j}=(x_{j1},x_{j2},\dots,x_{ji_{j}})\), the prime ideal in \(S^{*}\), and \(I=(\underline{x}^{\underline{a}_{1}},\dots,\underline{x}^{\underline{a}_{1}})\), a monomial ideal in \(S\) with \(\underline{a_{i}}=(a_{i}(1),\dots,a_{i}(n))\). The expansion of \(I\) with respect to \((i_{1},\dots,i_{n})\) is the monomial ideal \(I^{*}=\sum_{i=1}^{m}P_{1}^{a_{i}(1)}\cdots P_{n}^{a_{i}(n)}\subseteq S^{*}\). The definition of this operator is motivated by constructions in various combinatorial contexts. The authors study the basic properties of this expansion operator and show that this operator commutes with the standard algebraic operations on ideals. In particular, they obtain that \(\text{Ass}(S^{*}/I^{*})=\{P^{*}:P\in\text{Ass}(S/I)\}\) in Proposition 1.2. Furthermore, they show that if \(I\) has linear quotients then \(I^{*}\) has linear quotients in Proposition 1.5. In section 2 and 3, they study the homological properties of \(I^{*}\). The expansion operator can be made an exact functor from the category of finitely generated multigraded \(S\)-modules to the category of finitely generated multigraded \(S^{*}\)-modules. Let \(M\) be a finitely generated multigraded \(S\)-module. Applying this functor to a multigraded free resolution \(\mathbb{F}\) of \(M\), they obtain an acyclic complex \(\mathbb{F}^{*}\) with \(H_{0}(\mathbb{F}^{*})\cong M^{*}\). They construct in Section 3, starting from \(\mathbb{F}^{*}\), a double complex which provides a minimal multigraded free resolution of \(M^{*}\). With this construction, they show that \(M\) and \(M^{*}\) have the same regularity in Theorem 4.2. As a consequence of the Theorem 4.2, \(M\) has a \(d\)-linear free resolution if and only if \(M^{*}\) has a \(d\)-linear resoltuion (Corollary 4.3). They also compute the graded Betti numbers of \(M^{*}\) in terms of multigraded free resolution of \(M\) in Theorem 4.2.
- An introduction to homological algebra
- Associated primes of powers of edge ideals
- Asymptotic Stability of Ass(M/I n M)
- Castelnuovo-Mumford regularity of products of ideals
- Colorings of hypergraphs, perfect graphs, and associated primes of powers of monomial ideals
- Determinantal rings
- scientific article; zbMATH DE number 4212198 (Why is no real title available?)
- On the bettinumbers of finite pure and linear resolutions
- Resolutions by mapping cones
- Standard graded vertex cover algebras, cycles and leaves
- A-graded methods for monomial ideals
- On the facet ideal of an expanded simplicial complex
- On the Cohen-Macaulayness of bracket powers of generalized mixed product ideals
- Algebraic and homological properties of generalized mixed product ideals
- Normality of cover ideals of graphs and normality under some operations
- On the radical of multigraded modules
- Expansion of a simplicial complex
- On the Stanley-Reisner ideal of an expanded simplicial complex
- Generalized mixed product ideals
- Superficial ideals for monomial ideals
- Normally torsion-freeness of monomial ideals under monomial operators
- Linear resolutions of powers of generalized mixed product ideals
- On the Alexander dual of the path ideals of rooted and unrooted trees
- Persistence property for some classes of monomial ideals of a polynomial ring
- Normality of Rees algebras of generalized mixed product ideals
- A minimal free resolution of the duplication of a monomial ideal
- Normally torsion-freeness and normality criteria for monomial ideals
- Strong persistence property of generalized mixed product ideals
- Algebraic and combinatorial invariants of monomial ideals in two sets of variables
- On the normality of generalized mixed product ideals
This page was built for publication: Expansions of monomial ideals and multigraded modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2514538)
