scholarly journals LYUBEZNIK NUMBERS OF LOCAL RINGS AND LINEAR STRANDS OF GRADED IDEALS

2017 ◽  
Vol 231 ◽  
pp. 23-54 ◽  
Author(s):  
JOSEP ÀLVAREZ MONTANER ◽  
KOHJI YANAGAWA
Keyword(s):  
Geometric Realization ◽  
Free Resolution ◽  
Topological Invariant ◽  
Local Rings ◽  
Base Field ◽  
Minimal Free Resolution ◽  
Algebraic Invariant ◽  
Alexander Dual ◽  
Lyubeznik Numbers ◽  
Insight Into

In this work, we introduce a new set of invariants associated to the linear strands of a minimal free resolution of a$\mathbb{Z}$-graded ideal$I\subseteq R=\Bbbk [x_{1},\ldots ,x_{n}]$. We also prove that these invariants satisfy some properties analogous to those of Lyubeznik numbers of local rings. In particular, they satisfy a consecutiveness property that we prove first for the Lyubeznik table. For the case of squarefree monomial ideals, we get more insight into the relation between Lyubeznik numbers and the linear strands of their associated Alexander dual ideals. Finally, we prove that Lyubeznik numbers of Stanley–Reisner rings are not only an algebraic invariant but also a topological invariant, meaning that they depend on the homeomorphic class of the geometric realization of the associated simplicial complex and the characteristic of the base field.

scholarly journals Linear syzygies of Stanley-Reisner ideals

2001 ◽  
Vol 89 (1) ◽  
pp. 117 ◽  
Author(s):  
V Reiner ◽  
V Welker
Keyword(s):  
Simplicial Complex ◽  
Lower Bounds ◽  
Monomial Ideal ◽  
Independent Sets ◽  
Free Resolution ◽  
Monomial Ideals ◽  
Minimal Free Resolution ◽  
Linear Syzygies ◽  
Alexander Dual ◽  
Syzygy Modules

We give an elementary description of the maps in the linear strand of the minimal free resolution of a square-free monomial ideal, that is, the Stanley-Reisner ideal associated to a simplicial complex $\Delta$. The description is in terms of the homology of the canonical Alexander dual complex $\Delta^*$. As applications we are able to prove for monomial ideals and $j=1$ a conjecture of J. Herzog giving lower bounds on the number of $i$-syzygies in the linear strand of $j^{th}$-syzygy modules show that the maps in the linear strand can be written using only $\pm 1$ coefficients if $\Delta^*$ is a pseudomanifold exhibit an example where multigraded maps in the linear strand cannot be written using only $\pm 1$ coefficients compute the entire resolution explicitly when $\Delta^*$ is the complex of independent sets of a matroid

scholarly journals Curves with Two Pencils and Associated Maps to Projective Spaces

2006 ◽  
Vol 13 (3) ◽  
pp. 411-417
Author(s):  
Edoardo Ballico
Keyword(s):  
Linear System ◽  
Projective Spaces ◽  
Free Resolution ◽  
Homogeneous Ideal ◽  
Projective Curve ◽  
Minimal Free Resolution ◽  
Complete Linear System

Abstract Let 𝑋 be a smooth and connected projective curve. Assume the existence of spanned 𝐿 ∈ Pic𝑎(𝑋), 𝑅 ∈ Pic𝑏(𝑋) such that ℎ0(𝑋, 𝐿) = ℎ0(𝑋, 𝑅) = 2 and the induced map ϕ 𝐿,𝑅 : 𝑋 → 𝐏1 × 𝐏1 is birational onto its image. Here we study the following question. What can be said about the morphisms β : 𝑋 → 𝐏𝑅 induced by a complete linear system |𝐿⊗𝑢⊗𝑅⊗𝑣| for some positive 𝑢, 𝑣? We study the homogeneous ideal and the minimal free resolution of the curve β(𝑋).

Branched Coverings and Minimal Free Resolution for Infinite-Dimensional Complex Spaces

2003 ◽  
Vol 10 (1) ◽  
pp. 37-43
Author(s):  
E. Ballico
Keyword(s):  
Projective Space ◽  
Projective Spaces ◽  
Free Resolution ◽  
Complete Intersections ◽  
Vanishing Theorem ◽  
Sheaf Cohomology ◽  
Minimal Free Resolution ◽  
Branched Coverings ◽  
Infinite Dimensional ◽  
Complex Spaces

Abstract We consider the vanishing problem for higher cohomology groups on certain infinite-dimensional complex spaces: good branched coverings of suitable projective spaces and subvarieties with a finite free resolution in a projective space P(V ) (e.g. complete intersections or cones over finitedimensional projective spaces). In the former case we obtain the vanishing result for H 1. In the latter case the corresponding results are only conditional for sheaf cohomology because we do not have the corresponding vanishing theorem for P(V ).

Fat Points in ℙ1× ℙ1and Their Hilbert Functions

2004 ◽  
Vol 56 (4) ◽  
pp. 716-741 ◽  
Author(s):  
Elena Guardo ◽  
Adam Van Tuyl
Keyword(s):  
Finite Number ◽  
Hilbert Function ◽  
Free Resolution ◽  
Hilbert Functions ◽  
Minimal Free Resolution ◽  
Fat Points ◽  
Fat Point ◽  
Point Scheme

AbstractWe study the Hilbert functions of fat points in ℙ1× ℙ1. IfZ⊆ ℙ1× ℙ1is an arbitrary fat point scheme, then it can be shown that for everyiandjthe values of the Hilbert functionHZ(l,j) andHZ(i,l) eventually become constant forl≫ 0. We show how to determine these eventual values by using only the multiplicities of the points, and the relative positions of the points in ℙ1× ℙ1. This enables us to compute all but a finite number values ofHZwithout using the coordinates of points. We also characterize the ACM fat point schemes using our description of the eventual behaviour. In fact, in the case thatZ⊆ ℙ1× ℙ1is ACM, then the entire Hilbert function and its minimal free resolution depend solely on knowing the eventual values of the Hilbert function.

scholarly journals Stably free resolutions of lattices over finite groups

1990 ◽  
Vol 49 (3) ◽  
pp. 364-385
Author(s):  
K. W. Gruenberg
Keyword(s):  
Euler Characteristic ◽  
Finite Groups ◽  
Class Group ◽  
Free Resolution ◽  
Free Resolutions ◽  
Minimal Free Resolution ◽  
Residue Classes ◽  
Projective Class

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.

scholarly journals Determinantal ideals without minimal free resolutions

1990 ◽  
Vol 118 ◽  
pp. 203-216 ◽  
Author(s):  
Mitsuyasu Hashimoto
Keyword(s):  
Free Resolution ◽  
Unit Element ◽  
Free Resolutions ◽  
Minimal Free Resolution ◽  
Determinantal Ideals ◽  
Arbitrary Base ◽  
Generic Matrix ◽  
Base Ring ◽  
Minimal Free Resolutions ◽  
The Ideal

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′.

scholarly journals Simplicial complexes and minimal free resolution of monomial algebras

2010 ◽  
Vol 214 (6) ◽  
pp. 850-861 ◽  
Author(s):  
Ignacio Ojeda ◽  
A. Vigneron-Tenorio
Keyword(s):  
Free Resolution ◽  
Simplicial Complexes ◽  
Minimal Free Resolution ◽  
Monomial Algebras

Graded Complexes Over Power Series Rings

1986 ◽  
Vol 38 (1) ◽  
pp. 158-178 ◽  
Author(s):  
Paul Roberts
Keyword(s):  
Power Series ◽  
Local Ring ◽  
Simple Structure ◽  
Free Resolution ◽  
Koszul Complex ◽  
Local Rings ◽  
Power Series Ring ◽  
Series Ring ◽  
Noetherian Local Ring ◽  
Power Series Rings

A common method in studying a commutative Noetherian local ring A is to find a regular subring R contained in A so that A becomes a finitely generated R-module, and in this way one can obtain some information about the original ring by applying what is known about regular local rings. By the structure theorems of Cohen, if A is complete and contains a field, there will always exist such a subring R, and R will be a power series ring k[[X1, …, Xn]] = k[[X]] over a field k. In this paper we show that if R is chosen properly, the ring A (or, more generally, an A-module M), will have a comparatively simple structure as an R-module. More precisely, A (or M) will have a free resolution which resembles the Koszul complex on the variables (X1, …, Xn) = (X); such a complex will be called an (X)-graded complex and will be given a precise definition below.

On the minimal free resolution of some projective curves

1995 ◽  
Vol 168 (1) ◽  
pp. 63-74 ◽  
Author(s):  
Edoardo Ballico
Keyword(s):  
Free Resolution ◽  
Minimal Free Resolution ◽  
Projective Curves
Sign in / Sign up

Export Citation Format

Share Document