Related papers: Implementing the Kustin-Miller complex constructio…
We study Koszul homology over Gorenstein rings. If an ideal is strongly Cohen-Macaulay, the Koszul homology algebra satisfies Poincar\'e duality. We prove a version of this duality which holds for all ideals and allows us to give two…
In this paper, we study simplicial complexes whose Stanley-Reisner rings are almost Gorenstein and have $a$-invariant zero. We call such a simplicial complex an almost Gorenstein* simplicial complex. To study the almost Gorenstein*…
Let $R$ be the power series ring or the polynomial ring over a field $k$ and let $I $ be an ideal of $R.$ Macaulay proved that the Artinian Gorenstein $k$-algebras $R/I$ are in one-to-one correspondence with the cyclic $R$-submodules of the…
We characterize all Gorenstein rings generated by strongly stable sets of monomials of degree two. We compute their Hilbert series in several cases, which also provides an answer to a question by Migliore and Nagel.
We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S_2 condition…
A supplemental paper detailing the QuillenSuslin package for Macaulay2. The QuillenSuslin package for Macaulay2 provides the ability to compute a free basis for a projective module over a polynomial ring with coefficients in Q, Z or Z/p for…
We analyze the structure of spinor coordinates on resolutions of Gorenstein ideals of codimension four. As an application we produce a family of such ideals with seven generators which are not specializations of Kustin-Miller model.
We study the Tate resolutions and the maximal Cohen-Macaulay approximations of Cohen-Macaulay modules over Gorenstein rings. One consequence is an extension of a well-known result about linkage of complete intersections.
We introduce new homological dimensions, namely the Cohen-Macaulay projective, injective and flat dimensions for homologically bounded complexes. Among other things we show that (a) these invariants characterize the Cohen-Macaulay property…
Dualities of resolving subcategories of finitely generated modules over Artin algebras are characterized as dualities with respect to Wakamatsu tilting bimodules. By restriction of these dualities to resolving subcategories of finitely…
We introduce a refinement of the Gorenstein flat dimension for complexes over an associative ring--the Gorenstein flat-cotorsion dimension--and prove that it, unlike the Gorenstein flat dimension, behaves as one expects of a homological…
We investigate the relationship between the level of a bounded complex over a commutative ring with respect to the class of Gorenstein projective modules and other invariants of the complex or ring, such as projective dimension, Gorenstein…
Let $\Delta =\left(\begin{smallmatrix} A & {_AN_B}\\ {_BM_A} & B \\\end{smallmatrix}\right)$ be a Morita ring with $M\otimes_{A}N=0=N\otimes_{B}M$.We first study how to construct (complete) duality pairs of $\Delta$-modules using (complete)…
A Gorenstein A-algebra R of codimension 2 is a perfect finite A-algebra such that R=Ext^2(R,A) holds as R-modules, A being a Cohen-Macaulay local ring with dim(A)-dim_A(R)=2. I prove a structure theorem for these algebras improving on an…
(Partial) Gorenstein silting modules are introduced and investigated. It is shown that for finite dimensional algebras of finite CM-type, partial Gorenstein silting modules are in bijection with {\tau}_G-rigid modules; Gorenstein silting…
In this paper we consider the problem of finding explicitly canonical ideals of one-dimensional Cohen-Macaulay local rings. We show that Gorenstein ideals contained in a high power of the maximal ideal are canonical ideals. In the…
A central problem in the theory of Gorenstein dimensions over commutative noetherian rings is to find resolution-free characterizations of the modules for which these invariants are finite. Over local rings, this problem was recently solved…
We study the Rees algebra of a perfect Gorenstein ideal of codimension 3 in a hypersurface ring. We provide a minimal generating set of the defining ideal of these rings by introducing a modified Jacobian dual and applying a recursive…
For a tensor ring $T_R(M)$, we obtain sufficient and necessary conditions to describe all complete projective resolutions and all Gorenstein projective modules. As a consequence, we provide a method for constructing Gorenstein projective…
We provide algorithmic methods to check the Cohen--Macaulayness, Buchsbaumness and/or Gorensteiness of some families of semigroup rings that are constructed from the dilation of bounded convex polyhedrons of $\R^3_{\geq}$. Some families of…