Trimming a Gorenstein ideal
Commutative Algebra
2017-01-20 v3
Abstract
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_{\ge 1} acts trivially. We explicitly construct an infinite family of such rings.
Cite
@article{arxiv.1512.02720,
title = {Trimming a Gorenstein ideal},
author = {Lars Winther Christensen and Oana Veliche and Jerzy Weyman},
journal= {arXiv preprint arXiv:1512.02720},
year = {2017}
}
Comments
Corrected statement of Lemma 2.3 and updated proof of Theorem 2.4. Final version, to appear in J. Commut. Algebra; 11 pp