2015/12/09 by Christensen, Lars Winther, Veliche, Oana, Weyman, Jerzy · 1 citation
#13C99 #13H10 #Commutative Algebra (math.AC) #FOS: Mathematics
paper · doi:10.48550/arxiv.1512.02720
Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality algebra P padded with a non-zero graded vector space on which P≥ 1 acts trivially. We explicitly construct an infinite family of such rings.