Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userMinimal free resolution of a finitely generated module over a regular local ring
338
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Numerical invariants of a minimal free resolution of a module $M$ over a regular local ring $(R, )$ can be studied by taking advantage of the rich literature on the graded case. The key is to fix suitable $ $-stable filtrations ${mathbb M} $ of $M $ and to compare the Betti numbers of $M$ with those of the associated graded module $ gr_{mathbb M}(M). $ This approach has the advantage that the same module $M$ can be detected by using different filtrations on it. It provides interesting upper bounds for the Betti numbers and we study the modules for which the extremal values are attained. Among others, the Koszul modules have this behavior. As a consequence of the main result, we extend some results by Aramova, Conca, Herzog and Hibi on the rigidity of the resolution of standard graded algebras to the local setting.
rate research
Read More
Let fa be an ideal of a local ring (R,fm) and M a finitely generated R-module. This paper concerns the notion fgrade(fa,M), the formal grade of M with respect to fa (i.e. the least integer i such that {vpl}_nH^i_{fm}(M/fa^n M) eq 0). We show that fgrade(fa,M)geq depth M-cd_{fa}(M), and as a result, we establish a new characterization of Cohen-Macaulay modules. As an application of this characterization, we show that if M is Cohen-Macaulay and L a pure submodule of M with the same support as M, then fgrade(fa,L)=fgrade(fa,M). Also, we give a generalization of the Hochster-Eagon result on Cohen-Macaulayness of invariant rings.
Let $R$ be a commutative Noetherian ring that is a smooth $mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial outstanding case of a conjecture of Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.
In a paper in 1962, Golod proved that the Betti sequence of the residue field of a local ring attains an upper bound given by Serre if and only if the homology algebra of the Koszul complex of the ring has trivial multiplications and trivial Massey operations. This is the origin of the notion of Golod ring. Using the Koszul complex components he also constructed a minimal free resolution of the residue field. In this article, we extend this construction up to degree five for any local ring. We describe how the multiplicative structure and the triple Massey products of the homology of the Koszul algebra are involved in this construction. As a consequence, we provide explicit formulas for the first six terms of a sequence that measures how far the ring is from being Golod.
Mustac{t}u{a} has given a conjecture for the graded Betti numbers in the minimal free resolution of the ideal of a general set of points on an irreducible projective algebraic variety. For surfaces in $mathbb P^3$ this conjecture has been proven for points on quadric surfaces and on general cubic surfaces. In the latter case, Gorenstein liaison was the main tool. Here we prove the conjecture for general quartic surfaces. Gorenstein liaison continues to be a central tool, but to prove the existence of our links we make use of certain dimension computations. We also discuss the higher degree case, but now the dimension count does not force the existence of our links.
We introduce a new class of arrangements of hyperplanes, called (strictly) plus-one generated arrangements, from algebraic point of view. Plus-one generatedness is close to freeness, i.e., plus-one generated arrangements have their logarithmic derivation modules generated by dimension plus one elements, with relations containing one linear form coefficient. We show that strictly plus-one generated arrangements can be obtained if we delete a hyperplane from free arrangements. We show a relative freeness criterion in terms of plus-one generatedness. In particular, for plane arrangements, we show that a free arrangement is in fact surrounded by free or strictly plus-one generated arrangements. We also give several applications.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
