Related papers: Free resolutions over short Gorenstein local rings
Let d1,...,dn be a strictly increasing sequence of integers. Boij and S\"oderberg [arXiv:math/0611081] have conjectured the existence of a graded module M of finite length over any polynomial ring K[x_1,..., x_n], whose minimal free…
We study the minimal free resolution of the tangent cone of Gorenstein monomial curves in affine 4-space. We give the explicit minimal free resolution of the tangent cone of non-complete intersection Gorenstein monomial curve whose tangent…
Let $\mathbb{K}$ be a field and $A$ a Noetherian $\mathbb{K}$-algebra. In a paper of 2020, M. Albert, C. Bertone, M. Roggero and W. M. Seiler proved that, given a quasi-stable module $U \subset R^m$ with $R=\mathbb{K}[x_0,\dots,x_n]$, any…
Call a monomial ideal M "generic" if no variable appears with the same nonzero exponent in two distinct monomial generators. Using a convex polytope first studied by Scarf, we obtain a minimal free resolution of M. Any monomial ideal M can…
This paper studies infinite acyclic complexes of finitely generated free modules over a commutative noetherian local ring $(R,m)$ with $m^3=0$. Conclusive results are obtained on the growth of the ranks of the modules in acyclic complexes,…
Let $S$ be a deeply embedded, equicharacteristic, Artinian Gorenstein local ring. We prove that if $R$ is a non-Gorenstein quotient of $S$ of small colength, then every totally reflexive $R$-module is free. Indeed, the second syzygy of the…
Given an arbitrary field k and an arithmetic sequence of positive integers m_0<...<m_n, we consider the affine monomial curve parameterized by X_0=t^{m_0},...,X_n=t^{m_n}. In this paper, we conjecture that the Betti numbers of its…
Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…
Given positive integers e and s we consider Gorenstein Artinian local rings R of embedding dimension e whose maximal ideal $\mathfrak{m}$ satisfies $\mathfrak{m}^s\ne 0=\mathfrak{m}^{s+1}$. We say that R is a compressed Gorenstein local…
Let R be a commutative noetherian local ring that is not Gorenstein. It is known that the category of totally reflexive modules over R is representation infinite, provided that it contains a non-free module. The main goal of this paper is…
Let $(A,{\mathfrak m})$ be a Cohen-Macaulay local ring and let $I$ be an ideal of $A$. We prove that the Rees algebra ${\mathcal R}(I)$ is an almost Gorenstein ring in the following cases: (1) $(A,{\mathfrak m})$ is a two-dimensional…
Let $(R, \m)$ be a commutative Noetherian local ring with $\m^3 =(0)$. We give a condition for $R$ to have a non-free module of G-dimension zero. We shall also construct a family of non-isomorphic indecomposable modules of G-dimension zero…
We investigate symmetry in the vanishing of Ext for finitely generated modules over local Gorenstein rings. In particular, we define a class of local Gorenstein rings, which we call AB rings, and show that for finitely generated modules $M$…
Let $R$ be a commutative noetherian local ring. In this paper, we study the self-duality and eventual periodicity of minimal free resolutions of finitely generated $R$-modules in terms of their syzygy modules and Ext modules. As an…
Let $R$ be a commutative Noetherian local ring and $M,N$ be finitely generated $R$-modules. We prove a number of results of the form: if $\mbox{Hom}_R(M,N)$ has some nice properties and $\mbox{Ext}^{1 \leq i \leq n}_R(M,N)=0$ for some $n$,…
In this article we study minimal free resolutions of Gorenstein ideals of codimension four, using methods coming from representation theory. We introduce families of higher structure maps associated with such resolution, defined similarly…
Let $\fa$ be an ideal of a Noetherian local ring $R$ and let $C$ be a semidualizing $R$-module. For an $R$-module $X$, we denote any of the quantities $\fd_R X$, $\Gfd_R X$ and $\GCfd_RX$ by $\T(X)$. Let $M$ be an $R$-module such that…
Let $(R, \mathfrak{m})$ be a commutative Noetherian local ring with total quotient ring $K$. An $R$-module $M$ is called simple divisible, if $M$ is divisible $\neq 0$, but every proper submodule $0 \neq U \subsetneqq M$ is not divisible.…
Let $R$ be a commutative Noetherian ring and $\mathfrak{a}$ be an ideal of $R$. Suppose $M$ is a finitely generated $R$-module and $N$ is an Artinian $R$-module. We define the concept of filter coregular sequence to determine the infimum of…
Let k be an arbitrary field, A be a standard graded Artinian Gorenstein k-algebra of embedding dimension four and socle degree three, and pi from P to A be a surjective graded homomorphism from a polynomial ring with four variables over k…