scholarly journals Determinantal ideals without minimal free resolutions

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.


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.


Mathematics ◽  
2019 ◽  
Vol 7 (7) ◽  
pp. 605
Author(s):  
Lukas Katthän

In this short note we give an elementary description of the linear part of the minimal free resolution of a Stanley-Reisner ring of a simplicial complex Δ . Indeed, the differentials in the linear part are simply a compilation of restriction maps in the simplicial cohomology of induced subcomplexes of Δ . Along the way, we also show that if a monomial ideal has at least one generator of degree 2, then the linear strand of its minimal free resolution can be written using only ± 1 coefficients.


2019 ◽  
Vol 29 (02) ◽  
pp. 263-278
Author(s):  
Mesut Şahi̇n ◽  
Leah Gold Stella

We study strong indispensability of minimal free resolutions of semigroup rings focusing on the operation of gluing used in the literature to take examples with a special property and produce new ones. We give a naive condition to determine whether gluing of two semigroup rings has a strongly indispensable minimal free resolution. As applications, we determine simple gluings of [Formula: see text]-generated non-symmetric, [Formula: see text]-generated symmetric and pseudo symmetric numerical semigroups as well as obtain infinitely many new complete intersection semigroups of any embedding dimensions, having strongly indispensable minimal free resolutions.


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.


Author(s):  
K. W. Gruenberg

AbstractFor a ZG-lattice A, the nth partial free Euler characteristic εn(A) is defined as the infimum of all where F* varies over all free resolutions of A. It is shown that there exists a stably free resolution E* of A which realises εn(A) for all n≥0 and that the function n → εn(A) is ultimately polynomial no residue classes. The existence of E* is established with the help of new invariants σn(A) of A. These are elements in certain image groups of the projective class group of ZG. When ZG allows cancellation, E* is a minimal free resolution and is essentially unique. When A is periodic, E* is ultimately periodic of period a multiple of the projective period of A.


2019 ◽  
Vol 125 (2) ◽  
pp. 163-178
Author(s):  
Lars Winther Christensen ◽  
Oana Veliche ◽  
Jerzy Weyman

Recent work on generic free resolutions of length $3$ attaches to every resolution a graph and suggests that resolutions whose associated graph is a Dynkin diagram are distinguished. We conjecture that in a regular local ring, every grade $3$ perfect ideal whose minimal free resolution is distinguished in this way is in the linkage class of a complete intersection.


2021 ◽  
Vol 53 (2) ◽  
pp. 575-592
Author(s):  
Lisa Nicklasson

AbstractAn ideal $$I \subset \mathbb {k}[x_1, \ldots , x_n]$$ I ⊂ k [ x 1 , … , x n ] is said to have linear powers if $$I^k$$ I k has a linear minimal free resolution, for all integers $$k>0$$ k > 0 . In this paper, we study the Betti numbers of $$I^k$$ I k , for ideals I with linear powers. We provide linear relations on the Betti numbers, which holds for all ideals with linear powers. This is especially useful for ideals of low dimension. The Betti numbers are computed explicitly, as polynomials in k, for the ideal generated by all square-free monomials of degree d, for $$d=2, 3$$ d = 2 , 3 or $$n-1$$ n - 1 , and the product of all ideals generated by s variables, for $$s=n-1$$ s = n - 1 or $$n-2$$ n - 2 . We also study the generators of the Rees ideal, for ideals with linear powers. Particularly, we are interested in ideals for which the Rees ideal is generated by quadratic elements. This problem is related to a conjecture on matroids by White.


Sign in / Sign up

Export Citation Format

Share Document