scholarly journals Regularity and Free Resolution of Ideals Which Are Minimal To $d$-Linearity

2016 ◽  
Vol 118 (2) ◽  
pp. 161 ◽  
Author(s):  
M. Morales ◽  
A. A. Yazdan Pour ◽  
R. Zaare-Nahandi

For given positive integers $n\geq d$, a $d$-uniform clutter on a vertex set $[n]=\{1,\dots,n\}$ is a collection of distinct $d$-subsets of $[n]$. Let $\mathscr{C}$ be a $d$-uniform clutter on $[n]$. We may naturally associate an ideal $I(\mathscr{C})$ in the polynomial ring $S=k[x_1,\dots,x_n]$ generated by all square-free monomials \smash{$x_{i_1}\cdots x_{i_d}$} for $\{i_1,\dots,i_d\}\in\mathscr{C}$. We say a clutter $\mathscr{C}$ has a $d$-linear resolution if the ideal \smash{$I(\overline{\mathscr{\mathscr{C}}})$} has a $d$-linear resolution, where \smash{$\overline{\mathscr{C}}$} is the complement of $\mathscr{C}$ (the set of $d$-subsets of $[n]$ which are not in $\mathscr C$). In this paper, we introduce some classes of $d$-uniform clutters which do not have a linear resolution, but every proper subclutter of them has a $d$-linear resolution. It is proved that for any two $d$-uniform clutters $\mathscr{C}_1$, $\mathscr{C}_2$ the regularity of the ideal $I(\overline{\mathscr{C}_1 \cup \mathscr{C}_2})$, under some restrictions on their intersection, is equal to the maximum of the regularities of $I(\overline{\mathscr{C}}_1)$ and $I(\overline{\mathscr{C}}_2)$. As applications, alternative proofs are given for Fröberg's Theorem on linearity of edge ideals of graphs with chordal complement as well as for linearity of generalized chordal hypergraphs defined by Emtander. Finally, we find minimal free resolutions of the ideal of a triangulation of a pseudo-manifold and a homology manifold explicitly.

1990 ◽  
Vol 118 ◽  
pp. 203-216 ◽  
Author(s):  
Mitsuyasu Hashimoto

Let R be a Noetherian commutative ring with, unit element, and Xij be variables with 1 ≤ i ≤ m and 1 ≤ j ≤ n. Let S = R[xij] be the polynomial ring over R, and It be the ideal in S, generated by the t × t minors of the generic matrix (xij) ∈ Mm, n(S). For many years there has been considerable interest in finding a minimal free resolution of S/It, over arbitrary base ring R. If we have a minimal free resolution P. over R = Z, the ring of integers, then R′ ⊗z P. is a resolution of S/It over the base ring R′.


2015 ◽  
Vol 22 (01) ◽  
pp. 97-108 ◽  
Author(s):  
Paola Bonacini ◽  
Lucia Marino

Let X be a zero-dimensional scheme in ℙ1 × ℙ1. Then X has a minimal free resolution of length 2 if and only if X is ACM. In this paper we determine a class of reduced schemes whose resolutions, similarly to the ACM case, can be obtained by their Hilbert functions and depend only on their distributions of points in a grid of lines. Moreover, a minimal set of generators of the ideal of these schemes is given by curves split into the union of lines.


2019 ◽  
Vol 18 (06) ◽  
pp. 1950118
Author(s):  
Rachelle R. Bouchat ◽  
Tricia Muldoon Brown

We introduce a squarefree monomial ideal associated to the set of domino tilings of a [Formula: see text] rectangle and proceed to study the associated minimal free resolution. In this paper, we use results of Dalili and Kummini to show that the Betti numbers of the ideal are independent of the underlying characteristic of the field, and apply a natural splitting to explicitly determine the projective dimension and Castelnuovo–Mumford regularity of the ideal.


1999 ◽  
Vol 153 ◽  
pp. 141-153 ◽  
Author(s):  
Jürgen Herzog ◽  
Takayuki Hibi

AbstractA componentwise linear ideal is a graded ideal I of a polynomial ring such that, for each degree q, the ideal generated by all homogeneous polynomials of degree q belonging to I has a linear resolution. Examples of componentwise linear ideals include stable monomial ideals and Gotzmann ideals. The graded Betti numbers of a componentwise linear ideal can be determined by the graded Betti numbers of its components. Combinatorics on squarefree componentwise linear ideals will be especially studied. It turns out that the Stanley-Reisner ideal IΔ arising from a simplicial complex Δ is componentwise linear if and only if the Alexander dual of Δ is sequentially Cohen-Macaulay. This result generalizes the theorem by Eagon and Reiner which says that the Stanley-Reisner ideal of a simplicial complex has a linear resolution if and only if its Alexander dual is Cohen-Macaulay.


2007 ◽  
Vol 187 ◽  
pp. 115-156 ◽  
Author(s):  
Christopher A. Francisco ◽  
Adam Van Tuyl

AbstractLet R = k[x1,…,xn] be a polynomial ring over a field k. Let J = {j1,…,jt} be a subset of {1,…, n}, and let mJ ⊂ R denote the ideal (xj1,…,xjt). Given subsets J1,…,Js of {1,…, n} and positive integers a1,…,as, we study ideals of the form These ideals arise naturally, for example, in the study of fat points, tetrahedral curves, and Alexander duality of squarefree monomial ideals. Our main focus is determining when ideals of this form are componentwise linear. Using polymatroidality, we prove that I is always componentwise linear when s ≤ 3 or when Ji ∪ Jj = [n] for all i ≠ j. When s ≥ 4, we give examples to show that I may or may not be componentwise linear. We apply these results to ideals of small sets of general fat points in multiprojective space, and we extend work of Fatabbi, Lorenzini, Valla, and the first author by computing the graded Betti numbers in the s = 2 case. Since componentwise linear ideals satisfy the Multiplicity Conjecture of Herzog, Huneke, and Srinivasan when char(k) = 0, our work also yields new cases in which this conjecture holds.


2017 ◽  
Vol 120 (1) ◽  
pp. 59 ◽  
Author(s):  
N. Altafi ◽  
N. Nemati ◽  
S. A. Seyed Fakhari ◽  
S. Yassemi

Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial ideal $I$ contains no variable and some power of $I$ is componentwise linear, then $I$ satisfies the gcd condition. For a square-free monomial ideal $I$ which contains no variable, we show that $S/I$ is a Golod ring provided that for some integer $s\geq 1$, the ideal $I^s$ has linear quotients with respect to a monomial order.


2014 ◽  
Vol 60 (2) ◽  
pp. 321-336 ◽  
Author(s):  
Maurizio Imbesi ◽  
Monica La Barbiera

Abstract We investigate, using the notion of linear quotients, significative classes of connected graphs whose monomial edge ideals, not necessarily squarefree, have linear resolution, in order to compute standard algebraic invariants of the polynomial ring related to these graphs modulo such ideals. Moreover we are able to determine the structure of the ideals of vertex covers for the edge ideals associated to the previous classes of graphs which can have loops on any vertex. Lastly, it is shown that these ideals are of linear type.


2017 ◽  
Vol 16 (01) ◽  
pp. 1750018 ◽  
Author(s):  
Rachelle R. Bouchat ◽  
Tricia Muldoon Brown

A path ideal of a tree is an ideal whose minimal generating set corresponds to paths of a specified length in a tree. We provide a description of a collection of induced subtrees whose vertex sets correspond to the multi-graded Betti numbers on the linear strand in the corresponding minimal free resolution of the path ideal. For two classes of path ideals, we give an explicit description of a collection of induced subforests whose vertex sets correspond to the multi-graded Betti numbers in the corresponding minimal free resolutions. Lastly, in both classes of path ideals considered, the graded Betti numbers are explicitly computed for [Formula: see text]-ary trees.


1996 ◽  
Vol 19 (1) ◽  
pp. 185-192
Author(s):  
Mark A. Goddard

Using a generalization of the definition of the projective cover of a module, a special type of surjective free resolution, known as the projective cover of a complex, may be defined. The projective cover is shown to be a direct summand of every surjective free resolution and to be the direct sum of the minimal free resolution and an exact complex. Necessary and sufficient conditions for the projective cover and minimal free resolution to be identical are discussed.


Sign in / Sign up

Export Citation Format

Share Document