arXiv Science⌕ Search

arXiv · 0707.4451

Free resolutions over short local rings

Abstract

The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families of Koszul modules are identified. When R is Gorenstein the non-Koszul modules are classified. Structure theorems are established for the graded k-algebra Ext_R(k,k) and its graded module Ext_R(M,k).

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Luchezar L. Avramov, Srikanth B. Iyengar, Liana M. Sega. 2008-04-09. Free resolutions over short local rings. https://arxiv.org/abs/0707.4451

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the (LC) conjecture

We prove the (LC) conjecture of Hochster and Huneke in some non-trivial cases. This has several applications. Recently, Brenner and Caminata answered a numerical evidence due to Dao and Smirnov on the shape of generalized Hilbert-Kunz functions of smooth curves. As applications, we first reprove this by a short argument. Then we give a proof of second numerical evidence predicted by Dao and Smirnov on the shape of generalized Hilbert-Kunz functions of nodal curves. Thirdly, we answer a question posted by Vraciu on the (LC) property of a proposed ring. Inspiring with the (LC) property, we present a connection to the stability theory. This leads us to investigate the stability and the strong semistability of the sheaf of relations on $\{x^2,y^2,z^2\}$ over the Klein's quartic curve. This answers questions of Brenner. After presenting a connection from (LC) to the $F$-threshold, we answer a question posted by Huneke et al. Additional applications and examples are given.

math.AC↗

Huneke's degree-computing problem

In this short note, we deal with a problem posted by Huneke on a numerical invariant attached to symbolic powers of homogenous ideals.

math.AC↗

Bounded powers of edge ideals: Nearly Gorenstein polytopes

A lattice polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called nearly Gorenstein if $\mathcal{P}$ is normal and if its Ehrhart ring is a nearly Gorenstein ring. We study nearly Gorenstein polytopes arising from discrete polymatroids of bounded powers of edge ideals. Especially, it is shown that every nearly Gorenstein polytope coming from either a complete graph or a complete bipartite graph is level.

math.AC↗